0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394394-1568421863.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4394394-1568421863.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.29 c parse instance...
1.39/0.62 c solve instance...
2.71/0.90 o 6036
3.08/0.91 o 5810
3.08/0.91 o 5622
3.08/0.92 o 5496
3.08/0.93 o 5328
3.08/0.94 o 4992
3.08/0.94 o 4370
3.08/0.95 o 4342
3.08/0.95 o 4280
3.08/0.95 o 4153
3.08/0.96 o 4034
3.08/0.98 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (53/55)
3.08/0.98 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
3.08/0.98 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
3.08/0.98 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
3.08/0.98 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
3.08/0.98 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
3.08/0.98 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (53/55)
3.08/0.98 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
3.08/0.98 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
3.08/0.98 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
3.08/0.98 at org.chocosolver.solver.Solver.repair(Solver.java:443)
3.08/0.98 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
3.08/0.98 at org.chocosolver.solver.Solver.solve(Solver.java:262)
3.08/0.98 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
3.08/0.98 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
3.08/0.98 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
3.08/0.98 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
3.08/0.98 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
3.08/0.98 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
3.08/0.98 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
3.08/0.98 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
3.08/0.98 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
3.08/0.98 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
3.08/0.98 o 3990
3.08/0.99 o 3979
3.08/1.00 o 3966
3.08/1.00 o 3903
3.08/1.00 o 3822
3.63/1.04 o 3448
3.63/1.07 o 3416
3.63/1.08 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (248/256)
3.63/1.08 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
3.63/1.08 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
3.63/1.08 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
3.63/1.08 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
3.63/1.08 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
3.63/1.08 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (248/256)
3.63/1.08 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
3.63/1.08 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
3.63/1.08 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
3.63/1.08 at org.chocosolver.solver.Solver.repair(Solver.java:443)
3.63/1.08 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
3.63/1.08 at org.chocosolver.solver.Solver.solve(Solver.java:262)
3.63/1.08 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
3.63/1.08 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
3.63/1.08 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
3.63/1.08 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
3.63/1.08 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
3.63/1.08 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
3.63/1.08 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
3.63/1.08 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
3.63/1.08 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
3.63/1.08 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
3.63/1.08 o 3357
4.36/1.13 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (241/249)
4.36/1.13 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.36/1.13 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.36/1.13 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.36/1.13 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.36/1.13 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.36/1.13 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (241/249)
4.36/1.13 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
4.36/1.13 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
4.36/1.13 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
4.36/1.13 at org.chocosolver.solver.Solver.repair(Solver.java:443)
4.36/1.13 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
4.36/1.13 at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.36/1.13 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.36/1.13 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.36/1.13 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.36/1.13 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.36/1.13 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.36/1.13 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.36/1.13 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.36/1.13 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.36/1.13 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.36/1.13 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.36/1.13 o 3354
4.36/1.13 o 3339
4.36/1.13 o 3332
4.36/1.18 o 3321
7.30/1.60 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
7.30/1.60 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
7.30/1.60 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
7.30/1.60 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
7.30/1.60 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
7.30/1.60 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
7.30/1.60 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
7.30/1.60 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
7.30/1.60 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
7.30/1.60 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
7.30/1.60 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
7.30/1.60 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
7.30/1.60 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
7.30/1.60 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
7.30/1.60 at org.chocosolver.solver.Solver.repair(Solver.java:433)
7.30/1.60 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
7.30/1.60 at org.chocosolver.solver.Solver.solve(Solver.java:262)
7.30/1.60 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
7.30/1.60 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
7.30/1.60 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
7.30/1.60 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
7.30/1.60 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
7.30/1.60 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
7.30/1.60 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
7.30/1.60 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
7.30/1.60 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
7.30/1.60 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
8.09/1.60 o 3315
8.09/1.63 o 3313
8.09/1.64 o 3309
8.85/1.77 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
8.85/1.77 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
8.85/1.77 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
8.85/1.77 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
8.85/1.77 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
8.85/1.77 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
8.85/1.77 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
8.85/1.77 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
8.85/1.77 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
8.85/1.77 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
8.85/1.77 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
8.85/1.77 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
8.85/1.77 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
8.85/1.77 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
8.85/1.77 at org.chocosolver.solver.Solver.repair(Solver.java:433)
8.85/1.77 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
8.85/1.77 at org.chocosolver.solver.Solver.solve(Solver.java:262)
8.85/1.77 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
8.85/1.77 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
8.85/1.77 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
8.85/1.77 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
8.85/1.77 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
8.85/1.77 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
8.85/1.77 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
8.85/1.77 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
8.85/1.77 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
8.85/1.77 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
8.85/1.77 o 3259
8.85/1.77 o 3235
10.44/1.92 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
10.44/1.92 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
10.44/1.92 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
10.44/1.92 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
10.44/1.92 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
10.44/1.92 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
10.44/1.92 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
10.44/1.92 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
10.44/1.92 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
10.44/1.92 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
10.44/1.92 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
10.44/1.92 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
10.44/1.92 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
10.44/1.92 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
10.44/1.92 at org.chocosolver.solver.Solver.repair(Solver.java:433)
10.44/1.92 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
10.44/1.92 at org.chocosolver.solver.Solver.solve(Solver.java:262)
10.44/1.92 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
10.44/1.92 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
10.44/1.92 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
10.44/1.92 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
10.44/1.92 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
10.44/1.92 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
10.44/1.92 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
10.44/1.92 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
10.44/1.92 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
10.44/1.92 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
10.44/1.92 o 3232
10.44/1.92 o 3215
12.09/2.15 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
12.09/2.15 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
12.09/2.15 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
12.09/2.15 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
12.09/2.15 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
12.09/2.15 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
12.09/2.15 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
12.09/2.15 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
12.09/2.15 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
12.09/2.15 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
12.09/2.15 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
12.09/2.15 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
12.09/2.15 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
12.09/2.15 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
12.09/2.15 at org.chocosolver.solver.Solver.repair(Solver.java:433)
12.09/2.15 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
12.09/2.15 at org.chocosolver.solver.Solver.solve(Solver.java:262)
12.09/2.15 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
12.09/2.15 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
12.09/2.15 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
12.09/2.15 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
12.09/2.15 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
12.09/2.15 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
12.09/2.15 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
12.09/2.15 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
12.09/2.15 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
12.09/2.15 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
12.09/2.15 o 3175
56.83/13.04 java.util.concurrent.ExecutionException: java.lang.NullPointerException
56.83/13.05 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
56.83/13.05 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
56.83/13.05 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
56.83/13.05 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
56.83/13.05 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
56.83/13.05 Caused by: java.lang.NullPointerException
56.83/13.05 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
56.83/13.05 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
56.83/13.05 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
56.83/13.05 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
56.83/13.05 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
56.83/13.05 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
56.83/13.05 ... 4 more
56.83/13.05 Caused by: java.lang.NullPointerException
56.83/13.05 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
56.83/13.05 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
56.83/13.05 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
56.83/13.05 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
56.83/13.05 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
56.83/13.05 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
56.83/13.05 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
56.83/13.05 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
56.83/13.05 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
56.83/13.05 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
56.83/13.05 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
56.83/13.05 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
56.83/13.05 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
56.83/13.05 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
56.83/13.05 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
56.83/13.05 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
56.83/13.05 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
56.83/13.05 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
56.83/13.05 Caused by: java.lang.NullPointerException
56.83/13.05 at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278)
56.83/13.05 at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222)
56.83/13.05 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:181)
56.83/13.05 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:48)
56.83/13.05 at org.chocosolver.solver.Solver.propagate(Solver.java:403)
56.83/13.05 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
56.83/13.05 at org.chocosolver.solver.Solver.solve(Solver.java:262)
56.83/13.05 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
56.83/13.05 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
56.83/13.05 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
56.83/13.05 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
56.83/13.05 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
56.83/13.05 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
56.83/13.05 ... 4 more
56.83/13.05 o 3167
66.20/15.39 java.util.concurrent.ExecutionException: java.lang.NullPointerException
66.20/15.39 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
66.20/15.39 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
66.20/15.39 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
66.20/15.39 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
66.20/15.39 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
66.20/15.39 Caused by: java.lang.NullPointerException
66.20/15.39 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
66.20/15.39 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
66.20/15.39 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
66.20/15.39 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
66.20/15.39 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
66.20/15.39 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
66.20/15.39 ... 4 more
66.20/15.39 Caused by: java.lang.NullPointerException
66.20/15.39 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
66.20/15.39 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
66.20/15.39 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
66.20/15.39 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
66.20/15.39 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
66.20/15.39 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
66.20/15.39 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
66.20/15.39 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
66.20/15.39 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
66.20/15.39 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
66.20/15.39 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
66.20/15.39 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
66.20/15.39 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
66.20/15.39 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
66.20/15.39 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
66.20/15.39 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
66.20/15.39 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
66.20/15.39 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
66.20/15.39 Caused by: java.lang.NullPointerException
66.20/15.39 at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278)
66.20/15.39 at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222)
66.20/15.39 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:164)
66.20/15.39 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
66.20/15.39 at org.chocosolver.solver.Solver.propagate(Solver.java:403)
66.20/15.39 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
66.20/15.39 at org.chocosolver.solver.Solver.solve(Solver.java:262)
66.20/15.39 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
66.20/15.39 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
66.20/15.39 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
66.20/15.39 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
66.20/15.39 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
66.20/15.39 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
66.20/15.39 ... 4 more
66.20/15.39 o 3166
77.71/18.16 java.util.concurrent.ExecutionException: java.lang.NullPointerException
77.71/18.16 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
77.71/18.16 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
77.71/18.16 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
77.71/18.16 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
77.71/18.16 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
77.71/18.16 Caused by: java.lang.NullPointerException
77.71/18.16 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
77.71/18.16 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
77.71/18.16 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
77.71/18.16 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
77.71/18.16 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
77.71/18.16 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
77.71/18.16 ... 4 more
77.71/18.16 Caused by: java.lang.NullPointerException
77.71/18.16 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
77.71/18.16 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
77.71/18.16 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
77.71/18.16 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
77.71/18.16 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
77.71/18.16 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
77.71/18.16 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
77.71/18.16 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
77.71/18.16 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
77.71/18.16 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
77.71/18.16 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
77.71/18.16 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
77.71/18.16 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
77.71/18.16 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
77.71/18.16 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
77.71/18.16 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
77.71/18.16 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
77.71/18.16 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
77.71/18.16 Caused by: java.lang.NullPointerException
77.71/18.16 o 3165
77.71/18.17 java.util.concurrent.ExecutionException: java.lang.NullPointerException
77.71/18.17 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
77.71/18.17 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
77.71/18.17 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
77.71/18.17 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
77.71/18.17 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
77.71/18.17 Caused by: java.lang.NullPointerException
77.71/18.17 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
77.71/18.17 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
77.71/18.17 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
77.71/18.17 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
77.71/18.17 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
77.71/18.17 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
77.71/18.17 ... 4 more
77.71/18.17 Caused by: java.lang.NullPointerException
77.71/18.17 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
77.71/18.17 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
77.71/18.17 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
77.71/18.17 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
77.71/18.17 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
77.71/18.17 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
77.71/18.17 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
77.71/18.17 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
77.71/18.17 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
77.71/18.17 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
77.71/18.17 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
77.71/18.17 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
77.71/18.17 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
77.71/18.17 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
77.71/18.17 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
77.71/18.17 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
77.71/18.17 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
77.71/18.17 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
77.71/18.17 Caused by: java.lang.NullPointerException
77.71/18.17 o 3159
79.99/18.57 java.util.concurrent.ExecutionException: java.lang.NullPointerException
79.99/18.57 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
79.99/18.57 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
79.99/18.57 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
79.99/18.57 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
79.99/18.57 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
79.99/18.57 Caused by: java.lang.NullPointerException
79.99/18.57 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
79.99/18.57 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
79.99/18.57 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
79.99/18.57 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
79.99/18.57 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
79.99/18.57 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
79.99/18.57 ... 4 more
79.99/18.57 Caused by: java.lang.NullPointerException
79.99/18.57 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
79.99/18.57 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
79.99/18.57 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
79.99/18.57 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
79.99/18.57 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
79.99/18.57 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
79.99/18.57 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
79.99/18.57 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
79.99/18.57 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
79.99/18.57 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
79.99/18.57 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
79.99/18.57 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
79.99/18.57 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
79.99/18.57 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
79.99/18.57 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
79.99/18.57 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
79.99/18.57 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
79.99/18.57 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
79.99/18.57 Caused by: java.lang.NullPointerException
79.99/18.57 o 3154
79.99/18.58 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
79.99/18.58 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
79.99/18.58 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
79.99/18.58 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
79.99/18.58 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
79.99/18.58 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
79.99/18.58 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
79.99/18.58 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
79.99/18.58 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
79.99/18.58 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
79.99/18.58 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
79.99/18.58 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
79.99/18.58 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
79.99/18.58 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
79.99/18.58 at org.chocosolver.solver.Solver.repair(Solver.java:433)
79.99/18.58 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
79.99/18.58 at org.chocosolver.solver.Solver.solve(Solver.java:262)
79.99/18.58 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
79.99/18.58 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
79.99/18.58 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
79.99/18.58 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
79.99/18.58 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
79.99/18.58 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
79.99/18.58 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
79.99/18.58 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
79.99/18.58 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
79.99/18.58 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
79.99/18.58 o 3145
80.56/18.62 java.util.concurrent.ExecutionException: java.lang.NullPointerException
80.56/18.62 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
80.56/18.62 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
80.56/18.62 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
80.56/18.62 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
80.56/18.62 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
80.56/18.62 Caused by: java.lang.NullPointerException
80.56/18.62 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
80.56/18.62 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
80.56/18.62 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
80.56/18.62 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
80.56/18.62 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
80.56/18.62 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
80.56/18.62 ... 4 more
80.56/18.62 Caused by: java.lang.NullPointerException
80.56/18.62 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
80.56/18.62 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
80.56/18.62 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
80.56/18.62 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
80.56/18.62 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
80.56/18.62 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
80.56/18.62 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
80.56/18.62 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
80.56/18.62 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
80.56/18.62 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
80.56/18.62 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
80.56/18.62 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
80.56/18.62 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
80.56/18.62 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
80.56/18.62 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
80.56/18.62 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
80.56/18.62 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
80.56/18.62 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
80.56/18.62 Caused by: java.lang.NullPointerException
80.56/18.62 at org.chocosolver.solver.propagation.PropagationEngine.execute(PropagationEngine.java:208)
80.56/18.62 at org.chocosolver.solver.propagation.PropagationEngine.activatePropagators(PropagationEngine.java:197)
80.56/18.62 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:162)
80.56/18.62 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
80.56/18.62 at org.chocosolver.solver.Solver.propagate(Solver.java:403)
80.56/18.62 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
80.56/18.62 at org.chocosolver.solver.Solver.solve(Solver.java:262)
80.56/18.62 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
80.56/18.62 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
80.56/18.62 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
80.56/18.62 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
80.56/18.62 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
80.56/18.62 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
80.56/18.62 ... 4 more
80.56/18.62 o 3143
80.56/18.64 java.util.concurrent.ExecutionException: java.lang.NullPointerException
80.56/18.64 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
80.56/18.64 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
80.56/18.64 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
80.56/18.64 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
80.56/18.64 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
80.56/18.64 Caused by: java.lang.NullPointerException
80.56/18.64 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
80.56/18.64 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
80.56/18.64 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
80.56/18.64 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
80.56/18.64 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
80.56/18.64 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
80.56/18.64 ... 4 more
80.56/18.64 Caused by: java.lang.NullPointerException
80.56/18.64 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
80.56/18.64 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
80.56/18.64 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
80.56/18.64 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
80.56/18.64 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
80.56/18.64 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
80.56/18.64 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
80.56/18.64 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
80.56/18.64 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
80.56/18.64 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
80.56/18.64 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
80.56/18.64 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
80.56/18.64 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
80.56/18.64 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
80.56/18.64 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
80.56/18.64 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
80.56/18.64 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
80.56/18.64 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
80.56/18.64 Caused by: java.lang.NullPointerException
80.56/18.64 o 3134
80.56/18.70 java.util.concurrent.ExecutionException: java.lang.NullPointerException
80.56/18.70 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
80.56/18.70 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
80.56/18.70 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
80.56/18.70 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
80.56/18.70 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
80.56/18.70 Caused by: java.lang.NullPointerException
80.56/18.70 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
80.56/18.70 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
80.56/18.70 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
80.56/18.70 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
80.56/18.70 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
80.56/18.70 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
80.56/18.70 ... 4 more
81.20/18.70 Caused by: java.lang.NullPointerException
81.20/18.70 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
81.20/18.70 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
81.20/18.70 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
81.20/18.70 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
81.20/18.70 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
81.20/18.70 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
81.20/18.70 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
81.20/18.70 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
81.20/18.70 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
81.20/18.70 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
81.20/18.70 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
81.20/18.70 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
81.20/18.70 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
81.20/18.70 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
81.20/18.70 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
81.20/18.70 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
81.20/18.70 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
81.20/18.70 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
81.20/18.70 Caused by: java.lang.NullPointerException
81.20/18.70 o 3132
81.78/18.87 java.util.concurrent.ExecutionException: java.lang.NullPointerException
81.78/18.87 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
81.78/18.87 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
81.78/18.87 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
81.78/18.87 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
81.78/18.87 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
81.78/18.87 Caused by: java.lang.NullPointerException
81.78/18.87 at sun.reflect.GeneratedConstructorAccessor1.newInstance(Unknown Source)
81.78/18.87 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
81.78/18.87 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
81.78/18.87 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
81.78/18.87 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
81.78/18.87 ... 4 more
81.78/18.87 Caused by: java.lang.NullPointerException
81.78/18.87 at sun.reflect.GeneratedConstructorAccessor1.newInstance(Unknown Source)
81.78/18.87 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
81.78/18.87 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
81.78/18.87 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
81.78/18.87 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
81.78/18.87 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
81.78/18.87 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
81.78/18.87 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
81.78/18.87 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
81.78/18.87 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
81.78/18.87 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
81.78/18.87 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
81.78/18.87 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
81.78/18.87 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
81.78/18.87 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
81.78/18.87 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
81.78/18.87 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
81.78/18.87 Caused by: java.lang.NullPointerException
81.78/18.87 o 3118
86.06/19.53 java.util.concurrent.ExecutionException: java.lang.NullPointerException
86.06/19.53 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
86.06/19.53 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
86.06/19.53 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
86.06/19.53 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
86.06/19.53 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
86.06/19.53 Caused by: java.lang.NullPointerException
86.06/19.53 at sun.reflect.GeneratedConstructorAccessor1.newInstance(Unknown Source)
86.06/19.53 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
86.06/19.53 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
86.06/19.53 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
86.06/19.53 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
86.06/19.53 ... 4 more
86.06/19.53 Caused by: java.lang.NullPointerException
86.06/19.53 at sun.reflect.GeneratedConstructorAccessor1.newInstance(Unknown Source)
86.06/19.53 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
86.06/19.53 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
86.06/19.53 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
86.06/19.53 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
86.06/19.53 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
86.06/19.53 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
86.06/19.53 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
86.06/19.53 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
86.06/19.53 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
86.06/19.53 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
86.06/19.53 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
86.06/19.53 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
86.06/19.53 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
86.06/19.53 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
86.06/19.53 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
86.06/19.53 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
86.06/19.53 Caused by: java.lang.NullPointerException
86.06/19.53 o 3097
147.52/31.25 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
147.52/31.25 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
147.52/31.25 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
147.52/31.25 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
147.52/31.25 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
147.52/31.25 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
147.52/31.25 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
147.52/31.25 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
147.52/31.25 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
147.52/31.25 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
147.52/31.25 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
147.52/31.25 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
147.52/31.25 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
147.52/31.25 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
147.52/31.25 at org.chocosolver.solver.Solver.repair(Solver.java:433)
147.52/31.25 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
147.52/31.25 at org.chocosolver.solver.Solver.solve(Solver.java:262)
147.52/31.25 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
147.52/31.25 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
147.52/31.25 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
147.52/31.25 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
147.52/31.25 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
147.52/31.25 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
147.52/31.25 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
147.52/31.25 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
147.52/31.25 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
147.52/31.25 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
147.52/31.25 o 3089
147.52/31.25 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
147.52/31.25 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
147.52/31.25 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
147.52/31.25 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
147.52/31.25 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
147.52/31.25 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
147.52/31.25 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
147.52/31.26 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
147.52/31.26 {x[16] = {3..4,15,17..18}=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], d[10][17] = {12..14,20,27}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,38]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[18] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[5] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3185,3320]=[0,3028]∪[3333,26663], d[4][10] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[6][13] = {13..14,16}=[0,0]∪[8,9]∪[11,11]∪[21,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][11] = {10,14..15,19}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26], x[7] = 16=[0,15]∪[17,21], d[5][12] = {10,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[23,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][1] = {16,27}=[0,0]∪[8,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[29,29]∪[31,31]∪[33,40]∪[44,44]∪[50,51]∪[60,61]∪[64,64]∪[71,71]∪[80,81]∪[91,91], d[2][7] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[11] = {3,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[9][14] = {12,19}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[14] = {15,17}=[0,2]∪[5,14]∪[16,16]∪[21,21], x[12] = {3,15,17,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = {19..20}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[19] = {3..4,9,13..15,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {12,15..20,22..25,27,29,31,35,37,44,51}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = {10,12,14..15}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[25,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[15][21] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][16] = {12,19,24..25}=[0,0]∪[8,11]∪[14,18]∪[20,23]∪[26,27]∪[29,31]∪[34,37]∪[39,39]∪[51,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[9][15] = 10=[0,0]∪[8,9]∪[11,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[0] = 0=[1,21], d[2][8] = 12=[0,0]∪[8,11]∪[13,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[6] = 20=[0,2]∪[5,8]∪[10,10]∪[16,16], x[3] = {3,9,17..19,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {3..4,9,13,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = {11..12}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[4][9] = 11=[0,0]∪[8,10]∪[12,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[1][5] = 12=[0,0]∪[8,9]∪[11,11]∪[16,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[13] = {9,13..14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[0][4] = 8=[0,0]∪[9,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[13][18] = {12,15..20,22..23}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[0][2] = 9=[0,0]∪[8,8]∪[10,27]∪[29,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[2] = 5=[0,4]∪[6,21], x[8] = 7=[0,6]∪[8,21], d[0][3] = {12,14,16,19}=[0,0]∪[8,11]∪[13,13]∪[15,15]∪[17,18]∪[20,22]∪[24,26]∪[31,31]∪[33,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[10] = 2=[0,1]∪[3,21], x[21] = 8=[0,7]∪[9,21], x[20] = {3..4,9,14,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
147.52/31.26 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
147.52/31.26 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
147.52/31.26 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
147.52/31.26 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
147.52/31.26 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
147.52/31.26 at org.chocosolver.solver.Solver.repair(Solver.java:433)
147.52/31.26 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
147.52/31.26 at org.chocosolver.solver.Solver.solve(Solver.java:262)
147.52/31.26 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
147.52/31.26 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
147.52/31.26 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
147.52/31.26 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
147.52/31.26 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
147.52/31.26 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
147.52/31.26 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
147.52/31.26 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
147.52/31.26 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
147.52/31.26 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
147.52/31.26 o 3078
325.28/66.68 java.util.concurrent.ExecutionException: java.lang.NullPointerException
325.28/66.68 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
325.28/66.68 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
325.28/66.68 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
325.28/66.68 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
325.28/66.68 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
325.28/66.68 Caused by: java.lang.NullPointerException
325.28/66.68 at sun.reflect.GeneratedConstructorAccessor1.newInstance(Unknown Source)
325.28/66.68 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
325.28/66.68 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
325.28/66.68 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
325.28/66.68 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
325.28/66.68 ... 4 more
325.28/66.68 Caused by: java.lang.NullPointerException
325.28/66.68 at sun.reflect.GeneratedConstructorAccessor1.newInstance(Unknown Source)
325.28/66.68 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
325.28/66.68 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
325.28/66.68 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
325.28/66.68 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
325.28/66.68 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
325.28/66.68 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
325.28/66.68 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
325.28/66.68 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
325.28/66.68 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
325.28/66.68 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
325.28/66.68 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
325.28/66.68 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
325.28/66.68 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
325.28/66.68 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
325.28/66.68 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
325.28/66.68 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
325.28/66.68 Caused by: java.lang.NullPointerException
325.28/66.68 s OPTIMUM FOUND
325.28/66.68 v <instantiation>
325.28/66.68 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] d[0][1] d[0][2] d[0][3] d[0][4] d[1][5] d[1][6] d[2][7] d[2][8] d[4][9] d[4][10] d[5][11] d[5][12] d[6][13] d[9][14] d[9][15] d[9][16] d[10][17] d[13][18] d[13][19] d[14][20] d[15][21] </list>
325.28/66.68 v <values>14 1 20 7 15 0 6 17 13 12 4 16 5 10 2 3 19 18 8 21 9 11 12 14 10 12 8 11 14 13 14 10 10 9 10 14 10 14 12 10 12 12 10 </values>
325.28/66.68 v </instantiation>