0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393794-1568421861.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4393794-1568421861.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
1.37/0.62 c solve instance...
2.68/0.87 o 6036
2.68/0.87 o 5810
2.68/0.88 o 5807
2.68/0.89 o 5622
3.26/0.91 o 4992
3.26/0.92 o 4370
3.26/0.92 o 4280
3.26/0.93 o 4133
3.26/0.95 o 4034
3.26/0.95 o 4025
3.26/0.96 o 4008
3.26/0.97 o 3990
3.26/0.98 o 3979
3.26/0.98 o 3903
3.26/0.99 o 3854
3.26/1.00 o 3843
3.26/1.00 o 3763
3.82/1.02 o 3752
3.82/1.04 o 3739
3.82/1.04 o 3676
3.82/1.06 o 3597
3.82/1.08 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (326/341)
3.82/1.08 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
3.82/1.08 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
3.82/1.08 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
3.82/1.08 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
3.82/1.08 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
3.82/1.08 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (326/341)
3.82/1.08 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
3.82/1.08 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
3.82/1.08 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
3.82/1.08 at org.chocosolver.solver.Solver.repair(Solver.java:443)
3.82/1.08 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
3.82/1.08 at org.chocosolver.solver.Solver.solve(Solver.java:262)
3.82/1.08 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
3.82/1.08 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
3.82/1.08 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
3.82/1.08 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
3.82/1.08 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
3.82/1.08 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
3.82/1.08 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
3.82/1.08 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
3.82/1.08 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
3.82/1.08 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
3.82/1.08 o 3552
3.82/1.09 o 3533
3.82/1.09 o 3509
3.82/1.10 o 3487
4.46/1.11 o 3486
4.46/1.12 o 3448
4.46/1.14 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (261/263)
4.46/1.14 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.46/1.14 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.46/1.14 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.46/1.14 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.46/1.14 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.46/1.14 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (261/263)
4.46/1.14 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
4.46/1.14 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
4.46/1.14 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
4.46/1.14 at org.chocosolver.solver.Solver.repair(Solver.java:443)
4.46/1.14 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
4.46/1.14 at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.46/1.14 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.46/1.14 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.46/1.14 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.46/1.14 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.46/1.14 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.46/1.14 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.46/1.14 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.46/1.14 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.46/1.14 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.46/1.14 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.46/1.14 o 3424
4.46/1.15 o 3405
4.46/1.19 o 3401
4.46/1.20 o 3382
4.46/1.20 o 3376
5.10/1.20 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (311/321)
5.10/1.20 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
5.10/1.20 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
5.10/1.20 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
5.10/1.20 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
5.10/1.20 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
5.10/1.20 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (311/321)
5.10/1.20 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
5.10/1.20 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
5.10/1.20 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
5.10/1.20 at org.chocosolver.solver.Solver.repair(Solver.java:443)
5.10/1.20 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
5.10/1.20 at org.chocosolver.solver.Solver.solve(Solver.java:262)
5.10/1.20 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
5.10/1.20 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
5.10/1.20 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
5.10/1.20 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
5.10/1.20 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
5.10/1.21 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
5.10/1.21 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
5.10/1.21 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
5.10/1.21 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
5.10/1.21 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
5.10/1.21 o 3357
5.10/1.22 o 3332
5.83/1.38 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (270/276)
5.83/1.38 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
5.83/1.38 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
5.83/1.38 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
5.83/1.38 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
5.83/1.38 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
5.83/1.38 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (270/276)
5.83/1.38 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
5.83/1.38 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
5.83/1.38 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
5.83/1.38 at org.chocosolver.solver.Solver.repair(Solver.java:443)
5.83/1.38 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
5.83/1.38 at org.chocosolver.solver.Solver.solve(Solver.java:262)
5.83/1.38 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
5.83/1.38 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
5.83/1.38 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
5.83/1.38 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
5.83/1.38 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
5.83/1.38 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
5.83/1.38 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
5.83/1.38 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
5.83/1.38 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
5.83/1.38 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
5.83/1.38 o 3321
8.24/1.70 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
8.24/1.70 {x[16] = 15=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], x[18] = {9,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[10][17] = {12..13}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,37]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[5] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3304,3320]=[0,3033]∪[3321,26663], d[6][13] = 10=[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[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], x[7] = 16=[0,15]∪[17,21], d[5][11] = 14=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][12] = 10=[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=[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]∪[70,71]∪[80,81]∪[91,91], x[11] = {15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[14] = 20=[0,2]∪[5,14]∪[16,16]∪[21,21], d[9][14] = 13=[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[12] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = 12=[0,0]∪[8,9]∪[11,11]∪[21,21], x[19] = {15,18..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {10,12}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = 13=[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=[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], x[6] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[3] = {9,17..18,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {9,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = 11=[0,2]∪[5,8]∪[10,10]∪[15,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], x[13] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], 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], d[13][18] = 10=[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][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[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=[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] = {9,14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
8.24/1.70 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
8.24/1.70 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
8.24/1.70 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
8.24/1.70 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
8.24/1.70 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
8.24/1.70 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
8.24/1.70 {x[16] = 15=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], x[18] = {9,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[10][17] = {12..13}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,37]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[5] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3304,3320]=[0,3033]∪[3321,26663], d[6][13] = 10=[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[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], x[7] = 16=[0,15]∪[17,21], d[5][11] = 14=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][12] = 10=[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=[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]∪[70,71]∪[80,81]∪[91,91], x[11] = {15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[14] = 20=[0,2]∪[5,14]∪[16,16]∪[21,21], d[9][14] = 13=[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[12] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = 12=[0,0]∪[8,9]∪[11,11]∪[21,21], x[19] = {15,18..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {10,12}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = 13=[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=[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], x[6] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[3] = {9,17..18,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {9,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = 11=[0,2]∪[5,8]∪[10,10]∪[15,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], x[13] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], 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], d[13][18] = 10=[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][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[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=[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] = {9,14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
8.24/1.70 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
8.24/1.70 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
8.24/1.70 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
8.24/1.70 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
8.24/1.70 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
8.24/1.70 at org.chocosolver.solver.Solver.repair(Solver.java:433)
8.24/1.70 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
8.24/1.70 at org.chocosolver.solver.Solver.solve(Solver.java:262)
8.24/1.70 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
8.24/1.70 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
8.24/1.70 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
8.24/1.70 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
8.24/1.70 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
8.24/1.70 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
8.24/1.70 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
8.24/1.70 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
8.24/1.70 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
8.24/1.70 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
8.24/1.70 o 3259
8.24/1.70 o 3235
9.75/1.83 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
9.75/1.83 {x[16] = 15=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], x[18] = {9,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[10][17] = {12..13}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,37]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[5] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3304,3320]=[0,3033]∪[3321,26663], d[6][13] = 10=[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[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], x[7] = 16=[0,15]∪[17,21], d[5][11] = 14=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][12] = 10=[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=[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]∪[70,71]∪[80,81]∪[91,91], x[11] = {15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[14] = 20=[0,2]∪[5,14]∪[16,16]∪[21,21], d[9][14] = 13=[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[12] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = 12=[0,0]∪[8,9]∪[11,11]∪[21,21], x[19] = {15,18..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {10,12}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = 13=[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=[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], x[6] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[3] = {9,17..18,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {9,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = 11=[0,2]∪[5,8]∪[10,10]∪[15,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], x[13] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], 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], d[13][18] = 10=[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][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[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=[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] = {9,14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
9.75/1.83 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
9.75/1.83 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
9.75/1.83 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
9.75/1.83 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
9.75/1.83 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
9.75/1.83 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
9.75/1.83 {x[16] = 15=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], x[18] = {9,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[10][17] = {12..13}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,37]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[5] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3304,3320]=[0,3033]∪[3321,26663], d[6][13] = 10=[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[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], x[7] = 16=[0,15]∪[17,21], d[5][11] = 14=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][12] = 10=[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=[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]∪[70,71]∪[80,81]∪[91,91], x[11] = {15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[14] = 20=[0,2]∪[5,14]∪[16,16]∪[21,21], d[9][14] = 13=[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[12] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = 12=[0,0]∪[8,9]∪[11,11]∪[21,21], x[19] = {15,18..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {10,12}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = 13=[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=[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], x[6] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[3] = {9,17..18,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {9,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = 11=[0,2]∪[5,8]∪[10,10]∪[15,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], x[13] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], 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], d[13][18] = 10=[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][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[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=[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] = {9,14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
9.75/1.83 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
9.75/1.83 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
9.75/1.83 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
9.75/1.83 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
9.75/1.83 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
9.75/1.83 at org.chocosolver.solver.Solver.repair(Solver.java:433)
9.75/1.83 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
9.75/1.83 at org.chocosolver.solver.Solver.solve(Solver.java:262)
9.75/1.83 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
9.75/1.83 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
9.75/1.83 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
9.75/1.83 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
9.75/1.83 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
9.75/1.83 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
9.75/1.83 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
9.75/1.83 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
9.75/1.83 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
9.75/1.83 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
9.75/1.83 o 3232
9.75/1.84 java.util.concurrent.ExecutionException: java.lang.NullPointerException
9.75/1.84 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
9.75/1.84 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
9.75/1.84 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
9.75/1.84 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
9.75/1.84 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
9.75/1.84 Caused by: java.lang.NullPointerException
9.75/1.84 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
9.75/1.84 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
9.75/1.84 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
9.75/1.84 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
9.75/1.84 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
9.75/1.84 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
9.75/1.84 ... 4 more
9.75/1.84 Caused by: java.lang.NullPointerException
9.75/1.84 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
9.75/1.84 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
9.75/1.84 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
9.75/1.84 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
9.75/1.84 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
9.75/1.84 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
9.75/1.84 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
9.75/1.84 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
9.75/1.84 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
9.75/1.84 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
9.75/1.84 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
9.75/1.84 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
9.75/1.84 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
9.75/1.84 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
9.75/1.84 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
9.75/1.84 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
9.75/1.84 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
9.75/1.84 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
9.75/1.84 Caused by: java.lang.NullPointerException
9.75/1.84 at org.chocosolver.sat.SatSolver.propagateClauses(SatSolver.java:399)
9.75/1.84 at org.chocosolver.sat.SatSolver.propagate(SatSolver.java:385)
9.75/1.84 at org.chocosolver.sat.SatSolver.propagateOneLiteral(SatSolver.java:301)
9.75/1.84 at org.chocosolver.sat.PropNogoods.VariableBound(PropNogoods.java:404)
9.75/1.84 at org.chocosolver.sat.PropNogoods.doVariableBound(PropNogoods.java:182)
9.75/1.84 at org.chocosolver.sat.PropNogoods.propagate(PropNogoods.java:159)
9.75/1.84 at org.chocosolver.solver.propagation.PropagationEngine.execute(PropagationEngine.java:212)
9.75/1.84 at org.chocosolver.solver.propagation.PropagationEngine.activatePropagators(PropagationEngine.java:197)
9.75/1.84 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:162)
9.75/1.84 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
9.75/1.84 at org.chocosolver.solver.Solver.propagate(Solver.java:403)
9.75/1.84 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
9.75/1.84 at org.chocosolver.solver.Solver.solve(Solver.java:262)
9.75/1.84 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
9.75/1.84 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
9.75/1.84 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
9.75/1.84 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
9.75/1.84 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
9.75/1.84 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
9.75/1.84 ... 4 more
9.75/1.84 o 3215
11.46/2.03 java.util.concurrent.ExecutionException: java.lang.NullPointerException
11.46/2.03 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
11.46/2.03 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
11.46/2.03 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
11.46/2.03 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
11.46/2.03 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
11.46/2.03 Caused by: java.lang.NullPointerException
11.46/2.03 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
11.46/2.03 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
11.46/2.03 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
11.46/2.03 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
11.46/2.03 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
11.46/2.03 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
11.46/2.03 ... 4 more
11.46/2.03 Caused by: java.lang.NullPointerException
11.46/2.03 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
11.46/2.03 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
11.46/2.03 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
11.46/2.03 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
11.46/2.03 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
11.46/2.03 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
11.46/2.03 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
11.46/2.03 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
11.46/2.03 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
11.46/2.03 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
11.46/2.03 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
11.46/2.03 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
11.46/2.03 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
11.46/2.03 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
11.46/2.03 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
11.46/2.03 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
11.46/2.03 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
11.46/2.03 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
11.46/2.03 Caused by: java.lang.NullPointerException
11.46/2.03 at org.chocosolver.sat.SatSolver.propagateClauses(SatSolver.java:399)
11.46/2.03 at org.chocosolver.sat.SatSolver.propagate(SatSolver.java:385)
11.46/2.03 at org.chocosolver.sat.SatSolver.propagateOneLiteral(SatSolver.java:301)
11.46/2.03 at org.chocosolver.sat.PropNogoods.VariableBound(PropNogoods.java:404)
11.46/2.03 at org.chocosolver.sat.PropNogoods.doVariableBound(PropNogoods.java:182)
11.46/2.03 at org.chocosolver.sat.PropNogoods.propagate(PropNogoods.java:159)
11.46/2.03 at org.chocosolver.solver.propagation.PropagationEngine.execute(PropagationEngine.java:212)
11.46/2.03 at org.chocosolver.solver.propagation.PropagationEngine.activatePropagators(PropagationEngine.java:197)
11.46/2.03 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:162)
11.46/2.03 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
11.46/2.03 at org.chocosolver.solver.Solver.propagate(Solver.java:403)
11.46/2.03 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
11.46/2.03 at org.chocosolver.solver.Solver.solve(Solver.java:262)
11.46/2.03 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
11.46/2.03 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
11.46/2.03 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
11.46/2.03 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
11.46/2.03 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
11.46/2.03 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
11.46/2.03 ... 4 more
11.46/2.03 o 3175
70.83/11.77 java.util.concurrent.ExecutionException: java.lang.NullPointerException
70.83/11.77 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
70.83/11.77 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
70.83/11.77 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
70.83/11.77 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
70.83/11.77 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
70.83/11.77 Caused by: java.lang.NullPointerException
70.83/11.77 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
70.83/11.77 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
70.83/11.77 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
70.83/11.77 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
70.83/11.77 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
70.83/11.77 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
70.83/11.77 ... 4 more
70.83/11.77 Caused by: java.lang.NullPointerException
70.83/11.77 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
70.83/11.77 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
70.83/11.77 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
70.83/11.77 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
70.83/11.77 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
70.83/11.77 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
70.83/11.77 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
70.83/11.77 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
70.83/11.77 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
70.83/11.77 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
70.83/11.77 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
70.83/11.77 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
70.83/11.77 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
70.83/11.77 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
70.83/11.77 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
70.83/11.77 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
70.83/11.77 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
70.83/11.77 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
70.83/11.77 Caused by: java.lang.NullPointerException
70.83/11.77 at org.chocosolver.sat.SatSolver.propagateClauses(SatSolver.java:399)
70.83/11.77 at org.chocosolver.sat.SatSolver.propagate(SatSolver.java:385)
70.83/11.77 at org.chocosolver.sat.SatSolver.propagateOneLiteral(SatSolver.java:301)
70.83/11.77 at org.chocosolver.sat.PropNogoods.VariableBound(PropNogoods.java:404)
70.83/11.77 at org.chocosolver.sat.PropNogoods.doVariableBound(PropNogoods.java:182)
70.83/11.77 at org.chocosolver.sat.PropNogoods.propagate(PropNogoods.java:159)
70.83/11.77 at org.chocosolver.solver.propagation.PropagationEngine.execute(PropagationEngine.java:212)
70.83/11.77 at org.chocosolver.solver.propagation.PropagationEngine.activatePropagators(PropagationEngine.java:197)
70.83/11.77 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:162)
70.83/11.77 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
70.83/11.77 at org.chocosolver.solver.Solver.propagate(Solver.java:403)
70.83/11.77 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
70.83/11.77 at org.chocosolver.solver.Solver.solve(Solver.java:262)
70.83/11.77 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
70.83/11.77 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
70.83/11.77 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
70.83/11.77 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
70.83/11.77 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
70.83/11.77 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
70.83/11.77 ... 4 more
70.83/11.77 o 3167
113.03/18.47 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
113.03/18.47 {x[16] = 15=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], x[18] = {9,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[10][17] = {12..13}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,37]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[5] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3304,3320]=[0,3033]∪[3321,26663], d[6][13] = 10=[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[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], x[7] = 16=[0,15]∪[17,21], d[5][11] = 14=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][12] = 10=[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=[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]∪[70,71]∪[80,81]∪[91,91], x[11] = {15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[14] = 20=[0,2]∪[5,14]∪[16,16]∪[21,21], d[9][14] = 13=[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[12] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = 12=[0,0]∪[8,9]∪[11,11]∪[21,21], x[19] = {15,18..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {10,12}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = 13=[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=[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], x[6] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[3] = {9,17..18,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {9,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = 11=[0,2]∪[5,8]∪[10,10]∪[15,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], x[13] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], 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], d[13][18] = 10=[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][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[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=[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] = {9,14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
113.03/18.47 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
113.03/18.47 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
113.03/18.47 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
113.03/18.47 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
113.03/18.47 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
113.03/18.47 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
113.03/18.47 {x[16] = 15=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], x[18] = {9,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[10][17] = {12..13}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,37]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[5] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3304,3320]=[0,3033]∪[3321,26663], d[6][13] = 10=[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[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], x[7] = 16=[0,15]∪[17,21], d[5][11] = 14=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][12] = 10=[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=[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]∪[70,71]∪[80,81]∪[91,91], x[11] = {15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[14] = 20=[0,2]∪[5,14]∪[16,16]∪[21,21], d[9][14] = 13=[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[12] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = 12=[0,0]∪[8,9]∪[11,11]∪[21,21], x[19] = {15,18..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {10,12}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = 13=[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=[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], x[6] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[3] = {9,17..18,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {9,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = 11=[0,2]∪[5,8]∪[10,10]∪[15,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], x[13] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], 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], d[13][18] = 10=[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][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[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=[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] = {9,14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
113.03/18.47 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
113.03/18.47 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
113.03/18.47 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
113.03/18.47 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
113.03/18.47 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
113.03/18.47 at org.chocosolver.solver.Solver.repair(Solver.java:433)
113.03/18.47 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
113.03/18.47 at org.chocosolver.solver.Solver.solve(Solver.java:262)
113.03/18.47 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
113.03/18.47 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
113.03/18.47 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
113.03/18.47 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
113.03/18.47 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
113.03/18.47 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
113.03/18.47 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
113.03/18.47 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
113.03/18.47 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
113.03/18.47 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
113.03/18.47 o 3159
183.67/30.15 java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException
183.67/30.15 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
183.67/30.15 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
183.67/30.15 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
183.67/30.15 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
183.67/30.15 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
183.67/30.15 Caused by: java.lang.ArrayIndexOutOfBoundsException
183.67/30.15 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
183.67/30.15 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
183.67/30.15 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
183.67/30.15 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
183.67/30.15 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
183.67/30.15 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
183.67/30.15 ... 4 more
183.67/30.15 Caused by: java.lang.ArrayIndexOutOfBoundsException
183.67/30.15 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
183.67/30.15 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
183.67/30.15 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
183.67/30.15 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
183.67/30.15 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
183.67/30.15 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
183.67/30.15 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
183.67/30.15 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
183.67/30.15 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
183.67/30.15 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
183.67/30.15 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
183.67/30.15 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
183.67/30.15 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
183.67/30.15 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
183.67/30.15 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
183.67/30.15 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
183.67/30.15 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
183.67/30.15 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
183.67/30.15 Caused by: java.lang.ArrayIndexOutOfBoundsException
183.67/30.15 o 3157
191.04/31.28 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
191.04/31.28 {x[16] = 15=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], x[18] = {9,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[10][17] = {12..13}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,37]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[5] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3304,3320]=[0,3033]∪[3321,26663], d[6][13] = 10=[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[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], x[7] = 16=[0,15]∪[17,21], d[5][11] = 14=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][12] = 10=[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=[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]∪[70,71]∪[80,81]∪[91,91], x[11] = {15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[14] = 20=[0,2]∪[5,14]∪[16,16]∪[21,21], d[9][14] = 13=[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[12] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = 12=[0,0]∪[8,9]∪[11,11]∪[21,21], x[19] = {15,18..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {10,12}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = 13=[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=[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], x[6] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[3] = {9,17..18,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {9,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = 11=[0,2]∪[5,8]∪[10,10]∪[15,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], x[13] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], 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], d[13][18] = 10=[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][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[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=[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] = {9,14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
191.04/31.28 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
191.04/31.28 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
191.04/31.28 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
191.04/31.28 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
191.04/31.28 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
191.04/31.28 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
191.04/31.28 {x[16] = 15=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], x[18] = {9,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[10][17] = {12..13}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,37]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[5] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3304,3320]=[0,3033]∪[3321,26663], d[6][13] = 10=[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[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], x[7] = 16=[0,15]∪[17,21], d[5][11] = 14=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][12] = 10=[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=[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]∪[70,71]∪[80,81]∪[91,91], x[11] = {15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[14] = 20=[0,2]∪[5,14]∪[16,16]∪[21,21], d[9][14] = 13=[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[12] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = 12=[0,0]∪[8,9]∪[11,11]∪[21,21], x[19] = {15,18..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {10,12}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = 13=[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=[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], x[6] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[3] = {9,17..18,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {9,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = 11=[0,2]∪[5,8]∪[10,10]∪[15,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], x[13] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], 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], d[13][18] = 10=[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][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[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=[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] = {9,14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
191.04/31.28 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
191.04/31.28 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
191.04/31.28 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
191.04/31.28 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
191.04/31.28 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
191.04/31.28 at org.chocosolver.solver.Solver.repair(Solver.java:433)
191.04/31.28 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
191.04/31.28 at org.chocosolver.solver.Solver.solve(Solver.java:262)
191.04/31.28 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
191.04/31.28 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
191.04/31.28 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
191.04/31.28 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
191.04/31.28 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
191.04/31.28 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
191.04/31.28 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
191.04/31.28 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
191.04/31.28 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
191.04/31.28 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
191.04/31.28 o 3155
196.58/32.36 java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException
196.58/32.36 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
196.58/32.36 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
196.58/32.36 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
196.58/32.36 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
196.58/32.36 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
196.58/32.36 Caused by: java.lang.ArrayIndexOutOfBoundsException
196.58/32.36 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
196.58/32.36 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
196.58/32.36 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
196.58/32.36 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
196.58/32.36 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
196.58/32.36 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
196.58/32.36 ... 4 more
196.58/32.36 Caused by: java.lang.ArrayIndexOutOfBoundsException
196.58/32.36 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
196.58/32.36 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
196.58/32.36 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
196.58/32.36 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
196.58/32.36 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
196.58/32.36 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
196.58/32.36 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
196.58/32.36 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
196.58/32.36 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
196.58/32.36 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
196.58/32.36 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
196.58/32.36 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
196.58/32.36 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
196.58/32.36 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
196.58/32.36 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
196.58/32.36 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
196.58/32.36 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
196.58/32.36 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
196.58/32.36 Caused by: java.lang.ArrayIndexOutOfBoundsException
196.58/32.36 o 3151
196.58/32.37 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
196.58/32.37 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
196.58/32.37 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
196.58/32.37 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
196.58/32.37 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
196.58/32.37 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
196.58/32.37 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
196.58/32.37 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
196.58/32.37 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
196.58/32.37 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
196.58/32.37 at org.chocosolver.solver.Solver.extend(Solver.java:421)
196.58/32.37 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
196.58/32.37 at org.chocosolver.solver.Solver.solve(Solver.java:262)
196.58/32.37 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
196.58/32.37 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
196.58/32.37 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
196.58/32.37 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
196.58/32.37 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
196.58/32.37 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
196.58/32.37 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
196.58/32.37 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
196.58/32.37 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
196.58/32.37 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
196.58/32.37 o 3144
196.58/32.38 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
196.58/32.38 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
196.58/32.38 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
196.58/32.38 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
196.58/32.38 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
196.58/32.38 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
196.58/32.38 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
196.58/32.38 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
196.58/32.38 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
196.58/32.38 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
196.58/32.38 at org.chocosolver.solver.Solver.extend(Solver.java:421)
196.58/32.38 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
196.58/32.38 at org.chocosolver.solver.Solver.solve(Solver.java:262)
196.58/32.38 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
196.58/32.38 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
196.58/32.38 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
196.58/32.38 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
196.58/32.38 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
196.58/32.38 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
196.58/32.38 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
196.58/32.38 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
196.58/32.38 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
196.58/32.38 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
196.58/32.38 o 3140
237.20/40.46 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
237.20/40.46 {x[16] = 15=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], x[18] = {9,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[10][17] = {12..13}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,37]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[5] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3304,3320]=[0,3033]∪[3321,26663], d[6][13] = 10=[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[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], x[7] = 16=[0,15]∪[17,21], d[5][11] = 14=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][12] = 10=[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=[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]∪[70,71]∪[80,81]∪[91,91], x[11] = {15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[14] = 20=[0,2]∪[5,14]∪[16,16]∪[21,21], d[9][14] = 13=[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[12] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = 12=[0,0]∪[8,9]∪[11,11]∪[21,21], x[19] = {15,18..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {10,12}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = 13=[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=[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], x[6] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[3] = {9,17..18,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {9,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = 11=[0,2]∪[5,8]∪[10,10]∪[15,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], x[13] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], 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], d[13][18] = 10=[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][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[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=[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] = {9,14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
237.20/40.46 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
237.20/40.46 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
237.20/40.46 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
237.20/40.46 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
237.20/40.46 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
237.20/40.46 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_12: d[0][1]\12
237.20/40.46 {x[16] = 15=[0,2]∪[5,8]∪[10,10]∪[12,12]∪[16,16]∪[21,21], x[15] = 10=[0,9]∪[11,21], x[18] = {9,15,17..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], d[10][17] = {12..13}=[0,0]∪[8,11]∪[15,19]∪[21,21]∪[23,26]∪[29,29]∪[31,31]∪[34,37]∪[40,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], x[5] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], SCALAR = [3304,3320]=[0,3033]∪[3321,26663], d[6][13] = 10=[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[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], x[7] = 16=[0,15]∪[17,21], d[5][11] = 14=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[34,40]∪[44,44]∪[50,52]∪[60,61]∪[63,64]∪[70,71]∪[80,81]∪[91,91], d[5][12] = 10=[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=[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]∪[70,71]∪[80,81]∪[91,91], x[11] = {15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[14] = 20=[0,2]∪[5,14]∪[16,16]∪[21,21], d[9][14] = 13=[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[12] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], d[1][6] = 12=[0,0]∪[8,9]∪[11,11]∪[21,21], x[19] = {15,18..19}=[0,2]∪[5,8]∪[10,10]∪[16,16], x[4] = 1=[0,0]∪[2,21], d[13][19] = {10,12}=[0,0]∪[8,9]∪[11,11]∪[21,21]∪[26,26]∪[36,36]∪[38,40]∪[52,52]∪[71,71]∪[80,81], d[14][20] = 13=[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=[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], x[6] = 12=[0,2]∪[5,8]∪[10,10]∪[16,16], 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[3] = {9,17..18,21}=[0,2]∪[5,8]∪[10,10]∪[13,16], x[17] = {9,15,19}=[0,2]∪[5,8]∪[10,10]∪[16,16]∪[18,18]∪[20,20], x[9] = 6=[0,5]∪[7,21], x[1] = 11=[0,2]∪[5,8]∪[10,10]∪[15,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], x[13] = 3=[0,2]∪[5,8]∪[10,10]∪[16,16], 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], d[13][18] = 10=[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][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[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=[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] = {9,14,17..18}=[0,2]∪[5,8]∪[10,10]∪[16,16]}
237.20/40.46 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
237.20/40.46 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
237.20/40.46 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
237.20/40.46 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
237.20/40.46 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
237.20/40.46 at org.chocosolver.solver.Solver.repair(Solver.java:433)
237.20/40.46 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
237.20/40.46 at org.chocosolver.solver.Solver.solve(Solver.java:262)
237.20/40.46 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
237.20/40.46 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
237.20/40.46 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
237.20/40.46 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
237.20/40.46 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
237.20/40.46 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
237.20/40.46 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
237.20/40.46 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
237.20/40.46 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
237.20/40.46 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
237.20/40.46 o 3126
237.20/40.47 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
237.20/40.47 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
237.20/40.47 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
237.20/40.47 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
237.20/40.47 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
237.20/40.47 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
237.20/40.47 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
237.20/40.47 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
237.20/40.47 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
237.20/40.47 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
237.20/40.47 at org.chocosolver.solver.Solver.extend(Solver.java:421)
237.20/40.47 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
237.20/40.47 at org.chocosolver.solver.Solver.solve(Solver.java:262)
237.20/40.47 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
237.20/40.47 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
237.20/40.47 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
237.20/40.47 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
237.20/40.47 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
237.20/40.47 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
237.20/40.47 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
237.20/40.47 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
237.20/40.47 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
237.20/40.47 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
237.20/40.47 o 3122
237.20/40.49 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
237.20/40.49 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
237.20/40.49 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
237.20/40.49 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
237.20/40.49 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
237.20/40.49 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
237.20/40.49 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
237.20/40.49 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
237.20/40.49 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
237.20/40.49 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
237.20/40.49 at org.chocosolver.solver.Solver.extend(Solver.java:421)
237.20/40.49 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
237.20/40.49 at org.chocosolver.solver.Solver.solve(Solver.java:262)
237.20/40.49 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
237.20/40.49 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
237.20/40.49 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
237.20/40.49 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
237.20/40.49 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
237.20/40.49 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
237.20/40.49 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
237.20/40.49 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
237.20/40.49 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
237.20/40.49 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
237.20/40.49 o 3118
237.77/40.51 java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException
237.77/40.51 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
237.77/40.51 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
237.77/40.51 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
237.77/40.51 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
237.77/40.51 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
237.77/40.51 Caused by: java.lang.ArrayIndexOutOfBoundsException
237.77/40.51 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
237.77/40.51 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
237.77/40.51 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
237.77/40.51 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
237.77/40.51 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
237.77/40.51 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
237.77/40.51 ... 4 more
237.77/40.51 Caused by: java.lang.ArrayIndexOutOfBoundsException
237.77/40.51 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
237.77/40.51 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
237.77/40.51 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
237.77/40.51 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
237.77/40.51 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
237.77/40.51 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
237.77/40.51 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
237.77/40.51 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
237.77/40.51 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
237.77/40.51 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
237.77/40.51 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
237.77/40.51 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
237.77/40.51 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
237.77/40.51 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
237.77/40.51 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
237.77/40.51 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
237.77/40.51 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
237.77/40.51 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
237.77/40.51 Caused by: java.lang.ArrayIndexOutOfBoundsException
237.77/40.51 o 3107
237.77/40.51 o 3101
239.75/40.94 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
239.75/40.94 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
239.75/40.94 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
239.75/40.94 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
239.75/40.94 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
239.75/40.94 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
239.75/40.94 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
239.75/40.94 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
239.75/40.94 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
239.75/40.94 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
239.75/40.94 at org.chocosolver.solver.Solver.extend(Solver.java:421)
239.75/40.94 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
239.75/40.94 at org.chocosolver.solver.Solver.solve(Solver.java:262)
239.75/40.94 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
239.75/40.94 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
239.75/40.94 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
239.75/40.94 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
239.75/40.94 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
239.75/40.94 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
239.75/40.94 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
239.75/40.94 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
239.75/40.94 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
239.75/40.94 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
239.75/40.94 o 3097
335.91/60.18 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
335.91/60.18 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
335.91/60.18 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
335.91/60.18 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
335.91/60.18 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
335.91/60.18 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
335.91/60.18 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
335.91/60.18 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
335.91/60.18 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
335.91/60.18 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
335.91/60.18 at org.chocosolver.solver.Solver.extend(Solver.java:421)
335.91/60.18 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
335.91/60.18 at org.chocosolver.solver.Solver.solve(Solver.java:262)
335.91/60.18 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
335.91/60.18 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
335.91/60.18 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
335.91/60.18 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
335.91/60.18 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
335.91/60.18 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
335.91/60.18 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
335.91/60.18 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
335.91/60.18 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
335.91/60.18 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
335.91/60.18 o 3078
507.47/94.43 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
507.47/94.43 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
507.47/94.43 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
507.47/94.43 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
507.47/94.43 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
507.47/94.43 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
507.47/94.43 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path
507.47/94.43 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95)
507.47/94.43 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64)
507.47/94.43 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
507.47/94.43 at org.chocosolver.solver.Solver.extend(Solver.java:421)
507.47/94.43 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
507.47/94.43 at org.chocosolver.solver.Solver.solve(Solver.java:262)
507.47/94.43 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
507.47/94.43 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
507.47/94.43 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
507.47/94.43 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
507.47/94.43 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
507.47/94.43 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
507.47/94.43 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
507.47/94.43 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
507.47/94.43 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
507.47/94.43 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
507.47/94.43 s OPTIMUM FOUND
507.47/94.43 v <instantiation>
507.47/94.43 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>
507.47/94.43 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>
507.47/94.43 v </instantiation>