Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | Wrong Opt. | 1133 | 8869.54 | 1949.5 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-090.xml |
MD5SUM | d92bd6a6dba83323313b355bf487e521 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 941 |
Best CPU time to get the best result obtained on this benchmark | 19937.9 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 8189 |
Number of constraints | 4183 |
Number of domains | 179 |
Minimum domain size | 2 |
Maximum domain size | 179 |
Distribution of domain sizes | [{"size":2,"count":4096},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}, {"size":177,"count":1}, {"size":179,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 89 |
Distribution of variable degrees | [{"degree":0,"count":3916},{"degree":2,"count":4183},{"degree":89,"count":90}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 90 |
Distribution of constraint arities | [{"arity":2,"count":90},{"arity":3,"count":4006},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}, {"arity":89,"count":1}, {"arity":90,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4094 |
Distribution of constraint types | [{"type":"intension","count":4094},{"type":"sum","count":89}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393989-1568428696.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393989-1568428696.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 15.13/4.24 c solve instance... 21.58/5.13 o 238965 23.00/5.34 o 223301 23.00/5.36 o 222957 23.00/5.37 o 208685 24.41/5.54 o 208341 25.08/5.60 o 208005 25.92/5.81 o 195085 25.92/5.82 o 194725 25.92/5.84 o 194389 25.92/5.85 o 194077 25.92/5.86 o 182469 25.92/5.88 o 5237 30.15/6.45 o 4501 34.07/9.02 o 4381 34.78/9.15 o 4229 35.92/9.34 o 3989 36.52/9.44 o 3805 37.27/9.56 o 3733 49.88/11.16 o 2877 50.46/11.23 o 2749 85.96/17.49 o 2693 98.92/19.19 o 2677 109.06/22.07 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (2297/2300) 109.06/22.07 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 109.06/22.07 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 109.06/22.07 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 109.06/22.07 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 109.06/22.07 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 109.06/22.07 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (2297/2300) 109.06/22.07 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 109.06/22.07 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 109.06/22.07 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 109.06/22.07 at org.chocosolver.solver.Solver.repair(Solver.java:443) 109.06/22.07 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 109.06/22.07 at org.chocosolver.solver.Solver.solve(Solver.java:262) 109.06/22.07 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 109.06/22.07 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 109.06/22.07 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 109.06/22.07 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 109.06/22.07 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 109.06/22.07 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 109.06/22.07 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 109.06/22.07 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 109.06/22.07 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 109.06/22.07 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 109.06/22.07 o 2621 113.88/23.97 o 2493 138.79/27.60 o 2373 209.29/38.22 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (0/3) 209.29/38.22 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 209.29/38.22 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 209.29/38.22 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 209.29/38.22 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 209.29/38.22 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 209.29/38.22 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (0/3) 209.29/38.22 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 209.29/38.22 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 209.29/38.22 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 209.29/38.22 at org.chocosolver.solver.Solver.repair(Solver.java:443) 209.29/38.22 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 209.29/38.22 at org.chocosolver.solver.Solver.solve(Solver.java:262) 209.29/38.22 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 209.29/38.22 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 209.29/38.22 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 209.29/38.22 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 209.29/38.22 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 209.29/38.22 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 209.29/38.22 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 209.29/38.22 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 209.29/38.22 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 209.29/38.22 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 209.29/38.22 o 1901 338.82/56.69 java.util.concurrent.ExecutionException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 338.82/56.69 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 338.82/56.69 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 338.82/56.69 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 338.82/56.69 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 338.82/56.69 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 338.82/56.69 Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 338.82/56.69 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 338.82/56.69 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 338.82/56.69 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 338.82/56.69 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 338.82/56.69 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593) 338.82/56.69 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 338.82/56.69 ... 4 more 338.82/56.69 Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 338.82/56.69 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 338.82/56.69 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 338.82/56.69 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 338.82/56.69 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 338.82/56.69 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593) 338.82/56.69 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 338.82/56.69 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 338.82/56.69 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 338.82/56.69 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 338.82/56.69 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 338.82/56.69 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 338.82/56.69 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 338.82/56.69 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 338.82/56.69 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 338.82/56.69 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 338.82/56.69 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 338.82/56.69 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 338.82/56.69 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 338.82/56.69 Caused by: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 338.82/56.69 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:107) 338.82/56.69 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65) 338.82/56.69 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141) 338.82/56.69 at org.chocosolver.solver.Solver.restart(Solver.java:596) 338.82/56.69 at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135) 338.82/56.69 at org.chocosolver.solver.search.loop.move.MoveRestart.repair(MoveRestart.java:96) 338.82/56.69 at org.chocosolver.solver.Solver.repair(Solver.java:438) 338.82/56.69 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 338.82/56.69 at org.chocosolver.solver.Solver.solve(Solver.java:262) 338.82/56.69 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 338.82/56.69 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 338.82/56.69 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 338.82/56.69 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 338.82/56.69 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 338.82/56.69 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 338.82/56.69 ... 4 more 338.82/56.69 o 1701 1604.87/309.69 java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException 1604.87/309.69 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 1604.87/309.69 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 1604.87/309.69 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 1604.87/309.69 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 1604.87/309.69 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 1604.87/309.69 Caused by: java.lang.ArrayIndexOutOfBoundsException 1604.87/309.69 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 1604.87/309.69 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 1604.87/309.69 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 1604.87/309.69 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 1604.87/309.69 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 1604.87/309.69 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 1604.87/309.69 ... 4 more 1604.87/309.69 Caused by: java.lang.ArrayIndexOutOfBoundsException 1604.87/309.69 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 1604.87/309.69 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 1604.87/309.69 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 1604.87/309.69 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 1604.87/309.69 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 1604.87/309.69 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 1604.87/309.69 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 1604.87/309.69 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 1604.87/309.69 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 1604.87/309.69 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 1604.87/309.69 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 1604.87/309.69 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 1604.87/309.69 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 1604.87/309.69 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 1604.87/309.69 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 1604.87/309.69 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 1604.87/309.69 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 1604.87/309.69 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 1605.33/309.70 Caused by: java.lang.ArrayIndexOutOfBoundsException: 4110 1605.33/309.70 at gnu.trove.list.array.TIntArrayList.add(TIntArrayList.java:222) 1605.33/309.70 at org.chocosolver.solver.search.strategy.selectors.variables.ActivityBased.getDecision(ActivityBased.java:270) 1605.33/309.70 at org.chocosolver.solver.search.strategy.strategy.LastConflict.getDecision(LastConflict.java:121) 1605.33/309.70 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:62) 1605.33/309.70 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 1605.33/309.70 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 1605.33/309.70 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 1605.33/309.70 at org.chocosolver.solver.Solver.extend(Solver.java:421) 1605.33/309.70 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297) 1605.33/309.70 at org.chocosolver.solver.Solver.solve(Solver.java:262) 1605.33/309.70 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 1605.33/309.70 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 1605.33/309.70 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 1605.33/309.70 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 1605.33/309.70 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 1605.33/309.70 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 1605.33/309.70 ... 4 more 1605.33/309.70 o 1653 1801.57/337.53 java.util.concurrent.ExecutionException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 1801.57/337.53 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 1801.57/337.53 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 1801.57/337.53 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 1801.57/337.53 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 1801.57/337.53 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 1801.57/337.53 Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 1801.57/337.53 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 1801.57/337.53 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 1801.57/337.53 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 1801.57/337.53 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 1801.57/337.53 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593) 1801.57/337.53 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 1801.57/337.53 ... 4 more 1801.57/337.54 Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 1801.57/337.54 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 1801.57/337.54 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 1801.57/337.54 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 1801.57/337.54 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 1801.57/337.54 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593) 1801.57/337.54 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 1801.57/337.54 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 1801.57/337.54 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 1801.57/337.54 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 1801.57/337.54 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 1801.57/337.54 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 1801.57/337.54 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 1801.57/337.54 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 1801.57/337.54 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 1801.57/337.54 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 1801.57/337.54 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 1801.57/337.54 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 1801.57/337.54 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 1801.57/337.56 Caused by: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 1801.57/337.56 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:107) 1801.57/337.56 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65) 1801.57/337.56 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141) 1801.57/337.56 at org.chocosolver.solver.Solver.restart(Solver.java:596) 1801.57/337.56 at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135) 1801.57/337.56 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:84) 1801.57/337.56 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 1801.57/337.56 at org.chocosolver.solver.Solver.extend(Solver.java:421) 1801.57/337.56 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297) 1801.57/337.56 at org.chocosolver.solver.Solver.solve(Solver.java:262) 1801.57/337.56 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 1801.57/337.56 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 1801.57/337.56 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 1801.57/337.56 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 1801.57/337.56 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 1801.57/337.56 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 1801.57/337.56 ... 4 more 1801.57/337.56 o 1533 2261.28/395.39 java.util.concurrent.ExecutionException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 2261.28/395.39 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 2261.28/395.39 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 2261.28/395.39 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 2261.28/395.39 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 2261.28/395.39 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 2261.28/395.39 Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 2261.28/395.39 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 2261.28/395.39 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 2261.28/395.39 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 2261.28/395.39 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 2261.28/395.39 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593) 2261.28/395.39 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 2261.28/395.39 ... 4 more 2261.28/395.40 Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 2261.28/395.40 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 2261.28/395.40 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 2261.28/395.40 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 2261.28/395.40 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 2261.28/395.40 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593) 2261.28/395.40 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 2261.28/395.40 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 2261.28/395.40 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 2261.28/395.40 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 2261.28/395.40 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 2261.28/395.40 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 2261.28/395.40 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 2261.28/395.40 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 2261.28/395.40 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 2261.28/395.40 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 2261.28/395.40 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 2261.28/395.40 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 2261.28/395.40 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 2262.03/395.41 Caused by: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 2262.03/395.41 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:107) 2262.03/395.41 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65) 2262.03/395.41 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141) 2262.03/395.41 at org.chocosolver.solver.Solver.restart(Solver.java:596) 2262.03/395.41 at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135) 2262.03/395.41 at org.chocosolver.solver.search.loop.move.MoveRestart.repair(MoveRestart.java:96) 2262.03/395.41 at org.chocosolver.solver.Solver.repair(Solver.java:438) 2262.03/395.41 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 2262.03/395.41 at org.chocosolver.solver.Solver.solve(Solver.java:262) 2262.03/395.41 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 2262.03/395.41 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 2262.03/395.41 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 2262.03/395.41 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 2262.03/395.41 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 2262.03/395.41 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 2262.03/395.41 ... 4 more 2262.03/395.41 o 1413 2297.82/399.95 java.util.concurrent.ExecutionException: java.lang.NullPointerException 2297.82/399.95 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 2297.82/399.95 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 2297.82/399.95 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 2297.82/399.95 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 2297.82/399.95 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 2297.82/399.95 Caused by: java.lang.NullPointerException 2297.82/399.95 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 2297.82/399.95 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 2297.82/399.95 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 2297.82/399.95 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 2297.82/399.95 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 2297.82/399.95 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 2297.82/399.95 ... 4 more 2297.82/399.95 Caused by: java.lang.NullPointerException 2297.82/399.95 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 2297.82/399.95 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 2297.82/399.95 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 2297.82/399.95 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 2297.82/399.95 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 2297.82/399.95 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 2297.82/399.96 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 2297.82/399.96 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 2297.82/399.96 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 2297.82/399.96 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 2297.82/399.96 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 2297.82/399.96 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 2297.82/399.96 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 2297.82/399.96 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 2297.82/399.96 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 2297.82/399.96 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 2297.82/399.96 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 2297.82/399.96 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 2297.82/399.97 Caused by: java.lang.NullPointerException 2297.82/399.97 at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278) 2297.82/399.97 at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222) 2297.82/399.97 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:181) 2297.82/399.97 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46) 2297.82/399.97 at org.chocosolver.solver.Solver.propagate(Solver.java:403) 2297.82/399.97 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293) 2297.82/399.97 at org.chocosolver.solver.Solver.solve(Solver.java:262) 2297.82/399.97 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 2297.82/399.97 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 2297.82/399.97 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 2297.82/399.97 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 2297.82/399.97 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 2297.82/399.97 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 2297.82/399.97 ... 4 more 2297.82/399.97 o 1397 3270.58/565.17 java.util.concurrent.ExecutionException: java.lang.NullPointerException 3270.58/565.17 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 3270.58/565.17 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 3270.58/565.17 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 3270.58/565.17 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 3270.58/565.17 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 3270.58/565.17 Caused by: java.lang.NullPointerException 3270.58/565.17 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 3270.58/565.17 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 3270.58/565.17 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 3270.58/565.17 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 3270.58/565.17 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 3270.58/565.17 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 3270.58/565.17 ... 4 more 3270.58/565.18 Caused by: java.lang.NullPointerException 3270.58/565.18 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 3270.58/565.18 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 3270.58/565.18 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 3270.58/565.18 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 3270.58/565.18 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 3270.58/565.18 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 3270.58/565.18 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 3270.58/565.18 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 3270.58/565.18 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 3270.58/565.18 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 3270.58/565.18 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 3270.58/565.18 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 3270.58/565.18 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 3270.58/565.18 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 3270.58/565.18 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 3270.58/565.18 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 3270.58/565.18 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 3270.58/565.18 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 3270.58/565.18 Caused by: java.lang.NullPointerException 3270.58/565.18 at org.chocosolver.solver.propagation.PropagationEngine.schedule(PropagationEngine.java:278) 3270.58/565.18 at org.chocosolver.solver.propagation.PropagationEngine.manageModifications(PropagationEngine.java:222) 3270.58/565.18 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:164) 3270.58/565.18 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46) 3270.58/565.18 at org.chocosolver.solver.Solver.propagate(Solver.java:403) 3270.58/565.18 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293) 3270.58/565.18 at org.chocosolver.solver.Solver.solve(Solver.java:262) 3270.58/565.18 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 3270.58/565.18 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 3270.58/565.18 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 3270.58/565.18 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 3270.58/565.18 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 3270.58/565.18 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 3270.58/565.18 ... 4 more 3270.58/565.18 o 1221 3478.48/618.60 java.util.concurrent.ExecutionException: java.lang.NullPointerException 3478.48/618.60 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 3478.48/618.60 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 3478.48/618.60 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 3478.48/618.60 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 3478.48/618.60 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 3478.48/618.60 Caused by: java.lang.NullPointerException 3478.48/618.60 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 3478.48/618.60 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 3478.48/618.60 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 3478.48/618.60 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 3478.48/618.60 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 3478.48/618.60 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 3478.48/618.60 ... 4 more 3478.88/618.60 Caused by: java.lang.NullPointerException 3478.88/618.60 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 3478.88/618.60 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 3478.88/618.60 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 3478.88/618.60 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 3478.88/618.60 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 3478.88/618.60 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 3478.88/618.60 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 3478.88/618.60 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 3478.88/618.60 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 3478.88/618.60 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 3478.88/618.60 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 3478.88/618.60 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 3478.88/618.60 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 3478.88/618.60 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 3478.88/618.60 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 3478.88/618.60 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 3478.88/618.60 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 3478.88/618.60 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 3478.88/618.60 Caused by: java.lang.NullPointerException 3478.88/618.60 at org.chocosolver.solver.propagation.PropagationEngine.flush(PropagationEngine.java:244) 3478.88/618.60 at org.chocosolver.solver.Solver.propagate(Solver.java:406) 3478.88/618.60 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293) 3478.88/618.60 at org.chocosolver.solver.Solver.solve(Solver.java:262) 3478.88/618.60 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 3478.88/618.60 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 3478.88/618.60 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 3478.88/618.60 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 3478.88/618.60 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 3478.88/618.60 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 3478.88/618.60 ... 4 more 3478.88/618.61 o 1149 8869.03/1949.36 java.util.concurrent.ExecutionException: java.lang.NullPointerException 8869.03/1949.36 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 8869.03/1949.36 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 8869.03/1949.36 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 8869.03/1949.36 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 8869.03/1949.36 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 8869.03/1949.36 Caused by: java.lang.NullPointerException 8869.03/1949.36 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 8869.03/1949.36 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 8869.03/1949.36 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 8869.03/1949.36 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 8869.03/1949.36 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 8869.03/1949.36 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 8869.03/1949.36 ... 4 more 8869.03/1949.36 Caused by: java.lang.NullPointerException 8869.03/1949.36 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 8869.03/1949.36 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 8869.03/1949.36 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 8869.03/1949.36 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 8869.03/1949.36 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 8869.03/1949.36 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 8869.03/1949.36 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 8869.03/1949.36 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 8869.03/1949.36 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 8869.03/1949.36 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 8869.03/1949.36 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 8869.03/1949.36 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 8869.03/1949.36 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 8869.03/1949.36 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 8869.03/1949.36 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 8869.03/1949.36 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 8869.03/1949.36 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 8869.03/1949.36 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 8869.03/1949.36 Caused by: java.lang.NullPointerException 8869.03/1949.37 o 1133 8869.03/1949.39 java.util.concurrent.ExecutionException: java.lang.NullPointerException 8869.03/1949.39 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 8869.03/1949.39 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 8869.03/1949.39 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 8869.03/1949.39 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 8869.03/1949.39 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 8869.03/1949.39 Caused by: java.lang.NullPointerException 8869.03/1949.39 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 8869.03/1949.39 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 8869.03/1949.39 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 8869.03/1949.39 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 8869.03/1949.39 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 8869.03/1949.39 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 8869.03/1949.39 ... 4 more 8869.03/1949.39 Caused by: java.lang.NullPointerException 8869.03/1949.39 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 8869.03/1949.39 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 8869.03/1949.39 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 8869.03/1949.39 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 8869.03/1949.39 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 8869.03/1949.39 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 8869.03/1949.39 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 8869.03/1949.39 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 8869.03/1949.39 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 8869.03/1949.39 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 8869.03/1949.39 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 8869.03/1949.39 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 8869.03/1949.39 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 8869.03/1949.39 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 8869.03/1949.39 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 8869.03/1949.39 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 8869.03/1949.39 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 8869.03/1949.39 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 8869.03/1949.39 Caused by: java.lang.NullPointerException 8869.03/1949.40 s OPTIMUM FOUND 8869.03/1949.40 v <instantiation> 8869.03/1949.40 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] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[0][83] y[0][84] y[0][85] y[0][86] y[0][87] y[0][88] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[1][83] y[1][84] y[1][85] y[1][86] y[1][87] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[2][83] y[2][84] y[2][85] y[2][86] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[3][83] y[3][84] y[3][85] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[4][83] y[4][84] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[5][82] y[5][83] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[6][81] y[6][82] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][80] y[7][81] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][80] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[80][7] y[80][8] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[81][6] y[81][7] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[82][5] y[82][6] y[83][0] y[83][1] y[83][2] y[83][3] y[83][4] y[83][5] y[84][0] y[84][1] y[84][2] y[84][3] y[84][4] y[85][0] y[85][1] y[85][2] y[85][3] y[86][0] y[86][1] y[86][2] y[87][0] y[87][1] y[88][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] </list> 8869.39/1949.40 v <values>-1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -3 0 -3 0 7 -2 -1 2 -3 6 -3 -4 -3 2 1 2 -3 -2 -1 0 5 2 -3 2 1 2 -3 4 -7 4 3 2 -7 -2 -5 0 -5 -4 1 0 1 4 1 2 3 4 5 2 -11 -2 -3 -6 3 6 -1 0 5 -4 3 -2 -3 2 -3 8 1 0 1 -4 1 -2 -5 0 -3 4 5 -4 -7 -2 5 0 -3 -4 3 4 -1 -2 1 2 1 9 0 9 0 49 4 1 4 9 36 9 16 9 4 1 4 9 4 1 0 25 4 9 4 1 4 9 16 49 16 9 4 49 4 25 0 25 16 1 0 1 16 1 4 9 16 25 4 121 4 9 36 9 36 1 0 25 16 9 4 9 4 9 64 1 0 1 16 1 4 25 0 9 16 25 16 49 4 25 0 9 16 9 16 1 4 1 4 1 </values> 8869.39/1949.40 v </instantiation>
OK 1133
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14742 MiB free) memory of node 1: 16384 MiB (15169 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393989-1568428696/watcher-4393989-1568428696 -o /tmp/evaluation-result-4393989-1568428696/solver-4393989-1568428696 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2133145587 HOME/instance-4393989-1568428696.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=17492, runsolver pid=17489 [startup+0.100163 s]* /proc/loadavg: 0.93 1.28 2.71 2/211 17513 /proc/meminfo: memFree=30615572/32770624 swapFree=66997644/67108860 [pid=17492] ppid=17489 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17492/stat : 17492 (xcsp3-exec) S 17489 17492 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419124199 115843072 363 33554432000 4194304 5098028 140722118122432 140722118120536 140514735194748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38633472 140722118124405 140722118124649 140722118124649 140722118127562 0 /proc/17492/statm: 28282 363 305 221 0 87 0 [pid=17494] ppid=17492 vsize=28227388 memory=27472 CPUtime=0.12 cores=0-7 /proc/17494/stat : 17494 (java) S 17492 17492 12749 0 -1 1077944320 5905 0 0 0 10 2 0 0 20 0 20 0 419124199 28904845312 6868 33554432000 4194304 4196468 140731949078656 140731949061200 140381571768055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 /proc/17494/statm: 7056847 6868 3118 1 0 7019032 0 [pid=17494/tid=17495] ppid=17492 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/17494/task/17495/stat : 17495 (java) R 17492 17492 12749 0 -1 4202560 3769 0 0 0 8 0 0 0 20 0 20 0 419124200 28904845312 6868 33554432000 4194304 4196468 140731949078656 140381576000832 140381209019213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17496] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17496/stat : 17496 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 6868 33554432000 4194304 4196468 140731949078656 140381123021200 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17497] ppid=17492 vsize=28227388 memory=139909365595021 CPUtime=0 cores=0-7 /proc/17494/task/17497/stat : 17497 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 6868 33554432000 4194304 4196468 140731949078656 140381121968400 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17498] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17498/stat : 17498 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 6868 33554432000 4194304 4196468 140731949078656 140381120916112 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17499] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17499/stat : 17499 (java) S 17492 17492 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 6868 33554432000 4194304 4196468 140731949078656 140381119863312 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17500] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17500/stat : 17500 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 6868 33554432000 4194304 4196468 140731949078656 140381118811024 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17501] ppid=17492 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17494/task/17501/stat : 17501 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 6868 33554432000 4194304 4196468 140731949078656 140381117758224 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17502] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17502/stat : 17502 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 6868 33554432000 4194304 4196468 140731949078656 140381116705936 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17503] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17503/stat : 17503 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 6868 33554432000 4194304 4196468 140731949078656 140381115653136 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17504] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17504/stat : 17504 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124202 28904845312 6868 33554432000 4194304 4196468 140731949078656 140379901692016 140381571779202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17505] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17505/stat : 17505 (java) S 17492 17492 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419124202 28904845312 6868 33554432000 4194304 4196468 140731949078656 140379900637984 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17506] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17506/stat : 17506 (java) S 17492 17492 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419124202 28904845312 6868 33554432000 4194304 4196468 140731949078656 140379899585648 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17507] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17507/stat : 17507 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124205 28904845312 6868 33554432000 4194304 4196468 140731949078656 140379898533968 140381571786651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17508] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17508/stat : 17508 (java) S 17492 17492 12749 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 419124205 28904845312 6868 33554432000 4194304 4196468 140731949078656 140379897481840 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17509] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17509/stat : 17509 (java) S 17492 17492 12749 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419124205 28904845312 6868 33554432000 4194304 4196468 140731949078656 140379896429040 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17510] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17510/stat : 17510 (java) S 17492 17492 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124205 28904845312 6868 33554432000 4194304 4196468 140731949078656 140379895376752 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17511] ppid=17492 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/17494/task/17511/stat : 17511 (java) S 17492 17492 12749 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 20 0 419124205 28904845312 6868 33554432000 4194304 4196468 140731949078656 140379894323952 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17512] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17512/stat : 17512 (java) S 17492 17492 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124205 28904845312 6868 33554432000 4194304 4196468 140731949078656 140379893270880 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17513] ppid=17492 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17494/task/17513/stat : 17513 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124205 28904845312 6868 33554432000 4194304 4196468 140731949078656 140379892218160 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 28924 KiB [startup+0.210252 s]* /proc/loadavg: 0.93 1.28 2.71 2/211 17513 /proc/meminfo: memFree=30601724/32770624 swapFree=66997644/67108860 [pid=17492] ppid=17489 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17492/stat : 17492 (xcsp3-exec) S 17489 17492 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419124199 115843072 363 33554432000 4194304 5098028 140722118122432 140722118120536 140514735194748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38633472 140722118124405 140722118124649 140722118124649 140722118127562 0 /proc/17492/statm: 28282 363 305 221 0 87 0 [pid=17494] ppid=17492 vsize=28227388 memory=39948 CPUtime=0.33 cores=0-7 /proc/17494/stat : 17494 (java) S 17492 17492 12749 0 -1 1077944320 9774 0 0 0 30 3 0 0 20 0 20 0 419124199 28904845312 9987 33554432000 4194304 4196468 140731949078656 140731949061200 140381571768055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 /proc/17494/statm: 7056847 9987 3307 1 0 7019032 0 [pid=17494/tid=17495] ppid=17492 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17494/task/17495/stat : 17495 (java) R 17492 17492 12749 0 -1 4202560 6725 0 0 0 18 2 0 0 20 0 20 0 419124200 28904845312 9987 33554432000 4194304 4196468 140731949078656 140381575997776 140381571779990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17496] ppid=17492 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7 /proc/17494/task/17496/stat : 17496 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 9987 33554432000 4194304 4196468 140731949078656 140381123021200 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17497] ppid=17492 vsize=28227388 memory=3616592206952945312 CPUtime=0 cores=0-7 /proc/17494/task/17497/stat : 17497 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 9987 33554432000 4194304 4196468 140731949078656 140381121968400 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17498] ppid=17492 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17494/task/17498/stat : 17498 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 9987 33554432000 4194304 4196468 140731949078656 140381120916112 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17499] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17499/stat : 17499 (java) S 17492 17492 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 9987 33554432000 4194304 4196468 140731949078656 140381119863312 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17500] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17500/stat : 17500 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 9987 33554432000 4194304 4196468 140731949078656 140381118811024 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17501] ppid=17492 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17494/task/17501/stat : 17501 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 9987 33554432000 4194304 4196468 140731949078656 140381117758224 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17502] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17502/stat : 17502 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 9987 33554432000 4194304 4196468 140731949078656 140381116705936 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17503] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17503/stat : 17503 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28904845312 9987 33554432000 4194304 4196468 140731949078656 140381115653136 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17504] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17504/stat : 17504 (java) S 17492 17492 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419124202 28904845312 9987 33554432000 4194304 4196468 140731949078656 140379901692016 140381571779202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17505] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17505/stat : 17505 (java) S 17492 17492 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419124202 28904845312 9987 33554432000 4194304 4196468 140731949078656 140379900637984 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17506] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17506/stat : 17506 (java) S 17492 17492 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419124202 28904845312 9987 33554432000 4194304 4196468 140731949078656 140379899585648 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17507] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17507/stat : 17507 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124205 28904845312 9987 33554432000 4194304 4196468 140731949078656 140379898533968 140381571786651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17508] ppid=17492 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/17494/task/17508/stat : 17508 (java) S 17492 17492 12749 0 -1 1077944384 415 0 0 0 1 0 0 0 20 0 20 0 419124205 28904845312 9987 33554432000 4194304 4196468 140731949078656 140379897481840 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17509] ppid=17492 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/17494/task/17509/stat : 17509 (java) S 17492 17492 12749 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 20 0 419124205 28904845312 9987 33554432000 4194304 4196468 140731949078656 140379896429040 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17510] ppid=17492 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/17494/task/17510/stat : 17510 (java) S 17492 17492 12749 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 20 0 419124205 28904845312 9987 33554432000 4194304 4196468 140731949078656 140379895376752 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17511] ppid=17492 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7 /proc/17494/task/17511/stat : 17511 (java) S 17492 17492 12749 0 -1 1077944384 855 0 0 0 8 0 0 0 20 0 20 0 419124205 28904845312 9987 33554432000 4194304 4196468 140731949078656 140379894323952 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17512] ppid=17492 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17512/stat : 17512 (java) S 17492 17492 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124205 28904845312 9987 33554432000 4194304 4196468 140731949078656 140379893270880 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17513] ppid=17492 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17494/task/17513/stat : 17513 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124205 28904845312 9987 33554432000 4194304 4196468 140731949078656 140379892218160 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41400 KiB [startup+0.309549 s]* /proc/loadavg: 0.93 1.28 2.71 4/211 17513 /proc/meminfo: memFree=30596504/32770624 swapFree=66997644/67108860 [pid=17492] ppid=17489 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17492/stat : 17492 (xcsp3-exec) S 17489 17492 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419124199 115843072 363 33554432000 4194304 5098028 140722118122432 140722118120536 140514735194748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38633472 140722118124405 140722118124649 140722118124649 140722118127562 0 /proc/17492/statm: 28282 363 305 221 0 87 0 [pid=17494] ppid=17492 vsize=28231644 memory=48780 CPUtime=0.51 cores=0-7 /proc/17494/stat : 17494 (java) S 17492 17492 12749 0 -1 1077944320 11112 0 0 0 47 4 0 0 20 0 20 0 419124199 28909203456 12195 33554432000 4194304 4196468 140731949078656 140731949061200 140381571768055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 /proc/17494/statm: 7057911 12195 3351 1 0 7019032 0 [pid=17494/tid=17495] ppid=17492 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/17494/task/17495/stat : 17495 (java) R 17492 17492 12749 0 -1 4202560 7803 0 0 0 27 2 0 0 20 0 20 0 419124200 28909203456 12195 33554432000 4194304 4196468 140731949078656 140381575999168 140381555848542 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17496] ppid=17492 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17496/stat : 17496 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28909203456 12195 33554432000 4194304 4196468 140731949078656 140381123021200 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17497] ppid=17492 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17497/stat : 17497 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124200 28909203456 12195 33554432000 4194304 4196468 140731949078656 140381121968400 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17498] ppid=17492 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17498/stat : 17498 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28909203456 12195 33554432000 4194304 4196468 140731949078656 140381120916112 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17499] ppid=17492 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17499/stat : 17499 (java) S 17492 17492 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124200 28909203456 12195 33554432000 4194304 4196468 140731949078656 140381119863312 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17500] ppid=17492 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17500/stat : 17500 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28909203456 12195 33554432000 4194304 4196468 140731949078656 140381118811024 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17501] ppid=17492 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17501/stat : 17501 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28909203456 12195 33554432000 4194304 4196468 140731949078656 140381117758224 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17502] ppid=17492 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17502/stat : 17502 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124200 28909203456 12195 33554432000 4194304 4196468 140731949078656 140381116705936 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17503] ppid=17492 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17503/stat : 17503 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28909203456 12195 33554432000 4194304 4196468 140731949078656 140381115653136 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17504] ppid=17492 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17504/stat : 17504 (java) S 17492 17492 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419124202 28909203456 12195 33554432000 4194304 4196468 140731949078656 140379901692016 140381571779202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17505] ppid=17492 vsize=28231644 memory=279818461715840 CPUtime=0 cores=0-7 /proc/17494/task/17505/stat : 17505 (java) S 17492 17492 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419124202 28909203456 12195 33554432000 4194304 4196468 140731949078656 140379900637984 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17506] ppid=17492 vsize=28231644 memory=279818461720448 CPUtime=0 cores=0-7 /proc/17494/task/17506/stat : 17506 (java) S 17492 17492 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419124202 28909203456 12195 33554432000 4194304 4196468 140731949078656 140379899585648 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17507] ppid=17492 vsize=28231644 memory=279818461725056 CPUtime=0 cores=0-7 /proc/17494/task/17507/stat : 17507 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124205 28909203456 12195 33554432000 4194304 4196468 140731949078656 140379898533968 140381571786651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17508] ppid=17492 vsize=28231644 memory=279818461729664 CPUtime=0.03 cores=0-7 /proc/17494/task/17508/stat : 17508 (java) R 17492 17492 12749 0 -1 4202560 501 0 0 0 3 0 0 0 20 0 20 0 419124205 28909203456 12195 33554432000 4194304 4196468 140731949078656 140379897481840 140381552468352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17509] ppid=17492 vsize=28231644 memory=279818461734272 CPUtime=0.02 cores=0-7 /proc/17494/task/17509/stat : 17509 (java) S 17492 17492 12749 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 20 0 419124205 28909203456 12195 33554432000 4194304 4196468 140731949078656 140379896429040 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17510] ppid=17492 vsize=28231644 memory=279818461738880 CPUtime=0.02 cores=0-7 /proc/17494/task/17510/stat : 17510 (java) S 17492 17492 12749 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 20 0 419124205 28909203456 12195 33554432000 4194304 4196468 140731949078656 140379895376752 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17511] ppid=17492 vsize=28231644 memory=279818461743488 CPUtime=0.12 cores=0-7 /proc/17494/task/17511/stat : 17511 (java) S 17492 17492 12749 0 -1 1077944384 1010 0 0 0 12 0 0 0 20 0 20 0 419124205 28909203456 12195 33554432000 4194304 4196468 140731949078656 140379894323952 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17512] ppid=17492 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17512/stat : 17512 (java) S 17492 17492 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419124205 28909203456 12195 33554432000 4194304 4196468 140731949078656 140379893270880 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17513] ppid=17492 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/17494/task/17513/stat : 17513 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124205 28909203456 12195 33554432000 4194304 4196468 140731949078656 140379892218160 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50232 KiB [startup+0.700938 s] /proc/loadavg: 0.93 1.28 2.71 5/211 17513 /proc/meminfo: memFree=30563232/32770624 swapFree=66997644/67108860 [pid=17492] ppid=17489 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17492/stat : 17492 (xcsp3-exec) S 17489 17492 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419124199 115843072 363 33554432000 4194304 5098028 140722118122432 140722118120536 140514735194748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38633472 140722118124405 140722118124649 140722118124649 140722118127562 0 /proc/17492/statm: 28282 363 305 221 0 87 0 [pid=17494] ppid=17492 vsize=28233768 memory=117000 CPUtime=2.1 cores=0-7 /proc/17494/stat : 17494 (java) S 17492 17492 12749 0 -1 1077944320 16334 0 0 0 204 6 0 0 20 0 20 0 419124199 28911378432 29250 33554432000 4194304 4196468 140731949078656 140731949061200 140381571768055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 /proc/17494/statm: 7058442 29250 3454 1 0 7019544 0 [pid=17494/tid=17495] ppid=17492 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7 /proc/17494/task/17495/stat : 17495 (java) R 17492 17492 12749 0 -1 4202560 8539 0 0 0 64 3 0 0 20 0 20 0 419124200 28911378432 29250 33554432000 4194304 4196468 140731949078656 140381576004496 140381213193467 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17496] ppid=17492 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17496/stat : 17496 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28911378432 29250 33554432000 4194304 4196468 140731949078656 140381123021200 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17497] ppid=17492 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/17494/task/17497/stat : 17497 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419124200 28911378432 29250 33554432000 4194304 4196468 140731949078656 140381121968400 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17498] ppid=17492 vsize=28233768 memory=4008 CPUtime=0 cores=0-7 /proc/17494/task/17498/stat : 17498 (java) S 17492 17492 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419124200 28911378432 29250 33554432000 4194304 4196468 140731949078656 140381120916112 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 ################ # More data... # ################ [pid=17494/tid=17509] ppid=17492 vsize=29035612 memory=1528 CPUtime=8.75 cores=0-7 /proc/17494/task/17509/stat : 17509 (java) S 17492 17492 12749 0 -1 1077944384 62707 0 0 0 864 11 0 0 20 0 28 0 419124205 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379896429040 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17510] ppid=17492 vsize=29035612 memory=1448 CPUtime=9.65 cores=0-7 /proc/17494/task/17510/stat : 17510 (java) S 17492 17492 12749 0 -1 1077944384 75312 0 0 0 956 9 0 0 20 0 28 0 419124205 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379895376752 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17511] ppid=17492 vsize=29035612 memory=876 CPUtime=1.9 cores=0-7 /proc/17494/task/17511/stat : 17511 (java) S 17492 17492 12749 0 -1 1077944384 55935 0 0 0 179 11 0 0 20 0 28 0 419124205 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379894323952 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17512] ppid=17492 vsize=29035612 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/17494/task/17512/stat : 17512 (java) S 17492 17492 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419124205 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379893270880 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17513] ppid=17492 vsize=29035612 memory=18922220 CPUtime=1.05 cores=0-7 /proc/17494/task/17513/stat : 17513 (java) S 17492 17492 12749 0 -1 1077944384 7648 0 0 0 54 51 0 0 20 0 28 0 419124205 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379892218160 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17825] ppid=17492 vsize=29035612 memory=4100 CPUtime=1316.73 cores=0-7 /proc/17494/task/17825/stat : 17825 (java) R 17492 17492 12749 0 -1 4202560 30107 0 0 0 131660 13 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379875646152 140381224001791 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17826] ppid=17492 vsize=29035612 memory=1164 CPUtime=1316.74 cores=0-7 /proc/17494/task/17826/stat : 17826 (java) R 17492 17492 12749 0 -1 4202560 12905 0 0 0 131668 6 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379869331240 140381213375952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17827] ppid=17492 vsize=29035612 memory=-3622645143214314312 CPUtime=1316.74 cores=0-7 /proc/17494/task/17827/stat : 17827 (java) R 17492 17492 12749 0 -1 4202560 219901 0 0 0 131571 103 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379872489176 140381211252819 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17828] ppid=17492 vsize=29035612 memory=1452 CPUtime=4.84 cores=0-7 /proc/17494/task/17828/stat : 17828 (java) S 17492 17492 12749 0 -1 1077944384 34 0 0 0 484 0 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379877758208 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17829] ppid=17492 vsize=29035612 memory=18922108 CPUtime=7.96 cores=0-7 /proc/17494/task/17829/stat : 17829 (java) S 17492 17492 12749 0 -1 1077944384 2932 0 0 0 752 44 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379870389888 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17830] ppid=17492 vsize=29035612 memory=628 CPUtime=1317.04 cores=0-7 /proc/17494/task/17830/stat : 17830 (java) R 17492 17492 12749 0 -1 4202560 6627 0 0 0 131694 10 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379868278864 140381215022819 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17831] ppid=17492 vsize=29035612 memory=1452 CPUtime=0 cores=0-7 /proc/17494/task/17831/stat : 17831 (java) S 17492 17492 12749 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379873547136 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17832] ppid=17492 vsize=29035612 memory=18922220 CPUtime=0 cores=0-7 /proc/17494/task/17832/stat : 17832 (java) S 17492 17492 12749 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379871441664 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 Current children cumulated CPU time: 8867.03 s Current children cumulated vsize: 29148740 KiB Current children cumulated memory: 18923672 KiB [startup+1949.2 s] /proc/loadavg: 4.00 4.01 4.05 5/218 17955 /proc/meminfo: memFree=11684476/32770624 swapFree=66997684/67108860 [pid=17492] ppid=17489 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17492/stat : 17492 (xcsp3-exec) S 17489 17492 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419124199 115843072 363 33554432000 4194304 5098028 140722118122432 140722118120536 140514735194748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38633472 140722118124405 140722118124649 140722118124649 140722118127562 0 /proc/17492/statm: 28282 363 305 221 0 87 0 [pid=17494] ppid=17492 vsize=29035612 memory=18922220 CPUtime=8868.63 cores=0-7 /proc/17494/stat : 17494 (java) S 17492 17492 12749 0 -1 1077944320 1064585 0 0 0 884756 2107 0 0 20 0 28 0 419124199 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140731949061200 140381571768055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 /proc/17494/statm: 7258903 4730555 3568 1 0 7220005 0 [pid=17494/tid=17495] ppid=17492 vsize=29035612 memory=500 CPUtime=4.03 cores=0-7 /proc/17494/task/17495/stat : 17495 (java) S 17492 17492 12749 0 -1 1077944384 17989 0 0 0 392 11 0 0 20 0 28 0 419124200 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140381576008832 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17496] ppid=17492 vsize=29035612 memory=928 CPUtime=23.77 cores=0-7 /proc/17494/task/17496/stat : 17496 (java) S 17492 17492 12749 0 -1 1077944384 28883 0 0 0 2225 152 0 0 20 0 28 0 419124200 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140381123021200 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17497] ppid=17492 vsize=29035612 memory=1760 CPUtime=23.72 cores=0-7 /proc/17494/task/17497/stat : 17497 (java) S 17492 17492 12749 0 -1 1077944384 25746 0 0 0 2219 153 0 0 20 0 28 0 419124200 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140381121968400 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17498] ppid=17492 vsize=29035612 memory=111632 CPUtime=23.59 cores=0-7 /proc/17494/task/17498/stat : 17498 (java) S 17492 17492 12749 0 -1 1077944384 21221 0 0 0 2235 124 0 0 20 0 28 0 419124200 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140381120916112 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17499] ppid=17492 vsize=29035612 memory=800 CPUtime=23.44 cores=0-7 /proc/17494/task/17499/stat : 17499 (java) S 17492 17492 12749 0 -1 1077944384 39752 0 0 0 2187 157 0 0 20 0 28 0 419124200 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140381119863312 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17500] ppid=17492 vsize=29035612 memory=1808 CPUtime=23.61 cores=0-7 /proc/17494/task/17500/stat : 17500 (java) S 17492 17492 12749 0 -1 1077944384 25860 0 0 0 2221 140 0 0 20 0 28 0 419124200 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140381118811024 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17501] ppid=17492 vsize=29035612 memory=920 CPUtime=23.46 cores=0-7 /proc/17494/task/17501/stat : 17501 (java) S 17492 17492 12749 0 -1 1077944384 23097 0 0 0 2206 140 0 0 20 0 28 0 419124200 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140381117758224 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17502] ppid=17492 vsize=29035612 memory=1412 CPUtime=23.71 cores=0-7 /proc/17494/task/17502/stat : 17502 (java) S 17492 17492 12749 0 -1 1077944384 31677 0 0 0 2195 176 0 0 20 0 28 0 419124200 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140381116705936 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17503] ppid=17492 vsize=29035612 memory=4080 CPUtime=23.38 cores=0-7 /proc/17494/task/17503/stat : 17503 (java) S 17492 17492 12749 0 -1 1077944384 19568 0 0 0 2193 145 0 0 20 0 28 0 419124200 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140381115653136 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17504] ppid=17492 vsize=29035612 memory=1452 CPUtime=21.65 cores=0-7 /proc/17494/task/17504/stat : 17504 (java) S 17492 17492 12749 0 -1 1077944384 49108 0 0 0 2078 87 0 0 20 0 28 0 419124202 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379901692016 140381571779202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17505] ppid=17492 vsize=29035612 memory=18922220 CPUtime=0 cores=0-7 /proc/17494/task/17505/stat : 17505 (java) S 17492 17492 12749 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 28 0 419124202 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379900638048 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17506] ppid=17492 vsize=29035612 memory=4100 CPUtime=0 cores=0-7 /proc/17494/task/17506/stat : 17506 (java) S 17492 17492 12749 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 28 0 419124202 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379899585664 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17507] ppid=17492 vsize=29035612 memory=1164 CPUtime=0 cores=0-7 /proc/17494/task/17507/stat : 17507 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419124205 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379898533968 140381571786651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17508] ppid=17492 vsize=29035612 memory=1452 CPUtime=9.22 cores=0-7 /proc/17494/task/17508/stat : 17508 (java) S 17492 17492 12749 0 -1 1077944384 61481 0 0 0 909 13 0 0 20 0 28 0 419124205 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379897481840 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17509] ppid=17492 vsize=29035612 memory=1452 CPUtime=8.75 cores=0-7 /proc/17494/task/17509/stat : 17509 (java) S 17492 17492 12749 0 -1 1077944384 62707 0 0 0 864 11 0 0 20 0 28 0 419124205 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379896429040 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17510] ppid=17492 vsize=29035612 memory=1452 CPUtime=9.65 cores=0-7 /proc/17494/task/17510/stat : 17510 (java) S 17492 17492 12749 0 -1 1077944384 75312 0 0 0 956 9 0 0 20 0 28 0 419124205 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379895376752 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17511] ppid=17492 vsize=29035612 memory=18922220 CPUtime=1.9 cores=0-7 /proc/17494/task/17511/stat : 17511 (java) S 17492 17492 12749 0 -1 1077944384 55935 0 0 0 179 11 0 0 20 0 28 0 419124205 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379894323952 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17512] ppid=17492 vsize=29035612 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/17494/task/17512/stat : 17512 (java) S 17492 17492 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419124205 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379893270880 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17513] ppid=17492 vsize=29035612 memory=6656426216303648864 CPUtime=1.05 cores=0-7 /proc/17494/task/17513/stat : 17513 (java) S 17492 17492 12749 0 -1 1077944384 7648 0 0 0 54 51 0 0 20 0 28 0 419124205 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379892218160 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17825] ppid=17492 vsize=29035612 memory=6944652177228980320 CPUtime=1317.13 cores=0-7 /proc/17494/task/17825/stat : 17825 (java) R 17492 17492 12749 0 -1 4202560 30107 0 0 0 131700 13 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379875646152 140381215597389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17826] ppid=17492 vsize=29035612 memory=-2605811476043407915 CPUtime=1317.14 cores=0-7 /proc/17494/task/17826/stat : 17826 (java) R 17492 17492 12749 0 -1 4202560 12905 0 0 0 131708 6 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379869331240 140381215597354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17827] ppid=17492 vsize=29035612 memory=279817792436309 CPUtime=1317.14 cores=0-7 /proc/17494/task/17827/stat : 17827 (java) R 17492 17492 12749 0 -1 4202560 219941 0 0 0 131611 103 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379872489176 140381213375999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17828] ppid=17492 vsize=29035612 memory=279818462051184 CPUtime=4.84 cores=0-7 /proc/17494/task/17828/stat : 17828 (java) S 17492 17492 12749 0 -1 1077944384 34 0 0 0 484 0 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379877758208 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17829] ppid=17492 vsize=29035612 memory=7805413530865263424 CPUtime=7.96 cores=0-7 /proc/17494/task/17829/stat : 17829 (java) S 17492 17492 12749 0 -1 1077944384 2932 0 0 0 752 44 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379870389888 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17830] ppid=17492 vsize=29035612 memory=7733355936827336000 CPUtime=1317.44 cores=0-7 /proc/17494/task/17830/stat : 17830 (java) R 17492 17492 12749 0 -1 4202560 6636 0 0 0 131734 10 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379868278864 140381215022645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17831] ppid=17492 vsize=29035612 memory=1164 CPUtime=0 cores=0-7 /proc/17494/task/17831/stat : 17831 (java) S 17492 17492 12749 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379873547136 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17832] ppid=17492 vsize=29035612 memory=8317482817917895235 CPUtime=0 cores=0-7 /proc/17494/task/17832/stat : 17832 (java) S 17492 17492 12749 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 419186061 29732466688 4730555 33554432000 4194304 4196468 140731949078656 140379871441664 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 Current children cumulated CPU time: 8868.63 s Current children cumulated vsize: 29148740 KiB Current children cumulated memory: 18923672 KiB [startup+1949.4 s] /proc/loadavg: 4.00 4.01 4.05 5/218 17955 /proc/meminfo: memFree=11684476/32770624 swapFree=66997684/67108860 [pid=17492] ppid=17489 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17492/stat : 17492 (xcsp3-exec) S 17489 17492 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419124199 115843072 363 33554432000 4194304 5098028 140722118122432 140722118120536 140514735194748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38633472 140722118124405 140722118124649 140722118124649 140722118127562 0 /proc/17492/statm: 28282 363 305 221 0 87 0 [pid=17494] ppid=17492 vsize=29035612 memory=18922020 CPUtime=8869.39 cores=0-7 /proc/17494/stat : 17494 (java) S 17492 17492 12749 0 -1 1077944320 1066961 0 0 0 884830 2109 0 0 20 0 23 0 419124199 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140731949061200 140381571768055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 /proc/17494/statm: 7258903 4730505 3568 1 0 7220005 0 [pid=17494/tid=17495] ppid=17492 vsize=29035612 memory=1380 CPUtime=4.04 cores=0-7 /proc/17494/task/17495/stat : 17495 (java) R 17492 17492 12749 0 -1 4202560 18452 0 0 0 393 11 0 0 20 0 23 0 419124200 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140381576002880 140381553326858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17496] ppid=17492 vsize=29035612 memory=1128 CPUtime=23.77 cores=0-7 /proc/17494/task/17496/stat : 17496 (java) S 17492 17492 12749 0 -1 1077944384 28883 0 0 0 2225 152 0 0 20 0 23 0 419124200 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140381123021200 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17497] ppid=17492 vsize=29035612 memory=772 CPUtime=23.72 cores=0-7 /proc/17494/task/17497/stat : 17497 (java) S 17492 17492 12749 0 -1 1077944384 25746 0 0 0 2219 153 0 0 20 0 23 0 419124200 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140381121968400 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17498] ppid=17492 vsize=29035612 memory=4008 CPUtime=23.59 cores=0-7 /proc/17494/task/17498/stat : 17498 (java) S 17492 17492 12749 0 -1 1077944384 21221 0 0 0 2235 124 0 0 20 0 23 0 419124200 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140381120916112 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17499] ppid=17492 vsize=29035612 memory=948 CPUtime=23.44 cores=0-7 /proc/17494/task/17499/stat : 17499 (java) S 17492 17492 12749 0 -1 1077944384 39752 0 0 0 2187 157 0 0 20 0 23 0 419124200 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140381119863312 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17500] ppid=17492 vsize=29035612 memory=948 CPUtime=23.61 cores=0-7 /proc/17494/task/17500/stat : 17500 (java) S 17492 17492 12749 0 -1 1077944384 25860 0 0 0 2221 140 0 0 20 0 23 0 419124200 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140381118811024 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17501] ppid=17492 vsize=29035612 memory=2832 CPUtime=23.46 cores=0-7 /proc/17494/task/17501/stat : 17501 (java) S 17492 17492 12749 0 -1 1077944384 23097 0 0 0 2206 140 0 0 20 0 23 0 419124200 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140381117758224 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17502] ppid=17492 vsize=29035612 memory=9404 CPUtime=23.71 cores=0-7 /proc/17494/task/17502/stat : 17502 (java) S 17492 17492 12749 0 -1 1077944384 31677 0 0 0 2195 176 0 0 20 0 23 0 419124200 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140381116705936 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17503] ppid=17492 vsize=29035612 memory=6791534058613427641 CPUtime=23.38 cores=0-7 /proc/17494/task/17503/stat : 17503 (java) S 17492 17492 12749 0 -1 1077944384 19568 0 0 0 2193 145 0 0 20 0 23 0 419124200 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140381115653136 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17504] ppid=17492 vsize=29035612 memory=948 CPUtime=21.67 cores=0-7 /proc/17494/task/17504/stat : 17504 (java) S 17492 17492 12749 0 -1 1077944384 49204 0 0 0 2079 88 0 0 20 0 23 0 419124202 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140379901692016 140381571779202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17505] ppid=17492 vsize=29035612 memory=2832 CPUtime=0 cores=0-7 /proc/17494/task/17505/stat : 17505 (java) S 17492 17492 12749 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 23 0 419124202 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140379900638048 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17506] ppid=17492 vsize=29035612 memory=9404 CPUtime=0 cores=0-7 /proc/17494/task/17506/stat : 17506 (java) S 17492 17492 12749 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 23 0 419124202 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140379899585664 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17507] ppid=17492 vsize=29035612 memory=4008 CPUtime=0 cores=0-7 /proc/17494/task/17507/stat : 17507 (java) S 17492 17492 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 419124205 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140379898533968 140381571786651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17508] ppid=17492 vsize=29035612 memory=948 CPUtime=9.22 cores=0-7 /proc/17494/task/17508/stat : 17508 (java) S 17492 17492 12749 0 -1 1077944384 61481 0 0 0 909 13 0 0 20 0 23 0 419124205 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140379897481840 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17509] ppid=17492 vsize=29035612 memory=18922220 CPUtime=8.75 cores=0-7 /proc/17494/task/17509/stat : 17509 (java) S 17492 17492 12749 0 -1 1077944384 63376 0 0 0 864 11 0 0 20 0 23 0 419124205 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140379896429040 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17510] ppid=17492 vsize=29035612 memory=1452 CPUtime=9.65 cores=0-7 /proc/17494/task/17510/stat : 17510 (java) S 17492 17492 12749 0 -1 1077944384 75312 0 0 0 956 9 0 0 20 0 23 0 419124205 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140379895376752 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17511] ppid=17492 vsize=29035612 memory=18922220 CPUtime=1.91 cores=0-7 /proc/17494/task/17511/stat : 17511 (java) R 17492 17492 12749 0 -1 1077944384 56358 0 0 0 180 11 0 0 20 0 23 0 419124205 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140379894323760 140381571778261 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17512] ppid=17492 vsize=29035612 memory=1164 CPUtime=0 cores=0-7 /proc/17494/task/17512/stat : 17512 (java) S 17492 17492 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 419124205 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140379893270880 140381571778261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17513] ppid=17492 vsize=29035612 memory=8317482817917895235 CPUtime=1.05 cores=0-7 /proc/17494/task/17513/stat : 17513 (java) S 17492 17492 12749 0 -1 1077944384 7648 0 0 0 54 51 0 0 20 0 23 0 419124205 29732466688 4730505 33554432000 4194304 4196468 140731949078656 140379892218160 140381571779202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 [pid=17494/tid=17830] ppid=17492 vsize=29035612 memory=14012 CPUtime=1317.64 cores=0-7 /proc/17494/task/17830/stat : 17830 (java) R 17492 17492 12749 0 -1 4202560 6640 0 0 0 131754 10 0 0 20 0 23 0 419186061 29732466688 4730522 33554432000 4194304 4196468 140731949078656 140379868278976 140381215022875 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35762176 140731949081578 140731949081750 140731949081750 140731949084623 0 Current children cumulated CPU time: 8869.39 s Current children cumulated vsize: 29148740 KiB Current children cumulated memory: 18923472 KiB [startup+1949.5 s] /proc/loadavg: 4.00 4.01 4.05 5/218 17955 /proc/meminfo: memFree=11684476/32770624 swapFree=66997684/67108860 [pid=17492] ppid=17489 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17492/stat : 17492 (xcsp3-exec) S 17489 17492 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419124199 115843072 363 33554432000 4194304 5098028 140722118122432 140722118120536 140514735194748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38633472 140722118124405 140722118124649 140722118124649 140722118127562 0 /proc/17492/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 1949.5 CPU time (s): 8869.54 CPU user time (s): 8848.34 CPU system time (s): 21.1973 CPU usage (%): 454.964 Max. virtual memory (cumulated for all children) (KiB): 29148740 Max. memory (cumulated for all children) (KiB): 18935848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8848.34 system time used= 21.1973 maximum resident set size= 18934396 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1068216 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2688 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 61680 involuntary context switches= 25834 # summary of solver processes directly reported to runsolver: # pid: 17492 # total CPU time (s): 8869.54 # total CPU user time (s): 8848.34 # total CPU system time (s): 21.1973 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.6876 second user time and 24.349 second system time The end
Begin job on node106 at 2019-09-14 03:36:58 IDJOB=4393989 IDBENCH=126995 IDSOLVER=2841 FILE ID=node106/4393989-1568428696 RUNJOBID= node106-1568413091-12776 PBS_JOBID= 21702261 Free space on /tmp= 59112 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-090.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393989-1568428696/watcher-4393989-1568428696 -o /tmp/evaluation-result-4393989-1568428696/solver-4393989-1568428696 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2133145587 HOME/instance-4393989-1568428696.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d92bd6a6dba83323313b355bf487e521 RANDOM SEED=2133145587 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30630304 kB MemAvailable: 31903148 kB Buffers: 182996 kB Cached: 1370728 kB SwapCached: 9340 kB Active: 486288 kB Inactive: 1082712 kB Active(anon): 14152 kB Inactive(anon): 34724 kB Active(file): 472136 kB Inactive(file): 1047988 kB Unevictable: 106908 kB Mlocked: 106908 kB SwapTotal: 67108860 kB SwapFree: 66997644 kB Dirty: 26232 kB Writeback: 16 kB AnonPages: 113068 kB Mapped: 38104 kB Shmem: 25260 kB Slab: 166488 kB SReclaimable: 137108 kB SUnreclaim: 29380 kB KernelStack: 3392 kB PageTables: 5120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 490324 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59088 MiB End job on node106 at 2019-09-14 04:09:28