Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | SAT (TO) | 67 | 15233.1 | 2520.03 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-031.xml |
MD5SUM | 0f1289c6216c2035de546c3b2133ae29 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 67 |
Best CPU time to get the best result obtained on this benchmark | 2400.3 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 991 |
Number of constraints | 525 |
Number of domains | 61 |
Minimum domain size | 2 |
Maximum domain size | 61 |
Distribution of domain sizes | [{"size":2,"count":497},{"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":27,"count":2},{"size":28,"count":1},{"size":29,"count":2},{"size":30,"count":1},{"size":31,"count":2},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1},{"size":53,"count":1},{"size":55,"count":1},{"size":57,"count":1},{"size":59,"count":1},{"size":61,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":0,"count":435},{"degree":2,"count":525},{"degree":30,"count":31}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":31},{"arity":3,"count":466},{"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":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 495 |
Distribution of constraint types | [{"type":"intension","count":495},{"type":"sum","count":30}] |
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-4394661-1568428856.xml" -tl '20160s' -p 8 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4394661-1568428856.xml, -tl, 20160s, -p, 8] 0.33/0.25 c 8 solvers in parallel 0.33/0.31 c parse instance... 4.45/1.44 c solve instance... 4.97/1.58 o 431 6.43/1.76 o 399 6.43/1.77 o 323 6.94/1.82 o 247 7.57/1.92 o 243 8.21/2.04 o 239 8.21/2.06 o 211 9.51/2.23 o 119 109.59/16.04 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (0/3) 109.59/16.04 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 109.59/16.04 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 109.59/16.04 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 109.59/16.04 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 109.59/16.04 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 109.59/16.04 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (0/3) 109.59/16.04 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 109.59/16.04 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 109.59/16.04 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 109.59/16.04 at org.chocosolver.solver.Solver.repair(Solver.java:443) 109.59/16.04 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 109.59/16.04 at org.chocosolver.solver.Solver.solve(Solver.java:262) 109.59/16.04 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 109.59/16.04 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 109.59/16.04 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 109.59/16.04 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 109.59/16.04 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 109.59/16.04 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 109.59/16.04 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 109.59/16.04 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 109.59/16.04 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 109.59/16.04 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 109.59/16.04 o 99 814.53/116.33 java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException 814.53/116.33 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 814.53/116.33 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 814.53/116.33 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 814.53/116.33 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 814.53/116.33 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 814.53/116.33 Caused by: java.lang.ArrayIndexOutOfBoundsException 814.53/116.33 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 814.53/116.33 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 814.53/116.33 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 814.53/116.33 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 814.53/116.33 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 814.53/116.33 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 814.53/116.33 ... 4 more 814.53/116.34 Caused by: java.lang.ArrayIndexOutOfBoundsException 814.53/116.34 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 814.53/116.34 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 814.53/116.34 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 814.53/116.34 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 814.53/116.34 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 814.53/116.34 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 814.53/116.34 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 814.53/116.34 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 814.53/116.34 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 814.53/116.34 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 814.53/116.34 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 814.53/116.34 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 814.53/116.34 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 814.53/116.34 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 814.53/116.34 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 814.53/116.34 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 814.53/116.34 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 814.53/116.34 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 814.53/116.34 Caused by: java.lang.ArrayIndexOutOfBoundsException: -1 814.53/116.34 at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.removeAt(PropagationEngine.java:489) 814.53/116.34 at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.remove(PropagationEngine.java:480) 814.53/116.34 at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.addOrUpdate(PropagationEngine.java:473) 814.53/116.34 at org.chocosolver.solver.propagation.PropagationEngine.propagateOnBacktrack(PropagationEngine.java:401) 814.53/116.34 at org.chocosolver.solver.constraints.Propagator.forcePropagationOnBacktrack(Propagator.java:566) 814.53/116.34 at org.chocosolver.sat.PropNogoods.addLearnt(PropNogoods.java:543) 814.53/116.34 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:88) 814.53/116.34 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65) 814.53/116.34 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141) 814.53/116.34 at org.chocosolver.solver.Solver.restart(Solver.java:596) 814.53/116.34 at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135) 814.53/116.34 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:84) 814.53/116.34 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 814.53/116.34 at org.chocosolver.solver.Solver.extend(Solver.java:421) 814.53/116.34 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297) 814.53/116.34 at org.chocosolver.solver.Solver.solve(Solver.java:262) 814.53/116.34 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 814.53/116.34 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 814.53/116.34 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 814.53/116.34 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 814.53/116.34 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 814.53/116.34 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 814.53/116.34 ... 4 more 814.53/116.34 o 95 942.61/137.64 java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException 942.61/137.64 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 942.61/137.64 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 942.61/137.64 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 942.61/137.64 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 942.61/137.64 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 942.61/137.64 Caused by: java.lang.ArrayIndexOutOfBoundsException 942.61/137.64 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 942.61/137.64 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 942.61/137.64 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 942.61/137.64 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 942.61/137.64 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 942.61/137.64 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 942.61/137.64 ... 4 more 942.61/137.64 Caused by: java.lang.ArrayIndexOutOfBoundsException 942.61/137.64 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 942.61/137.64 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 942.61/137.64 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 942.61/137.64 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 942.61/137.64 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 942.61/137.64 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 942.61/137.64 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 942.61/137.64 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 942.61/137.64 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 942.61/137.64 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 942.61/137.64 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 942.61/137.64 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 942.61/137.64 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 942.61/137.64 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 942.61/137.64 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 942.61/137.64 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 942.61/137.64 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 942.61/137.64 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 942.61/137.64 Caused by: java.lang.ArrayIndexOutOfBoundsException: -1 942.61/137.64 at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.add(PropagationEngine.java:457) 942.61/137.64 at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.addOrUpdate(PropagationEngine.java:474) 942.61/137.64 at org.chocosolver.solver.propagation.PropagationEngine.propagateOnBacktrack(PropagationEngine.java:401) 942.61/137.64 at org.chocosolver.solver.constraints.Propagator.forcePropagationOnBacktrack(Propagator.java:566) 942.61/137.64 at org.chocosolver.sat.PropNogoods.addLearnt(PropNogoods.java:543) 942.61/137.64 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:85) 942.61/137.64 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65) 942.61/137.64 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141) 942.61/137.64 at org.chocosolver.solver.Solver.restart(Solver.java:596) 942.61/137.64 at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135) 942.61/137.64 at org.chocosolver.solver.search.loop.move.MoveRestart.repair(MoveRestart.java:96) 942.61/137.64 at org.chocosolver.solver.Solver.repair(Solver.java:438) 942.61/137.64 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 942.61/137.64 at org.chocosolver.solver.Solver.solve(Solver.java:262) 942.61/137.64 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 942.61/137.64 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 942.61/137.64 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 942.61/137.64 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 942.61/137.64 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 942.61/137.64 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 942.61/137.64 ... 4 more 942.61/137.64 o 83 1388.54/209.95 java.util.concurrent.ExecutionException: java.lang.NullPointerException 1388.54/209.95 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 1388.54/209.95 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 1388.54/209.95 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 1388.54/209.95 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 1388.54/209.95 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 1388.54/209.95 Caused by: java.lang.NullPointerException 1388.54/209.95 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 1388.54/209.95 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 1388.54/209.95 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 1388.54/209.95 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 1388.54/209.95 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 1388.54/209.95 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 1388.54/209.95 ... 4 more 1388.54/209.95 Caused by: java.lang.NullPointerException 1388.54/209.95 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 1388.54/209.95 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 1388.54/209.95 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 1388.54/209.95 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 1388.54/209.95 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 1388.54/209.95 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 1388.54/209.95 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 1388.54/209.95 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 1388.54/209.95 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 1388.54/209.95 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 1388.54/209.95 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 1388.54/209.95 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 1388.54/209.95 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 1388.54/209.95 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 1388.54/209.95 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 1388.54/209.95 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 1388.54/209.95 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 1388.54/209.95 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 1388.54/209.95 Caused by: java.lang.NullPointerException 1388.54/209.95 at org.chocosolver.solver.propagation.PropagationEngine.execute(PropagationEngine.java:208) 1388.54/209.95 at org.chocosolver.solver.propagation.PropagationEngine.activatePropagators(PropagationEngine.java:197) 1388.54/209.95 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:162) 1388.54/209.95 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46) 1388.54/209.95 at org.chocosolver.solver.Solver.propagate(Solver.java:403) 1388.54/209.95 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293) 1388.54/209.95 at org.chocosolver.solver.Solver.solve(Solver.java:262) 1388.54/209.95 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 1388.54/209.95 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 1388.54/209.95 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 1388.54/209.95 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 1388.54/209.95 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 1388.54/209.95 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 1388.54/209.95 ... 4 more 1388.54/209.96 o 79 1606.76/246.38 java.util.concurrent.ExecutionException: java.lang.NullPointerException 1606.76/246.38 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 1606.76/246.38 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 1606.76/246.38 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 1606.76/246.38 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 1606.76/246.38 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 1606.76/246.38 Caused by: java.lang.NullPointerException 1606.76/246.38 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 1606.76/246.38 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 1606.76/246.38 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 1606.76/246.38 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 1606.76/246.38 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 1606.76/246.38 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 1606.76/246.38 ... 4 more 1606.76/246.38 Caused by: java.lang.NullPointerException 1606.76/246.38 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 1606.76/246.38 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 1606.76/246.38 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 1606.76/246.38 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 1606.76/246.38 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 1606.76/246.38 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 1606.76/246.38 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 1606.76/246.38 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 1606.76/246.38 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 1606.76/246.38 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 1606.76/246.38 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 1606.76/246.38 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 1606.76/246.38 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 1606.76/246.38 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 1606.76/246.38 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 1606.76/246.38 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 1606.76/246.38 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 1606.76/246.38 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 1606.76/246.38 Caused by: java.lang.NullPointerException 1606.76/246.38 at org.chocosolver.solver.propagation.PropagationEngine.execute(PropagationEngine.java:208) 1606.76/246.38 at org.chocosolver.solver.propagation.PropagationEngine.activatePropagators(PropagationEngine.java:197) 1606.76/246.38 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:162) 1606.76/246.38 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46) 1606.76/246.38 at org.chocosolver.solver.Solver.propagate(Solver.java:403) 1606.76/246.38 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293) 1606.76/246.38 at org.chocosolver.solver.Solver.solve(Solver.java:262) 1606.76/246.38 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 1606.76/246.38 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 1606.76/246.38 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 1606.76/246.38 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 1606.76/246.38 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 1606.76/246.38 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 1606.76/246.38 ... 4 more 1606.76/246.38 o 75 2146.58/336.34 java.util.concurrent.ExecutionException: java.lang.NullPointerException 2146.58/336.34 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 2146.58/336.34 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 2146.58/336.34 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 2146.58/336.34 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 2146.58/336.34 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 2146.58/336.34 Caused by: java.lang.NullPointerException 2146.58/336.34 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 2146.58/336.34 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 2146.58/336.34 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 2146.58/336.34 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 2146.58/336.34 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 2146.58/336.34 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 2146.58/336.34 ... 4 more 2146.58/336.34 Caused by: java.lang.NullPointerException 2146.58/336.34 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 2146.58/336.34 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 2146.58/336.34 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 2146.58/336.34 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 2146.58/336.34 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 2146.58/336.34 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 2146.58/336.34 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 2146.58/336.34 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 2146.58/336.34 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 2146.58/336.34 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 2146.58/336.34 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 2146.58/336.35 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 2146.58/336.35 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 2146.58/336.35 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 2146.58/336.35 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 2146.58/336.35 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 2146.58/336.35 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 2146.58/336.35 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 2146.58/336.35 Caused by: java.lang.NullPointerException 2146.58/336.35 at org.chocosolver.solver.propagation.PropagationEngine.execute(PropagationEngine.java:208) 2146.58/336.35 at org.chocosolver.solver.propagation.PropagationEngine.activatePropagators(PropagationEngine.java:197) 2146.58/336.35 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:162) 2146.58/336.35 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:46) 2146.58/336.35 at org.chocosolver.solver.Solver.propagate(Solver.java:403) 2146.58/336.35 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293) 2146.58/336.35 at org.chocosolver.solver.Solver.solve(Solver.java:262) 2146.58/336.35 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 2146.58/336.35 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 2146.58/336.35 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 2146.58/336.35 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 2146.58/336.35 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 2146.58/336.35 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 2146.58/336.35 ... 4 more 2146.58/336.35 o 71 2352.80/370.71 java.util.concurrent.ExecutionException: java.lang.NullPointerException 2352.80/370.71 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 2352.80/370.71 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 2352.80/370.71 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 2352.80/370.71 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 2352.80/370.71 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 2352.80/370.71 Caused by: java.lang.NullPointerException 2352.80/370.71 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 2352.80/370.71 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 2352.80/370.71 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 2352.80/370.71 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 2352.80/370.71 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 2352.80/370.71 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 2352.80/370.71 ... 4 more 2352.80/370.71 Caused by: java.lang.NullPointerException 2352.80/370.71 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 2352.80/370.71 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 2352.80/370.71 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 2352.80/370.71 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 2352.80/370.71 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 2352.80/370.71 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 2352.80/370.71 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 2352.80/370.71 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 2352.80/370.71 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 2352.80/370.71 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 2352.80/370.71 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 2352.80/370.71 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 2352.80/370.71 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 2352.80/370.71 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 2352.80/370.71 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 2352.80/370.71 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 2352.80/370.71 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 2352.80/370.71 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 2352.80/370.71 Caused by: java.lang.NullPointerException 2352.80/370.71 o 67 15232.94/2520.02 s SATISFIABLE 15232.94/2520.02 v <instantiation> 15232.94/2520.02 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[26][0] y[26][1] y[26][2] y[26][3] y[27][0] y[27][1] y[27][2] y[28][0] y[28][1] y[29][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] 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] </list> 15232.94/2520.02 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 0 -1 0 -1 2 -1 2 1 -2 1 2 1 0 3 0 3 0 -1 -2 -3 2 1 2 1 0 1 0 -1 0 -1 0 1 0 1 4 1 4 1 4 1 4 1 0 9 0 9 0 1 4 9 4 1 4 1 0 1 0 1 0 1 </values> 15232.94/2520.02 v </instantiation> 15232.94/2520.02 c Unexpected resolution interruption!
OK 67
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: 16375 MiB (13716 MiB free) memory of node 1: 16384 MiB (13869 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394661-1568428856/watcher-4394661-1568428856 -o /tmp/evaluation-result-4394661-1568428856/solver-4394661-1568428856 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323932029-9409 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1021677109 HOME/instance-4394661-1568428856.xml running on 8 cores: 0-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 solver pid=11558, runsolver pid=11555 Current StackSize limit: 8192 KiB [startup+0.100115 s]* /proc/loadavg: 3.53 1.89 2.74 2/213 11579 /proc/meminfo: memFree=28232480/32770688 swapFree=66919992/67108860 [pid=11558] ppid=11555 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11558/stat : 11558 (xcsp3-exec) S 11555 11558 9382 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418891962 115843072 364 33554432000 4194304 5098028 140735329822800 140735329820904 140437610476156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16650240 140735329829749 140735329829993 140735329829993 140735329832906 0 /proc/11558/statm: 28282 364 305 221 0 87 0 [pid=11560] ppid=11558 vsize=28227388 memory=30056 CPUtime=0.12 cores=0-7 /proc/11560/stat : 11560 (java) S 11558 11558 9382 0 -1 1077944320 5465 0 0 0 10 2 0 0 20 0 20 0 418891962 28904845312 7514 33554432000 4194304 4196468 140725179744384 140725179726928 140428882267895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 /proc/11560/statm: 7056847 7514 3118 1 0 7019032 0 [pid=11560/tid=11561] ppid=11558 vsize=28227388 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/11560/task/11561/stat : 11561 (java) R 11558 11558 9382 0 -1 4202560 3375 0 0 0 8 1 0 0 20 0 20 0 418891962 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428886490368 140428866311525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11562] ppid=11558 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/11560/task/11562/stat : 11562 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428802120848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11563] ppid=11558 vsize=28227388 memory=139709879555712 CPUtime=0 cores=0-7 /proc/11560/task/11563/stat : 11563 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428801068048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11564] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11564/stat : 11564 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428800015248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11565] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11565/stat : 11565 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428798962448 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11566] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11566/stat : 11566 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428797909648 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11567] ppid=11558 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11560/task/11567/stat : 11567 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428796856848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11568] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11568/stat : 11568 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428795804048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11569] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11569/stat : 11569 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 7514 33554432000 4194304 4196468 140725179744384 140428794751248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11570] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11570/stat : 11570 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891965 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427480554352 140428882279042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11571] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11571/stat : 11571 (java) S 11558 11558 9382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418891965 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427479500320 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11572] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11572/stat : 11572 (java) S 11558 11558 9382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418891965 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427478447472 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11573] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11573/stat : 11573 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427477395792 140428882286491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11574] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11574/stat : 11574 (java) S 11558 11558 9382 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427476343152 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11575] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11575/stat : 11575 (java) S 11558 11558 9382 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427475290352 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11576] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11576/stat : 11576 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427474237552 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11577] ppid=11558 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/11560/task/11577/stat : 11577 (java) S 11558 11558 9382 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 418891968 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427473184752 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11578] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11578/stat : 11578 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427472133216 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11579] ppid=11558 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11560/task/11579/stat : 11579 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891969 28904845312 7514 33554432000 4194304 4196468 140725179744384 140427471080496 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31512 KiB [startup+0.211188 s]* /proc/loadavg: 3.53 1.89 2.74 2/213 11579 /proc/meminfo: memFree=28219836/32770688 swapFree=66919992/67108860 [pid=11558] ppid=11555 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11558/stat : 11558 (xcsp3-exec) S 11555 11558 9382 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418891962 115843072 364 33554432000 4194304 5098028 140735329822800 140735329820904 140437610476156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16650240 140735329829749 140735329829993 140735329829993 140735329832906 0 /proc/11558/statm: 28282 364 305 221 0 87 0 [pid=11560] ppid=11558 vsize=28227388 memory=41336 CPUtime=0.33 cores=0-7 /proc/11560/stat : 11560 (java) S 11558 11558 9382 0 -1 1077944320 9085 0 0 0 30 3 0 0 20 0 20 0 418891962 28904845312 10334 33554432000 4194304 4196468 140725179744384 140725179726928 140428882267895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 /proc/11560/statm: 7056847 10334 3274 1 0 7019032 0 [pid=11560/tid=11561] ppid=11558 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/11560/task/11561/stat : 11561 (java) R 11558 11558 9382 0 -1 4202560 6178 0 0 0 17 2 0 0 20 0 20 0 418891962 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428886487232 140428863831396 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11562] ppid=11558 vsize=28227388 memory=339 CPUtime=0 cores=0-7 /proc/11560/task/11562/stat : 11562 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428802120848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11563] ppid=11558 vsize=28227388 memory=4122959975834326688 CPUtime=0 cores=0-7 /proc/11560/task/11563/stat : 11563 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428801068048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11564] ppid=11558 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11560/task/11564/stat : 11564 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428800015248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11565] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11565/stat : 11565 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428798962448 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11566] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11566/stat : 11566 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428797909648 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11567] ppid=11558 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11560/task/11567/stat : 11567 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428796856848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11568] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11568/stat : 11568 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428795804048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11569] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11569/stat : 11569 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418891963 28904845312 10334 33554432000 4194304 4196468 140725179744384 140428794751248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11570] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11570/stat : 11570 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891965 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427480554352 140428882279042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11571] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11571/stat : 11571 (java) S 11558 11558 9382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418891965 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427479500320 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11572] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11572/stat : 11572 (java) S 11558 11558 9382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418891965 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427478447472 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11573] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11573/stat : 11573 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427477395792 140428882286491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11574] ppid=11558 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/11560/task/11574/stat : 11574 (java) S 11558 11558 9382 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 20 0 418891968 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427476343152 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11575] ppid=11558 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/11560/task/11575/stat : 11575 (java) S 11558 11558 9382 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 20 0 418891968 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427475290352 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11576] ppid=11558 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/11560/task/11576/stat : 11576 (java) S 11558 11558 9382 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 20 0 418891968 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427474237552 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11577] ppid=11558 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/11560/task/11577/stat : 11577 (java) S 11558 11558 9382 0 -1 1077944384 718 0 0 0 7 0 0 0 20 0 20 0 418891968 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427473184752 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11578] ppid=11558 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11578/stat : 11578 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418891968 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427472133216 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11579] ppid=11558 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11560/task/11579/stat : 11579 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891969 28904845312 10334 33554432000 4194304 4196468 140725179744384 140427471080496 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42792 KiB [startup+0.310882 s]* /proc/loadavg: 3.53 1.89 2.74 4/212 11579 /proc/meminfo: memFree=28214936/32770688 swapFree=66919992/67108860 [pid=11558] ppid=11555 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11558/stat : 11558 (xcsp3-exec) S 11555 11558 9382 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418891962 115843072 364 33554432000 4194304 5098028 140735329822800 140735329820904 140437610476156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16650240 140735329829749 140735329829993 140735329829993 140735329832906 0 /proc/11558/statm: 28282 364 305 221 0 87 0 [pid=11560] ppid=11558 vsize=28231644 memory=46752 CPUtime=0.51 cores=0-7 /proc/11560/stat : 11560 (java) S 11558 11558 9382 0 -1 1077944320 10070 0 0 0 47 4 0 0 20 0 20 0 418891962 28909203456 11688 33554432000 4194304 4196468 140725179744384 140725179726928 140428882267895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 /proc/11560/statm: 7057911 11688 3297 1 0 7019032 0 [pid=11560/tid=11561] ppid=11558 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/11560/task/11561/stat : 11561 (java) R 11558 11558 9382 0 -1 4202560 7086 0 0 0 26 3 0 0 20 0 20 0 418891962 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428886489408 140428866348382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11562] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11562/stat : 11562 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428802120848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11563] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11563/stat : 11563 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428801068048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11564] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11564/stat : 11564 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428800015248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11565] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11565/stat : 11565 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428798962448 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11566] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11566/stat : 11566 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428797909648 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11567] ppid=11558 vsize=28231644 memory=139709783304879 CPUtime=0 cores=0-7 /proc/11560/task/11567/stat : 11567 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428796856848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11568] ppid=11558 vsize=28231644 memory=139709783307184 CPUtime=0 cores=0-7 /proc/11560/task/11568/stat : 11568 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428795804048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11569] ppid=11558 vsize=28231644 memory=139709783309488 CPUtime=0 cores=0-7 /proc/11560/task/11569/stat : 11569 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418891963 28909203456 11688 33554432000 4194304 4196468 140725179744384 140428794751248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11570] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11570/stat : 11570 (java) S 11558 11558 9382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418891965 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427480554352 140428882279042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11571] ppid=11558 vsize=28231644 memory=279419566632848 CPUtime=0 cores=0-7 /proc/11560/task/11571/stat : 11571 (java) S 11558 11558 9382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418891965 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427479500320 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11572] ppid=11558 vsize=28231644 memory=279419566630544 CPUtime=0 cores=0-7 /proc/11560/task/11572/stat : 11572 (java) S 11558 11558 9382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418891965 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427478447472 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11573] ppid=11558 vsize=28231644 memory=279419566637456 CPUtime=0 cores=0-7 /proc/11560/task/11573/stat : 11573 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891968 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427477395792 140428882286491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11574] ppid=11558 vsize=28231644 memory=279419566578736 CPUtime=0.02 cores=0-7 /proc/11560/task/11574/stat : 11574 (java) S 11558 11558 9382 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 20 0 418891968 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427476343152 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11575] ppid=11558 vsize=28231644 memory=279419566651280 CPUtime=0.02 cores=0-7 /proc/11560/task/11575/stat : 11575 (java) S 11558 11558 9382 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 20 0 418891968 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427475290352 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11576] ppid=11558 vsize=28231644 memory=279419566658192 CPUtime=0.03 cores=0-7 /proc/11560/task/11576/stat : 11576 (java) S 11558 11558 9382 0 -1 1077944384 355 0 0 0 3 0 0 0 20 0 20 0 418891968 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427474237552 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11577] ppid=11558 vsize=28231644 memory=279419566655888 CPUtime=0.12 cores=0-7 /proc/11560/task/11577/stat : 11577 (java) S 11558 11558 9382 0 -1 1077944384 776 0 0 0 12 0 0 0 20 0 20 0 418891968 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427473184752 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11578] ppid=11558 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11578/stat : 11578 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418891968 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427472133216 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11579] ppid=11558 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/11560/task/11579/stat : 11579 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891969 28909203456 11688 33554432000 4194304 4196468 140725179744384 140427471080496 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 48208 KiB [startup+0.700947 s] /proc/loadavg: 3.53 1.89 2.74 3/212 11580 /proc/meminfo: memFree=28206304/32770688 swapFree=66919992/67108860 [pid=11558] ppid=11555 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11558/stat : 11558 (xcsp3-exec) S 11555 11558 9382 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418891962 115843072 364 33554432000 4194304 5098028 140735329822800 140735329820904 140437610476156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16650240 140735329829749 140735329829993 140735329829993 140735329832906 0 /proc/11558/statm: 28282 364 305 221 0 87 0 [pid=11560] ppid=11558 vsize=28233768 memory=78028 CPUtime=1.51 cores=0-7 /proc/11560/stat : 11560 (java) S 11558 11558 9382 0 -1 1077944320 14287 0 0 0 145 6 0 0 20 0 20 0 418891962 28911378432 19507 33554432000 4194304 4196468 140725179744384 140725179726928 140428882267895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 /proc/11560/statm: 7058442 19507 3448 1 0 7019544 0 [pid=11560/tid=11561] ppid=11558 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/11560/task/11561/stat : 11561 (java) R 11558 11558 9382 0 -1 4202560 8646 0 0 0 63 4 0 0 20 0 20 0 418891962 28911378432 19507 33554432000 4194304 4196468 140725179744384 140428886503792 140428882279830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11562] ppid=11558 vsize=28233768 memory=139709783516016 CPUtime=0 cores=0-7 /proc/11560/task/11562/stat : 11562 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28911378432 19507 33554432000 4194304 4196468 140725179744384 140428802120848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11563] ppid=11558 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/11560/task/11563/stat : 11563 (java) S 11558 11558 9382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418891963 28911378432 19507 33554432000 4194304 4196468 140725179744384 140428801068048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11564] ppid=11558 vsize=28233768 memory=1176 CPUtime=0 cores=0-7 /proc/11560/task/11564/stat : 11564 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418891963 28911378432 19507 33554432000 4194304 4196468 140725179744384 140428800015248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 ################ # More data... # ################ [pid=11560/tid=11730] ppid=11558 vsize=28834892 memory=820700 CPUtime=0 cores=0-7 /proc/11560/task/11730/stat : 11730 (java) S 11558 11558 9382 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418929033 29526929408 203764 33554432000 4194304 4196468 140725179744384 140427456619984 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 Current children cumulated CPU time: 14767 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 816512 KiB [startup+2502.3 s] /proc/loadavg: 5.84 5.71 5.50 7/221 11892 /proc/meminfo: memFree=27483028/32770688 swapFree=66919992/67108860 [pid=11558] ppid=11555 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11558/stat : 11558 (xcsp3-exec) S 11555 11558 9382 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418891962 115843072 364 33554432000 4194304 5098028 140735329822800 140735329820904 140437610476156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16650240 140735329829749 140735329829993 140735329829993 140735329832906 0 /proc/11558/statm: 28282 364 305 221 0 87 0 [pid=11560] ppid=11558 vsize=28834892 memory=774016 CPUtime=15126.8 cores=0-7 /proc/11560/stat : 11560 (java) S 11558 11558 9382 0 -1 1077944320 1630764 0 0 0 1511709 972 0 0 20 0 28 0 418891962 29526929408 193504 33554432000 4194304 4196468 140725179744384 140725179726928 140428882267895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 /proc/11560/statm: 7208723 193504 3561 1 0 7169825 0 [pid=11560/tid=11561] ppid=11558 vsize=28834892 memory=774016 CPUtime=1.46 cores=0-7 /proc/11560/task/11561/stat : 11561 (java) S 11558 11558 9382 0 -1 1077944384 12665 0 0 0 140 6 0 0 20 0 28 0 418891962 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428886508672 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11562] ppid=11558 vsize=28834892 memory=774016 CPUtime=8.67 cores=0-7 /proc/11560/task/11562/stat : 11562 (java) S 11558 11558 9382 0 -1 1077944384 69066 0 0 0 831 36 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428802120848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11563] ppid=11558 vsize=28834892 memory=774016 CPUtime=8.73 cores=0-7 /proc/11560/task/11563/stat : 11563 (java) S 11558 11558 9382 0 -1 1077944384 74876 0 0 0 827 46 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428801068048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11564] ppid=11558 vsize=28834892 memory=1456 CPUtime=8.79 cores=0-7 /proc/11560/task/11564/stat : 11564 (java) S 11558 11558 9382 0 -1 1077944384 68142 0 0 0 840 39 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428800015248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11565] ppid=11558 vsize=28834892 memory=279419569200400 CPUtime=8.73 cores=0-7 /proc/11560/task/11565/stat : 11565 (java) S 11558 11558 9382 0 -1 1077944384 73621 0 0 0 832 41 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428798962448 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11566] ppid=11558 vsize=28834892 memory=304274665394929958 CPUtime=8.71 cores=0-7 /proc/11560/task/11566/stat : 11566 (java) S 11558 11558 9382 0 -1 1077944384 66964 0 0 0 827 44 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428797909648 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11567] ppid=11558 vsize=28834892 memory=1712 CPUtime=8.65 cores=0-7 /proc/11560/task/11567/stat : 11567 (java) S 11558 11558 9382 0 -1 1077944384 66471 0 0 0 826 39 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428796856848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11568] ppid=11558 vsize=28834892 memory=5980 CPUtime=8.87 cores=0-7 /proc/11560/task/11568/stat : 11568 (java) S 11558 11558 9382 0 -1 1077944384 66604 0 0 0 845 42 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428795804048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11569] ppid=11558 vsize=28834892 memory=920 CPUtime=8.62 cores=0-7 /proc/11560/task/11569/stat : 11569 (java) S 11558 11558 9382 0 -1 1077944384 71928 0 0 0 825 37 0 0 20 0 28 0 418891963 29526929408 193504 33554432000 4194304 4196468 140725179744384 140428794751248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11570] ppid=11558 vsize=28834892 memory=4836 CPUtime=2.27 cores=0-7 /proc/11560/task/11570/stat : 11570 (java) S 11558 11558 9382 0 -1 1077944384 192021 0 0 0 168 59 0 0 20 0 28 0 418891965 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427480554352 140428882279042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11571] ppid=11558 vsize=28834892 memory=2120 CPUtime=0 cores=0-7 /proc/11560/task/11571/stat : 11571 (java) S 11558 11558 9382 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 418891965 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427479500384 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11572] ppid=11558 vsize=28834892 memory=496 CPUtime=0 cores=0-7 /proc/11560/task/11572/stat : 11572 (java) S 11558 11558 9382 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 418891965 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427478447488 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11573] ppid=11558 vsize=28834892 memory=1764 CPUtime=0 cores=0-7 /proc/11560/task/11573/stat : 11573 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418891968 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427477395792 140428882286491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11574] ppid=11558 vsize=28834892 memory=111632 CPUtime=5.79 cores=0-7 /proc/11560/task/11574/stat : 11574 (java) S 11558 11558 9382 0 -1 1077944384 28095 0 0 0 573 6 0 0 20 0 28 0 418891968 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427476343152 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11575] ppid=11558 vsize=28834892 memory=1456 CPUtime=5.29 cores=0-7 /proc/11560/task/11575/stat : 11575 (java) S 11558 11558 9382 0 -1 1077944384 33064 0 0 0 524 5 0 0 20 0 28 0 418891968 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427475290352 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11576] ppid=11558 vsize=28834892 memory=812972 CPUtime=5.9 cores=0-7 /proc/11560/task/11576/stat : 11576 (java) S 11558 11558 9382 0 -1 1077944384 41652 0 0 0 582 8 0 0 20 0 28 0 418891968 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427474237552 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11577] ppid=11558 vsize=28834892 memory=0 CPUtime=1.73 cores=0-7 /proc/11560/task/11577/stat : 11577 (java) S 11558 11558 9382 0 -1 1077944384 31528 0 0 0 166 7 0 0 20 0 28 0 418891968 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427473184752 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11578] ppid=11558 vsize=28834892 memory=6297842515125300074 CPUtime=0 cores=0-7 /proc/11560/task/11578/stat : 11578 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418891968 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427472133216 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11579] ppid=11558 vsize=28834892 memory=984 CPUtime=1.16 cores=0-7 /proc/11560/task/11579/stat : 11579 (java) S 11558 11558 9382 0 -1 1077944384 15094 0 0 0 50 66 0 0 20 0 28 0 418891969 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427471080496 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11723] ppid=11558 vsize=28834892 memory=2020 CPUtime=2117.34 cores=0-7 /proc/11560/task/11723/stat : 11723 (java) R 11558 11558 9382 0 -1 4202560 92302 0 0 0 211684 50 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427455560536 140428479570334 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11724] ppid=11558 vsize=28834892 memory=1432 CPUtime=2117.37 cores=0-7 /proc/11560/task/11724/stat : 11724 (java) R 11558 11558 9382 0 -1 4202560 60020 0 0 0 211722 15 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427459772616 140428477858311 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11725] ppid=11558 vsize=28834892 memory=0 CPUtime=2117.28 cores=0-7 /proc/11560/task/11725/stat : 11725 (java) R 11558 11558 9382 0 -1 4202560 75315 0 0 0 211648 80 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427451350544 140428476784332 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11726] ppid=11558 vsize=28834892 memory=800 CPUtime=2117.33 cores=0-7 /proc/11560/task/11726/stat : 11726 (java) R 11558 11558 9382 0 -1 4202560 170185 0 0 0 211610 123 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427452403592 140428478610379 0 4 0 16800975 0 0 0 -1 5 0 0 34 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11727] ppid=11558 vsize=28834892 memory=1804 CPUtime=2117.26 cores=0-7 /proc/11560/task/11727/stat : 11727 (java) R 11558 11558 9382 0 -1 4202560 105352 0 0 0 211649 77 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427454508856 140428477195773 0 4 0 16800975 0 0 0 -1 6 0 0 34 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11728] ppid=11558 vsize=28834892 memory=776068 CPUtime=0 cores=0-7 /proc/11560/task/11728/stat : 11728 (java) S 11558 11558 9382 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427458724560 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11729] ppid=11558 vsize=28834892 memory=1456 CPUtime=2117.3 cores=0-7 /proc/11560/task/11729/stat : 11729 (java) R 11558 11558 9382 0 -1 4202560 82693 0 0 0 211678 52 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427457670000 140428479570372 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11730] ppid=11558 vsize=28834892 memory=782224 CPUtime=0 cores=0-7 /proc/11560/task/11730/stat : 11730 (java) S 11558 11558 9382 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418929033 29526929408 193504 33554432000 4194304 4196468 140725179744384 140427456619984 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 Current children cumulated CPU time: 15126.8 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 775472 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 5.88 5.73 5.51 7/222 11894 /proc/meminfo: memFree=27541652/32770688 swapFree=66919992/67108860 [pid=11558] ppid=11555 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11558/stat : 11558 (xcsp3-exec) S 11555 11558 9382 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418891962 115843072 364 33554432000 4194304 5098028 140735329822800 140735329820904 140437610476156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16650240 140735329829749 140735329829993 140735329829993 140735329832906 0 /proc/11558/statm: 28282 364 305 221 0 87 0 [pid=11560] ppid=11558 vsize=28834892 memory=716036 CPUtime=15232.9 cores=0-7 /proc/11560/stat : 11560 (java) S 11558 11558 9382 0 -1 1077944320 1641068 0 0 0 1522317 977 0 0 20 0 28 0 418891962 29526929408 179009 33554432000 4194304 4196468 140725179744384 140725179726928 140428882267895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 /proc/11560/statm: 7208723 179009 3561 1 0 7169825 0 [pid=11560/tid=11561] ppid=11558 vsize=28834892 memory=1656 CPUtime=1.46 cores=0-7 /proc/11560/task/11561/stat : 11561 (java) S 11558 11558 9382 0 -1 1077944384 12665 0 0 0 140 6 0 0 20 0 28 0 418891962 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428886508672 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11562] ppid=11558 vsize=28834892 memory=1398722017469774279 CPUtime=8.76 cores=0-7 /proc/11560/task/11562/stat : 11562 (java) S 11558 11558 9382 0 -1 1077944384 70197 0 0 0 840 36 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428802120848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11563] ppid=11558 vsize=28834892 memory=4126316290023845779 CPUtime=8.82 cores=0-7 /proc/11560/task/11563/stat : 11563 (java) S 11558 11558 9382 0 -1 1077944384 75314 0 0 0 835 47 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428801068048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11564] ppid=11558 vsize=28834892 memory=1456 CPUtime=8.87 cores=0-7 /proc/11560/task/11564/stat : 11564 (java) S 11558 11558 9382 0 -1 1077944384 68530 0 0 0 848 39 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428800015248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11565] ppid=11558 vsize=28834892 memory=727832 CPUtime=8.82 cores=0-7 /proc/11560/task/11565/stat : 11565 (java) S 11558 11558 9382 0 -1 1077944384 73971 0 0 0 841 41 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428798962448 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11566] ppid=11558 vsize=28834892 memory=1656 CPUtime=8.8 cores=0-7 /proc/11560/task/11566/stat : 11566 (java) S 11558 11558 9382 0 -1 1077944384 68701 0 0 0 835 45 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428797909648 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11567] ppid=11558 vsize=28834892 memory=1398722017469774279 CPUtime=8.73 cores=0-7 /proc/11560/task/11567/stat : 11567 (java) S 11558 11558 9382 0 -1 1077944384 66845 0 0 0 834 39 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428796856848 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11568] ppid=11558 vsize=28834892 memory=1456 CPUtime=8.95 cores=0-7 /proc/11560/task/11568/stat : 11568 (java) S 11558 11558 9382 0 -1 1077944384 66917 0 0 0 853 42 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428795804048 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11569] ppid=11558 vsize=28834892 memory=783248 CPUtime=8.69 cores=0-7 /proc/11560/task/11569/stat : 11569 (java) S 11558 11558 9382 0 -1 1077944384 72583 0 0 0 832 37 0 0 20 0 28 0 418891963 29526929408 179009 33554432000 4194304 4196468 140725179744384 140428794751248 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11570] ppid=11558 vsize=28834892 memory=738608 CPUtime=2.29 cores=0-7 /proc/11560/task/11570/stat : 11570 (java) S 11558 11558 9382 0 -1 1077944384 193072 0 0 0 169 60 0 0 20 0 28 0 418891965 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427480554352 140428882279042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11571] ppid=11558 vsize=28834892 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/11560/task/11571/stat : 11571 (java) S 11558 11558 9382 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 418891965 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427479500384 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11572] ppid=11558 vsize=28834892 memory=-1598831813028945288 CPUtime=0 cores=0-7 /proc/11560/task/11572/stat : 11572 (java) S 11558 11558 9382 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 418891965 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427478447488 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11573] ppid=11558 vsize=28834892 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/11560/task/11573/stat : 11573 (java) S 11558 11558 9382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418891968 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427477395792 140428882286491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11574] ppid=11558 vsize=28834892 memory=6943526294502006880 CPUtime=5.79 cores=0-7 /proc/11560/task/11574/stat : 11574 (java) S 11558 11558 9382 0 -1 1077944384 28103 0 0 0 573 6 0 0 20 0 28 0 418891968 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427476343152 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11575] ppid=11558 vsize=28834892 memory=6791534058613427641 CPUtime=5.29 cores=0-7 /proc/11560/task/11575/stat : 11575 (java) S 11558 11558 9382 0 -1 1077944384 33072 0 0 0 524 5 0 0 20 0 28 0 418891968 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427475290352 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11576] ppid=11558 vsize=28834892 memory=6944656592455097440 CPUtime=5.9 cores=0-7 /proc/11560/task/11576/stat : 11576 (java) S 11558 11558 9382 0 -1 1077944384 41660 0 0 0 582 8 0 0 20 0 28 0 418891968 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427474237552 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11577] ppid=11558 vsize=28834892 memory=1456 CPUtime=1.73 cores=0-7 /proc/11560/task/11577/stat : 11577 (java) S 11558 11558 9382 0 -1 1077944384 31536 0 0 0 166 7 0 0 20 0 28 0 418891968 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427473184752 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11578] ppid=11558 vsize=28834892 memory=745792 CPUtime=0 cores=0-7 /proc/11560/task/11578/stat : 11578 (java) S 11558 11558 9382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418891968 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427472133216 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11579] ppid=11558 vsize=28834892 memory=6791534058613427641 CPUtime=1.17 cores=0-7 /proc/11560/task/11579/stat : 11579 (java) S 11558 11558 9382 0 -1 1077944384 15146 0 0 0 51 66 0 0 20 0 28 0 418891969 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427471080496 140428882279042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11723] ppid=11558 vsize=28834892 memory=980 CPUtime=2134.91 cores=0-7 /proc/11560/task/11723/stat : 11723 (java) R 11558 11558 9382 0 -1 4202560 92992 0 0 0 213441 50 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427455560536 140428479569833 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11724] ppid=11558 vsize=28834892 memory=14008 CPUtime=2134.95 cores=0-7 /proc/11560/task/11724/stat : 11724 (java) R 11558 11558 9382 0 -1 4202560 60427 0 0 0 213480 15 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427459773272 140428474262088 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11725] ppid=11558 vsize=28834892 memory=12028 CPUtime=2134.85 cores=0-7 /proc/11560/task/11725/stat : 11725 (java) R 11558 11558 9382 0 -1 4202560 75920 0 0 0 213404 81 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427451350768 140428477196677 0 4 0 16800975 0 0 0 -1 5 0 0 32 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11726] ppid=11558 vsize=28834892 memory=25824 CPUtime=2134.91 cores=0-7 /proc/11560/task/11726/stat : 11726 (java) R 11558 11558 9382 0 -1 4202560 171203 0 0 0 213367 124 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427452403656 140428481065151 0 4 0 16800975 0 0 0 -1 6 0 0 34 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11727] ppid=11558 vsize=28834892 memory=2120 CPUtime=2134.83 cores=0-7 /proc/11560/task/11727/stat : 11727 (java) R 11558 11558 9382 0 -1 4202560 105873 0 0 0 213405 78 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427454508904 140428481067127 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11728] ppid=11558 vsize=28834892 memory=496 CPUtime=0 cores=0-7 /proc/11560/task/11728/stat : 11728 (java) S 11558 11558 9382 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427458724560 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11729] ppid=11558 vsize=28834892 memory=1560 CPUtime=2134.86 cores=0-7 /proc/11560/task/11729/stat : 11729 (java) R 11558 11558 9382 0 -1 4202560 83235 0 0 0 213434 52 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427457670080 140428479570388 0 4 0 16800975 0 0 0 -1 1 0 0 27 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 [pid=11560/tid=11730] ppid=11558 vsize=28834892 memory=928 CPUtime=0 cores=0-7 /proc/11560/task/11730/stat : 11730 (java) S 11558 11558 9382 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418929033 29526929408 179009 33554432000 4194304 4196468 140725179744384 140427456619984 140428882278101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13860864 140725179753450 140725179753622 140725179753622 140725179756495 0 Current children cumulated CPU time: 15232.9 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 717492 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.02 s] # the end of solver process 11558 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001318 s, system=0.001318 s [startup+2520.03 s] # the end of solver process 11560 was just reported to runsolver # cumulated CPU time of all completed processes: user=15223.3 s, system=9.78696 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.03 CPU time (s): 15233.1 CPU user time (s): 15223.3 CPU system time (s): 9.78696 CPU usage (%): 604.478 Max. virtual memory (cumulated for all children) (KiB): 28948020 Max. memory (cumulated for all children) (KiB): 1573432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15223.3 system time used= 9.78696 maximum resident set size= 1571976 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1642303 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3424 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 163826 involuntary context switches= 48258 # summary of solver processes directly reported to runsolver: # pid: 11558,11560 # total CPU time (s): 15233.1 # total CPU user time (s): 15223.3 # total CPU system time (s): 9.78696 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 25.5455 second user time and 28.8382 second system time The end
Begin job on node120 at 2011-12-15 11:01:19 IDJOB=4394661 IDBENCH=127027 IDSOLVER=2843 FILE ID=node120/4394661-1568428856 RUNJOBID= node120-1323932029-9409 PBS_JOBID= 21702277 Free space on /tmp= 61648 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-031.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-4394661-1568428856/watcher-4394661-1568428856 -o /tmp/evaluation-result-4394661-1568428856/solver-4394661-1568428856 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323932029-9409 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1021677109 HOME/instance-4394661-1568428856.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0f1289c6216c2035de546c3b2133ae29 RANDOM SEED=1021677109 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 28247964 kB MemAvailable: 31823840 kB Buffers: 196280 kB Cached: 3684672 kB SwapCached: 77548 kB Active: 1110804 kB Inactive: 2854452 kB Active(anon): 5436 kB Inactive(anon): 128580 kB Active(file): 1105368 kB Inactive(file): 2725872 kB Unevictable: 106532 kB Mlocked: 106532 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 26100 kB Writeback: 0 kB AnonPages: 162692 kB Mapped: 48812 kB Shmem: 41008 kB Slab: 149996 kB SReclaimable: 120944 kB SUnreclaim: 29052 kB KernelStack: 3744 kB PageTables: 6096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 515580 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 116736 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61624 MiB End job on node120 at 2011-12-15 11:43:19