Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 312 | 317.85 | 46.5584 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-5.xml |
MD5SUM | 5197a9101df9cd680fadf9dcc86a0dcb |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 312 |
Best CPU time to get the best result obtained on this benchmark | 30.0924 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 105 |
Number of constraints | 90 |
Number of domains | 7 |
Minimum domain size | 5 |
Maximum domain size | 412 |
Distribution of domain sizes | [{"size":5,"count":50},{"size":412,"count":55}] |
Minimum variable degree | 2 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] |
Number of extensional constraints | 25 |
Number of intensional constraints | 30 |
Distribution of constraint types | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393824-1568417924.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393824-1568417924.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.50/0.78 c solve instance... 1.88/0.89 o 404 2.54/0.94 o 381 2.54/0.99 o 369 3.20/1.03 o 368 3.20/1.07 o 364 3.20/1.08 o 360 3.20/1.09 o 356 3.20/1.10 o 355 3.90/1.19 o 351 3.90/1.19 o 338 12.84/2.32 o 321 16.74/2.88 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (8/22) 16.74/2.88 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 16.74/2.88 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 16.74/2.88 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 16.74/2.88 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 16.74/2.88 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 16.74/2.88 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (8/22) 16.74/2.88 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 16.74/2.88 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 16.74/2.88 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 16.74/2.88 at org.chocosolver.solver.Solver.repair(Solver.java:443) 16.74/2.88 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 16.74/2.88 at org.chocosolver.solver.Solver.solve(Solver.java:262) 16.74/2.88 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 16.74/2.88 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 16.74/2.88 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 16.74/2.88 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 16.74/2.88 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 16.74/2.88 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 16.74/2.88 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 16.74/2.88 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 16.74/2.88 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 16.74/2.88 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 16.74/2.88 o 318 52.33/8.85 o 317 77.51/12.53 o 316 102.53/16.15 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (45/66) 102.53/16.15 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 102.53/16.15 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 102.53/16.15 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 102.53/16.15 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 102.53/16.15 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 102.53/16.15 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (45/66) 102.53/16.15 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 102.53/16.15 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 102.53/16.15 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 102.53/16.15 at org.chocosolver.solver.Solver.repair(Solver.java:443) 102.53/16.15 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 102.53/16.15 at org.chocosolver.solver.Solver.solve(Solver.java:262) 102.53/16.15 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 102.53/16.15 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 102.53/16.15 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 102.53/16.15 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 102.53/16.15 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 102.53/16.15 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 102.53/16.15 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 102.53/16.15 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 102.53/16.15 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 102.53/16.15 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 102.53/16.15 o 315 125.68/19.30 java.util.concurrent.ExecutionException: java.lang.NullPointerException 125.68/19.30 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 125.68/19.30 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 125.68/19.30 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 125.68/19.30 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 125.68/19.30 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 125.68/19.30 Caused by: java.lang.NullPointerException 125.68/19.30 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 125.68/19.30 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 125.68/19.30 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 125.68/19.30 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 125.68/19.30 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 125.68/19.30 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 125.68/19.30 ... 4 more 125.68/19.30 Caused by: java.lang.NullPointerException 125.68/19.30 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 125.68/19.30 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 125.68/19.30 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 125.68/19.30 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 125.68/19.30 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 125.68/19.30 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 125.68/19.30 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 125.68/19.30 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 125.68/19.30 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 125.68/19.30 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 125.68/19.30 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 125.68/19.30 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 125.68/19.30 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 125.68/19.30 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 125.68/19.30 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 125.68/19.30 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 125.68/19.30 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 125.68/19.30 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 125.68/19.30 Caused by: java.lang.NullPointerException 125.68/19.30 at org.chocosolver.sat.SatSolver.propagateClauses(SatSolver.java:399) 125.68/19.30 at org.chocosolver.sat.SatSolver.propagate(SatSolver.java:385) 125.68/19.30 at org.chocosolver.sat.SatSolver.propagateOneLiteral(SatSolver.java:301) 125.68/19.30 at org.chocosolver.sat.PropNogoods.VariableBound(PropNogoods.java:404) 125.68/19.30 at org.chocosolver.sat.PropNogoods.doVariableBound(PropNogoods.java:182) 125.68/19.30 at org.chocosolver.sat.PropNogoods.propagate(PropNogoods.java:169) 125.68/19.30 at org.chocosolver.solver.constraints.Propagator.doFinePropagation(Propagator.java:930) 125.68/19.30 at org.chocosolver.solver.propagation.PropagationEngine.propagate(PropagationEngine.java:172) 125.68/19.30 at org.chocosolver.solver.search.loop.propagate.PropagateBasic.execute(PropagateBasic.java:48) 125.68/19.30 at org.chocosolver.solver.Solver.propagate(Solver.java:403) 125.68/19.30 at org.chocosolver.solver.Solver.searchLoop(Solver.java:293) 125.68/19.30 at org.chocosolver.solver.Solver.solve(Solver.java:262) 125.68/19.30 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 125.68/19.30 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 125.68/19.30 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 125.68/19.30 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 125.68/19.30 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 125.68/19.30 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 125.68/19.30 ... 4 more 125.68/19.31 o 314 208.16/31.08 java.util.concurrent.ExecutionException: java.lang.NullPointerException 208.16/31.08 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 208.16/31.08 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 208.16/31.08 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 208.16/31.08 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 208.16/31.08 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 208.16/31.08 Caused by: java.lang.NullPointerException 208.16/31.08 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 208.16/31.08 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 208.16/31.08 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 208.16/31.08 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 208.16/31.08 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 208.16/31.08 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 208.16/31.08 ... 4 more 208.16/31.08 Caused by: java.lang.NullPointerException 208.16/31.08 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 208.16/31.08 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 208.16/31.08 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 208.16/31.08 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 208.16/31.08 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 208.16/31.08 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 208.16/31.08 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 208.16/31.08 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 208.16/31.08 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 208.16/31.08 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 208.16/31.08 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 208.16/31.08 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 208.16/31.08 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 208.16/31.08 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 208.16/31.08 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 208.16/31.08 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 208.16/31.08 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 208.16/31.08 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 208.16/31.08 Caused by: java.lang.NullPointerException 208.16/31.08 o 313 232.83/34.51 java.util.concurrent.ExecutionException: java.lang.NullPointerException 232.83/34.51 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 232.83/34.51 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 232.83/34.51 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 232.83/34.51 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 232.83/34.51 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 232.83/34.51 Caused by: java.lang.NullPointerException 232.83/34.51 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 232.83/34.51 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 232.83/34.51 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 232.83/34.51 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 232.83/34.51 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 232.83/34.51 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 232.83/34.51 ... 4 more 232.83/34.51 Caused by: java.lang.NullPointerException 232.83/34.51 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 232.83/34.51 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 232.83/34.51 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 232.83/34.51 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 232.83/34.51 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 232.83/34.51 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 232.83/34.51 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 232.83/34.51 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 232.83/34.51 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 232.83/34.51 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 232.83/34.51 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 232.83/34.51 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 232.83/34.51 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 232.83/34.51 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 232.83/34.51 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 232.83/34.51 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 232.83/34.51 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 232.83/34.51 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 232.83/34.51 Caused by: java.lang.NullPointerException 232.83/34.51 o 312 317.53/46.54 java.util.concurrent.ExecutionException: java.lang.NullPointerException 317.53/46.54 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 317.53/46.54 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 317.53/46.54 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 317.53/46.54 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 317.53/46.54 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 317.53/46.54 Caused by: java.lang.NullPointerException 317.53/46.54 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 317.53/46.54 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 317.53/46.54 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 317.53/46.54 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 317.53/46.54 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 317.53/46.54 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 317.53/46.54 ... 4 more 317.53/46.54 Caused by: java.lang.NullPointerException 317.53/46.54 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 317.53/46.54 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 317.53/46.54 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 317.53/46.54 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 317.53/46.54 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 317.53/46.54 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 317.53/46.54 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 317.53/46.54 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 317.53/46.54 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 317.53/46.54 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 317.53/46.54 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 317.53/46.54 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 317.53/46.54 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 317.53/46.54 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 317.53/46.54 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 317.53/46.54 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 317.53/46.54 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 317.53/46.54 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 317.53/46.54 Caused by: java.lang.NullPointerException 317.53/46.54 s OPTIMUM FOUND 317.53/46.54 v <instantiation> 317.53/46.54 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] e[0] e[1] e[2] e[3] e[4] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] </list> 317.53/46.54 v <values>1 70 112 121 215 4 106 117 184 302 2 101 120 186 265 3 61 88 173 251 0 98 180 214 253 301 308 311 312 309 60 41 5 93 86 96 4 63 81 6 81 17 50 62 46 55 26 85 78 61 98 82 34 37 56 2 1 4 0 3 0 4 1 2 3 3 0 4 1 2 1 2 3 4 0 4 2 3 0 1 121 70 1 215 112 4 117 184 302 106 101 186 265 2 120 251 3 61 88 173 214 253 98 180 0 </values> 317.53/46.54 v </instantiation>
OK 312
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 (15148 MiB free) memory of node 1: 16384 MiB (15721 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393824-1568417924/watcher-4393824-1568417924 -o /tmp/evaluation-result-4393824-1568417924/solver-4393824-1568417924 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568417824-4885 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 755805994 HOME/instance-4393824-1568417924.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 solver pid=5422, runsolver pid=5419 Current StackSize limit: 8192 KiB [startup+0.100114 s]* /proc/loadavg: 5.17 2.11 1.36 2/213 5443 /proc/meminfo: memFree=31597436/32770624 swapFree=67004224/67108860 [pid=5422] ppid=5419 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417954046 115843072 363 33554432000 4194304 5098028 140730319966864 140730319964968 140134259196540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15511552 140730319971190 140730319971433 140730319971433 140730319974346 0 /proc/5422/statm: 28282 363 304 221 0 87 0 [pid=5424] ppid=5422 vsize=28227388 memory=27348 CPUtime=0.12 cores=0-7 /proc/5424/stat : 5424 (java) S 5422 5422 4858 0 -1 1077944320 5809 0 0 0 11 1 0 0 20 0 20 0 417954046 28904845312 6837 33554432000 4194304 4196468 140731399233392 140731399215936 140180112506615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 /proc/5424/statm: 7056847 6837 3122 1 0 7019032 0 [pid=5424/tid=5425] ppid=5422 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/5424/task/5425/stat : 5425 (java) R 5422 5422 4858 0 -1 4202560 3649 0 0 0 8 1 0 0 20 0 20 0 417954047 28904845312 6837 33554432000 4194304 4196468 140731399233392 140180116739888 140179751324659 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5426] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5426/stat : 5426 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179664342160 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5427] ppid=5422 vsize=28227388 memory=15120849254315672 CPUtime=0 cores=0-7 /proc/5424/task/5427/stat : 5427 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179663289360 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5428] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5428/stat : 5428 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179662236560 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5429] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5429/stat : 5429 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179661183760 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5430] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5430/stat : 5430 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179660130960 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5431] ppid=5422 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5424/task/5431/stat : 5431 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179659078160 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5432] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5432/stat : 5432 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179658025360 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5433] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5433/stat : 5433 (java) S 5422 5422 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179656972560 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5434] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5434/stat : 5434 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954049 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179613551472 140180112517762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5435] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5435/stat : 5435 (java) S 5422 5422 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417954050 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179227665952 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5436] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5436/stat : 5436 (java) S 5422 5422 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417954050 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179226613104 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5437] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5437/stat : 5437 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954052 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179225561424 140180112525211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5438] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5438/stat : 5438 (java) S 5422 5422 4858 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 417954052 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179224508784 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5439] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5439/stat : 5439 (java) S 5422 5422 4858 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 417954052 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179223455984 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5440] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5440/stat : 5440 (java) S 5422 5422 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954052 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179222403184 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5441] ppid=5422 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/5424/task/5441/stat : 5441 (java) R 5422 5422 4858 0 -1 4202560 414 0 0 0 2 0 0 0 20 0 20 0 417954052 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179221350384 140180096587102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5442] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5442/stat : 5442 (java) S 5422 5422 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954052 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179220298848 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5443] ppid=5422 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5424/task/5443/stat : 5443 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954053 28904845312 6837 33554432000 4194304 4196468 140731399233392 140179219246128 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 28800 KiB [startup+0.209933 s]* /proc/loadavg: 5.17 2.11 1.36 3/213 5443 /proc/meminfo: memFree=31583220/32770624 swapFree=67004224/67108860 [pid=5422] ppid=5419 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417954046 115843072 363 33554432000 4194304 5098028 140730319966864 140730319964968 140134259196540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15511552 140730319971190 140730319971433 140730319971433 140730319974346 0 /proc/5422/statm: 28282 363 304 221 0 87 0 [pid=5424] ppid=5422 vsize=28227388 memory=40104 CPUtime=0.33 cores=0-7 /proc/5424/stat : 5424 (java) S 5422 5422 4858 0 -1 1077944320 9724 0 0 0 30 3 0 0 20 0 20 0 417954046 28904845312 10026 33554432000 4194304 4196468 140731399233392 140731399215936 140180112506615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 /proc/5424/statm: 7056847 10026 3303 1 0 7019032 0 [pid=5424/tid=5425] ppid=5422 vsize=28227388 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/5424/task/5425/stat : 5425 (java) R 5422 5422 4858 0 -1 4202560 6666 0 0 0 17 2 0 0 20 0 20 0 417954047 28904845312 10026 33554432000 4194304 4196468 140731399233392 140180116744640 140180096587102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5426] ppid=5422 vsize=28227388 memory=14965 CPUtime=0 cores=0-7 /proc/5424/task/5426/stat : 5426 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179664342160 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5427] ppid=5422 vsize=28227388 memory=139796277988524 CPUtime=0 cores=0-7 /proc/5424/task/5427/stat : 5427 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179663289360 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5428] ppid=5422 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5424/task/5428/stat : 5428 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179662236560 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5429] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5429/stat : 5429 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179661183760 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5430] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5430/stat : 5430 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179660130960 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5431] ppid=5422 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5424/task/5431/stat : 5431 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179659078160 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5432] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5432/stat : 5432 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179658025360 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5433] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5433/stat : 5433 (java) S 5422 5422 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954048 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179656972560 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5434] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5434/stat : 5434 (java) S 5422 5422 4858 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417954049 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179613551472 140180112517762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5435] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5435/stat : 5435 (java) S 5422 5422 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417954050 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179227665952 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5436] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5436/stat : 5436 (java) S 5422 5422 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417954050 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179226613104 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5437] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5437/stat : 5437 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954052 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179225561424 140180112525211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5438] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5438/stat : 5438 (java) S 5422 5422 4858 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 20 0 417954052 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179224508784 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5439] ppid=5422 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/5424/task/5439/stat : 5439 (java) S 5422 5422 4858 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 417954052 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179223455984 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5440] ppid=5422 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/5424/task/5440/stat : 5440 (java) S 5422 5422 4858 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 20 0 417954052 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179222403184 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5441] ppid=5422 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/5424/task/5441/stat : 5441 (java) R 5422 5422 4858 0 -1 4202560 876 0 0 0 7 0 0 0 20 0 20 0 417954052 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179221350384 140180091313076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5442] ppid=5422 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5442/stat : 5442 (java) S 5422 5422 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954052 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179220298848 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5443] ppid=5422 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5424/task/5443/stat : 5443 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954053 28904845312 10026 33554432000 4194304 4196468 140731399233392 140179219246128 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41556 KiB [startup+0.309631 s]* /proc/loadavg: 4.92 2.10 1.37 3/213 5443 /proc/meminfo: memFree=31578024/32770624 swapFree=67004224/67108860 [pid=5422] ppid=5419 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417954046 115843072 363 33554432000 4194304 5098028 140730319966864 140730319964968 140134259196540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15511552 140730319971190 140730319971433 140730319971433 140730319974346 0 /proc/5422/statm: 28282 363 304 221 0 87 0 [pid=5424] ppid=5422 vsize=28231644 memory=48800 CPUtime=0.51 cores=0-7 /proc/5424/stat : 5424 (java) S 5422 5422 4858 0 -1 1077944320 11036 0 0 0 47 4 0 0 20 0 20 0 417954046 28909203456 12200 33554432000 4194304 4196468 140731399233392 140731399215936 140180112506615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 /proc/5424/statm: 7057911 12200 3358 1 0 7019032 0 [pid=5424/tid=5425] ppid=5422 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/5424/task/5425/stat : 5425 (java) R 5422 5422 4858 0 -1 4202560 7740 0 0 0 26 3 0 0 20 0 20 0 417954047 28909203456 12200 33554432000 4194304 4196468 140731399233392 140180116737728 140180096587102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5426] ppid=5422 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5426/stat : 5426 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179664342160 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5427] ppid=5422 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5427/stat : 5427 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179663289360 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5428] ppid=5422 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5428/stat : 5428 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179662236560 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5429] ppid=5422 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5429/stat : 5429 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954048 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179661183760 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5430] ppid=5422 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5430/stat : 5430 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179660130960 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5431] ppid=5422 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5431/stat : 5431 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954048 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179659078160 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5432] ppid=5422 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5432/stat : 5432 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954048 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179658025360 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5433] ppid=5422 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5433/stat : 5433 (java) S 5422 5422 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954048 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179656972560 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5434] ppid=5422 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5434/stat : 5434 (java) S 5422 5422 4858 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417954049 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179613551472 140180112517762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5435] ppid=5422 vsize=28231644 memory=279592304844160 CPUtime=0 cores=0-7 /proc/5424/task/5435/stat : 5435 (java) S 5422 5422 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417954050 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179227665952 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5436] ppid=5422 vsize=28231644 memory=279592304848768 CPUtime=0 cores=0-7 /proc/5424/task/5436/stat : 5436 (java) S 5422 5422 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417954050 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179226613104 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5437] ppid=5422 vsize=28231644 memory=279592304853376 CPUtime=0 cores=0-7 /proc/5424/task/5437/stat : 5437 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954052 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179225561424 140180112525211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5438] ppid=5422 vsize=28231644 memory=279592304857984 CPUtime=0.02 cores=0-7 /proc/5424/task/5438/stat : 5438 (java) R 5422 5422 4858 0 -1 4202560 410 0 0 0 2 0 0 0 20 0 20 0 417954052 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179224508784 140180112527962 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5439] ppid=5422 vsize=28231644 memory=279592304862592 CPUtime=0.02 cores=0-7 /proc/5424/task/5439/stat : 5439 (java) S 5422 5422 4858 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 20 0 417954052 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179223455984 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5440] ppid=5422 vsize=28231644 memory=279592304867200 CPUtime=0.02 cores=0-7 /proc/5424/task/5440/stat : 5440 (java) S 5422 5422 4858 0 -1 1077944384 121 0 0 0 2 0 0 0 20 0 20 0 417954052 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179222403184 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5441] ppid=5422 vsize=28231644 memory=279592304871808 CPUtime=0.12 cores=0-7 /proc/5424/task/5441/stat : 5441 (java) R 5422 5422 4858 0 -1 4202560 1031 0 0 0 12 0 0 0 20 0 20 0 417954052 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179221350384 140180112518550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5442] ppid=5422 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5442/stat : 5442 (java) S 5422 5422 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417954052 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179220298848 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5443] ppid=5422 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/5424/task/5443/stat : 5443 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417954053 28909203456 12200 33554432000 4194304 4196468 140731399233392 140179219246128 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50252 KiB [startup+0.700869 s] /proc/loadavg: 4.92 2.10 1.37 4/213 5443 /proc/meminfo: memFree=31562392/32770624 swapFree=67004224/67108860 [pid=5422] ppid=5419 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417954046 115843072 363 33554432000 4194304 5098028 140730319966864 140730319964968 140134259196540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15511552 140730319971190 140730319971433 140730319971433 140730319974346 0 /proc/5422/statm: 28282 363 304 221 0 87 0 [pid=5424] ppid=5422 vsize=28233768 memory=78700 CPUtime=1.5 cores=0-7 /proc/5424/stat : 5424 (java) S 5422 5422 4858 0 -1 1077944320 14969 0 0 0 144 6 0 0 20 0 20 0 417954046 28911378432 19675 33554432000 4194304 4196468 140731399233392 140731399215936 140180112506615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 /proc/5424/statm: 7058442 19675 3443 1 0 7019544 0 [pid=5424/tid=5425] ppid=5422 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/5424/task/5425/stat : 5425 (java) R 5422 5422 4858 0 -1 4202560 9466 0 0 0 63 4 0 0 20 0 20 0 417954047 28911378432 19675 33554432000 4194304 4196468 140731399233392 140180116744880 140180112518550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5426] ppid=5422 vsize=28233768 memory=139796152624000 CPUtime=0 cores=0-7 /proc/5424/task/5426/stat : 5426 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28911378432 19675 33554432000 4194304 4196468 140731399233392 140179664342160 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5427] ppid=5422 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5427/stat : 5427 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28911378432 19675 33554432000 4194304 4196468 140731399233392 140179663289360 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5428] ppid=5422 vsize=28233768 memory=1052 CPUtime=0 cores=0-7 /proc/5424/task/5428/stat : 5428 (java) S 5422 5422 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417954048 28911378432 19675 33554432000 4194304 4196468 140731399233392 140179662236560 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 ################ # More data... # ################ [pid=5424/tid=5441] ppid=5422 vsize=29034584 memory=0 CPUtime=1.32 cores=0-7 /proc/5424/task/5441/stat : 5441 (java) S 5422 5422 4858 0 -1 1077944384 19737 0 0 0 128 4 0 0 20 0 28 0 417954052 29731414016 65792 33554432000 4194304 4196468 140731399233392 140179221350384 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5442] ppid=5422 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5442/stat : 5442 (java) S 5422 5422 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417954052 29731414016 65792 33554432000 4194304 4196468 140731399233392 140179220298848 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5443] ppid=5422 vsize=29034584 memory=0 CPUtime=0.01 cores=0-7 /proc/5424/task/5443/stat : 5443 (java) S 5422 5422 4858 0 -1 1077944384 1631 0 0 0 0 1 0 0 20 0 28 0 417954053 29731414016 65792 33554432000 4194304 4196468 140731399233392 140179219246128 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5588] ppid=5422 vsize=29034584 memory=0 CPUtime=11.37 cores=0-7 /proc/5424/task/5588/stat : 5588 (java) R 5422 5422 4858 0 -1 4202560 391 0 0 0 1137 0 0 0 20 0 28 0 417957498 29731414016 65792 33554432000 4194304 4196468 140731399233392 140178150633240 140179758597409 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5589] ppid=5422 vsize=29034584 memory=6943526294502006880 CPUtime=11.36 cores=0-7 /proc/5424/task/5589/stat : 5589 (java) R 5422 5422 4858 0 -1 4202560 485 0 0 0 1136 0 0 0 20 0 28 0 417957498 29731414016 65792 33554432000 4194304 4196468 140731399233392 140178151686768 140179753913968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5590] ppid=5422 vsize=29034584 memory=301789554384582914 CPUtime=11.35 cores=0-7 /proc/5424/task/5590/stat : 5590 (java) R 5422 5422 4858 0 -1 4202560 1751 0 0 0 1134 1 0 0 20 0 28 0 417957498 29731414016 65792 33554432000 4194304 4196468 140731399233392 140178148527968 140179761199764 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5591] ppid=5422 vsize=29034584 memory=288292164507816369 CPUtime=11.37 cores=0-7 /proc/5424/task/5591/stat : 5591 (java) R 5422 5422 4858 0 -1 4202560 625 0 0 0 1137 0 0 0 20 0 28 0 417957498 29731414016 65792 33554432000 4194304 4196468 140731399233392 140178147478176 140179758597146 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5592] ppid=5422 vsize=29034584 memory=279592307020448 CPUtime=11.3 cores=0-7 /proc/5424/task/5592/stat : 5592 (java) R 5422 5422 4858 0 -1 4202560 978 0 0 0 1130 0 0 0 20 0 28 0 417957498 29731414016 65792 33554432000 4194304 4196468 140731399233392 140178152739080 140179756165019 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5593] ppid=5422 vsize=29034584 memory=288230376990849282 CPUtime=11.37 cores=0-7 /proc/5424/task/5593/stat : 5593 (java) R 5422 5422 4858 0 -1 4202560 363 0 0 0 1137 0 0 0 20 0 28 0 417957498 29731414016 65792 33554432000 4194304 4196468 140731399233392 140178143264880 140179763158734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5594] ppid=5422 vsize=29034584 memory=288292164507816369 CPUtime=11.33 cores=0-7 /proc/5424/task/5594/stat : 5594 (java) R 5422 5422 4858 0 -1 4202560 188 0 0 0 1133 0 0 0 20 0 28 0 417957498 29731414016 65792 33554432000 4194304 4196468 140731399233392 140178140979376 140179765201981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5595] ppid=5422 vsize=29034584 memory=288292164507816369 CPUtime=0 cores=0-7 /proc/5424/task/5595/stat : 5595 (java) S 5422 5422 4858 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 417957499 29731414016 65792 33554432000 4194304 4196468 140731399233392 140178145375632 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 Current children cumulated CPU time: 314.12 s Current children cumulated vsize: 29147712 KiB Current children cumulated memory: 264620 KiB [startup+46.4012 s] /proc/loadavg: 6.17 2.85 1.65 8/222 5597 /proc/meminfo: memFree=31362596/32770624 swapFree=67004224/67108860 [pid=5422] ppid=5419 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417954046 115843072 363 33554432000 4194304 5098028 140730319966864 140730319964968 140134259196540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15511552 140730319971190 140730319971433 140730319971433 140730319974346 0 /proc/5422/statm: 28282 363 304 221 0 87 0 [pid=5424] ppid=5422 vsize=29034584 memory=262228 CPUtime=316.84 cores=0-7 /proc/5424/stat : 5424 (java) S 5422 5422 4858 0 -1 1077944320 156831 0 0 0 31607 77 0 0 20 0 28 0 417954046 29731414016 65557 33554432000 4194304 4196468 140731399233392 140731399215936 140180112506615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 /proc/5424/statm: 7258646 65557 3549 1 0 7219748 0 [pid=5424/tid=5425] ppid=5422 vsize=29034584 memory=984 CPUtime=0.8 cores=0-7 /proc/5424/task/5425/stat : 5425 (java) S 5422 5422 4858 0 -1 1077944384 10741 0 0 0 75 5 0 0 20 0 28 0 417954047 29731414016 65557 33554432000 4194304 4196468 140731399233392 140180116747392 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5426] ppid=5422 vsize=29034584 memory=1940 CPUtime=0.2 cores=0-7 /proc/5424/task/5426/stat : 5426 (java) S 5422 5422 4858 0 -1 1077944384 2798 0 0 0 18 2 0 0 20 0 28 0 417954048 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179664342160 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5427] ppid=5422 vsize=29034584 memory=1416 CPUtime=0.22 cores=0-7 /proc/5424/task/5427/stat : 5427 (java) S 5422 5422 4858 0 -1 1077944384 1718 0 0 0 20 2 0 0 20 0 28 0 417954048 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179663289360 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5428] ppid=5422 vsize=29034584 memory=1556 CPUtime=0.21 cores=0-7 /proc/5424/task/5428/stat : 5428 (java) S 5422 5422 4858 0 -1 1077944384 1196 0 0 0 19 2 0 0 20 0 28 0 417954048 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179662236560 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5429] ppid=5422 vsize=29034584 memory=740 CPUtime=0.19 cores=0-7 /proc/5424/task/5429/stat : 5429 (java) S 5422 5422 4858 0 -1 1077944384 2109 0 0 0 17 2 0 0 20 0 28 0 417954048 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179661183760 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5430] ppid=5422 vsize=29034584 memory=1052 CPUtime=0.23 cores=0-7 /proc/5424/task/5430/stat : 5430 (java) S 5422 5422 4858 0 -1 1077944384 1998 0 0 0 20 3 0 0 20 0 28 0 417954048 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179660130960 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5431] ppid=5422 vsize=29034584 memory=7548 CPUtime=0.21 cores=0-7 /proc/5424/task/5431/stat : 5431 (java) S 5422 5422 4858 0 -1 1077944384 763 0 0 0 19 2 0 0 20 0 28 0 417954048 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179659078160 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5432] ppid=5422 vsize=29034584 memory=4004 CPUtime=0.21 cores=0-7 /proc/5424/task/5432/stat : 5432 (java) S 5422 5422 4858 0 -1 1077944384 1758 0 0 0 18 3 0 0 20 0 28 0 417954048 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179658025360 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5433] ppid=5422 vsize=29034584 memory=2832 CPUtime=0.2 cores=0-7 /proc/5424/task/5433/stat : 5433 (java) S 5422 5422 4858 0 -1 1077944384 665 0 0 0 18 2 0 0 20 0 28 0 417954048 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179656972560 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5434] ppid=5422 vsize=29034584 memory=776 CPUtime=0.1 cores=0-7 /proc/5424/task/5434/stat : 5434 (java) S 5422 5422 4858 0 -1 1077944384 4353 0 0 0 8 2 0 0 20 0 28 0 417954049 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179613551472 140180112517762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5435] ppid=5422 vsize=29034584 memory=1452 CPUtime=0 cores=0-7 /proc/5424/task/5435/stat : 5435 (java) S 5422 5422 4858 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 28 0 417954050 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179227665952 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5436] ppid=5422 vsize=29034584 memory=263168 CPUtime=0 cores=0-7 /proc/5424/task/5436/stat : 5436 (java) S 5422 5422 4858 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 417954050 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179226613104 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5437] ppid=5422 vsize=29034584 memory=4104 CPUtime=0 cores=0-7 /proc/5424/task/5437/stat : 5437 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417954052 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179225561424 140180112525211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5438] ppid=5422 vsize=29034584 memory=1412 CPUtime=5.71 cores=0-7 /proc/5424/task/5438/stat : 5438 (java) S 5422 5422 4858 0 -1 1077944384 31175 0 0 0 564 7 0 0 20 0 28 0 417954052 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179224508784 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5439] ppid=5422 vsize=29034584 memory=3384 CPUtime=5.46 cores=0-7 /proc/5424/task/5439/stat : 5439 (java) S 5422 5422 4858 0 -1 1077944384 22887 0 0 0 541 5 0 0 20 0 28 0 417954052 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179223455984 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5440] ppid=5422 vsize=29034584 memory=1452 CPUtime=5.3 cores=0-7 /proc/5424/task/5440/stat : 5440 (java) S 5422 5422 4858 0 -1 1077944384 28246 0 0 0 524 6 0 0 20 0 28 0 417954052 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179222403184 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5441] ppid=5422 vsize=29034584 memory=261636 CPUtime=1.32 cores=0-7 /proc/5424/task/5441/stat : 5441 (java) S 5422 5422 4858 0 -1 1077944384 19737 0 0 0 128 4 0 0 20 0 28 0 417954052 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179221350384 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5442] ppid=5422 vsize=29034584 memory=1692 CPUtime=0 cores=0-7 /proc/5424/task/5442/stat : 5442 (java) S 5422 5422 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417954052 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179220298848 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5443] ppid=5422 vsize=29034584 memory=792 CPUtime=0.01 cores=0-7 /proc/5424/task/5443/stat : 5443 (java) S 5422 5422 4858 0 -1 1077944384 1631 0 0 0 0 1 0 0 20 0 28 0 417954053 29731414016 65557 33554432000 4194304 4196468 140731399233392 140179219246128 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5588] ppid=5422 vsize=29034584 memory=1448 CPUtime=11.76 cores=0-7 /proc/5424/task/5588/stat : 5588 (java) R 5422 5422 4858 0 -1 4202560 392 0 0 0 1176 0 0 0 20 0 28 0 417957498 29731414016 65557 33554432000 4194304 4196468 140731399233392 140178150636616 140179756164579 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5589] ppid=5422 vsize=29034584 memory=1964 CPUtime=11.74 cores=0-7 /proc/5424/task/5589/stat : 5589 (java) R 5422 5422 4858 0 -1 4202560 486 0 0 0 1174 0 0 0 20 0 28 0 417957498 29731414016 65557 33554432000 4194304 4196468 140731399233392 140178151686920 140180096845491 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5590] ppid=5422 vsize=29034584 memory=2456 CPUtime=11.74 cores=0-7 /proc/5424/task/5590/stat : 5590 (java) R 5422 5422 4858 0 -1 4202560 1759 0 0 0 1173 1 0 0 20 0 28 0 417957498 29731414016 65557 33554432000 4194304 4196468 140731399233392 140178148528280 140179762844428 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5591] ppid=5422 vsize=29034584 memory=1760 CPUtime=11.75 cores=0-7 /proc/5424/task/5591/stat : 5591 (java) R 5422 5422 4858 0 -1 4202560 632 0 0 0 1175 0 0 0 20 0 28 0 417957498 29731414016 65557 33554432000 4194304 4196468 140731399233392 140178147475160 140180097716570 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5592] ppid=5422 vsize=29034584 memory=111632 CPUtime=11.68 cores=0-7 /proc/5424/task/5592/stat : 5592 (java) R 5422 5422 4858 0 -1 4202560 983 0 0 0 1168 0 0 0 20 0 28 0 417957498 29731414016 65557 33554432000 4194304 4196468 140731399233392 140178152741152 140179763639264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5593] ppid=5422 vsize=29034584 memory=804 CPUtime=11.75 cores=0-7 /proc/5424/task/5593/stat : 5593 (java) R 5422 5422 4858 0 -1 4202560 365 0 0 0 1175 0 0 0 20 0 28 0 417957498 29731414016 65557 33554432000 4194304 4196468 140731399233392 140178143264904 140179756220429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5594] ppid=5422 vsize=29034584 memory=1724 CPUtime=11.72 cores=0-7 /proc/5424/task/5594/stat : 5594 (java) R 5422 5422 4858 0 -1 4202560 197 0 0 0 1172 0 0 0 20 0 28 0 417957498 29731414016 65557 33554432000 4194304 4196468 140731399233392 140178140979264 140179765202019 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5595] ppid=5422 vsize=29034584 memory=8317482817917895235 CPUtime=0 cores=0-7 /proc/5424/task/5595/stat : 5595 (java) S 5422 5422 4858 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 417957499 29731414016 65557 33554432000 4194304 4196468 140731399233392 140178145375632 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 Current children cumulated CPU time: 316.84 s Current children cumulated vsize: 29147712 KiB Current children cumulated memory: 263680 KiB [startup+46.5012 s] /proc/loadavg: 6.17 2.85 1.65 8/222 5597 /proc/meminfo: memFree=31362596/32770624 swapFree=67004224/67108860 [pid=5422] ppid=5419 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5422/stat : 5422 (xcsp3-exec) S 5419 5422 4858 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417954046 115843072 363 33554432000 4194304 5098028 140730319966864 140730319964968 140134259196540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15511552 140730319971190 140730319971433 140730319971433 140730319974346 0 /proc/5422/statm: 28282 363 304 221 0 87 0 [pid=5424] ppid=5422 vsize=29034584 memory=261716 CPUtime=317.53 cores=0-7 /proc/5424/stat : 5424 (java) S 5422 5422 4858 0 -1 1077944320 156905 0 0 0 31676 77 0 0 20 0 28 0 417954046 29731414016 65429 33554432000 4194304 4196468 140731399233392 140731399215936 140180112506615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 /proc/5424/statm: 7258646 65429 3549 1 0 7219748 0 [pid=5424/tid=5425] ppid=5422 vsize=29034584 memory=1452 CPUtime=0.8 cores=0-7 /proc/5424/task/5425/stat : 5425 (java) S 5422 5422 4858 0 -1 1077944384 10741 0 0 0 75 5 0 0 20 0 28 0 417954047 29731414016 65429 33554432000 4194304 4196468 140731399233392 140180116747392 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5426] ppid=5422 vsize=29034584 memory=262228 CPUtime=0.2 cores=0-7 /proc/5424/task/5426/stat : 5426 (java) S 5422 5422 4858 0 -1 1077944384 2801 0 0 0 18 2 0 0 20 0 28 0 417954048 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179664342160 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5427] ppid=5422 vsize=29034584 memory=1452 CPUtime=0.22 cores=0-7 /proc/5424/task/5427/stat : 5427 (java) S 5422 5422 4858 0 -1 1077944384 1737 0 0 0 20 2 0 0 20 0 28 0 417954048 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179663289360 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5428] ppid=5422 vsize=29034584 memory=47820165884796 CPUtime=0.21 cores=0-7 /proc/5424/task/5428/stat : 5428 (java) S 5422 5422 4858 0 -1 1077944384 1196 0 0 0 19 2 0 0 20 0 28 0 417954048 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179662236560 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5429] ppid=5422 vsize=29034584 memory=1452 CPUtime=0.19 cores=0-7 /proc/5424/task/5429/stat : 5429 (java) S 5422 5422 4858 0 -1 1077944384 2114 0 0 0 17 2 0 0 20 0 28 0 417954048 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179661183760 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5430] ppid=5422 vsize=29034584 memory=40220 CPUtime=0.23 cores=0-7 /proc/5424/task/5430/stat : 5430 (java) S 5422 5422 4858 0 -1 1077944384 1999 0 0 0 20 3 0 0 20 0 28 0 417954048 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179660130960 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5431] ppid=5422 vsize=29034584 memory=984 CPUtime=0.21 cores=0-7 /proc/5424/task/5431/stat : 5431 (java) S 5422 5422 4858 0 -1 1077944384 763 0 0 0 19 2 0 0 20 0 28 0 417954048 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179659078160 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5432] ppid=5422 vsize=29034584 memory=1160 CPUtime=0.22 cores=0-7 /proc/5424/task/5432/stat : 5432 (java) S 5422 5422 4858 0 -1 1077944384 1762 0 0 0 19 3 0 0 20 0 28 0 417954048 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179658025360 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5433] ppid=5422 vsize=29034584 memory=1720 CPUtime=0.2 cores=0-7 /proc/5424/task/5433/stat : 5433 (java) S 5422 5422 4858 0 -1 1077944384 667 0 0 0 18 2 0 0 20 0 28 0 417954048 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179656972560 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5434] ppid=5422 vsize=29034584 memory=0 CPUtime=0.1 cores=0-7 /proc/5424/task/5434/stat : 5434 (java) S 5422 5422 4858 0 -1 1077944384 4361 0 0 0 8 2 0 0 20 0 28 0 417954049 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179613551472 140180112517762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5435] ppid=5422 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5435/stat : 5435 (java) S 5422 5422 4858 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 28 0 417954050 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179227665952 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5436] ppid=5422 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5436/stat : 5436 (java) S 5422 5422 4858 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 417954050 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179226613104 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5437] ppid=5422 vsize=29034584 memory=0 CPUtime=0 cores=0-7 /proc/5424/task/5437/stat : 5437 (java) S 5422 5422 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417954052 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179225561424 140180112525211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5438] ppid=5422 vsize=29034584 memory=55 CPUtime=5.71 cores=0-7 /proc/5424/task/5438/stat : 5438 (java) S 5422 5422 4858 0 -1 1077944384 31175 0 0 0 564 7 0 0 20 0 28 0 417954052 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179224508784 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5439] ppid=5422 vsize=29034584 memory=14976676404658230 CPUtime=5.46 cores=0-7 /proc/5424/task/5439/stat : 5439 (java) S 5422 5422 4858 0 -1 1077944384 22887 0 0 0 541 5 0 0 20 0 28 0 417954052 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179223455984 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5440] ppid=5422 vsize=29034584 memory=1452 CPUtime=5.3 cores=0-7 /proc/5424/task/5440/stat : 5440 (java) S 5422 5422 4858 0 -1 1077944384 28246 0 0 0 524 6 0 0 20 0 28 0 417954052 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179222403184 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5441] ppid=5422 vsize=29034584 memory=278204 CPUtime=1.32 cores=0-7 /proc/5424/task/5441/stat : 5441 (java) S 5422 5422 4858 0 -1 1077944384 19737 0 0 0 128 4 0 0 20 0 28 0 417954052 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179221350384 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5442] ppid=5422 vsize=29034584 memory=2110146759441684 CPUtime=0 cores=0-7 /proc/5424/task/5442/stat : 5442 (java) S 5422 5422 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417954052 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179220298848 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5443] ppid=5422 vsize=29034584 memory=7449463451257734346 CPUtime=0.01 cores=0-7 /proc/5424/task/5443/stat : 5443 (java) S 5422 5422 4858 0 -1 1077944384 1631 0 0 0 0 1 0 0 20 0 28 0 417954053 29731414016 65429 33554432000 4194304 4196468 140731399233392 140179219246128 140180112517762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5588] ppid=5422 vsize=29034584 memory=279592305368592 CPUtime=11.85 cores=0-7 /proc/5424/task/5588/stat : 5588 (java) R 5422 5422 4858 0 -1 4202560 393 0 0 0 1185 0 0 0 20 0 28 0 417957498 29731414016 65429 33554432000 4194304 4196468 140731399233392 140178150635312 140179762199826 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5589] ppid=5422 vsize=29034584 memory=-7025452035942946156 CPUtime=11.84 cores=0-7 /proc/5424/task/5589/stat : 5589 (java) R 5422 5422 4858 0 -1 4202560 486 0 0 0 1184 0 0 0 20 0 28 0 417957498 29731414016 65429 33554432000 4194304 4196468 140731399233392 140178151686656 140179762924576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5590] ppid=5422 vsize=29034584 memory=1452 CPUtime=11.83 cores=0-7 /proc/5424/task/5590/stat : 5590 (java) R 5422 5422 4858 0 -1 4202560 1759 0 0 0 1182 1 0 0 20 0 28 0 417957498 29731414016 65429 33554432000 4194304 4196468 140731399233392 140178148528016 140179761199355 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5591] ppid=5422 vsize=29034584 memory=3588 CPUtime=11.85 cores=0-7 /proc/5424/task/5591/stat : 5591 (java) R 5422 5422 4858 0 -1 4202560 632 0 0 0 1185 0 0 0 20 0 28 0 417957498 29731414016 65429 33554432000 4194304 4196468 140731399233392 140178147475712 140179756135861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5592] ppid=5422 vsize=29034584 memory=40220 CPUtime=11.78 cores=0-7 /proc/5424/task/5592/stat : 5592 (java) R 5422 5422 4858 0 -1 4202560 1012 0 0 0 1178 0 0 0 20 0 28 0 417957498 29731414016 65429 33554432000 4194304 4196468 140731399233392 140178152738064 140179759558240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5593] ppid=5422 vsize=29034584 memory=1452 CPUtime=11.85 cores=0-7 /proc/5424/task/5593/stat : 5593 (java) R 5422 5422 4858 0 -1 4202560 366 0 0 0 1185 0 0 0 20 0 28 0 417957498 29731414016 65429 33554432000 4194304 4196468 140731399233392 140178143265016 140179756165076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5594] ppid=5422 vsize=29034584 memory=272236 CPUtime=11.81 cores=0-7 /proc/5424/task/5594/stat : 5594 (java) R 5422 5422 4858 0 -1 4202560 197 0 0 0 1181 0 0 0 20 0 28 0 417957498 29731414016 65429 33554432000 4194304 4196468 140731399233392 140178140979376 140179765201592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 [pid=5424/tid=5595] ppid=5422 vsize=29034584 memory=1560 CPUtime=0 cores=0-7 /proc/5424/task/5595/stat : 5595 (java) S 5422 5422 4858 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 417957499 29731414016 65429 33554432000 4194304 4196468 140731399233392 140178145375632 140180112516821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16982016 140731399238634 140731399238806 140731399238806 140731399241679 0 Current children cumulated CPU time: 317.53 s Current children cumulated vsize: 29147712 KiB Current children cumulated memory: 263168 KiB Child status: 0 Real time (s): 46.5584 CPU time (s): 317.85 CPU user time (s): 317.061 CPU system time (s): 0.788951 CPU usage (%): 682.691 Max. virtual memory (cumulated for all children) (KiB): 29147712 Max. memory (cumulated for all children) (KiB): 315212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 317.061 system time used= 0.788951 maximum resident set size= 314132 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 159344 page faults= 0 swaps= 0 block input operations= 0 block output operations= 264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11977 involuntary context switches= 3767 # summary of solver processes directly reported to runsolver: # pid: 5422 # total CPU time (s): 317.85 # total CPU user time (s): 317.061 # total CPU system time (s): 0.788951 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.454739 second user time and 0.523113 second system time The end
Begin job on node148 at 2019-09-14 01:38:08 IDJOB=4393824 IDBENCH=115814 IDSOLVER=2841 FILE ID=node148/4393824-1568417924 RUNJOBID= node148-1568417824-4885 PBS_JOBID= 21702282 Free space on /tmp= 61308 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-5.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-4393824-1568417924/watcher-4393824-1568417924 -o /tmp/evaluation-result-4393824-1568417924/solver-4393824-1568417924 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568417824-4885 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 755805994 HOME/instance-4393824-1568417924.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5197a9101df9cd680fadf9dcc86a0dcb RANDOM SEED=755805994 node148.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.13 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.13 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.13 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.13 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: 31611008 kB MemAvailable: 31910608 kB Buffers: 57656 kB Cached: 540260 kB SwapCached: 3820 kB Active: 376224 kB Inactive: 229408 kB Active(anon): 4588 kB Inactive(anon): 43732 kB Active(file): 371636 kB Inactive(file): 185676 kB Unevictable: 108956 kB Mlocked: 108956 kB SwapTotal: 67108860 kB SwapFree: 67004224 kB Dirty: 26116 kB Writeback: 0 kB AnonPages: 113052 kB Mapped: 44120 kB Shmem: 32344 kB Slab: 144676 kB SReclaimable: 116244 kB SUnreclaim: 28432 kB KernelStack: 3456 kB PageTables: 5916 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497484 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61284 MiB End job on node148 at 2019-09-14 01:38:54