fzn-oscar-cbls faling

[Carlos Eduardo de Andrade]

Dear friends,


I'm trying to use "fzn-oscar-cbls" out-of-the-shelf in simple MiniZinc models (fjsp.mzn, from MiniZinc dist, and other models I developed). However, I got a weird error. I'm not familiar with Scala and I don't use java too much, but looks like we have some package problem. 

Thank you very much for your very.

My best regards,

Carlos

ps. My system:

$ java -version
java version "1.8.0_05"
Java(TM) SE Runtime Environment (build 1.8.0_05-b13)
Java HotSpot(TM) 64-Bit Server VM (build 25.5-b02, mixed mode)

$ uname -a
Linux machine 3.10.0-693.2.2.el7.x86_64 #1 SMP Tue Sep 12 22:26:13 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux

$ ls oscar-cbls-flatzinc/lib
...
oscar-fzn-cbls_2.12-4.0.0-SNAPSHOT.jar
...

Most libs are 2.12 snapshot.


Exception in thread "main" java.lang.VerifyError: Uninitialized object exists on backward branch 209

Exception Details:

Location:

scala/collection/immutable/HashMap$HashTrieMap.split()Lscala/collection/immutable/Seq; @249: goto

Reason:

Error exists in the bytecode

Bytecode:

0000000: 2ab6 0060 04a0 001e b200 b8b2 00bd 04bd

0000010: 0002 5903 2a53 c000 bfb6 00c3 b600 c7c0

0000020: 00c9 b02a b600 36b8 0040 3c1b 04a4 015e

0000030: 1b05 6c3d 2a1b 056c 2ab6 0036 b700 cb3e

0000040: 2ab6 0036 021d 787e 3604 2ab6 0036 0210

0000050: 201d 647c 7e36 05bb 0019 59b2 00bd 2ab6

0000060: 0038 c000 bfb6 00cf b700 d21c b600 d63a

0000070: 0619 06c6 001a 1906 b600 dac0 0086 3a07

0000080: 1906 b600 ddc0 0086 3a08 a700 0dbb 00df

0000090: 5919 06b7 00e2 bf19 073a 0919 083a 0abb

00000a0: 0002 5915 0419 09bb 0019 59b2 00bd 1909

00000b0: c000 bfb6 00cf b700 d203 b800 e83a 0e3a

00000c0: 0d03 190d b900 ec01 0019 0e3a 1136 1036

00000d0: 0f15 0f15 109f 0027 150f 0460 1510 190d

00000e0: 150f b900 ef02 00c0 0005 3a17 1911 1917

00000f0: b800 f33a 1136 1036 0fa7 ffd8 1911 b800

0000100: f7b7 0065 3a0b bb00 0259 1505 190a bb00

0000110: 1959 b200 bd19 0ac0 00bf b600 cfb7 00d2

0000120: 03b8 00e8 3a13 3a12 0319 12b9 00ec 0100

0000130: 1913 3a16 3615 3614 1514 1515 9f00 2715

0000140: 1404 6015 1519 1215 14b9 00ef 0200 c000

0000150: 053a 1819 1619 18b8 00fa 3a16 3615 3614

0000160: a7ff d819 16b8 00f7 b700 653a 0cb2 00ff

0000170: b200 bd05 bd00 0259 0319 0b53 5904 190c

0000180: 53c0 00bf b600 c3b6 0102 b02a b600 3803

0000190: 32b6 0104 b0

Stackmap Table:

same_frame(@35)

