Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 35 | 63.7783 | 14.7349 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-4.xml |
MD5SUM | e870fb3a9053f33a7d0d8e73b49cdad7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 35 |
Best CPU time to get the best result obtained on this benchmark | 37.85 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 97 |
Number of domains | 24 |
Minimum domain size | 4 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":4,"count":12},{"size":5,"count":12},{"size":25,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] |
Number of extensional constraints | 48 |
Number of intensional constraints | 25 |
Distribution of constraint types | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393955-1568430753.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393955-1568430753.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 4.66/1.79 c solve instance... 5.74/1.90 o -1000 6.52/2.03 o -998 6.52/2.04 o -994 7.29/2.16 o -993 11.04/2.66 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (41/119) 11.04/2.66 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 11.04/2.66 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 11.04/2.66 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 11.04/2.66 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 11.04/2.66 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 11.04/2.66 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (41/119) 11.04/2.66 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 11.04/2.66 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 11.04/2.66 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 11.04/2.66 at org.chocosolver.solver.Solver.repair(Solver.java:443) 11.04/2.66 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 11.04/2.66 at org.chocosolver.solver.Solver.solve(Solver.java:262) 11.04/2.66 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 11.04/2.66 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 11.04/2.66 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 11.04/2.66 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 11.04/2.66 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 11.04/2.66 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 11.04/2.66 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 11.04/2.66 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 11.04/2.66 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 11.04/2.66 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 11.04/2.66 o 6 12.60/2.82 java.util.concurrent.ExecutionException: java.lang.NullPointerException 12.60/2.82 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 12.60/2.82 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 12.60/2.82 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 12.60/2.82 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 12.60/2.82 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 12.60/2.82 Caused by: java.lang.NullPointerException 12.60/2.82 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 12.60/2.82 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 12.60/2.82 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 12.60/2.82 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 12.60/2.82 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 12.60/2.82 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 12.60/2.82 ... 4 more 12.60/2.82 Caused by: java.lang.NullPointerException 12.60/2.82 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 12.60/2.82 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 12.60/2.82 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 12.60/2.82 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 12.60/2.82 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 12.60/2.82 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 12.60/2.82 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 12.60/2.82 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 12.60/2.82 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 12.60/2.82 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 12.60/2.82 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 12.60/2.82 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 12.60/2.82 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 12.60/2.82 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 12.60/2.82 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 12.60/2.82 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 12.60/2.82 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 12.60/2.82 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 12.60/2.82 Caused by: java.lang.NullPointerException 12.60/2.82 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:169) 12.60/2.82 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:48) 12.60/2.82 at org.chocosolver.solver.Solver.propagate(Solver.java:403) 12.60/2.82 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293) 12.60/2.82 at org.chocosolver.solver.Solver.solve(Solver.java:262) 12.60/2.82 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 12.60/2.82 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 12.60/2.82 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 12.60/2.82 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 12.60/2.82 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 12.60/2.82 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 12.60/2.82 ... 4 more 12.60/2.82 o 17 15.00/3.13 java.util.concurrent.ExecutionException: java.lang.NullPointerException 15.00/3.13 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 15.00/3.13 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 15.00/3.13 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 15.00/3.13 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 15.00/3.13 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 15.00/3.13 Caused by: java.lang.NullPointerException 15.00/3.13 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 15.00/3.13 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 15.00/3.13 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 15.00/3.13 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 15.00/3.13 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 15.00/3.13 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 15.00/3.13 ... 4 more 15.00/3.13 Caused by: java.lang.NullPointerException 15.00/3.13 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 15.00/3.13 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 15.00/3.13 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 15.00/3.13 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 15.00/3.13 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 15.00/3.13 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 15.00/3.13 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 15.00/3.13 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 15.00/3.13 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 15.00/3.13 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 15.00/3.13 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 15.00/3.13 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 15.00/3.13 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 15.00/3.13 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 15.00/3.13 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 15.00/3.13 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 15.00/3.13 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 15.00/3.13 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 15.00/3.13 Caused by: java.lang.NullPointerException 15.00/3.13 o 25 19.80/4.24 java.util.concurrent.ExecutionException: java.lang.NullPointerException 19.80/4.24 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 19.80/4.24 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 19.80/4.24 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 19.80/4.24 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 19.80/4.24 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 19.80/4.24 Caused by: java.lang.NullPointerException 19.80/4.24 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 19.80/4.24 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 19.80/4.24 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 19.80/4.24 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 19.80/4.24 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 19.80/4.24 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 19.80/4.24 ... 4 more 19.80/4.25 Caused by: java.lang.NullPointerException 19.80/4.25 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 19.80/4.25 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 19.80/4.25 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 19.80/4.25 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 19.80/4.25 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 19.80/4.25 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 19.80/4.25 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 19.80/4.25 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 19.80/4.25 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 19.80/4.25 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 19.80/4.25 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 19.80/4.25 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 19.80/4.25 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 19.80/4.25 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 19.80/4.25 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 19.80/4.25 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 19.80/4.25 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 19.80/4.25 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 19.80/4.25 Caused by: java.lang.NullPointerException 19.80/4.25 o 27 19.80/4.26 java.util.concurrent.ExecutionException: java.lang.NullPointerException 19.80/4.26 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 19.80/4.26 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 19.80/4.26 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 19.80/4.26 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 19.80/4.26 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 19.80/4.26 Caused by: java.lang.NullPointerException 19.80/4.26 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 19.80/4.26 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 19.80/4.26 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 19.80/4.26 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 19.80/4.26 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 19.80/4.26 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 19.80/4.26 ... 4 more 19.80/4.26 Caused by: java.lang.NullPointerException 19.80/4.26 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 19.80/4.26 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 19.80/4.26 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 19.80/4.26 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 19.80/4.26 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 19.80/4.26 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 19.80/4.26 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 19.80/4.26 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 19.80/4.26 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 19.80/4.26 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 19.80/4.26 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 19.80/4.26 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 19.80/4.26 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 19.80/4.26 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 19.80/4.26 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 19.80/4.26 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 19.80/4.26 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 19.80/4.26 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 19.80/4.26 Caused by: java.lang.NullPointerException 19.80/4.26 o 31 19.80/4.27 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path 19.80/4.27 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 19.80/4.27 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 19.80/4.27 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 19.80/4.27 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 19.80/4.27 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 19.80/4.27 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path 19.80/4.27 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95) 19.80/4.27 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64) 19.80/4.27 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 19.80/4.27 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 19.80/4.27 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 19.80/4.27 at org.chocosolver.solver.Solver.extend(Solver.java:421) 19.80/4.27 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297) 19.80/4.27 at org.chocosolver.solver.Solver.solve(Solver.java:262) 19.80/4.27 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 19.80/4.27 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 19.80/4.27 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 19.80/4.27 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 19.80/4.27 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 19.80/4.27 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 19.80/4.27 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 19.80/4.27 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 19.80/4.27 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 19.80/4.27 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 19.80/4.27 o 35 63.72/14.70 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path 63.72/14.70 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 63.72/14.70 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 63.72/14.70 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 63.72/14.70 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 63.72/14.70 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 63.72/14.70 Caused by: org.chocosolver.solver.exception.SolverException: Cannot add decision to decision path 63.72/14.70 at org.chocosolver.solver.search.strategy.decision.DecisionPath.pushDecision(DecisionPath.java:95) 63.72/14.70 at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:64) 63.72/14.70 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 63.72/14.70 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 63.72/14.70 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 63.72/14.70 at org.chocosolver.solver.Solver.extend(Solver.java:421) 63.72/14.70 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297) 63.72/14.70 at org.chocosolver.solver.Solver.solve(Solver.java:262) 63.72/14.70 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 63.72/14.70 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 63.72/14.70 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 63.72/14.70 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 63.72/14.70 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 63.72/14.70 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 63.72/14.70 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 63.72/14.70 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 63.72/14.70 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 63.72/14.70 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 63.72/14.71 s OPTIMUM FOUND 63.72/14.71 v <instantiation> 63.72/14.71 v <list>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] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] </list> 63.72/14.71 v <values>1 2 8 -1 -1 -1 0 -1 9 10 11 17 6 -1 -1 -1 -1 23 12 18 19 20 21 22 0 1 2 -1 -1 -1 15 -1 3 4 5 6 14 -1 -1 -1 -1 7 13 12 11 10 9 8 -5 7 6 0 0 0 3 0 8 -3 4 0 1 0 0 0 0 2 4 -3 9 -3 0 5 </values> 63.72/14.71 v </instantiation>
OK 35
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14733 MiB free) memory of node 1: 16384 MiB (15171 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393955-1568430753/watcher-4393955-1568430753 -o /tmp/evaluation-result-4393955-1568430753/solver-4393955-1568430753 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2085797628 HOME/instance-4393955-1568430753.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=20551, runsolver pid=20548 [startup+0.100111 s]* /proc/loadavg: 4.85 4.50 4.23 2/211 20572 /proc/meminfo: memFree=30607428/32770624 swapFree=66997684/67108860 [pid=20551] ppid=20548 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20551/stat : 20551 (xcsp3-exec) S 20548 20551 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419329952 115843072 363 33554432000 4194304 5098028 140729310391072 140729310389176 140345280696956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25944064 140729310397301 140729310397545 140729310397545 140729310400458 0 /proc/20551/statm: 28282 363 305 221 0 87 0 [pid=20553] ppid=20551 vsize=28227388 memory=28476 CPUtime=0.12 cores=0-7 /proc/20553/stat : 20553 (java) S 20551 20551 12749 0 -1 1077944320 5629 0 0 0 11 1 0 0 20 0 20 0 419329952 28904845312 7119 33554432000 4194304 4196468 140735154059072 140735154041616 140100777475831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 /proc/20553/statm: 7056847 7119 3120 1 0 7019032 0 [pid=20553/tid=20554] ppid=20551 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/20553/task/20554/stat : 20554 (java) R 20551 20551 12749 0 -1 4202560 3565 0 0 0 8 0 0 0 20 0 20 0 419329953 28904845312 7119 33554432000 4194304 4196468 140735154059072 140100781709104 140100777487766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20555] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20555/stat : 20555 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 7119 33554432000 4194304 4196468 140735154059072 140100697328656 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20556] ppid=20551 vsize=28227388 memory=139789654828205 CPUtime=0 cores=0-7 /proc/20553/task/20556/stat : 20556 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 7119 33554432000 4194304 4196468 140735154059072 140100696276112 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20557] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20557/stat : 20557 (java) S 20551 20551 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 7119 33554432000 4194304 4196468 140735154059072 140100695223056 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20558] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20558/stat : 20558 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 7119 33554432000 4194304 4196468 140735154059072 140100694170512 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20559] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20559/stat : 20559 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 7119 33554432000 4194304 4196468 140735154059072 140100324416016 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20560] ppid=20551 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20553/task/20560/stat : 20560 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 7119 33554432000 4194304 4196468 140735154059072 140100323363472 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20561] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20561/stat : 20561 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 7119 33554432000 4194304 4196468 140735154059072 140100322310416 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20562] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20562/stat : 20562 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 7119 33554432000 4194304 4196468 140735154059072 140100321257872 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20563] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20563/stat : 20563 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329955 28904845312 7119 33554432000 4194304 4196468 140735154059072 140099492158192 140100777486978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20564] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20564/stat : 20564 (java) S 20551 20551 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419329956 28904845312 7119 33554432000 4194304 4196468 140735154059072 140099491104416 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20565] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20565/stat : 20565 (java) S 20551 20551 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419329956 28904845312 7119 33554432000 4194304 4196468 140735154059072 140099490051312 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20566] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20566/stat : 20566 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329958 28904845312 7119 33554432000 4194304 4196468 140735154059072 140099488999888 140100777494427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20567] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20567/stat : 20567 (java) S 20551 20551 12749 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 419329958 28904845312 7119 33554432000 4194304 4196468 140735154059072 140099487946992 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20568] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20568/stat : 20568 (java) S 20551 20551 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329958 28904845312 7119 33554432000 4194304 4196468 140735154059072 140099486894448 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20569] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20569/stat : 20569 (java) S 20551 20551 12749 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 419329958 28904845312 7119 33554432000 4194304 4196468 140735154059072 140099485841392 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20570] ppid=20551 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/20553/task/20570/stat : 20570 (java) S 20551 20551 12749 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 20 0 419329958 28904845312 7119 33554432000 4194304 4196468 140735154059072 140099233900656 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20571] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20571/stat : 20571 (java) S 20551 20551 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329958 28904845312 7119 33554432000 4194304 4196468 140735154059072 140099232848864 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20572] ppid=20551 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20553/task/20572/stat : 20572 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329959 28904845312 7119 33554432000 4194304 4196468 140735154059072 140099231796400 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 29928 KiB [startup+0.21009 s]* /proc/loadavg: 4.85 4.50 4.23 2/211 20572 /proc/meminfo: memFree=30596780/32770624 swapFree=66997684/67108860 [pid=20551] ppid=20548 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20551/stat : 20551 (xcsp3-exec) S 20548 20551 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419329952 115843072 363 33554432000 4194304 5098028 140729310391072 140729310389176 140345280696956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25944064 140729310397301 140729310397545 140729310397545 140729310400458 0 /proc/20551/statm: 28282 363 305 221 0 87 0 [pid=20553] ppid=20551 vsize=28227388 memory=40440 CPUtime=0.33 cores=0-7 /proc/20553/stat : 20553 (java) S 20551 20551 12749 0 -1 1077944320 9378 0 0 0 30 3 0 0 20 0 20 0 419329952 28904845312 10110 33554432000 4194304 4196468 140735154059072 140735154041616 140100777475831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 /proc/20553/statm: 7056847 10110 3264 1 0 7019032 0 [pid=20553/tid=20554] ppid=20551 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/20553/task/20554/stat : 20554 (java) R 20551 20551 12749 0 -1 4202560 6591 0 0 0 17 2 0 0 20 0 20 0 419329953 28904845312 10110 33554432000 4194304 4196468 140735154059072 140100781705552 140100373868012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20555] ppid=20551 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7 /proc/20553/task/20555/stat : 20555 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 10110 33554432000 4194304 4196468 140735154059072 140100697328656 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20556] ppid=20551 vsize=28227388 memory=3904821372472190624 CPUtime=0 cores=0-7 /proc/20553/task/20556/stat : 20556 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 10110 33554432000 4194304 4196468 140735154059072 140100696276112 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20557] ppid=20551 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20553/task/20557/stat : 20557 (java) S 20551 20551 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 10110 33554432000 4194304 4196468 140735154059072 140100695223056 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20558] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20558/stat : 20558 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 10110 33554432000 4194304 4196468 140735154059072 140100694170512 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20559] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20559/stat : 20559 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 10110 33554432000 4194304 4196468 140735154059072 140100324416016 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20560] ppid=20551 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20553/task/20560/stat : 20560 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 10110 33554432000 4194304 4196468 140735154059072 140100323363472 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20561] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20561/stat : 20561 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 10110 33554432000 4194304 4196468 140735154059072 140100322310416 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20562] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20562/stat : 20562 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329954 28904845312 10110 33554432000 4194304 4196468 140735154059072 140100321257872 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20563] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20563/stat : 20563 (java) S 20551 20551 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419329955 28904845312 10110 33554432000 4194304 4196468 140735154059072 140099492158192 140100777486978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20564] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20564/stat : 20564 (java) S 20551 20551 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419329956 28904845312 10110 33554432000 4194304 4196468 140735154059072 140099491104416 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20565] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20565/stat : 20565 (java) S 20551 20551 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419329956 28904845312 10110 33554432000 4194304 4196468 140735154059072 140099490051312 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20566] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20566/stat : 20566 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329958 28904845312 10110 33554432000 4194304 4196468 140735154059072 140099488999888 140100777494427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20567] ppid=20551 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/20553/task/20567/stat : 20567 (java) S 20551 20551 12749 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 20 0 419329958 28904845312 10110 33554432000 4194304 4196468 140735154059072 140099487946992 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20568] ppid=20551 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/20553/task/20568/stat : 20568 (java) S 20551 20551 12749 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 419329958 28904845312 10110 33554432000 4194304 4196468 140735154059072 140099486894448 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20569] ppid=20551 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/20553/task/20569/stat : 20569 (java) S 20551 20551 12749 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 20 0 419329958 28904845312 10110 33554432000 4194304 4196468 140735154059072 140099485841392 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20570] ppid=20551 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/20553/task/20570/stat : 20570 (java) R 20551 20551 12749 0 -1 4202560 819 0 0 0 7 0 0 0 20 0 20 0 419329958 28904845312 10110 33554432000 4194304 4196468 140735154059072 140099233900656 140100777497178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20571] ppid=20551 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20571/stat : 20571 (java) S 20551 20551 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329958 28904845312 10110 33554432000 4194304 4196468 140735154059072 140099232848864 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20572] ppid=20551 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/20553/task/20572/stat : 20572 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329959 28904845312 10110 33554432000 4194304 4196468 140735154059072 140099231796400 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41892 KiB [startup+0.309428 s]* /proc/loadavg: 4.85 4.50 4.23 4/211 20572 /proc/meminfo: memFree=30589148/32770624 swapFree=66997684/67108860 [pid=20551] ppid=20548 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20551/stat : 20551 (xcsp3-exec) S 20548 20551 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419329952 115843072 363 33554432000 4194304 5098028 140729310391072 140729310389176 140345280696956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25944064 140729310397301 140729310397545 140729310397545 140729310400458 0 /proc/20551/statm: 28282 363 305 221 0 87 0 [pid=20553] ppid=20551 vsize=28231644 memory=50232 CPUtime=0.52 cores=0-7 /proc/20553/stat : 20553 (java) S 20551 20551 12749 0 -1 1077944320 10868 0 0 0 48 4 0 0 20 0 20 0 419329952 28909203456 12558 33554432000 4194304 4196468 140735154059072 140735154041616 140100777475831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 /proc/20553/statm: 7057911 12558 3366 1 0 7019032 0 [pid=20553/tid=20554] ppid=20551 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/20553/task/20554/stat : 20554 (java) R 20551 20551 12749 0 -1 4202560 7704 0 0 0 26 3 0 0 20 0 20 0 419329953 28909203456 12558 33554432000 4194304 4196468 140735154059072 140100781709448 140100761556318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20555] ppid=20551 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20555/stat : 20555 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329954 28909203456 12558 33554432000 4194304 4196468 140735154059072 140100697328656 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20556] ppid=20551 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20556/stat : 20556 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329954 28909203456 12558 33554432000 4194304 4196468 140735154059072 140100696276112 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20557] ppid=20551 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20557/stat : 20557 (java) S 20551 20551 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329954 28909203456 12558 33554432000 4194304 4196468 140735154059072 140100695223056 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20558] ppid=20551 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20558/stat : 20558 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329954 28909203456 12558 33554432000 4194304 4196468 140735154059072 140100694170512 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20559] ppid=20551 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20559/stat : 20559 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329954 28909203456 12558 33554432000 4194304 4196468 140735154059072 140100324416016 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20560] ppid=20551 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20560/stat : 20560 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329954 28909203456 12558 33554432000 4194304 4196468 140735154059072 140100323363472 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20561] ppid=20551 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20561/stat : 20561 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329954 28909203456 12558 33554432000 4194304 4196468 140735154059072 140100322310416 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20562] ppid=20551 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20562/stat : 20562 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329954 28909203456 12558 33554432000 4194304 4196468 140735154059072 140100321257872 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20563] ppid=20551 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20563/stat : 20563 (java) S 20551 20551 12749 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419329955 28909203456 12558 33554432000 4194304 4196468 140735154059072 140099492158192 140100777486978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20564] ppid=20551 vsize=28231644 memory=279579017289088 CPUtime=0 cores=0-7 /proc/20553/task/20564/stat : 20564 (java) S 20551 20551 12749 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419329956 28909203456 12558 33554432000 4194304 4196468 140735154059072 140099491104416 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20565] ppid=20551 vsize=28231644 memory=279579017293696 CPUtime=0 cores=0-7 /proc/20553/task/20565/stat : 20565 (java) S 20551 20551 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419329956 28909203456 12558 33554432000 4194304 4196468 140735154059072 140099490051312 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20566] ppid=20551 vsize=28231644 memory=279579017298304 CPUtime=0 cores=0-7 /proc/20553/task/20566/stat : 20566 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329958 28909203456 12558 33554432000 4194304 4196468 140735154059072 140099488999888 140100777494427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20567] ppid=20551 vsize=28231644 memory=279579017302912 CPUtime=0.03 cores=0-7 /proc/20553/task/20567/stat : 20567 (java) R 20551 20551 12749 0 -1 4202560 535 0 0 0 3 0 0 0 20 0 20 0 419329958 28909203456 12558 33554432000 4194304 4196468 140735154059072 140099487928008 140100755492840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20568] ppid=20551 vsize=28231644 memory=279579017307520 CPUtime=0.02 cores=0-7 /proc/20553/task/20568/stat : 20568 (java) S 20551 20551 12749 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 20 0 419329958 28909203456 12558 33554432000 4194304 4196468 140735154059072 140099486894448 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20569] ppid=20551 vsize=28231644 memory=279579017312128 CPUtime=0.02 cores=0-7 /proc/20553/task/20569/stat : 20569 (java) S 20551 20551 12749 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 20 0 419329958 28909203456 12558 33554432000 4194304 4196468 140735154059072 140099485841392 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20570] ppid=20551 vsize=28231644 memory=279579017316736 CPUtime=0.12 cores=0-7 /proc/20553/task/20570/stat : 20570 (java) S 20551 20551 12749 0 -1 1077944384 984 0 0 0 12 0 0 0 20 0 20 0 419329958 28909203456 12558 33554432000 4194304 4196468 140735154059072 140099233900656 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20571] ppid=20551 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20571/stat : 20571 (java) S 20551 20551 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329958 28909203456 12558 33554432000 4194304 4196468 140735154059072 140099232848864 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20572] ppid=20551 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/20553/task/20572/stat : 20572 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329959 28909203456 12558 33554432000 4194304 4196468 140735154059072 140099231796400 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51684 KiB [startup+0.700901 s] /proc/loadavg: 4.85 4.50 4.23 5/211 20572 /proc/meminfo: memFree=30558688/32770624 swapFree=66997684/67108860 [pid=20551] ppid=20548 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20551/stat : 20551 (xcsp3-exec) S 20548 20551 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419329952 115843072 363 33554432000 4194304 5098028 140729310391072 140729310389176 140345280696956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25944064 140729310397301 140729310397545 140729310397545 140729310400458 0 /proc/20551/statm: 28282 363 305 221 0 87 0 [pid=20553] ppid=20551 vsize=28233768 memory=117752 CPUtime=1.98 cores=0-7 /proc/20553/stat : 20553 (java) S 20551 20551 12749 0 -1 1077944320 16559 0 0 0 191 7 0 0 20 0 20 0 419329952 28911378432 29438 33554432000 4194304 4196468 140735154059072 140735154041616 140100777475831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 /proc/20553/statm: 7058442 29438 3455 1 0 7019544 0 [pid=20553/tid=20554] ppid=20551 vsize=28233768 memory=4580 CPUtime=0.68 cores=0-7 /proc/20553/task/20554/stat : 20554 (java) R 20551 20551 12749 0 -1 4202560 9148 0 0 0 63 5 0 0 20 0 20 0 419329953 28911378432 29438 33554432000 4194304 4196468 140735154059072 140100781710192 140100777497178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20555] ppid=20551 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20555/stat : 20555 (java) S 20551 20551 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419329954 28911378432 29438 33554432000 4194304 4196468 140735154059072 140100697328656 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20556] ppid=20551 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20556/stat : 20556 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419329954 28911378432 29438 33554432000 4194304 4196468 140735154059072 140100696276112 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20557] ppid=20551 vsize=28233768 memory=4008 CPUtime=0 cores=0-7 /proc/20553/task/20557/stat : 20557 (java) S 20551 20551 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419329954 28911378432 29438 33554432000 4194304 4196468 140735154059072 140100695223056 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 ################ # More data... # ################ [pid=20553/tid=20570] ppid=20551 vsize=28769356 memory=15620 CPUtime=1.09 cores=0-7 /proc/20553/task/20570/stat : 20570 (java) R 20551 20551 12749 0 -1 1077944384 5772 0 0 0 107 2 0 0 20 0 28 0 419329958 29459820544 148904 33554432000 4194304 4196468 140735154059072 140099233900656 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20571] ppid=20551 vsize=28769356 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/20553/task/20571/stat : 20571 (java) S 20551 20551 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419329958 29459820544 148904 33554432000 4194304 4196468 140735154059072 140099232848864 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20572] ppid=20551 vsize=28769356 memory=1548 CPUtime=0 cores=0-7 /proc/20553/task/20572/stat : 20572 (java) S 20551 20551 12749 0 -1 1077944384 695 0 0 0 0 0 0 0 20 0 28 0 419329959 29459820544 148904 33554432000 4194304 4196468 140735154059072 140099231796400 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20653] ppid=20551 vsize=28769356 memory=628 CPUtime=10.09 cores=0-7 /proc/20553/task/20653/stat : 20653 (java) R 20551 20551 12749 0 -1 4202560 430 0 0 0 1009 0 0 0 20 0 28 0 419330380 29459820544 148904 33554432000 4194304 4196468 140735154059072 140099217566664 140100381126744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20654] ppid=20551 vsize=28769356 memory=1056 CPUtime=10.09 cores=0-7 /proc/20553/task/20654/stat : 20654 (java) R 20551 20551 12749 0 -1 4202560 266 0 0 0 1009 0 0 0 20 0 28 0 419330380 29459820544 148904 33554432000 4194304 4196468 140735154059072 140099078562024 140100381126737 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20655] ppid=20551 vsize=28769356 memory=1556 CPUtime=10.08 cores=0-7 /proc/20553/task/20655/stat : 20655 (java) R 20551 20551 12749 0 -1 4202560 2701 0 0 0 1004 4 0 0 20 0 28 0 419330380 29459820544 148904 33554432000 4194304 4196468 140735154059072 140099077509032 140100777487766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20656] ppid=20551 vsize=28769356 memory=5924 CPUtime=0 cores=0-7 /proc/20553/task/20656/stat : 20656 (java) S 20551 20551 12749 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 419330380 29459820544 148904 33554432000 4194304 4196468 140735154059072 140099218625616 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20657] ppid=20551 vsize=28769356 memory=14012 CPUtime=10.09 cores=0-7 /proc/20553/task/20657/stat : 20657 (java) R 20551 20551 12749 0 -1 4202560 604 0 0 0 1009 0 0 0 20 0 28 0 419330380 29459820544 148904 33554432000 4194304 4196468 140735154059072 140099219672824 140100381126673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20658] ppid=20551 vsize=28769356 memory=2116 CPUtime=0 cores=0-7 /proc/20553/task/20658/stat : 20658 (java) S 20551 20551 12749 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 419330380 29459820544 148904 33554432000 4194304 4196468 140735154059072 140099220730704 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20659] ppid=20551 vsize=28769356 memory=10568 CPUtime=0 cores=0-7 /proc/20553/task/20659/stat : 20659 (java) S 20551 20551 12749 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419330380 29459820544 148904 33554432000 4194304 4196468 140735154059072 140099079620048 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20660] ppid=20551 vsize=28769356 memory=12024 CPUtime=0 cores=0-7 /proc/20553/task/20660/stat : 20660 (java) S 20551 20551 12749 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419330380 29459820544 148904 33554432000 4194304 4196468 140735154059072 140099081725520 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 Current children cumulated CPU time: 62.49 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 597068 KiB [startup+14.6012 s] /proc/loadavg: 4.46 4.43 4.21 5/219 20661 /proc/meminfo: memFree=30056752/32770624 swapFree=66997684/67108860 [pid=20551] ppid=20548 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20551/stat : 20551 (xcsp3-exec) S 20548 20551 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419329952 115843072 363 33554432000 4194304 5098028 140729310391072 140729310389176 140345280696956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25944064 140729310397301 140729310397545 140729310397545 140729310400458 0 /proc/20551/statm: 28282 363 305 221 0 87 0 [pid=20553] ppid=20551 vsize=28769356 memory=605864 CPUtime=63.33 cores=0-7 /proc/20553/stat : 20553 (java) S 20551 20551 12749 0 -1 1077944320 56130 0 0 0 6271 62 0 0 20 0 28 0 419329952 29459820544 151466 33554432000 4194304 4196468 140735154059072 140735154041616 140100777475831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 /proc/20553/statm: 7192339 151466 3532 1 0 7153441 0 [pid=20553/tid=20554] ppid=20551 vsize=28769356 memory=0 CPUtime=1.72 cores=0-7 /proc/20553/task/20554/stat : 20554 (java) S 20551 20551 12749 0 -1 1077944384 9831 0 0 0 164 8 0 0 20 0 28 0 419329953 29459820544 151466 33554432000 4194304 4196468 140735154059072 140100781716608 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20555] ppid=20551 vsize=28769356 memory=6791534058613427641 CPUtime=0.08 cores=0-7 /proc/20553/task/20555/stat : 20555 (java) S 20551 20551 12749 0 -1 1077944384 151 0 0 0 4 4 0 0 20 0 28 0 419329954 29459820544 151466 33554432000 4194304 4196468 140735154059072 140100697328656 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20556] ppid=20551 vsize=28769356 memory=2241 CPUtime=0.07 cores=0-7 /proc/20553/task/20556/stat : 20556 (java) S 20551 20551 12749 0 -1 1077944384 149 0 0 0 3 4 0 0 20 0 28 0 419329954 29459820544 151466 33554432000 4194304 4196468 140735154059072 140100696276112 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20557] ppid=20551 vsize=28769356 memory=2244 CPUtime=0.07 cores=0-7 /proc/20553/task/20557/stat : 20557 (java) S 20551 20551 12749 0 -1 1077944384 146 0 0 0 4 3 0 0 20 0 28 0 419329954 29459820544 151466 33554432000 4194304 4196468 140735154059072 140100695223056 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20558] ppid=20551 vsize=28769356 memory=7234282279146056038 CPUtime=0.07 cores=0-7 /proc/20553/task/20558/stat : 20558 (java) S 20551 20551 12749 0 -1 1077944384 180 0 0 0 3 4 0 0 20 0 28 0 419329954 29459820544 151466 33554432000 4194304 4196468 140735154059072 140100694170512 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20559] ppid=20551 vsize=28769356 memory=7378133507021563753 CPUtime=0.08 cores=0-7 /proc/20553/task/20559/stat : 20559 (java) S 20551 20551 12749 0 -1 1077944384 227 0 0 0 4 4 0 0 20 0 28 0 419329954 29459820544 151466 33554432000 4194304 4196468 140735154059072 140100324416016 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20560] ppid=20551 vsize=28769356 memory=7378133507021563753 CPUtime=0.07 cores=0-7 /proc/20553/task/20560/stat : 20560 (java) S 20551 20551 12749 0 -1 1077944384 207 0 0 0 3 4 0 0 20 0 28 0 419329954 29459820544 151466 33554432000 4194304 4196468 140735154059072 140100323363472 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20561] ppid=20551 vsize=28769356 memory=7594868207994236263 CPUtime=0.08 cores=0-7 /proc/20553/task/20561/stat : 20561 (java) S 20551 20551 12749 0 -1 1077944384 149 0 0 0 4 4 0 0 20 0 28 0 419329954 29459820544 151466 33554432000 4194304 4196468 140735154059072 140100322310416 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20562] ppid=20551 vsize=28769356 memory=7452726660755121493 CPUtime=0.07 cores=0-7 /proc/20553/task/20562/stat : 20562 (java) S 20551 20551 12749 0 -1 1077944384 156 0 0 0 3 4 0 0 20 0 28 0 419329954 29459820544 151466 33554432000 4194304 4196468 140735154059072 140100321257872 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20563] ppid=20551 vsize=28769356 memory=7452726660755121493 CPUtime=0.01 cores=0-7 /proc/20553/task/20563/stat : 20563 (java) S 20551 20551 12749 0 -1 1077944384 731 0 0 0 1 0 0 0 20 0 28 0 419329955 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099492158192 140100777486978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20564] ppid=20551 vsize=28769356 memory=7883385561227285863 CPUtime=0 cores=0-7 /proc/20553/task/20564/stat : 20564 (java) S 20551 20551 12749 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 419329956 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099491104480 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20565] ppid=20551 vsize=28769356 memory=7452726660755121493 CPUtime=0 cores=0-7 /proc/20553/task/20565/stat : 20565 (java) S 20551 20551 12749 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 419329956 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099490051328 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20566] ppid=20551 vsize=28769356 memory=7594868207994236263 CPUtime=0 cores=0-7 /proc/20553/task/20566/stat : 20566 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419329958 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099488999888 140100777494427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20567] ppid=20551 vsize=28769356 memory=7234282279146056038 CPUtime=2.86 cores=0-7 /proc/20553/task/20567/stat : 20567 (java) S 20551 20551 12749 0 -1 1077944384 10573 0 0 0 283 3 0 0 20 0 28 0 419329958 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099487946992 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20568] ppid=20551 vsize=28769356 memory=7649399367118696498 CPUtime=2.25 cores=0-7 /proc/20553/task/20568/stat : 20568 (java) S 20551 20551 12749 0 -1 1077944384 7090 0 0 0 223 2 0 0 20 0 28 0 419329958 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099486894448 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20569] ppid=20551 vsize=28769356 memory=7649399371413663794 CPUtime=2.77 cores=0-7 /proc/20553/task/20569/stat : 20569 (java) S 20551 20551 12749 0 -1 1077944384 11904 0 0 0 275 2 0 0 20 0 28 0 419329958 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099485841392 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20570] ppid=20551 vsize=28769356 memory=7649399375708631090 CPUtime=1.09 cores=0-7 /proc/20553/task/20570/stat : 20570 (java) S 20551 20551 12749 0 -1 1077944384 5772 0 0 0 107 2 0 0 20 0 28 0 419329958 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099233900656 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20571] ppid=20551 vsize=28769356 memory=7649399380003598386 CPUtime=0 cores=0-7 /proc/20553/task/20571/stat : 20571 (java) S 20551 20551 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419329958 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099232848864 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20572] ppid=20551 vsize=28769356 memory=33 CPUtime=0 cores=0-7 /proc/20553/task/20572/stat : 20572 (java) S 20551 20551 12749 0 -1 1077944384 695 0 0 0 0 0 0 0 20 0 28 0 419329959 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099231796400 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20653] ppid=20551 vsize=28769356 memory=1404238533774188662 CPUtime=10.29 cores=0-7 /proc/20553/task/20653/stat : 20653 (java) R 20551 20551 12749 0 -1 4202560 430 0 0 0 1029 0 0 0 20 0 28 0 419330380 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099217566664 140100761814707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20654] ppid=20551 vsize=28769356 memory=7811043189114432361 CPUtime=10.29 cores=0-7 /proc/20553/task/20654/stat : 20654 (java) R 20551 20551 12749 0 -1 4202560 266 0 0 0 1029 0 0 0 20 0 28 0 419330380 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099078562024 140100381126504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20655] ppid=20551 vsize=28769356 memory=0 CPUtime=10.28 cores=0-7 /proc/20553/task/20655/stat : 20655 (java) R 20551 20551 12749 0 -1 4202560 2712 0 0 0 1024 4 0 0 20 0 28 0 419330380 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099077510536 140100381126696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20656] ppid=20551 vsize=28769356 memory=1452 CPUtime=0 cores=0-7 /proc/20553/task/20656/stat : 20656 (java) S 20551 20551 12749 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 419330380 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099218625616 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20657] ppid=20551 vsize=28769356 memory=477788 CPUtime=10.29 cores=0-7 /proc/20553/task/20657/stat : 20657 (java) R 20551 20551 12749 0 -1 4202560 604 0 0 0 1029 0 0 0 20 0 28 0 419330380 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099219672824 140100381126216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20658] ppid=20551 vsize=28769356 memory=7012499792834683243 CPUtime=0 cores=0-7 /proc/20553/task/20658/stat : 20658 (java) S 20551 20551 12749 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 419330380 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099220730704 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20659] ppid=20551 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20659/stat : 20659 (java) S 20551 20551 12749 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419330380 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099079620048 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20660] ppid=20551 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20660/stat : 20660 (java) S 20551 20551 12749 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419330380 29459820544 151466 33554432000 4194304 4196468 140735154059072 140099081725520 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 Current children cumulated CPU time: 63.33 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 607316 KiB [startup+14.7011 s] /proc/loadavg: 4.46 4.43 4.21 5/219 20661 /proc/meminfo: memFree=30056752/32770624 swapFree=66997684/67108860 [pid=20551] ppid=20548 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/20551/stat : 20551 (xcsp3-exec) S 20548 20551 12749 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419329952 115843072 363 33554432000 4194304 5098028 140729310391072 140729310389176 140345280696956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25944064 140729310397301 140729310397545 140729310397545 140729310400458 0 /proc/20551/statm: 28282 363 305 221 0 87 0 [pid=20553] ppid=20551 vsize=28769356 memory=607912 CPUtime=63.72 cores=0-7 /proc/20553/stat : 20553 (java) S 20551 20551 12749 0 -1 1077944320 56146 0 0 0 6310 62 0 0 20 0 28 0 419329952 29459820544 151978 33554432000 4194304 4196468 140735154059072 140735154041616 140100777475831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 /proc/20553/statm: 7192339 151978 3532 1 0 7153441 0 [pid=20553/tid=20554] ppid=20551 vsize=28769356 memory=528004 CPUtime=1.72 cores=0-7 /proc/20553/task/20554/stat : 20554 (java) S 20551 20551 12749 0 -1 1077944384 9831 0 0 0 164 8 0 0 20 0 28 0 419329953 29459820544 151978 33554432000 4194304 4196468 140735154059072 140100781716608 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20555] ppid=20551 vsize=28769356 memory=228054173503559 CPUtime=0.08 cores=0-7 /proc/20553/task/20555/stat : 20555 (java) S 20551 20551 12749 0 -1 1077944384 151 0 0 0 4 4 0 0 20 0 28 0 419329954 29459820544 151978 33554432000 4194304 4196468 140735154059072 140100697328656 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20556] ppid=20551 vsize=28769356 memory=228054173524113 CPUtime=0.07 cores=0-7 /proc/20553/task/20556/stat : 20556 (java) S 20551 20551 12749 0 -1 1077944384 149 0 0 0 3 4 0 0 20 0 28 0 419329954 29459820544 151978 33554432000 4194304 4196468 140735154059072 140100696276112 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20557] ppid=20551 vsize=28769356 memory=1556 CPUtime=0.07 cores=0-7 /proc/20553/task/20557/stat : 20557 (java) S 20551 20551 12749 0 -1 1077944384 146 0 0 0 4 3 0 0 20 0 28 0 419329954 29459820544 151978 33554432000 4194304 4196468 140735154059072 140100695223056 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20558] ppid=20551 vsize=28769356 memory=500 CPUtime=0.07 cores=0-7 /proc/20553/task/20558/stat : 20558 (java) S 20551 20551 12749 0 -1 1077944384 180 0 0 0 3 4 0 0 20 0 28 0 419329954 29459820544 151978 33554432000 4194304 4196468 140735154059072 140100694170512 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20559] ppid=20551 vsize=28769356 memory=928 CPUtime=0.08 cores=0-7 /proc/20553/task/20559/stat : 20559 (java) S 20551 20551 12749 0 -1 1077944384 227 0 0 0 4 4 0 0 20 0 28 0 419329954 29459820544 151978 33554432000 4194304 4196468 140735154059072 140100324416016 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20560] ppid=20551 vsize=28769356 memory=7163926638796304480 CPUtime=0.07 cores=0-7 /proc/20553/task/20560/stat : 20560 (java) S 20551 20551 12749 0 -1 1077944384 207 0 0 0 3 4 0 0 20 0 28 0 419329954 29459820544 151978 33554432000 4194304 4196468 140735154059072 140100323363472 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20561] ppid=20551 vsize=28769356 memory=7740677730972882280 CPUtime=0.08 cores=0-7 /proc/20553/task/20561/stat : 20561 (java) S 20551 20551 12749 0 -1 1077944384 149 0 0 0 4 4 0 0 20 0 28 0 419329954 29459820544 151978 33554432000 4194304 4196468 140735154059072 140100322310416 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20562] ppid=20551 vsize=28769356 memory=7594572430924865877 CPUtime=0.07 cores=0-7 /proc/20553/task/20562/stat : 20562 (java) S 20551 20551 12749 0 -1 1077944384 156 0 0 0 3 4 0 0 20 0 28 0 419329954 29459820544 151978 33554432000 4194304 4196468 140735154059072 140100321257872 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20563] ppid=20551 vsize=28769356 memory=0 CPUtime=0.01 cores=0-7 /proc/20553/task/20563/stat : 20563 (java) S 20551 20551 12749 0 -1 1077944384 731 0 0 0 1 0 0 0 20 0 28 0 419329955 29459820544 151978 33554432000 4194304 4196468 140735154059072 140099492158192 140100777486978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20564] ppid=20551 vsize=28769356 memory=283 CPUtime=0 cores=0-7 /proc/20553/task/20564/stat : 20564 (java) S 20551 20551 12749 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 419329956 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099491104480 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20565] ppid=20551 vsize=28769356 memory=220 CPUtime=0 cores=0-7 /proc/20553/task/20565/stat : 20565 (java) S 20551 20551 12749 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 419329956 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099490051328 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20566] ppid=20551 vsize=28769356 memory=274 CPUtime=0 cores=0-7 /proc/20553/task/20566/stat : 20566 (java) S 20551 20551 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419329958 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099488999888 140100777494427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20567] ppid=20551 vsize=28769356 memory=984 CPUtime=2.86 cores=0-7 /proc/20553/task/20567/stat : 20567 (java) S 20551 20551 12749 0 -1 1077944384 10573 0 0 0 283 3 0 0 20 0 28 0 419329958 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099487946992 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20568] ppid=20551 vsize=28769356 memory=2024 CPUtime=2.25 cores=0-7 /proc/20553/task/20568/stat : 20568 (java) S 20551 20551 12749 0 -1 1077944384 7090 0 0 0 223 2 0 0 20 0 28 0 419329958 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099486894448 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20569] ppid=20551 vsize=28769356 memory=1380 CPUtime=2.77 cores=0-7 /proc/20553/task/20569/stat : 20569 (java) S 20551 20551 12749 0 -1 1077944384 11904 0 0 0 275 2 0 0 20 0 28 0 419329958 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099485841392 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20570] ppid=20551 vsize=28769356 memory=1128 CPUtime=1.09 cores=0-7 /proc/20553/task/20570/stat : 20570 (java) S 20551 20551 12749 0 -1 1077944384 5772 0 0 0 107 2 0 0 20 0 28 0 419329958 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099233900656 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20571] ppid=20551 vsize=28769356 memory=772 CPUtime=0 cores=0-7 /proc/20553/task/20571/stat : 20571 (java) S 20551 20551 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419329958 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099232848864 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20572] ppid=20551 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/20553/task/20572/stat : 20572 (java) S 20551 20551 12749 0 -1 1077944384 695 0 0 0 0 0 0 0 20 0 28 0 419329959 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099231796400 140100777486978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20653] ppid=20551 vsize=28769356 memory=0 CPUtime=10.39 cores=0-7 /proc/20553/task/20653/stat : 20653 (java) R 20551 20551 12749 0 -1 4202560 430 0 0 0 1039 0 0 0 20 0 28 0 419330380 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099217566664 140100381126480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20654] ppid=20551 vsize=28769356 memory=10 CPUtime=10.39 cores=0-7 /proc/20553/task/20654/stat : 20654 (java) R 20551 20551 12749 0 -1 4202560 266 0 0 0 1039 0 0 0 20 0 28 0 419330380 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099078562024 140100381126737 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20655] ppid=20551 vsize=28769356 memory=10 CPUtime=10.38 cores=0-7 /proc/20553/task/20655/stat : 20655 (java) R 20551 20551 12749 0 -1 4202560 2729 0 0 0 1034 4 0 0 20 0 28 0 419330380 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099077510536 140100385459637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20656] ppid=20551 vsize=28769356 memory=667680 CPUtime=0 cores=0-7 /proc/20553/task/20656/stat : 20656 (java) S 20551 20551 12749 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 419330380 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099218625616 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20657] ppid=20551 vsize=28769356 memory=2024 CPUtime=10.39 cores=0-7 /proc/20553/task/20657/stat : 20657 (java) R 20551 20551 12749 0 -1 4202560 606 0 0 0 1039 0 0 0 20 0 28 0 419330380 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099219672824 140100383433631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20658] ppid=20551 vsize=28769356 memory=1380 CPUtime=0 cores=0-7 /proc/20553/task/20658/stat : 20658 (java) S 20551 20551 12749 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 419330380 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099220730704 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20659] ppid=20551 vsize=28769356 memory=1128 CPUtime=0 cores=0-7 /proc/20553/task/20659/stat : 20659 (java) S 20551 20551 12749 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419330380 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099079620048 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 [pid=20553/tid=20660] ppid=20551 vsize=28769356 memory=772 CPUtime=0 cores=0-7 /proc/20553/task/20660/stat : 20660 (java) S 20551 20551 12749 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 419330380 29459820544 152490 33554432000 4194304 4196468 140735154059072 140099081725520 140100777486037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140735154062314 140735154062486 140735154062486 140735154065359 0 Current children cumulated CPU time: 63.72 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 609364 KiB Child status: 0 Real time (s): 14.7349 CPU time (s): 63.7783 CPU user time (s): 63.138 CPU system time (s): 0.64034 CPU usage (%): 432.838 Max. virtual memory (cumulated for all children) (KiB): 28882484 Max. memory (cumulated for all children) (KiB): 609364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 63.138 system time used= 0.64034 maximum resident set size= 614448 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57844 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6127 involuntary context switches= 363 # summary of solver processes directly reported to runsolver: # pid: 20551 # total CPU time (s): 63.7783 # total CPU user time (s): 63.138 # total CPU system time (s): 0.64034 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.149007 second user time and 0.197244 second system time The end
Begin job on node106 at 2019-09-14 04:11:16 IDJOB=4393955 IDBENCH=128028 IDSOLVER=2841 FILE ID=node106/4393955-1568430753 RUNJOBID= node106-1568413091-12776 PBS_JOBID= 21702261 Free space on /tmp= 59112 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-4.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-4393955-1568430753/watcher-4393955-1568430753 -o /tmp/evaluation-result-4393955-1568430753/solver-4393955-1568430753 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2085797628 HOME/instance-4393955-1568430753.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e870fb3a9053f33a7d0d8e73b49cdad7 RANDOM SEED=2085797628 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30623248 kB MemAvailable: 31898540 kB Buffers: 184200 kB Cached: 1371812 kB SwapCached: 9320 kB Active: 488112 kB Inactive: 1083728 kB Active(anon): 14612 kB Inactive(anon): 34744 kB Active(file): 473500 kB Inactive(file): 1048984 kB Unevictable: 106908 kB Mlocked: 106908 kB SwapTotal: 67108860 kB SwapFree: 66997684 kB Dirty: 26768 kB Writeback: 0 kB AnonPages: 123548 kB Mapped: 37756 kB Shmem: 25300 kB Slab: 166968 kB SReclaimable: 137288 kB SUnreclaim: 29680 kB KernelStack: 3712 kB PageTables: 5844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489660 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59088 MiB End job on node106 at 2019-09-14 04:11:31