0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393907-1568456497.xml" -tl '20160s' -p 8
0.10/0.19 c Choco e747e1e
0.10/0.19 c [HOME/instance-4393907-1568456497.xml, -tl, 20160s, -p, 8]
0.32/0.23 c 8 solvers in parallel
0.32/0.29 c parse instance...
1.03/0.60 c solve instance...
1.97/0.78 o 36171
1.97/0.79 o 29760
1.97/0.80 o 29656
1.97/0.80 o 29584
2.50/0.81 o 29539
2.50/0.82 o 29319
2.50/0.83 o 27935
2.50/0.83 o 27385
2.50/0.83 o 27303
2.50/0.84 o 26426
2.50/0.84 o 26401
2.50/0.85 o 25751
2.50/0.85 o 25148
2.50/0.88 o 24870
2.50/0.89 o 24717
2.99/0.90 o 24210
2.99/0.92 o 23936
2.99/0.93 o 23455
2.99/0.93 o 23359
2.99/0.94 o 21393
2.99/0.95 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (369/371)
2.99/0.95 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
2.99/0.95 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
2.99/0.95 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
2.99/0.95 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
2.99/0.95 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
2.99/0.95 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (369/371)
2.99/0.95 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
2.99/0.95 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
2.99/0.95 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
2.99/0.95 at org.chocosolver.solver.Solver.repair(Solver.java:443)
2.99/0.95 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
2.99/0.95 at org.chocosolver.solver.Solver.solve(Solver.java:262)
2.99/0.95 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
2.99/0.95 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
2.99/0.95 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
2.99/0.95 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
2.99/0.95 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
2.99/0.95 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
2.99/0.95 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
2.99/0.95 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
2.99/0.95 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
2.99/0.95 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
2.99/0.95 o 20783
2.99/0.96 o 20525
2.99/0.97 o 20044
2.99/0.97 o 19857
2.99/0.98 o 19760
2.99/0.98 o 19672
2.99/0.99 o 19601
2.99/0.99 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (301/304)
2.99/0.99 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
2.99/0.99 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
2.99/0.99 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
2.99/0.99 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
2.99/0.99 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
2.99/0.99 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (301/304)
2.99/0.99 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
2.99/0.99 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
2.99/0.99 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
2.99/0.99 at org.chocosolver.solver.Solver.repair(Solver.java:443)
2.99/0.99 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
2.99/0.99 at org.chocosolver.solver.Solver.solve(Solver.java:262)
2.99/0.99 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
2.99/0.99 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
2.99/0.99 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
2.99/0.99 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
2.99/0.99 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
2.99/0.99 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
2.99/0.99 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
2.99/0.99 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
2.99/0.99 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
2.99/0.99 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
2.99/0.99 o 19370
2.99/1.00 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (343/353)
2.99/1.00 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
2.99/1.00 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
2.99/1.00 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
2.99/1.00 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
2.99/1.00 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
2.99/1.00 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (343/353)
2.99/1.00 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
2.99/1.00 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
2.99/1.00 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
2.99/1.00 at org.chocosolver.solver.Solver.repair(Solver.java:443)
2.99/1.00 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
2.99/1.00 at org.chocosolver.solver.Solver.solve(Solver.java:262)
2.99/1.00 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
2.99/1.00 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
2.99/1.00 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
2.99/1.00 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
2.99/1.00 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
2.99/1.00 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
2.99/1.00 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
2.99/1.00 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
2.99/1.00 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
2.99/1.00 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
2.99/1.00 o 16477
3.58/1.01 o 16078
3.58/1.03 o 15663
3.58/1.04 o 15639
3.58/1.04 o 14846
3.58/1.06 o 14561
3.58/1.07 o 14184
3.58/1.07 o 13766
3.58/1.08 o 13055
3.58/1.08 o 12688
4.31/1.12 o 11076
4.31/1.16 o 10750
4.31/1.17 o 10640
4.31/1.17 o 10588
4.87/1.20 o 10494
4.87/1.20 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (268/276)
4.87/1.20 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.87/1.20 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.87/1.20 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.87/1.20 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.87/1.20 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.87/1.20 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (268/276)
4.87/1.20 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
4.87/1.20 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
4.87/1.20 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
4.87/1.20 at org.chocosolver.solver.Solver.repair(Solver.java:443)
4.87/1.20 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
4.87/1.20 at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.87/1.20 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.87/1.20 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.87/1.20 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.87/1.20 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.87/1.20 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.87/1.20 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.87/1.20 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.87/1.20 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.87/1.20 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.87/1.20 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.87/1.20 o 10282
4.87/1.22 o 9887
4.87/1.22 o 9765
4.87/1.24 o 9720
4.87/1.24 o 9563
4.87/1.26 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (284/293)
4.87/1.26 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
4.87/1.26 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
4.87/1.26 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
4.87/1.26 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
4.87/1.26 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
4.87/1.26 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (284/293)
4.87/1.26 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
4.87/1.26 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
4.87/1.26 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
4.87/1.26 at org.chocosolver.solver.Solver.repair(Solver.java:443)
4.87/1.26 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
4.87/1.26 at org.chocosolver.solver.Solver.solve(Solver.java:262)
4.87/1.26 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
4.87/1.26 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
4.87/1.26 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
4.87/1.26 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
4.87/1.26 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
4.87/1.26 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
4.87/1.26 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
4.87/1.26 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
4.87/1.26 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
4.87/1.26 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
4.87/1.26 o 9359
4.87/1.27 o 9090
4.87/1.28 o 8788
4.87/1.28 o 8666
5.93/1.49 o 8653
5.93/1.50 o 8510
6.44/1.50 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_9: d[3][6]\1
6.44/1.50 {d[6][9] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[12] = {5,8,14..16}=[0,3]∪[6,6]∪[12,12], x[4] = {5,10,13,15..16}=[0,3]∪[6,6]∪[12,12], d[3][7] = {55,86}=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,74]∪[76,77]∪[80,85]∪[87,91]∪[94,97]∪[99,99], d[7][10] = 38=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[39,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[0] = {5,10,15..16}=[0,3]∪[6,6]∪[12,12], x[15] = {4,8,14..17}=[0,3]∪[6,6]∪[12,12], d[2][4] = {12..13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,56]∪[86,91]∪[94,97]∪[99,99], d[0][3] = {12,17,19,36,74,77,81}=[0,4]∪[9,11]∪[13,13]∪[16,16]∪[26,29]∪[32,32]∪[39,39]∪[47,47]∪[50,51]∪[56,57]∪[64,64]∪[66,67]∪[70,71]∪[75,76]∪[82,82]∪[84,87]∪[89,90]∪[94,94], x[3] = {11,16}=[0,9]∪[12,13]∪[17,17], d[0][2] = {12..13,17,23}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,61]∪[86,91]∪[94,97]∪[99,99], x[5] = {5,13,15..16}=[0,3]∪[6,6]∪[12,12], d[2][5] = {13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,64]∪[66,66]∪[68,68]∪[73,75]∪[80,81]∪[86,91]∪[94,97]∪[99,99], d[8][11] = {9,12..13}=[0,0]∪[2,3]∪[10,11]∪[39,39]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[16] = 9=[0,3]∪[6,6]∪[12,12], SCALAR = [7312,8509]=[0,6346]∪[9769,79497], d[12][15] = {9,12..14,16}=[0,0]∪[2,3]∪[10,11]∪[26,26]∪[39,39]∪[46,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[0][1] = {12..13,17..19,23}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[39,39]∪[47,47], x[11] = {5,8,15..16}=[0,3]∪[6,6]∪[12,12], x[6] = 0=[1,17], d[15][17] = {9,12..14,16..17}=[0,0]∪[2,3]∪[10,11]∪[26,27]∪[39,39]∪[47,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[14][16] = 32=[0,0]∪[2,3]∪[9,11]∪[18,18]∪[26,28]∪[39,39]∪[43,43]∪[47,47]∪[50,51]∪[56,56]∪[60,60]∪[62,62]∪[66,67]∪[70,71]∪[74,76]∪[80,80]∪[82,82]∪[84,87]∪[89,90]∪[94,95], d[10][13] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[7] = 3=[0,2]∪[4,17], x[1] = {11,13..17}=[0,3]∪[6,6]∪[12,12], x[13] = 2=[0,1]∪[3,17], x[10] = 12=[0,11]∪[13,17], x[8] = {4,15..17}=[0,3]∪[6,6]∪[12,12], d[8][12] = {9,12..13,16,30,35}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[56,56]∪[89,90], x[2] = 1=[0,0]∪[2,17], x[14] = 7=[0,4]∪[6,6]∪[8,13]∪[17,17], d[5][8] = {12..13,19}=[0,0]∪[2,3]∪[10,11]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[3][6] = {2,4}=[0,1]∪[3,3]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,27]∪[29,30]∪[32,32]∪[35,35]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[9] = 6=[0,5]∪[7,17], d[10][14] = 12=[0,4]∪[9,10]∪[13,14]∪[16,19]∪[21,21]∪[23,23]∪[26,26]∪[28,29]∪[44,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[17] = {4..5,8,11,14..17}=[0,3]∪[6,6]∪[12,12]}
6.44/1.50 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
6.44/1.50 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
6.44/1.50 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
6.44/1.50 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
6.44/1.50 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
6.44/1.50 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_9: d[3][6]\1
6.44/1.50 {d[6][9] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[12] = {5,8,14..16}=[0,3]∪[6,6]∪[12,12], x[4] = {5,10,13,15..16}=[0,3]∪[6,6]∪[12,12], d[3][7] = {55,86}=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,74]∪[76,77]∪[80,85]∪[87,91]∪[94,97]∪[99,99], d[7][10] = 38=[0,4]∪[9,14]\xe2\x88\xaa[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[39,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[0] = {5,10,15..16}=[0,3]∪[6,6]∪[12,12], x[15] = {4,8,14..17}=[0,3]∪[6,6]∪[12,12], d[2][4] = {12..13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,56]∪[86,91]∪[94,97]∪[99,99], d[0][3] = {12,17,19,36,74,77,81}=[0,4]∪[9,11]∪[13,13]∪[16,16]∪[26,29]∪[32,32]∪[39,39]∪[47,47]∪[50,51]∪[56,57]∪[64,64]∪[66,67]∪[70,71]∪[75,76]∪[82,82]∪[84,87]∪[89,90]∪[94,94], x[3] = {11,16}=[0,9]∪[12,13]∪[17,17], d[0][2] = {12..13,17,23}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,61]∪[86,91]∪[94,97]∪[99,99], x[5] = {5,13,15..16}=[0,3]∪[6,6]∪[12,12], d[2][5] = {13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,64]∪[66,66]∪[68,68]∪[73,75]∪[80,81]∪[86,91]∪[94,97]∪[99,99], d[8][11] = {9,12..13}=[0,0]∪[2,3]∪[10,11]∪[39,39]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[16] = 9=[0,3]∪[6,6]∪[12,12], SCALAR = [7312,8509]=[0,6346]∪[9769,79497], d[12][15] = {9,12..14,16}=[0,0]∪[2,3]∪[10,11]∪[26,26]∪[39,39]∪[46,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[0][1] = {12..13,17..19,23}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[39,39]∪[47,47], x[11] = {5,8,15..16}=[0,3]∪[6,6]∪[12,12], x[6] = 0=[1,17], d[15][17] = {9,12..14,16..17}=[0,0]∪[2,3]∪[10,11]∪[26,27]∪[39,39]∪[47,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[14][16] = 32=[0,0]∪[2,3]∪[9,11]∪[18,18]∪[26,28]∪[39,39]∪[43,43]∪[47,47]∪[50,51]∪[56,56]∪[60,60]∪[62,62]∪[66,67]∪[70,71]∪[74,76]∪[80,80]∪[82,82]∪[84,87]∪[89,90]∪[94,95], d[10][13] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[7] = 3=[0,2]∪[4,17], x[1] = {11,13..17}=[0,3]∪[6,6]∪[12,12], x[13] = 2=[0,1]∪[3,17], x[10] = 12=[0,11]∪[13,17], x[8] = {4,15..17}=[0,3]∪[6,6]∪[12,12], d[8][12] = {9,12..13,16,30,35}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[56,56]∪[89,90], x[2] = 1=[0,0]∪[2,17], x[14] = 7=[0,4]∪[6,6]∪[8,13]∪[17,17], d[5][8] = {12..13,19}=[0,0]∪[2,3]∪[10,11]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[3][6] = {2,4}=[0,1]∪[3,3]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,27]∪[29,30]∪[32,32]∪[35,35]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[9] = 6=[0,5]∪[7,17], d[10][14] = 12=[0,4]∪[9,10]∪[13,14]∪[16,19]∪[21,21]∪[23,23]∪[26,26]∪[28,29]∪[44,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[17] = {4..5,8,11,14..17}=[0,3]∪[6,6]∪[12,12]}
6.44/1.50 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
6.44/1.50 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
6.44/1.50 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
6.44/1.50 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
6.44/1.50 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
6.44/1.50 at org.chocosolver.solver.Solver.repair(Solver.java:433)
6.44/1.50 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
6.44/1.50 at org.chocosolver.solver.Solver.solve(Solver.java:262)
6.44/1.50 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
6.44/1.50 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
6.44/1.50 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
6.44/1.50 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
6.44/1.50 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
6.44/1.50 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
6.44/1.50 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
6.44/1.50 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
6.44/1.50 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
6.44/1.50 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
6.44/1.50 o 8151
6.44/1.53 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_9: d[3][6]\1
6.44/1.53 {d[6][9] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[12] = {5,8,14..16}=[0,3]∪[6,6]∪[12,12], x[4] = {5,10,13,15..16}=[0,3]∪[6,6]∪[12,12], d[3][7] = {55,86}=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,74]∪[76,77]∪[80,85]∪[87,91]∪[94,97]∪[99,99], d[7][10] = 38=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[39,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[0] = {5,10,15..16}=[0,3]∪[6,6]∪[12,12], x[15] = {4,8,14..17}=[0,3]∪[6,6]∪[12,12], d[2][4] = {12..13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,56]∪[86,91]∪[94,97]∪[99,99], d[0][3] = {12,17,19,36,74,77,81}=[0,4]∪[9,11]∪[13,13]∪[16,16]∪[26,29]∪[32,32]∪[39,39]∪[47,47]∪[50,51]∪[56,57]∪[64,64]∪[66,67]∪[70,71]∪[75,76]∪[82,82]∪[84,87]∪[89,90]∪[94,94], x[3] = {11,16}=[0,9]∪[12,13]∪[17,17], d[0][2] = {12..13,17,23}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,61]∪[86,91]∪[94,97]∪[99,99], x[5] = {5,13,15..16}=[0,3]∪[6,6]∪[12,12], d[2][5] = {13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,64]∪[66,66]∪[68,68]∪[73,75]∪[80,81]∪[86,91]∪[94,97]∪[99,99], d[8][11] = {9,12..13}=[0,0]∪[2,3]∪[10,11]∪[39,39]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[16] = 9=[0,3]∪[6,6]∪[12,12], SCALAR = [7312,8509]=[0,6346]∪[9769,79497], d[12][15] = {9,12..14,16}=[0,0]∪[2,3]∪[10,11]∪[26,26]∪[39,39]∪[46,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[0][1] = {12..13,17..19,23}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[39,39]∪[47,47], x[11] = {5,8,15..16}=[0,3]∪[6,6]∪[12,12], x[6] = 0=[1,17], d[15][17] = {9,12..14,16..17}=[0,0]∪[2,3]∪[10,11]∪[26,27]∪[39,39]∪[47,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[14][16] = 32=[0,0]∪[2,3]∪[9,11]∪[18,18]∪[26,28]∪[39,39]∪[43,43]∪[47,47]∪[50,51]∪[56,56]∪[60,60]∪[62,62]∪[66,67]∪[70,71]∪[74,76]∪[80,80]∪[82,82]∪[84,87]∪[89,90]∪[94,95], d[10][13] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[7] = 3=[0,2]∪[4,17], x[1] = {11,13..17}=[0,3]∪[6,6]∪[12,12], x[13] = 2=[0,1]∪[3,17], x[10] = 12=[0,11]∪[13,17], x[8] = {4,15..17}=[0,3]∪[6,6]∪[12,12], d[8][12] = {9,12..13,16,30,35}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[56,56]∪[89,90], x[2] = 1=[0,0]∪[2,17], x[14] = 7=[0,4]∪[6,6]∪[8,13]∪[17,17], d[5][8] = {12..13,19}=[0,0]∪[2,3]∪[10,11]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[3][6] = {2,4}=[0,1]∪[3,3]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,27]∪[29,30]∪[32,32]∪[35,35]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[9] = 6=[0,5]∪[7,17], d[10][14] = 12=[0,4]∪[9,10]∪[13,14]∪[16,19]∪[21,21]∪[23,23]∪[26,26]∪[28,29]∪[44,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[17] = {4..5,8,11,14..17}=[0,3]∪[6,6]∪[12,12]}
6.44/1.53 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
6.44/1.53 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
6.44/1.53 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
6.44/1.53 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
6.44/1.53 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
6.44/1.53 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_9: d[3][6]\1
6.44/1.53 {d[6][9] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[12] = {5,8,14..16}=[0,3]∪[6,6]∪[12,12], x[4] = {5,10,13,15..16}=[0,3]∪[6,6]∪[12,12], d[3][7] = {55,86}=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,74]∪[76,77]∪[80,85]∪[87,91]∪[94,97]∪[99,99], d[7][10] = 38=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[39,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[0] = {5,10,15..16}=[0,3]∪[6,6]∪[12,12], x[15] = {4,8,14..17}=[0,3]∪[6,6]∪[12,12], d[2][4] = {12..13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,56]∪[86,91]∪[94,97]∪[99,99], d[0][3] = {12,17,19,36,74,77,81}=[0,4]∪[9,11]∪[13,13]∪[16,16]∪[26,29]∪[32,32]∪[39,39]∪[47,47]∪[50,51]∪[56,57]∪[64,64]∪[66,67]∪[70,71]∪[75,76]∪[82,82]∪[84,87]∪[89,90]∪[94,94], x[3] = {11,16}=[0,9]∪[12,13]∪[17,17], d[0][2] = {12..13,17,23}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,61]∪[86,91]∪[94,97]∪[99,99], x[5] = {5,13,15..16}=[0,3]∪[6,6]∪[12,12], d[2][5] = {13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,64]∪[66,66]∪[68,68]∪[73,75]∪[80,81]∪[86,91]∪[94,97]∪[99,99], d[8][11] = {9,12..13}=[0,0]∪[2,3]∪[10,11]∪[39,39]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[16] = 9=[0,3]∪[6,6]∪[12,12], SCALAR = [7312,8509]=[0,6346]∪[9769,79497], d[12][15] = {9,12..14,16}=[0,0]∪[2,3]∪[10,11]∪[26,26]∪[39,39]∪[46,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[0][1] = {12..13,17..19,23}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[39,39]∪[47,47], x[11] = {5,8,15..16}=[0,3]∪[6,6]∪[12,12], x[6] = 0=[1,17], d[15][17] = {9,12..14,16..17}=[0,0]∪[2,3]∪[10,11]∪[26,27]∪[39,39]∪[47,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[14][16] = 32=[0,0]∪[2,3]∪[9,11]∪[18,18]∪[26,28]∪[39,39]∪[43,43]∪[47,47]∪[50,51]∪[56,56]∪[60,60]∪[62,62]∪[66,67]∪[70,71]∪[74,76]∪[80,80]∪[82,82]∪[84,87]∪[89,90]∪[94,95], d[10][13] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[7] = 3=[0,2]∪[4,17], x[1] = {11,13..17}=[0,3]∪[6,6]∪[12,12], x[13] = 2=[0,1]∪[3,17], x[10] = 12=[0,11]∪[13,17], x[8] = {4,15..17}=[0,3]∪[6,6]∪[12,12], d[8][12] = {9,12..13,16,30,35}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[56,56]∪[89,90], x[2] = 1=[0,0]∪[2,17], x[14] = 7=[0,4]∪[6,6]∪[8,13]∪[17,17], d[5][8] = {12..13,19}=[0,0]∪[2,3]∪[10,11]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[3][6] = {2,4}=[0,1]∪[3,3]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,27]∪[29,30]∪[32,32]∪[35,35]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[9] = 6=[0,5]∪[7,17], d[10][14] = 12=[0,4]∪[9,10]∪[13,14]∪[16,19]∪[21,21]∪[23,23]∪[26,26]∪[28,29]∪[44,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[17] = {4..5,8,11,14..17}=[0,3]∪[6,6]∪[12,12]}
6.44/1.53 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
6.44/1.53 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
6.44/1.53 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
6.44/1.53 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
6.44/1.53 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
6.44/1.53 at org.chocosolver.solver.Solver.repair(Solver.java:433)
6.44/1.53 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
6.44/1.53 at org.chocosolver.solver.Solver.solve(Solver.java:262)
6.44/1.53 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
6.44/1.53 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
6.44/1.53 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
6.44/1.53 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
6.44/1.53 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
6.44/1.53 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
6.44/1.53 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
6.44/1.53 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
6.44/1.53 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
6.44/1.53 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
6.44/1.53 o 8032
7.16/1.69 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_9: d[3][6]\1
7.16/1.69 {d[6][9] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[12] = {5,8,14..16}=[0,3]∪[6,6]∪[12,12], x[4] = {5,10,13,15..16}=[0,3]∪[6,6]∪[12,12], d[3][7] = {55,86}=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,74]∪[76,77]∪[80,85]∪[87,91]∪[94,97]∪[99,99], d[7][10] = 38=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[39,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[0] = {5,10,15..16}=[0,3]∪[6,6]∪[12,12], x[15] = {4,8,14..17}=[0,3]∪[6,6]∪[12,12], d[2][4] = {12..13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,56]∪[86,91]∪[94,97]∪[99,99], d[0][3] = {12,17,19,36,74,77,81}=[0,4]∪[9,11]∪[13,13]∪[16,16]∪[26,29]∪[32,32]∪[39,39]∪[47,47]∪[50,51]∪[56,57]∪[64,64]∪[66,67]∪[70,71]∪[75,76]∪[82,82]∪[84,87]∪[89,90]∪[94,94], x[3] = {11,16}=[0,9]∪[12,13]∪[17,17], d[0][2] = {12..13,17,23}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,61]∪[86,91]∪[94,97]∪[99,99], x[5] = {5,13,15..16}=[0,3]∪[6,6]∪[12,12], d[2][5] = {13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,64]∪[66,66]∪[68,68]∪[73,75]∪[80,81]∪[86,91]∪[94,97]∪[99,99], d[8][11] = {9,12..13}=[0,0]∪[2,3]∪[10,11]∪[39,39]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[16] = 9=[0,3]∪[6,6]∪[12,12], SCALAR = [7312,8509]=[0,6346]∪[9769,79497], d[12][15] = {9,12..14,16}=[0,0]∪[2,3]∪[10,11]∪[26,26]∪[39,39]∪[46,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[0][1] = {12..13,17..19,23}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[39,39]∪[47,47], x[11] = {5,8,15..16}=[0,3]∪[6,6]∪[12,12], x[6] = 0=[1,17], d[15][17] = {9,12..14,16..17}=[0,0]∪[2,3]∪[10,11]∪[26,27]∪[39,39]∪[47,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[14][16] = 32=[0,0]∪[2,3]∪[9,11]∪[18,18]∪[26,28]∪[39,39]∪[43,43]∪[47,47]∪[50,51]∪[56,56]∪[60,60]∪[62,62]∪[66,67]∪[70,71]∪[74,76]∪[80,80]∪[82,82]∪[84,87]∪[89,90]∪[94,95], d[10][13] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[7] = 3=[0,2]∪[4,17], x[1] = {11,13..17}=[0,3]∪[6,6]∪[12,12], x[13] = 2=[0,1]∪[3,17], x[10] = 12=[0,11]∪[13,17], x[8] = {4,15..17}=[0,3]∪[6,6]∪[12,12], d[8][12] = {9,12..13,16,30,35}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[56,56]∪[89,90], x[2] = 1=[0,0]∪[2,17], x[14] = 7=[0,4]∪[6,6]∪[8,13]∪[17,17], d[5][8] = {12..13,19}=[0,0]∪[2,3]∪[10,11]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[3][6] = {2,4}=[0,1]∪[3,3]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,27]∪[29,30]∪[32,32]∪[35,35]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[9] = 6=[0,5]∪[7,17], d[10][14] = 12=[0,4]∪[9,10]∪[13,14]∪[16,19]∪[21,21]∪[23,23]∪[26,26]∪[28,29]∪[44,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[17] = {4..5,8,11,14..17}=[0,3]∪[6,6]∪[12,12]}
7.16/1.69 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
7.16/1.69 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
7.16/1.69 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
7.16/1.69 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
7.16/1.69 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
7.16/1.69 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_9: d[3][6]\1
7.16/1.69 {d[6][9] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[12] = {5,8,14..16}=[0,3]∪[6,6]∪[12,12], x[4] = {5,10,13,15..16}=[0,3]∪[6,6]∪[12,12], d[3][7] = {55,86}=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,74]∪[76,77]∪[80,85]∪[87,91]∪[94,97]∪[99,99], d[7][10] = 38=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[39,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[0] = {5,10,15..16}=[0,3]∪[6,6]∪[12,12], x[15] = {4,8,14..17}=[0,3]∪[6,6]∪[12,12], d[2][4] = {12..13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,56]∪[86,91]∪[94,97]∪[99,99], d[0][3] = {12,17,19,36,74,77,81}=[0,4]∪[9,11]∪[13,13]∪[16,16]∪[26,29]∪[32,32]∪[39,39]∪[47,47]∪[50,51]∪[56,57]∪[64,64]∪[66,67]∪[70,71]∪[75,76]∪[82,82]∪[84,87]∪[89,90]∪[94,94], x[3] = {11,16}=[0,9]∪[12,13]∪[17,17], d[0][2] = {12..13,17,23}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,61]∪[86,91]∪[94,97]∪[99,99], x[5] = {5,13,15..16}=[0,3]∪[6,6]∪[12,12], d[2][5] = {13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,64]∪[66,66]∪[68,68]∪[73,75]∪[80,81]∪[86,91]∪[94,97]∪[99,99], d[8][11] = {9,12..13}=[0,0]∪[2,3]∪[10,11]∪[39,39]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[16] = 9=[0,3]∪[6,6]∪[12,12], SCALAR = [7312,8509]=[0,6346]∪[9769,79497], d[12][15] = {9,12..14,16}=[0,0]∪[2,3]∪[10,11]∪[26,26]∪[39,39]∪[46,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[0][1] = {12..13,17..19,23}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[39,39]∪[47,47], x[11] = {5,8,15..16}=[0,3]∪[6,6]∪[12,12], x[6] = 0=[1,17], d[15][17] = {9,12..14,16..17}=[0,0]∪[2,3]∪[10,11]∪[26,27]∪[39,39]∪[47,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[14][16] = 32=[0,0]∪[2,3]∪[9,11]∪[18,18]∪[26,28]∪[39,39]∪[43,43]∪[47,47]∪[50,51]∪[56,56]∪[60,60]∪[62,62]∪[66,67]∪[70,71]∪[74,76]∪[80,80]∪[82,82]∪[84,87]∪[89,90]∪[94,95], d[10][13] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[7] = 3=[0,2]∪[4,17], x[1] = {11,13..17}=[0,3]∪[6,6]∪[12,12], x[13] = 2=[0,1]∪[3,17], x[10] = 12=[0,11]∪[13,17], x[8] = {4,15..17}=[0,3]∪[6,6]∪[12,12], d[8][12] = {9,12..13,16,30,35}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[56,56]∪[89,90], x[2] = 1=[0,0]∪[2,17], x[14] = 7=[0,4]∪[6,6]∪[8,13]∪[17,17], d[5][8] = {12..13,19}=[0,0]∪[2,3]∪[10,11]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[3][6] = {2,4}=[0,1]∪[3,3]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,27]∪[29,30]∪[32,32]∪[35,35]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[9] = 6=[0,5]∪[7,17], d[10][14] = 12=[0,4]∪[9,10]∪[13,14]∪[16,19]∪[21,21]∪[23,23]∪[26,26]∪[28,29]∪[44,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[17] = {4..5,8,11,14..17}=[0,3]∪[6,6]∪[12,12]}
7.16/1.69 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
7.16/1.69 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
7.16/1.69 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
7.16/1.69 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
7.16/1.69 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
7.16/1.69 at org.chocosolver.solver.Solver.repair(Solver.java:433)
7.16/1.69 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
7.16/1.69 at org.chocosolver.solver.Solver.solve(Solver.java:262)
7.16/1.69 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
7.16/1.69 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
7.16/1.69 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
7.16/1.69 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
7.16/1.69 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
7.16/1.69 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
7.16/1.69 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
7.16/1.69 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
7.16/1.69 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
7.16/1.69 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
7.16/1.69 o 7696
8.01/1.79 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_9: d[3][6]\1
8.01/1.79 {d[6][9] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[12] = {5,8,14..16}=[0,3]∪[6,6]∪[12,12], x[4] = {5,10,13,15..16}=[0,3]∪[6,6]∪[12,12], d[3][7] = {55,86}=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,74]∪[76,77]∪[80,85]∪[87,91]∪[94,97]∪[99,99], d[7][10] = 38=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[39,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[0] = {5,10,15..16}=[0,3]∪[6,6]∪[12,12], x[15] = {4,8,14..17}=[0,3]∪[6,6]∪[12,12], d[2][4] = {12..13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,56]∪[86,91]∪[94,97]∪[99,99], d[0][3] = {12,17,19,36,74,77,81}=[0,4]∪[9,11]∪[13,13]∪[16,16]∪[26,29]∪[32,32]∪[39,39]∪[47,47]∪[50,51]∪[56,57]∪[64,64]∪[66,67]∪[70,71]∪[75,76]∪[82,82]∪[84,87]∪[89,90]∪[94,94], x[3] = {11,16}=[0,9]∪[12,13]∪[17,17], d[0][2] = {12..13,17,23}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,61]∪[86,91]∪[94,97]∪[99,99], x[5] = {5,13,15..16}=[0,3]∪[6,6]∪[12,12], d[2][5] = {13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,64]∪[66,66]∪[68,68]∪[73,75]∪[80,81]∪[86,91]∪[94,97]∪[99,99], d[8][11] = {9,12..13}=[0,0]∪[2,3]∪[10,11]∪[39,39]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[16] = 9=[0,3]∪[6,6]∪[12,12], SCALAR = [7312,8509]=[0,6346]∪[9769,79497], d[12][15] = {9,12..14,16}=[0,0]∪[2,3]∪[10,11]∪[26,26]∪[39,39]∪[46,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[0][1] = {12..13,17..19,23}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[39,39]∪[47,47], x[11] = {5,8,15..16}=[0,3]∪[6,6]∪[12,12], x[6] = 0=[1,17], d[15][17] = {9,12..14,16..17}=[0,0]∪[2,3]∪[10,11]∪[26,27]∪[39,39]∪[47,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[14][16] = 32=[0,0]∪[2,3]∪[9,11]∪[18,18]∪[26,28]∪[39,39]∪[43,43]∪[47,47]∪[50,51]∪[56,56]∪[60,60]∪[62,62]∪[66,67]∪[70,71]∪[74,76]∪[80,80]∪[82,82]∪[84,87]∪[89,90]∪[94,95], d[10][13] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[7] = 3=[0,2]∪[4,17], x[1] = {11,13..17}=[0,3]∪[6,6]∪[12,12], x[13] = 2=[0,1]∪[3,17], x[10] = 12=[0,11]∪[13,17], x[8] = {4,15..17}=[0,3]∪[6,6]∪[12,12], d[8][12] = {9,12..13,16,30,35}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[56,56]∪[89,90], x[2] = 1=[0,0]∪[2,17], x[14] = 7=[0,4]∪[6,6]∪[8,13]∪[17,17], d[5][8] = {12..13,19}=[0,0]∪[2,3]∪[10,11]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[3][6] = {2,4}=[0,1]∪[3,3]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,27]∪[29,30]∪[32,32]∪[35,35]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[9] = 6=[0,5]∪[7,17], d[10][14] = 12=[0,4]∪[9,10]∪[13,14]∪[16,19]∪[21,21]∪[23,23]∪[26,26]∪[28,29]∪[44,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[17] = {4..5,8,11,14..17}=[0,3]∪[6,6]∪[12,12]}
8.01/1.79 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
8.01/1.79 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
8.01/1.79 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
8.01/1.79 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
8.01/1.79 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
8.01/1.79 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_9: d[3][6]\1
8.01/1.79 {d[6][9] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[12] = {5,8,14..16}=[0,3]∪[6,6]∪[12,12], x[4] = {5,10,13,15..16}=[0,3]∪[6,6]∪[12,12], d[3][7] = {55,86}=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,74]∪[76,77]∪[80,85]∪[87,91]∪[94,97]∪[99,99], d[7][10] = 38=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[39,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[0] = {5,10,15..16}=[0,3]∪[6,6]∪[12,12], x[15] = {4,8,14..17}=[0,3]∪[6,6]∪[12,12], d[2][4] = {12..13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,56]∪[86,91]∪[94,97]∪[99,99], d[0][3] = {12,17,19,36,74,77,81}=[0,4]∪[9,11]∪[13,13]∪[16,16]∪[26,29]∪[32,32]∪[39,39]∪[47,47]∪[50,51]∪[56,57]∪[64,64]∪[66,67]∪[70,71]∪[75,76]∪[82,82]∪[84,87]∪[89,90]∪[94,94], x[3] = {11,16}=[0,9]∪[12,13]∪[17,17], d[0][2] = {12..13,17,23}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,61]∪[86,91]∪[94,97]∪[99,99], x[5] = {5,13,15..16}=[0,3]∪[6,6]∪[12,12], d[2][5] = {13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,64]∪[66,66]∪[68,68]∪[73,75]∪[80,81]∪[86,91]∪[94,97]∪[99,99], d[8][11] = {9,12..13}=[0,0]∪[2,3]∪[10,11]∪[39,39]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[16] = 9=[0,3]∪[6,6]∪[12,12], SCALAR = [7312,8509]=[0,6346]∪[9769,79497], d[12][15] = {9,12..14,16}=[0,0]∪[2,3]∪[10,11]∪[26,26]∪[39,39]∪[46,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[0][1] = {12..13,17..19,23}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[39,39]∪[47,47], x[11] = {5,8,15..16}=[0,3]∪[6,6]∪[12,12], x[6] = 0=[1,17], d[15][17] = {9,12..14,16..17}=[0,0]∪[2,3]∪[10,11]∪[26,27]∪[39,39]∪[47,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[14][16] = 32=[0,0]∪[2,3]∪[9,11]∪[18,18]∪[26,28]∪[39,39]∪[43,43]∪[47,47]∪[50,51]∪[56,56]∪[60,60]∪[62,62]∪[66,67]∪[70,71]∪[74,76]∪[80,80]∪[82,82]∪[84,87]∪[89,90]∪[94,95], d[10][13] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[7] = 3=[0,2]∪[4,17], x[1] = {11,13..17}=[0,3]∪[6,6]∪[12,12], x[13] = 2=[0,1]∪[3,17], x[10] = 12=[0,11]∪[13,17], x[8] = {4,15..17}=[0,3]∪[6,6]∪[12,12], d[8][12] = {9,12..13,16,30,35}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[56,56]∪[89,90], x[2] = 1=[0,0]∪[2,17], x[14] = 7=[0,4]∪[6,6]∪[8,13]∪[17,17], d[5][8] = {12..13,19}=[0,0]∪[2,3]∪[10,11]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[3][6] = {2,4}=[0,1]∪[3,3]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,27]∪[29,30]∪[32,32]∪[35,35]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[9] = 6=[0,5]∪[7,17], d[10][14] = 12=[0,4]∪[9,10]∪[13,14]∪[16,19]∪[21,21]∪[23,23]∪[26,26]∪[28,29]∪[44,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[17] = {4..5,8,11,14..17}=[0,3]∪[6,6]∪[12,12]}
8.01/1.79 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
8.01/1.79 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
8.01/1.79 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
8.01/1.79 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
8.01/1.79 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
8.01/1.79 at org.chocosolver.solver.Solver.repair(Solver.java:433)
8.01/1.79 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
8.01/1.79 at org.chocosolver.solver.Solver.solve(Solver.java:262)
8.01/1.79 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
8.01/1.79 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
8.01/1.79 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
8.01/1.79 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
8.01/1.79 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
8.01/1.79 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
8.01/1.79 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
8.01/1.79 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
8.01/1.79 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
8.01/1.79 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
8.01/1.79 o 6931
12.07/2.36 java.util.concurrent.ExecutionException: java.lang.NullPointerException
12.07/2.36 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
12.07/2.36 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
12.07/2.36 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
12.07/2.36 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
12.07/2.36 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
12.07/2.36 Caused by: java.lang.NullPointerException
12.07/2.36 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
12.07/2.36 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
12.07/2.36 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
12.07/2.36 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
12.07/2.36 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
12.07/2.36 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
12.07/2.36 ... 4 more
12.07/2.36 Caused by: java.lang.NullPointerException
12.07/2.36 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
12.07/2.36 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
12.07/2.36 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
12.07/2.36 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
12.07/2.36 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
12.07/2.36 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
12.07/2.36 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
12.07/2.36 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
12.07/2.36 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
12.07/2.36 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
12.07/2.36 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
12.07/2.36 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
12.07/2.36 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
12.07/2.36 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
12.07/2.36 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
12.07/2.36 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
12.07/2.36 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
12.07/2.36 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
12.07/2.36 Caused by: java.lang.NullPointerException
12.07/2.36 at org.chocosolver.sat.SatSolver.detachLearnt(SatSolver.java:362)
12.07/2.36 at org.chocosolver.sat.PropNogoods.addLearnt(PropNogoods.java:560)
12.07/2.36 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:85)
12.07/2.36 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65)
12.07/2.36 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141)
12.07/2.36 at org.chocosolver.solver.Solver.restart(Solver.java:596)
12.07/2.36 at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135)
12.07/2.36 at org.chocosolver.solver.search.loop.move.MoveRestart.repair(MoveRestart.java:96)
12.07/2.36 at org.chocosolver.solver.Solver.repair(Solver.java:438)
12.07/2.36 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
12.07/2.36 at org.chocosolver.solver.Solver.solve(Solver.java:262)
12.07/2.36 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
12.07/2.36 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
12.07/2.36 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
12.07/2.36 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
12.07/2.36 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
12.07/2.36 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
12.07/2.36 ... 4 more
12.07/2.36 o 6849
15.36/2.91 java.util.concurrent.ExecutionException: java.lang.NullPointerException
15.36/2.91 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
15.36/2.91 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
15.36/2.91 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
15.36/2.91 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
15.36/2.91 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
15.36/2.91 Caused by: java.lang.NullPointerException
15.36/2.91 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
15.36/2.91 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
15.36/2.91 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
15.36/2.91 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
15.36/2.91 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
15.36/2.91 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
15.36/2.91 ... 4 more
15.36/2.91 Caused by: java.lang.NullPointerException
15.36/2.91 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
15.36/2.91 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
15.36/2.91 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
15.36/2.91 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
15.36/2.91 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
15.36/2.91 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
15.36/2.91 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
15.36/2.91 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
15.36/2.91 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
15.36/2.91 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
15.36/2.91 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
15.36/2.91 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
15.36/2.91 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
15.36/2.91 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
15.36/2.91 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
15.36/2.91 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
15.36/2.91 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
15.36/2.91 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
15.36/2.91 Caused by: java.lang.NullPointerException
15.36/2.91 at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278)
15.36/2.91 at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222)
15.36/2.91 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:164)
15.36/2.91 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46)
15.36/2.91 at org.chocosolver.solver.Solver.propagate(Solver.java:403)
15.36/2.91 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293)
15.36/2.91 at org.chocosolver.solver.Solver.solve(Solver.java:262)
15.36/2.91 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
15.36/2.91 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
15.36/2.91 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
15.36/2.91 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
15.36/2.91 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
15.36/2.91 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
15.36/2.91 ... 4 more
15.36/2.91 o 6746
15.36/2.92 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_9: d[3][6]\1
15.36/2.92 {d[6][9] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[12] = {5,8,14..16}=[0,3]∪[6,6]∪[12,12], x[4] = {5,10,13,15..16}=[0,3]∪[6,6]∪[12,12], d[3][7] = {55,86}=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,74]∪[76,77]∪[80,85]∪[87,91]∪[94,97]∪[99,99], d[7][10] = 38=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[39,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[0] = {5,10,15..16}=[0,3]∪[6,6]∪[12,12], x[15] = {4,8,14..17}=[0,3]∪[6,6]∪[12,12], d[2][4] = {12..13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,56]∪[86,91]∪[94,97]∪[99,99], d[0][3] = {12,17,19,36,74,77,81}=[0,4]∪[9,11]∪[13,13]∪[16,16]∪[26,29]∪[32,32]∪[39,39]∪[47,47]∪[50,51]∪[56,57]∪[64,64]∪[66,67]∪[70,71]∪[75,76]∪[82,82]∪[84,87]∪[89,90]∪[94,94], x[3] = {11,16}=[0,9]∪[12,13]∪[17,17], d[0][2] = {12..13,17,23}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,61]∪[86,91]∪[94,97]∪[99,99], x[5] = {5,13,15..16}=[0,3]∪[6,6]∪[12,12], d[2][5] = {13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,64]∪[66,66]∪[68,68]∪[73,75]∪[80,81]∪[86,91]∪[94,97]∪[99,99], d[8][11] = {9,12..13}=[0,0]∪[2,3]∪[10,11]∪[39,39]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[16] = 9=[0,3]∪[6,6]∪[12,12], SCALAR = [7312,8509]=[0,6346]∪[9769,79497], d[12][15] = {9,12..14,16}=[0,0]∪[2,3]∪[10,11]∪[26,26]∪[39,39]∪[46,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[0][1] = {12..13,17..19,23}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[39,39]∪[47,47], x[11] = {5,8,15..16}=[0,3]∪[6,6]∪[12,12], x[6] = 0=[1,17], d[15][17] = {9,12..14,16..17}=[0,0]∪[2,3]∪[10,11]∪[26,27]∪[39,39]∪[47,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[14][16] = 32=[0,0]∪[2,3]∪[9,11]∪[18,18]∪[26,28]∪[39,39]∪[43,43]∪[47,47]∪[50,51]∪[56,56]∪[60,60]∪[62,62]∪[66,67]∪[70,71]∪[74,76]∪[80,80]∪[82,82]∪[84,87]∪[89,90]∪[94,95], d[10][13] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[7] = 3=[0,2]∪[4,17], x[1] = {11,13..17}=[0,3]∪[6,6]∪[12,12], x[13] = 2=[0,1]∪[3,17], x[10] = 12=[0,11]∪[13,17], x[8] = {4,15..17}=[0,3]∪[6,6]∪[12,12], d[8][12] = {9,12..13,16,30,35}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[56,56]∪[89,90], x[2] = 1=[0,0]∪[2,17], x[14] = 7=[0,4]∪[6,6]∪[8,13]∪[17,17], d[5][8] = {12..13,19}=[0,0]∪[2,3]∪[10,11]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[3][6] = {2,4}=[0,1]∪[3,3]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,27]∪[29,30]∪[32,32]∪[35,35]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[9] = 6=[0,5]∪[7,17], d[10][14] = 12=[0,4]∪[9,10]∪[13,14]∪[16,19]∪[21,21]∪[23,23]∪[26,26]∪[28,29]∪[44,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[17] = {4..5,8,11,14..17}=[0,3]∪[6,6]∪[12,12]}
15.36/2.92 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
15.36/2.92 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
15.36/2.92 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
15.36/2.92 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
15.36/2.92 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
15.36/2.92 Caused by: org.chocosolver.solver.exception.SolverException: Weak explanation found. Try to backjump to :d_9: d[3][6]\1
15.36/2.92 {d[6][9] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[12] = {5,8,14..16}=[0,3]∪[6,6]∪[12,12], x[4] = {5,10,13,15..16}=[0,3]∪[6,6]∪[12,12], d[3][7] = {55,86}=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,74]∪[76,77]∪[80,85]∪[87,91]∪[94,97]∪[99,99], d[7][10] = 38=[0,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[39,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[0] = {5,10,15..16}=[0,3]∪[6,6]∪[12,12], x[15] = {4,8,14..17}=[0,3]∪[6,6]∪[12,12], d[2][4] = {12..13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,56]∪[86,91]∪[94,97]∪[99,99], d[0][3] = {12,17,19,36,74,77,81}=[0,4]∪[9,11]∪[13,13]∪[16,16]∪[26,29]∪[32,32]∪[39,39]∪[47,47]∪[50,51]∪[56,57]∪[64,64]∪[66,67]∪[70,71]∪[75,76]∪[82,82]∪[84,87]∪[89,90]∪[94,94], x[3] = {11,16}=[0,9]∪[12,13]∪[17,17], d[0][2] = {12..13,17,23}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,61]∪[86,91]∪[94,97]∪[99,99], x[5] = {5,13,15..16}=[0,3]∪[6,6]∪[12,12], d[2][5] = {13,17,23,51}=[0,4]∪[9,11]∪[14,14]∪[16,16]∪[18,19]∪[21,21]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,50]∪[52,52]∪[54,58]∪[60,64]∪[66,66]∪[68,68]∪[73,75]∪[80,81]∪[86,91]∪[94,97]∪[99,99], d[8][11] = {9,12..13}=[0,0]∪[2,3]∪[10,11]∪[39,39]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[16] = 9=[0,3]∪[6,6]∪[12,12], SCALAR = [7312,8509]=[0,6346]∪[9769,79497], d[12][15] = {9,12..14,16}=[0,0]∪[2,3]∪[10,11]∪[26,26]∪[39,39]∪[46,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]\xe2\x88\xaa[73,77]∪[80,91]∪[94,97]∪[99,99], d[0][1] = {12..13,17..19,23}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[39,39]∪[47,47], x[11] = {5,8,15..16}=[0,3]∪[6,6]∪[12,12], x[6] = 0=[1,17], d[15][17] = {9,12..14,16..17}=[0,0]∪[2,3]∪[10,11]∪[26,27]∪[39,39]∪[47,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[14][16] = 32=[0,0]∪[2,3]∪[9,11]∪[18,18]∪[26,28]∪[39,39]∪[43,43]∪[47,47]∪[50,51]∪[56,56]∪[60,60]∪[62,62]∪[66,67]∪[70,71]∪[74,76]∪[80,80]∪[82,82]∪[84,87]∪[89,90]∪[94,95], d[10][13] = 1=[0,0]∪[2,4]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,30]∪[32,32]∪[35,36]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[7] = 3=[0,2]∪[4,17], x[1] = {11,13..17}=[0,3]∪[6,6]∪[12,12], x[13] = 2=[0,1]∪[3,17], x[10] = 12=[0,11]∪[13,17], x[8] = {4,15..17}=[0,3]∪[6,6]∪[12,12], d[8][12] = {9,12..13,16,30,35}=[0,0]∪[2,3]∪[10,11]∪[26,28]∪[56,56]∪[89,90], x[2] = 1=[0,0]∪[2,17], x[14] = 7=[0,4]∪[6,6]∪[8,13]∪[17,17], d[5][8] = {12..13,19}=[0,0]∪[2,3]∪[10,11]∪[56,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], d[3][6] = {2,4}=[0,1]∪[3,3]∪[9,14]∪[16,19]∪[21,21]∪[23,23]∪[26,27]∪[29,30]∪[32,32]∪[35,35]∪[38,40]∪[43,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[9] = 6=[0,5]∪[7,17], d[10][14] = 12=[0,4]∪[9,10]∪[13,14]∪[16,19]∪[21,21]∪[23,23]∪[26,26]∪[28,29]∪[44,52]∪[54,58]∪[60,64]∪[66,68]∪[70,71]∪[73,77]∪[80,91]∪[94,97]∪[99,99], x[17] = {4..5,8,11,14..17}=[0,3]∪[6,6]∪[12,12]}
15.36/2.92 at org.chocosolver.solver.learn.ExplanationForSignedClause.stop(ExplanationForSignedClause.java:288)
15.36/2.92 at org.chocosolver.solver.learn.ExplanationForSignedClause.loop(ExplanationForSignedClause.java:193)
15.36/2.92 at org.chocosolver.solver.learn.ExplanationForSignedClause.learnSignedClause(ExplanationForSignedClause.java:171)
15.36/2.92 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.onFailure(LearnSignedClauses.java:97)
15.36/2.92 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.record(LearnSignedClauses.java:80)
15.36/2.92 at org.chocosolver.solver.Solver.repair(Solver.java:433)
15.36/2.92 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
15.36/2.92 at org.chocosolver.solver.Solver.solve(Solver.java:262)
15.36/2.92 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
15.36/2.92 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
15.36/2.92 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
15.36/2.92 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
15.36/2.92 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
15.36/2.92 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
15.36/2.92 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
15.36/2.92 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
15.36/2.92 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
15.36/2.92 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
15.36/2.92 o 6646
15.36/2.94 java.util.concurrent.ExecutionException: java.lang.NullPointerException
15.36/2.94 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
15.36/2.94 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
15.36/2.94 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
15.36/2.94 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
15.36/2.94 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
15.36/2.94 Caused by: java.lang.NullPointerException
15.36/2.94 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
15.36/2.94 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
15.36/2.94 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
15.36/2.94 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
15.36/2.94 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
15.36/2.94 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
15.36/2.94 ... 4 more
15.36/2.94 Caused by: java.lang.NullPointerException
15.36/2.94 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
15.36/2.94 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
15.36/2.94 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
15.36/2.94 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
15.36/2.94 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
15.36/2.94 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
15.36/2.94 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
15.36/2.94 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
15.36/2.94 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
15.36/2.94 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
15.36/2.94 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
15.36/2.94 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
15.36/2.94 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
15.36/2.94 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
15.36/2.94 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
15.36/2.94 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
15.36/2.94 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
15.36/2.94 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
15.36/2.94 Caused by: java.lang.NullPointerException
15.36/2.94 o 6570
19.06/3.63 java.util.concurrent.ExecutionException: java.lang.NullPointerException
19.06/3.63 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
19.06/3.63 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
19.06/3.63 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
19.06/3.63 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
19.06/3.63 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
19.06/3.63 Caused by: java.lang.NullPointerException
19.06/3.63 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
19.06/3.63 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
19.06/3.63 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
19.06/3.63 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
19.06/3.63 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
19.06/3.63 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
19.06/3.63 ... 4 more
19.06/3.63 Caused by: java.lang.NullPointerException
19.06/3.63 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
19.06/3.63 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
19.06/3.63 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
19.06/3.63 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
19.06/3.63 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
19.06/3.63 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
19.06/3.63 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
19.06/3.63 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
19.06/3.63 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
19.06/3.63 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
19.06/3.63 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
19.06/3.63 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
19.06/3.63 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
19.06/3.63 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
19.06/3.63 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
19.06/3.63 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
19.06/3.63 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
19.06/3.63 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
19.06/3.63 Caused by: java.lang.NullPointerException
19.06/3.63 o 6441
19.66/3.77 java.util.concurrent.ExecutionException: java.lang.NullPointerException
19.66/3.77 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
19.66/3.77 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
19.66/3.77 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
19.66/3.77 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
19.66/3.77 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
19.66/3.77 Caused by: java.lang.NullPointerException
19.66/3.77 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
19.66/3.77 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
19.66/3.77 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
19.66/3.77 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
19.66/3.77 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
19.66/3.77 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
19.66/3.77 ... 4 more
19.66/3.77 Caused by: java.lang.NullPointerException
19.66/3.77 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
19.66/3.77 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
19.66/3.77 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
19.66/3.77 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
19.66/3.77 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
19.66/3.77 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
19.66/3.77 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
19.66/3.77 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
19.66/3.77 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
19.66/3.77 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
19.66/3.77 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
19.66/3.77 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
19.66/3.77 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
19.66/3.77 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
19.66/3.77 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
19.66/3.77 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
19.66/3.77 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
19.66/3.77 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
19.66/3.77 Caused by: java.lang.NullPointerException
19.66/3.77 o 6258
25.42/4.85 java.util.concurrent.ExecutionException: java.lang.NullPointerException
25.42/4.85 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
25.42/4.85 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
25.42/4.85 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
25.42/4.85 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
25.42/4.85 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
25.42/4.85 Caused by: java.lang.NullPointerException
25.42/4.85 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
25.42/4.85 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
25.42/4.85 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
25.42/4.85 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
25.42/4.85 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
25.42/4.85 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
25.42/4.85 ... 4 more
25.42/4.85 Caused by: java.lang.NullPointerException
25.42/4.85 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
25.42/4.85 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
25.42/4.85 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
25.42/4.85 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
25.42/4.85 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
25.42/4.85 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
25.42/4.85 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
25.42/4.85 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
25.42/4.85 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
25.42/4.85 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
25.42/4.85 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
25.42/4.85 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
25.42/4.85 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
25.42/4.85 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
25.42/4.85 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
25.42/4.85 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
25.42/4.85 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
25.42/4.85 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
25.42/4.85 Caused by: java.lang.NullPointerException
25.42/4.85 o 6194
25.98/4.96 java.util.concurrent.ExecutionException: java.lang.NullPointerException
25.98/4.96 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
25.98/4.96 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
25.98/4.96 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
25.98/4.96 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
25.98/4.96 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
25.98/4.96 Caused by: java.lang.NullPointerException
25.98/4.96 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
25.98/4.96 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
25.98/4.96 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
25.98/4.96 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
25.98/4.96 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
25.98/4.96 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
25.98/4.96 ... 4 more
25.98/4.96 Caused by: java.lang.NullPointerException
25.98/4.96 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
25.98/4.96 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
25.98/4.96 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
25.98/4.96 at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
26.35/5.24 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
26.35/5.24 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
26.35/5.24 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
26.35/5.24 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
26.35/5.24 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
26.35/5.24 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
26.35/5.24 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
26.35/5.24 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
26.35/5.24 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
26.35/5.24 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
26.35/5.24 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
26.35/5.24 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
26.35/5.24 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
26.35/5.24 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
26.35/5.24 Caused by: java.lang.NullPointerException
26.35/5.24 s OPTIMUM FOUND
26.35/5.24 v <instantiation>
26.35/5.24 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] d[0][1] d[0][2] d[0][3] d[2][4] d[2][5] d[3][6] d[3][7] d[5][8] d[6][9] d[7][10] d[8][11] d[8][12] d[10][13] d[10][14] d[12][15] d[14][16] d[15][17] </list>
26.35/5.24 v <values>6 11 0 17 16 15 5 8 1 14 7 10 3 9 4 2 13 12 11 1 19 2 1 13 16 13 23 4 12 16 32 1 2 19 1 </values>
26.35/5.24 v </instantiation>