full_frame(@141,{Object[#2],Integer,Integer,Integer,Integer,Integer,Object[#114]},{})

append_frame(@151,Object[#134],Object[#134])

full_frame(@209,{Object[#2],Integer,Integer,Integer,Integer,Integer,Object[#114],Object[#134],Object[#134],Object[#134],Object[#134],Top,Top,Object[#25],Object[#60],Integer,Integer,Object[#112]},{Uninitialized[#159],Uninitialized[#159],Integer,Object[#134]})

full_frame(@252,{Object[#2],Integer,Integer,Integer,Integer,Integer,Object[#114],Object[#134],Object[#134],Object[#134],Object[#134],Top,Top,Object[#25],Object[#60],Integer,Integer,Object[#112]},{Uninitialized[#159],Uninitialized[#159],Integer,Object[#134]})

full_frame(@312,{Object[#2],Integer,Integer,Integer,Integer,Integer,Object[#114],Object[#134],Object[#134],Object[#134],Object[#134],Object[#2],Top,Object[#25],Object[#60],Integer,Integer,Object[#112],Object[#25],Object[#60],Integer,Integer,Object[#112]},{Uninitialized[#262],Uninitialized[#262],Integer,Object[#134]})

full_frame(@355,{Object[#2],Integer,Integer,Integer,Integer,Integer,Object[#114],Object[#134],Object[#134],Object[#134],Object[#134],Object[#2],Top,Object[#25],Object[#60],Integer,Integer,Object[#112],Object[#25],Object[#60],Integer,Integer,Object[#112]},{Uninitialized[#262],Uninitialized[#262],Integer,Object[#134]})

full_frame(@395,{Object[#2],Integer},{})




at scala.collection.immutable.HashMap$.scala$collection$immutable$HashMap$$makeHashTrieMap(HashMap.scala:182)

at scala.collection.immutable.HashMap$.scala$collection$immutable$HashMap$$makeHashTrieMap(HashMap.scala:186)

at scala.collection.immutable.HashMap$HashMap1.updated0(HashMap.scala:217)

at scala.collection.immutable.HashMap.updated(HashMap.scala:59)

at scala.collection.immutable.Map$Map4.updated(Map.scala:201)

at scala.collection.immutable.Map$Map4.$plus(Map.scala:202)

at oscar.flatzinc.cbls.support.NeighbourhoodTabuSearch.$anonfun$variableMap$1(SearchBundle.scala:226)

at oscar.flatzinc.cbls.support.NeighbourhoodTabuSearch.$anonfun$variableMap$1$adapted(SearchBundle.scala:226)

at oscar.flatzinc.cbls.support.NeighbourhoodTabuSearch$$Lambda$291/913746983.apply(Unknown Source)

at scala.collection.TraversableOnce.$anonfun$foldLeft$1(TraversableOnce.scala:157)

at scala.collection.TraversableOnce.$anonfun$foldLeft$1$adapted(TraversableOnce.scala:157)

at scala.collection.TraversableOnce$$Lambda$100/424786033.apply(Unknown Source)

at scala.collection.immutable.Range.foreach(Range.scala:156)

at scala.collection.TraversableOnce.foldLeft(TraversableOnce.scala:157)

at scala.collection.TraversableOnce.foldLeft$(TraversableOnce.scala:155)

at scala.collection.AbstractTraversable.foldLeft(Traversable.scala:104)

at oscar.flatzinc.cbls.support.NeighbourhoodTabuSearch.<init>(SearchBundle.scala:226)

at oscar.flatzinc.cbls.support.NeighbourhoodSearchSAT.<init>(SearchBundle.scala:410)

at oscar.flatzinc.cbls.FZCBLSBuilder.createSearchProcedure(FZCBLSBuilder.scala:297)

at oscar.flatzinc.cbls.FZCBLSBuilder.solve(FZCBLSBuilder.scala:204)

at oscar.flatzinc.cbls.FznOscarCbls$.$anonfun$new$1(FznOscarCbls.scala:28)

at oscar.flatzinc.cbls.FznOscarCbls$$$Lambda$6/1785210046.apply$mcV$sp(Unknown Source)

at oscar.flatzinc.FznOscarMain.withCheck(FznOscarMain.scala:47)

at oscar.flatzinc.FznOscarMain.withCheck$(FznOscarMain.scala:45)

at oscar.flatzinc.cbls.FznOscarCbls$.withCheck(FznOscarCbls.scala:23)

at oscar.flatzinc.cbls.FznOscarCbls$.delayedEndpoint$oscar$flatzinc$cbls$FznOscarCbls$1(FznOscarCbls.scala:25)

at oscar.flatzinc.cbls.FznOscarCbls$delayedInit$body.apply(FznOscarCbls.scala:23)

at scala.Function0.apply$mcV$sp(Function0.scala:34)

at scala.Function0.apply$mcV$sp$(Function0.scala:34)

at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)

at scala.App.$anonfun$main$1$adapted(App.scala:76)

at scala.App$$Lambda$5/125993742.apply(Unknown Source)

at scala.collection.immutable.List.foreach(List.scala:389)

at scala.App.main(App.scala:76)

at scala.App.main$(App.scala:74)

at oscar.flatzinc.cbls.FznOscarCbls$.main(FznOscarCbls.scala:23)

at oscar.flatzinc.cbls.FznOscarCbls.main(FznOscarCbls.scala)

[Renaud De Landtsheer]

Hi,

following a merge that happened recently: 2018-02-26 15:27:11

There was a compilation error with the fnz-oscar-cbls module in de dev brach, and probably in the nightly builds that you seem to use.

I just pushed a merge in the repo that will bring the old version back to the dev branch, so your problem will be solved as soon as the nightly build completes.

--

Renaud

--

---
You received this message because you are subscribed to the Google Groups "OscaR" group.
To unsubscribe from this group and stop receiving emails from it, send an email to oscar-user+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--

Renaud De Landtsheer

[Renaud De Landtsheer]

Hi Carlos,

Is it working now?

--

Renaud

--

Renaud De Landtsheer