Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 312 | 298.745 | 54.2346 |
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 | 31.7673 |
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-4394424-1568417972.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394424-1568417972.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.52/0.76 c solve instance... 1.96/0.86 o 404 2.57/0.91 o 381 2.57/0.95 o 369 3.26/1.04 o 364 3.90/1.12 o 359 3.90/1.13 o 355 9.28/2.05 o 354 9.28/2.06 o 349 11.06/2.33 o 348 12.32/2.70 o 338 12.32/2.71 o 337 16.06/3.22 o 333 17.33/3.44 o 332 18.72/3.69 o 329 21.63/4.07 o 327 25.55/4.91 o 325 30.05/6.63 o 324 30.50/6.87 o 323 32.04/7.16 o 322 33.60/7.67 o 321 43.10/9.10 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (24/28) 43.10/9.10 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 43.10/9.10 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 43.10/9.10 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 43.10/9.10 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 43.10/9.10 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 43.10/9.10 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (24/28) 43.10/9.10 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 43.10/9.10 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 43.10/9.10 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 43.10/9.10 at org.chocosolver.solver.Solver.repair(Solver.java:443) 43.10/9.10 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 43.10/9.10 at org.chocosolver.solver.Solver.solve(Solver.java:262) 43.10/9.10 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 43.10/9.10 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 43.10/9.10 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 43.10/9.10 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 43.10/9.10 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 43.10/9.10 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 43.10/9.10 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 43.10/9.10 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 43.10/9.10 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 43.10/9.10 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 43.10/9.10 o 318 60.98/11.45 o 317 68.18/13.84 o 316 118.38/21.22 o 315 130.85/29.13 o 314 250.32/46.29 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (42/71) 250.32/46.29 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 250.32/46.29 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 250.32/46.29 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 250.32/46.29 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 250.32/46.29 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 250.32/46.29 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (42/71) 250.32/46.29 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 250.32/46.29 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 250.32/46.29 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 250.32/46.29 at org.chocosolver.solver.Solver.repair(Solver.java:443) 250.32/46.29 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 250.32/46.29 at org.chocosolver.solver.Solver.solve(Solver.java:262) 250.32/46.29 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 250.32/46.29 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 250.32/46.29 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 250.32/46.29 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 250.32/46.29 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 250.32/46.29 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 250.32/46.29 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 250.32/46.29 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 250.32/46.29 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 250.32/46.29 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 250.32/46.29 o 313 260.60/48.31 java.util.concurrent.ExecutionException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 260.60/48.31 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 260.60/48.31 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 260.60/48.31 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 260.60/48.31 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 260.60/48.31 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 260.60/48.31 Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 260.60/48.31 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 260.60/48.31 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 260.60/48.31 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 260.60/48.31 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 260.60/48.31 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593) 260.60/48.31 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 260.60/48.31 ... 4 more 260.60/48.31 Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 260.60/48.31 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 260.60/48.31 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 260.60/48.31 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 260.60/48.31 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 260.60/48.31 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593) 260.60/48.31 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 260.60/48.31 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 260.60/48.31 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 260.60/48.31 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 260.60/48.31 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 260.60/48.31 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 260.60/48.31 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 260.60/48.31 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200) 260.60/48.31 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 260.60/48.31 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 260.60/48.31 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 260.60/48.31 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 260.60/48.31 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 260.60/48.32 Caused by: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision. 260.60/48.32 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:107) 260.60/48.32 at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65) 260.60/48.32 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141) 260.60/48.32 at org.chocosolver.solver.Solver.restart(Solver.java:596) 260.60/48.32 at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135) 260.60/48.32 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:84) 260.60/48.32 at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82) 260.60/48.32 at org.chocosolver.solver.Solver.extend(Solver.java:421) 260.60/48.32 at org.chocosolver.solver.Solver.searchLoop(Solver.java:297) 260.60/48.32 at org.chocosolver.solver.Solver.solve(Solver.java:262) 260.60/48.32 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 260.60/48.32 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 260.60/48.32 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 260.60/48.32 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 260.60/48.32 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 260.60/48.32 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 260.60/48.32 ... 4 more 260.60/48.32 o 312 298.62/54.21 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (38/48) 298.62/54.21 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 298.62/54.21 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 298.62/54.21 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 298.62/54.21 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 298.62/54.21 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 298.62/54.21 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (38/48) 298.62/54.21 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 298.62/54.21 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 298.62/54.21 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 298.62/54.21 at org.chocosolver.solver.Solver.repair(Solver.java:443) 298.62/54.21 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 298.62/54.21 at org.chocosolver.solver.Solver.solve(Solver.java:262) 298.62/54.21 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 298.62/54.21 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 298.62/54.21 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 298.62/54.21 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 298.62/54.21 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 298.62/54.21 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 298.62/54.21 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 298.62/54.21 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 298.62/54.21 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 298.62/54.21 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 298.62/54.21 s OPTIMUM FOUND 298.62/54.21 v <instantiation> 298.62/54.21 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> 298.62/54.21 v <values>12 99 192 207 252 51 133 198 210 306 5 66 142 192 225 0 62 140 225 257 3 61 98 132 214 312 312 306 312 312 86 93 5 41 60 81 63 4 96 6 46 62 50 17 81 61 78 85 26 55 56 37 34 82 98 3 0 4 1 2 2 1 4 0 3 2 1 4 0 3 0 4 3 2 1 1 0 3 2 4 99 207 252 12 192 210 133 51 306 198 192 66 5 225 142 0 257 225 140 62 61 3 132 98 214 </values> 298.62/54.21 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 (15150 MiB free) memory of node 1: 16384 MiB (15720 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394424-1568417972/watcher-4394424-1568417972 -o /tmp/evaluation-result-4394424-1568417972/solver-4394424-1568417972 -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 594423757 HOME/instance-4394424-1568417972.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=5670, runsolver pid=5667 Current StackSize limit: 8192 KiB [startup+0.100113 s]* /proc/loadavg: 6.17 2.85 1.65 2/213 5691 /proc/meminfo: memFree=31596244/32770624 swapFree=67004224/67108860 [pid=5670] ppid=5667 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5670/stat : 5670 (xcsp3-exec) S 5667 5670 4858 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417958792 115843072 364 33554432000 4194304 5098028 140732095285088 140732095283192 140167614898812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26853376 140732095288182 140732095288425 140732095288425 140732095291338 0 /proc/5670/statm: 28282 364 305 221 0 87 0 [pid=5672] ppid=5670 vsize=28227388 memory=28900 CPUtime=0.12 cores=0-7 /proc/5672/stat : 5672 (java) S 5670 5670 4858 0 -1 1077944320 5690 0 0 0 10 2 0 0 20 0 20 0 417958792 28904845312 7225 33554432000 4194304 4196468 140731801054944 140731801037488 140186340462327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 /proc/5672/statm: 7056847 7225 3119 1 0 7019032 0 [pid=5672/tid=5673] ppid=5670 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/5672/task/5673/stat : 5673 (java) R 5670 5670 4858 0 -1 4202560 3602 0 0 0 8 1 0 0 20 0 20 0 417958792 28904845312 7225 33554432000 4194304 4196468 140731801054944 140186344696864 140186340474262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5674] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5674/stat : 5674 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 7225 33554432000 4194304 4196468 140731801054944 140186260315280 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5675] ppid=5670 vsize=28227388 memory=15121216061585048 CPUtime=0 cores=0-7 /proc/5672/task/5675/stat : 5675 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 7225 33554432000 4194304 4196468 140731801054944 140186259262480 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5676] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5676/stat : 5676 (java) S 5670 5670 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 7225 33554432000 4194304 4196468 140731801054944 140186258209680 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5677] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5677/stat : 5677 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 7225 33554432000 4194304 4196468 140731801054944 140185888217872 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5678] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5678/stat : 5678 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 7225 33554432000 4194304 4196468 140731801054944 140185887165072 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5679] ppid=5670 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5672/task/5679/stat : 5679 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 7225 33554432000 4194304 4196468 140731801054944 140185886112272 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5680] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5680/stat : 5680 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 7225 33554432000 4194304 4196468 140731801054944 140185885059472 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5681] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5681/stat : 5681 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 7225 33554432000 4194304 4196468 140731801054944 140185884006672 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5682] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5682/stat : 5682 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958795 28904845312 7225 33554432000 4194304 4196468 140731801054944 140185005890416 140186340473474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5683] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5683/stat : 5683 (java) S 5670 5670 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417958795 28904845312 7225 33554432000 4194304 4196468 140731801054944 140185004836384 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5684] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5684/stat : 5684 (java) S 5670 5670 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417958795 28904845312 7225 33554432000 4194304 4196468 140731801054944 140185003783536 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5685] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5685/stat : 5685 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958798 28904845312 7225 33554432000 4194304 4196468 140731801054944 140185002731856 140186340480923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5686] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5686/stat : 5686 (java) S 5670 5670 4858 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 417958798 28904845312 7225 33554432000 4194304 4196468 140731801054944 140185001679216 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5687] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5687/stat : 5687 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958798 28904845312 7225 33554432000 4194304 4196468 140731801054944 140185000626416 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5688] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5688/stat : 5688 (java) S 5670 5670 4858 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 417958798 28904845312 7225 33554432000 4194304 4196468 140731801054944 140184999573616 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5689] ppid=5670 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/5672/task/5689/stat : 5689 (java) R 5670 5670 4858 0 -1 4202560 336 0 0 0 1 0 0 0 20 0 20 0 417958798 28904845312 7225 33554432000 4194304 4196468 140731801054944 140184998520816 140186319798081 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5690] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5690/stat : 5690 (java) S 5670 5670 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958798 28904845312 7225 33554432000 4194304 4196468 140731801054944 140184997469280 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5691] ppid=5670 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5672/task/5691/stat : 5691 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958798 28904845312 7225 33554432000 4194304 4196468 140731801054944 140184996416560 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30356 KiB [startup+0.210484 s]* /proc/loadavg: 6.17 2.85 1.65 2/213 5691 /proc/meminfo: memFree=31582560/32770624 swapFree=67004224/67108860 [pid=5670] ppid=5667 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5670/stat : 5670 (xcsp3-exec) S 5667 5670 4858 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417958792 115843072 364 33554432000 4194304 5098028 140732095285088 140732095283192 140167614898812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26853376 140732095288182 140732095288425 140732095288425 140732095291338 0 /proc/5670/statm: 28282 364 305 221 0 87 0 [pid=5672] ppid=5670 vsize=28227388 memory=41028 CPUtime=0.33 cores=0-7 /proc/5672/stat : 5672 (java) S 5670 5670 4858 0 -1 1077944320 9513 0 0 0 30 3 0 0 20 0 20 0 417958792 28904845312 10257 33554432000 4194304 4196468 140731801054944 140731801037488 140186340462327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 /proc/5672/statm: 7056847 10257 3277 1 0 7019032 0 [pid=5672/tid=5673] ppid=5670 vsize=28227388 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/5672/task/5673/stat : 5673 (java) R 5670 5670 4858 0 -1 4202560 6631 0 0 0 17 2 0 0 20 0 20 0 417958792 28904845312 10257 33554432000 4194304 4196468 140731801054944 140186344692048 140186340474262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5674] ppid=5670 vsize=28227388 memory=14965 CPUtime=0 cores=0-7 /proc/5672/task/5674/stat : 5674 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 10257 33554432000 4194304 4196468 140731801054944 140186260315280 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5675] ppid=5670 vsize=28227388 memory=140163085258147 CPUtime=0 cores=0-7 /proc/5672/task/5675/stat : 5675 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 10257 33554432000 4194304 4196468 140731801054944 140186259262480 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5676] ppid=5670 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5672/task/5676/stat : 5676 (java) S 5670 5670 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 10257 33554432000 4194304 4196468 140731801054944 140186258209680 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5677] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5677/stat : 5677 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 10257 33554432000 4194304 4196468 140731801054944 140185888217872 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5678] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5678/stat : 5678 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 10257 33554432000 4194304 4196468 140731801054944 140185887165072 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5679] ppid=5670 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5672/task/5679/stat : 5679 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 10257 33554432000 4194304 4196468 140731801054944 140185886112272 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5680] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5680/stat : 5680 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 10257 33554432000 4194304 4196468 140731801054944 140185885059472 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5681] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5681/stat : 5681 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28904845312 10257 33554432000 4194304 4196468 140731801054944 140185884006672 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5682] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5682/stat : 5682 (java) S 5670 5670 4858 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417958795 28904845312 10257 33554432000 4194304 4196468 140731801054944 140185005890416 140186340473474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5683] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5683/stat : 5683 (java) S 5670 5670 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417958795 28904845312 10257 33554432000 4194304 4196468 140731801054944 140185004836384 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5684] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5684/stat : 5684 (java) S 5670 5670 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417958795 28904845312 10257 33554432000 4194304 4196468 140731801054944 140185003783536 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5685] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5685/stat : 5685 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958798 28904845312 10257 33554432000 4194304 4196468 140731801054944 140185002731856 140186340480923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5686] ppid=5670 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/5672/task/5686/stat : 5686 (java) S 5670 5670 4858 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 20 0 417958798 28904845312 10257 33554432000 4194304 4196468 140731801054944 140185001679216 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5687] ppid=5670 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/5672/task/5687/stat : 5687 (java) S 5670 5670 4858 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 20 0 417958798 28904845312 10257 33554432000 4194304 4196468 140731801054944 140185000626416 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5688] ppid=5670 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/5672/task/5688/stat : 5688 (java) S 5670 5670 4858 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 20 0 417958798 28904845312 10257 33554432000 4194304 4196468 140731801054944 140184999573616 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5689] ppid=5670 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/5672/task/5689/stat : 5689 (java) R 5670 5670 4858 0 -1 4202560 772 0 0 0 7 0 0 0 20 0 20 0 417958798 28904845312 10257 33554432000 4194304 4196468 140731801054944 140184998520624 140186321227535 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5690] ppid=5670 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5690/stat : 5690 (java) S 5670 5670 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958798 28904845312 10257 33554432000 4194304 4196468 140731801054944 140184997469280 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5691] ppid=5670 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5672/task/5691/stat : 5691 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958798 28904845312 10257 33554432000 4194304 4196468 140731801054944 140184996416560 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42484 KiB [startup+0.309901 s]* /proc/loadavg: 6.17 2.85 1.65 5/213 5691 /proc/meminfo: memFree=31575028/32770624 swapFree=67004224/67108860 [pid=5670] ppid=5667 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5670/stat : 5670 (xcsp3-exec) S 5667 5670 4858 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417958792 115843072 364 33554432000 4194304 5098028 140732095285088 140732095283192 140167614898812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26853376 140732095288182 140732095288425 140732095288425 140732095291338 0 /proc/5670/statm: 28282 364 305 221 0 87 0 [pid=5672] ppid=5670 vsize=28231644 memory=49896 CPUtime=0.52 cores=0-7 /proc/5672/stat : 5672 (java) S 5670 5670 4858 0 -1 1077944320 10868 0 0 0 48 4 0 0 20 0 20 0 417958792 28909203456 12474 33554432000 4194304 4196468 140731801054944 140731801037488 140186340462327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 /proc/5672/statm: 7057911 12474 3324 1 0 7019032 0 [pid=5672/tid=5673] ppid=5670 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/5672/task/5673/stat : 5673 (java) R 5670 5670 4858 0 -1 4202560 7763 0 0 0 27 3 0 0 20 0 20 0 417958792 28909203456 12503 33554432000 4194304 4196468 140731801054944 140186344693440 140186340484253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5674] ppid=5670 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5674/stat : 5674 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28909203456 12503 33554432000 4194304 4196468 140731801054944 140186260315280 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5675] ppid=5670 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5675/stat : 5675 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958793 28909203456 12503 33554432000 4194304 4196468 140731801054944 140186259262480 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5676] ppid=5670 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5676/stat : 5676 (java) S 5670 5670 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958793 28909203456 12503 33554432000 4194304 4196468 140731801054944 140186258209680 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5677] ppid=5670 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5677/stat : 5677 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28909203456 12503 33554432000 4194304 4196468 140731801054944 140185888217872 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5678] ppid=5670 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5678/stat : 5678 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958793 28909203456 12503 33554432000 4194304 4196468 140731801054944 140185887165072 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5679] ppid=5670 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5679/stat : 5679 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28909203456 12503 33554432000 4194304 4196468 140731801054944 140185886112272 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5680] ppid=5670 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5680/stat : 5680 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28909203456 12503 33554432000 4194304 4196468 140731801054944 140185885059472 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5681] ppid=5670 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5681/stat : 5681 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28909203456 12503 33554432000 4194304 4196468 140731801054944 140185884006672 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5682] ppid=5670 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5682/stat : 5682 (java) S 5670 5670 4858 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417958795 28909203456 12503 33554432000 4194304 4196468 140731801054944 140185005890416 140186340473474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5683] ppid=5670 vsize=28231644 memory=280325938945408 CPUtime=0 cores=0-7 /proc/5672/task/5683/stat : 5683 (java) S 5670 5670 4858 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417958795 28909203456 12503 33554432000 4194304 4196468 140731801054944 140185004836384 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5684] ppid=5670 vsize=28231644 memory=280325938950016 CPUtime=0 cores=0-7 /proc/5672/task/5684/stat : 5684 (java) S 5670 5670 4858 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417958795 28909203456 12503 33554432000 4194304 4196468 140731801054944 140185003783536 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5685] ppid=5670 vsize=28231644 memory=280325938954624 CPUtime=0 cores=0-7 /proc/5672/task/5685/stat : 5685 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958798 28909203456 12503 33554432000 4194304 4196468 140731801054944 140185002731856 140186340480923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5686] ppid=5670 vsize=28231644 memory=280325938959232 CPUtime=0.03 cores=0-7 /proc/5672/task/5686/stat : 5686 (java) R 5670 5670 4858 0 -1 4202560 524 0 0 0 3 0 0 0 20 0 20 0 417958798 28909203456 12503 33554432000 4194304 4196468 140731801054944 140185001669600 140186321984565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5687] ppid=5670 vsize=28231644 memory=280325938963840 CPUtime=0.03 cores=0-7 /proc/5672/task/5687/stat : 5687 (java) S 5670 5670 4858 0 -1 1077944384 249 0 0 0 3 0 0 0 20 0 20 0 417958798 28909203456 12503 33554432000 4194304 4196468 140731801054944 140185000626416 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5688] ppid=5670 vsize=28231644 memory=280325938968448 CPUtime=0.02 cores=0-7 /proc/5672/task/5688/stat : 5688 (java) S 5670 5670 4858 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 20 0 417958798 28909203456 12503 33554432000 4194304 4196468 140731801054944 140184999573616 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5689] ppid=5670 vsize=28231644 memory=280325938973056 CPUtime=0.12 cores=0-7 /proc/5672/task/5689/stat : 5689 (java) S 5670 5670 4858 0 -1 1077944384 874 0 0 0 12 0 0 0 20 0 20 0 417958798 28909203456 12503 33554432000 4194304 4196468 140731801054944 140184998520816 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5690] ppid=5670 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5690/stat : 5690 (java) S 5670 5670 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958798 28909203456 12503 33554432000 4194304 4196468 140731801054944 140184997469280 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5691] ppid=5670 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/5672/task/5691/stat : 5691 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958798 28909203456 12503 33554432000 4194304 4196468 140731801054944 140184996416560 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51352 KiB [startup+0.700883 s] /proc/loadavg: 6.17 2.85 1.65 6/213 5691 /proc/meminfo: memFree=31560580/32770624 swapFree=67004224/67108860 [pid=5670] ppid=5667 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5670/stat : 5670 (xcsp3-exec) S 5667 5670 4858 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417958792 115843072 364 33554432000 4194304 5098028 140732095285088 140732095283192 140167614898812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26853376 140732095288182 140732095288425 140732095288425 140732095291338 0 /proc/5670/statm: 28282 364 305 221 0 87 0 [pid=5672] ppid=5670 vsize=28233768 memory=81732 CPUtime=1.52 cores=0-7 /proc/5672/stat : 5672 (java) S 5670 5670 4858 0 -1 1077944320 14688 0 0 0 146 6 0 0 20 0 20 0 417958792 28911378432 20433 33554432000 4194304 4196468 140731801054944 140731801037488 140186340462327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 /proc/5672/statm: 7058442 20433 3447 1 0 7019544 0 [pid=5672/tid=5673] ppid=5670 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/5672/task/5673/stat : 5673 (java) R 5670 5670 4858 0 -1 4202560 9406 0 0 0 63 4 0 0 20 0 20 0 417958792 28911378432 20433 33554432000 4194304 4196468 140731801054944 140186344695072 140186340474262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5674] ppid=5670 vsize=28233768 memory=140162969674624 CPUtime=0 cores=0-7 /proc/5672/task/5674/stat : 5674 (java) S 5670 5670 4858 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417958793 28911378432 20433 33554432000 4194304 4196468 140731801054944 140186260315280 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5675] ppid=5670 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5675/stat : 5675 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417958793 28911378432 20433 33554432000 4194304 4196468 140731801054944 140186259262480 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5676] ppid=5670 vsize=28233768 memory=1052 CPUtime=0 cores=0-7 /proc/5672/task/5676/stat : 5676 (java) S 5670 5670 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417958793 28911378432 20433 33554432000 4194304 4196468 140731801054944 140186258209680 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 ################ # More data... # ################ [pid=5672/tid=5689] ppid=5670 vsize=28901456 memory=280325939047968 CPUtime=1.27 cores=0-7 /proc/5672/task/5689/stat : 5689 (java) S 5670 5670 4858 0 -1 1077944384 11779 0 0 0 124 3 0 0 20 0 28 0 417958798 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184998520816 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5690] ppid=5670 vsize=28901456 memory=7100839861465685612 CPUtime=0 cores=0-7 /proc/5672/task/5690/stat : 5690 (java) S 5670 5670 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417958798 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184997469280 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5691] ppid=5670 vsize=28901456 memory=-7175204567652784766 CPUtime=0.02 cores=0-7 /proc/5672/task/5691/stat : 5691 (java) S 5670 5670 4858 0 -1 1077944384 2660 0 0 0 1 1 0 0 20 0 28 0 417958798 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184996416560 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5912] ppid=5670 vsize=28901456 memory=3054156605268465310 CPUtime=5.23 cores=0-7 /proc/5672/task/5912/stat : 5912 (java) R 5670 5670 4858 0 -1 4202560 206 0 0 0 523 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184985107736 140185942934502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5913] ppid=5670 vsize=28901456 memory=984 CPUtime=5.26 cores=0-7 /proc/5672/task/5913/stat : 5913 (java) R 5670 5670 4858 0 -1 4202560 137 0 0 0 526 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184642364184 140186321305283 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5914] ppid=5670 vsize=28901456 memory=1940 CPUtime=5.26 cores=0-7 /proc/5672/task/5914/stat : 5914 (java) R 5670 5670 4858 0 -1 4202560 182 0 0 0 526 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184645521408 140185947038826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5915] ppid=5670 vsize=28901456 memory=1416 CPUtime=5.25 cores=0-7 /proc/5672/task/5915/stat : 5915 (java) R 5670 5670 4858 0 -1 4202560 425 0 0 0 525 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184639205384 140185950111730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5916] ppid=5670 vsize=28901456 memory=1556 CPUtime=5.25 cores=0-7 /proc/5672/task/5916/stat : 5916 (java) R 5670 5670 4858 0 -1 4202560 189 0 0 0 525 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184641313280 140185945562150 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5917] ppid=5670 vsize=28901456 memory=280325940730496 CPUtime=5.26 cores=0-7 /proc/5672/task/5917/stat : 5917 (java) R 5670 5670 4858 0 -1 4202560 94 0 0 0 526 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184640257408 140185947883796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5918] ppid=5670 vsize=28901456 memory=6656426216303648864 CPUtime=0.02 cores=0-7 /proc/5672/task/5918/stat : 5918 (java) S 5670 5670 4858 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184643421808 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5919] ppid=5670 vsize=28901456 memory=0 CPUtime=0 cores=0-7 /proc/5672/task/5919/stat : 5919 (java) S 5670 5670 4858 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 417963625 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184644474352 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 Current children cumulated CPU time: 295.03 s Current children cumulated vsize: 29014584 KiB Current children cumulated memory: 397760 KiB [startup+54.0011 s]* /proc/loadavg: 5.12 3.14 1.83 7/221 5919 /proc/meminfo: memFree=31228368/32770624 swapFree=67004224/67108860 [pid=5670] ppid=5667 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5670/stat : 5670 (xcsp3-exec) S 5667 5670 4858 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417958792 115843072 364 33554432000 4194304 5098028 140732095285088 140732095283192 140167614898812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26853376 140732095288182 140732095288425 140732095288425 140732095291338 0 /proc/5670/statm: 28282 364 305 221 0 87 0 [pid=5672] ppid=5670 vsize=28901456 memory=396304 CPUtime=297.48 cores=0-7 /proc/5672/stat : 5672 (java) S 5670 5670 4858 0 -1 1077944320 125114 0 0 0 29675 73 0 0 20 0 28 0 417958792 29595090944 99076 33554432000 4194304 4196468 140731801054944 140731801037488 140186340462327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 /proc/5672/statm: 7225364 99076 3549 1 0 7186466 0 [pid=5672/tid=5673] ppid=5670 vsize=28901456 memory=8317482817917895235 CPUtime=0.78 cores=0-7 /proc/5672/task/5673/stat : 5673 (java) S 5670 5670 4858 0 -1 1077944384 11009 0 0 0 73 5 0 0 20 0 28 0 417958792 29595090944 99076 33554432000 4194304 4196468 140731801054944 140186344703104 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5674] ppid=5670 vsize=28901456 memory=6655300316396806240 CPUtime=0.11 cores=0-7 /proc/5672/task/5674/stat : 5674 (java) S 5670 5670 4858 0 -1 1077944384 1088 0 0 0 9 2 0 0 20 0 28 0 417958793 29595090944 99076 33554432000 4194304 4196468 140731801054944 140186260315280 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5675] ppid=5670 vsize=28901456 memory=6944656592455360604 CPUtime=0.12 cores=0-7 /proc/5672/task/5675/stat : 5675 (java) S 5670 5670 4858 0 -1 1077944384 889 0 0 0 10 2 0 0 20 0 28 0 417958793 29595090944 99076 33554432000 4194304 4196468 140731801054944 140186259262480 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5676] ppid=5670 vsize=28901456 memory=6944656575208382560 CPUtime=0.13 cores=0-7 /proc/5672/task/5676/stat : 5676 (java) S 5670 5670 4858 0 -1 1077944384 797 0 0 0 10 3 0 0 20 0 28 0 417958793 29595090944 99076 33554432000 4194304 4196468 140731801054944 140186258209680 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5677] ppid=5670 vsize=28901456 memory=6656426216303648864 CPUtime=0.13 cores=0-7 /proc/5672/task/5677/stat : 5677 (java) S 5670 5670 4858 0 -1 1077944384 356 0 0 0 10 3 0 0 20 0 28 0 417958793 29595090944 99076 33554432000 4194304 4196468 140731801054944 140185888217872 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5678] ppid=5670 vsize=28901456 memory=6944656592455359580 CPUtime=0.1 cores=0-7 /proc/5672/task/5678/stat : 5678 (java) S 5670 5670 4858 0 -1 1077944384 1487 0 0 0 8 2 0 0 20 0 28 0 417958793 29595090944 99076 33554432000 4194304 4196468 140731801054944 140185887165072 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5679] ppid=5670 vsize=28901456 memory=6944652177228980320 CPUtime=0.14 cores=0-7 /proc/5672/task/5679/stat : 5679 (java) S 5670 5670 4858 0 -1 1077944384 1194 0 0 0 11 3 0 0 20 0 28 0 417958793 29595090944 99076 33554432000 4194304 4196468 140731801054944 140185886112272 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5680] ppid=5670 vsize=28901456 memory=6944656592455359580 CPUtime=0.14 cores=0-7 /proc/5672/task/5680/stat : 5680 (java) S 5670 5670 4858 0 -1 1077944384 1744 0 0 0 10 4 0 0 20 0 28 0 417958793 29595090944 99076 33554432000 4194304 4196468 140731801054944 140185885059472 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5681] ppid=5670 vsize=28901456 memory=6944656592455360604 CPUtime=0.13 cores=0-7 /proc/5672/task/5681/stat : 5681 (java) S 5670 5670 4858 0 -1 1077944384 1160 0 0 0 10 3 0 0 20 0 28 0 417958793 29595090944 99076 33554432000 4194304 4196468 140731801054944 140185884006672 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5682] ppid=5670 vsize=28901456 memory=6944656592455359580 CPUtime=0.05 cores=0-7 /proc/5672/task/5682/stat : 5682 (java) S 5670 5670 4858 0 -1 1077944384 3410 0 0 0 5 0 0 0 20 0 28 0 417958795 29595090944 99076 33554432000 4194304 4196468 140731801054944 140185005890416 140186340473474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5683] ppid=5670 vsize=28901456 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/5672/task/5683/stat : 5683 (java) S 5670 5670 4858 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 417958795 29595090944 99076 33554432000 4194304 4196468 140731801054944 140185004836384 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5684] ppid=5670 vsize=28901456 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/5672/task/5684/stat : 5684 (java) S 5670 5670 4858 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 417958795 29595090944 99076 33554432000 4194304 4196468 140731801054944 140185003783536 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5685] ppid=5670 vsize=28901456 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/5672/task/5685/stat : 5685 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417958798 29595090944 99076 33554432000 4194304 4196468 140731801054944 140185002731856 140186340480923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5686] ppid=5670 vsize=28901456 memory=6944656592455097440 CPUtime=4.2 cores=0-7 /proc/5672/task/5686/stat : 5686 (java) S 5670 5670 4858 0 -1 1077944384 22142 0 0 0 414 6 0 0 20 0 28 0 417958798 29595090944 99076 33554432000 4194304 4196468 140731801054944 140185001679216 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5687] ppid=5670 vsize=28901456 memory=6655300316396806240 CPUtime=4.1 cores=0-7 /proc/5672/task/5687/stat : 5687 (java) S 5670 5670 4858 0 -1 1077944384 20137 0 0 0 405 5 0 0 20 0 28 0 417958798 29595090944 99076 33554432000 4194304 4196468 140731801054944 140185000626416 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5688] ppid=5670 vsize=28901456 memory=6944656592455097440 CPUtime=4.15 cores=0-7 /proc/5672/task/5688/stat : 5688 (java) S 5670 5670 4858 0 -1 1077944384 22596 0 0 0 411 4 0 0 20 0 28 0 417958798 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184999573616 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5689] ppid=5670 vsize=28901456 memory=6944656575208382560 CPUtime=1.27 cores=0-7 /proc/5672/task/5689/stat : 5689 (java) S 5670 5670 4858 0 -1 1077944384 11779 0 0 0 124 3 0 0 20 0 28 0 417958798 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184998520816 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5690] ppid=5670 vsize=28901456 memory=7305218370954618453 CPUtime=0 cores=0-7 /proc/5672/task/5690/stat : 5690 (java) S 5670 5670 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417958798 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184997469280 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5691] ppid=5670 vsize=28901456 memory=0 CPUtime=0.02 cores=0-7 /proc/5672/task/5691/stat : 5691 (java) S 5670 5670 4858 0 -1 1077944384 2660 0 0 0 1 1 0 0 20 0 28 0 417958798 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184996416560 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5912] ppid=5670 vsize=28901456 memory=0 CPUtime=5.64 cores=0-7 /proc/5672/task/5912/stat : 5912 (java) R 5670 5670 4858 0 -1 4202560 207 0 0 0 564 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184985107536 140185947243196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5913] ppid=5670 vsize=28901456 memory=140162970766096 CPUtime=5.67 cores=0-7 /proc/5672/task/5913/stat : 5913 (java) R 5670 5670 4858 0 -1 4202560 138 0 0 0 567 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184642364048 140185942737304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5914] ppid=5670 vsize=28901456 memory=0 CPUtime=5.67 cores=0-7 /proc/5672/task/5914/stat : 5914 (java) R 5670 5670 4858 0 -1 4202560 182 0 0 0 567 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184645521408 140185943147072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5915] ppid=5670 vsize=28901456 memory=6655300316396806240 CPUtime=5.65 cores=0-7 /proc/5672/task/5915/stat : 5915 (java) R 5670 5670 4858 0 -1 4202560 425 0 0 0 565 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184639205248 140185948519418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5916] ppid=5670 vsize=28901456 memory=6944656592455097440 CPUtime=5.66 cores=0-7 /proc/5672/task/5916/stat : 5916 (java) R 5670 5670 4858 0 -1 4202560 194 0 0 0 566 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184641310520 140185938528198 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5917] ppid=5670 vsize=28901456 memory=6655300316396806240 CPUtime=5.67 cores=0-7 /proc/5672/task/5917/stat : 5917 (java) R 5670 5670 4858 0 -1 4202560 94 0 0 0 567 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184640257520 140185947883829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5918] ppid=5670 vsize=28901456 memory=0 CPUtime=0.02 cores=0-7 /proc/5672/task/5918/stat : 5918 (java) S 5670 5670 4858 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 28 0 417963624 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184643421808 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5919] ppid=5670 vsize=28901456 memory=280325941558592 CPUtime=0 cores=0-7 /proc/5672/task/5919/stat : 5919 (java) S 5670 5670 4858 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 417963625 29595090944 99076 33554432000 4194304 4196468 140731801054944 140184644474352 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 Current children cumulated CPU time: 297.48 s Current children cumulated vsize: 29014584 KiB Current children cumulated memory: 397760 KiB [startup+54.2011 s] /proc/loadavg: 5.12 3.14 1.83 7/221 5919 /proc/meminfo: memFree=31228368/32770624 swapFree=67004224/67108860 [pid=5670] ppid=5667 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/5670/stat : 5670 (xcsp3-exec) S 5667 5670 4858 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417958792 115843072 364 33554432000 4194304 5098028 140732095285088 140732095283192 140167614898812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26853376 140732095288182 140732095288425 140732095288425 140732095291338 0 /proc/5670/statm: 28282 364 305 221 0 87 0 [pid=5672] ppid=5670 vsize=28901456 memory=391176 CPUtime=298.62 cores=0-7 /proc/5672/stat : 5672 (java) S 5670 5670 4858 0 -1 1077944320 125122 0 0 0 29789 73 0 0 20 0 28 0 417958792 29595090944 97794 33554432000 4194304 4196468 140731801054944 140731801037488 140186340462327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 /proc/5672/statm: 7225364 97794 3549 1 0 7186466 0 [pid=5672/tid=5673] ppid=5670 vsize=28901456 memory=14136666633799908 CPUtime=0.78 cores=0-7 /proc/5672/task/5673/stat : 5673 (java) S 5670 5670 4858 0 -1 1077944384 11009 0 0 0 73 5 0 0 20 0 28 0 417958792 29595090944 97794 33554432000 4194304 4196468 140731801054944 140186344703104 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5674] ppid=5670 vsize=28901456 memory=7378979095802046564 CPUtime=0.11 cores=0-7 /proc/5672/task/5674/stat : 5674 (java) S 5670 5670 4858 0 -1 1077944384 1088 0 0 0 9 2 0 0 20 0 28 0 417958793 29595090944 97794 33554432000 4194304 4196468 140731801054944 140186260315280 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5675] ppid=5670 vsize=28901456 memory=6370719275257063784 CPUtime=0.12 cores=0-7 /proc/5672/task/5675/stat : 5675 (java) S 5670 5670 4858 0 -1 1077944384 889 0 0 0 10 2 0 0 20 0 28 0 417958793 29595090944 97794 33554432000 4194304 4196468 140731801054944 140186259262480 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5676] ppid=5670 vsize=28901456 memory=5792870956458665058 CPUtime=0.13 cores=0-7 /proc/5672/task/5676/stat : 5676 (java) S 5670 5670 4858 0 -1 1077944384 800 0 0 0 10 3 0 0 20 0 28 0 417958793 29595090944 97794 33554432000 4194304 4196468 140731801054944 140186258209680 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5677] ppid=5670 vsize=28901456 memory=7596571373467160937 CPUtime=0.13 cores=0-7 /proc/5672/task/5677/stat : 5677 (java) S 5670 5670 4858 0 -1 1077944384 356 0 0 0 10 3 0 0 20 0 28 0 417958793 29595090944 97794 33554432000 4194304 4196468 140731801054944 140185888217872 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5678] ppid=5670 vsize=28901456 memory=280325940670736 CPUtime=0.1 cores=0-7 /proc/5672/task/5678/stat : 5678 (java) S 5670 5670 4858 0 -1 1077944384 1489 0 0 0 8 2 0 0 20 0 28 0 417958793 29595090944 97794 33554432000 4194304 4196468 140731801054944 140185887165072 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5679] ppid=5670 vsize=28901456 memory=6656426216303648864 CPUtime=0.14 cores=0-7 /proc/5672/task/5679/stat : 5679 (java) S 5670 5670 4858 0 -1 1077944384 1194 0 0 0 11 3 0 0 20 0 28 0 417958793 29595090944 97794 33554432000 4194304 4196468 140731801054944 140185886112272 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5680] ppid=5670 vsize=28901456 memory=6655300316396806240 CPUtime=0.14 cores=0-7 /proc/5672/task/5680/stat : 5680 (java) S 5670 5670 4858 0 -1 1077944384 1744 0 0 0 10 4 0 0 20 0 28 0 417958793 29595090944 97794 33554432000 4194304 4196468 140731801054944 140185885059472 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5681] ppid=5670 vsize=28901456 memory=8243122710528917583 CPUtime=0.13 cores=0-7 /proc/5672/task/5681/stat : 5681 (java) S 5670 5670 4858 0 -1 1077944384 1160 0 0 0 10 3 0 0 20 0 28 0 417958793 29595090944 97794 33554432000 4194304 4196468 140731801054944 140185884006672 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5682] ppid=5670 vsize=28901456 memory=12703 CPUtime=0.05 cores=0-7 /proc/5672/task/5682/stat : 5682 (java) S 5670 5670 4858 0 -1 1077944384 3410 0 0 0 5 0 0 0 20 0 28 0 417958795 29595090944 97794 33554432000 4194304 4196468 140731801054944 140185005890416 140186340473474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5683] ppid=5670 vsize=28901456 memory=8243122710528917583 CPUtime=0 cores=0-7 /proc/5672/task/5683/stat : 5683 (java) S 5670 5670 4858 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 417958795 29595090944 97794 33554432000 4194304 4196468 140731801054944 140185004836384 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5684] ppid=5670 vsize=28901456 memory=12703 CPUtime=0 cores=0-7 /proc/5672/task/5684/stat : 5684 (java) S 5670 5670 4858 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 417958795 29595090944 97794 33554432000 4194304 4196468 140731801054944 140185003783536 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5685] ppid=5670 vsize=28901456 memory=140162970781552 CPUtime=0 cores=0-7 /proc/5672/task/5685/stat : 5685 (java) S 5670 5670 4858 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417958798 29595090944 97794 33554432000 4194304 4196468 140731801054944 140185002731856 140186340480923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5686] ppid=5670 vsize=28901456 memory=0 CPUtime=4.2 cores=0-7 /proc/5672/task/5686/stat : 5686 (java) S 5670 5670 4858 0 -1 1077944384 22142 0 0 0 414 6 0 0 20 0 28 0 417958798 29595090944 97794 33554432000 4194304 4196468 140731801054944 140185001679216 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5687] ppid=5670 vsize=28901456 memory=3689352144115232104 CPUtime=4.1 cores=0-7 /proc/5672/task/5687/stat : 5687 (java) S 5670 5670 4858 0 -1 1077944384 20137 0 0 0 405 5 0 0 20 0 28 0 417958798 29595090944 97794 33554432000 4194304 4196468 140731801054944 140185000626416 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5688] ppid=5670 vsize=28901456 memory=7233432360801691494 CPUtime=4.15 cores=0-7 /proc/5672/task/5688/stat : 5688 (java) S 5670 5670 4858 0 -1 1077944384 22596 0 0 0 411 4 0 0 20 0 28 0 417958798 29595090944 97794 33554432000 4194304 4196468 140731801054944 140184999573616 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5689] ppid=5670 vsize=28901456 memory=7884510348704310868 CPUtime=1.27 cores=0-7 /proc/5672/task/5689/stat : 5689 (java) S 5670 5670 4858 0 -1 1077944384 11779 0 0 0 124 3 0 0 20 0 28 0 417958798 29595090944 97794 33554432000 4194304 4196468 140731801054944 140184998520816 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5690] ppid=5670 vsize=28901456 memory=7079773316970467408 CPUtime=0 cores=0-7 /proc/5672/task/5690/stat : 5690 (java) S 5670 5670 4858 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417958798 29595090944 97794 33554432000 4194304 4196468 140731801054944 140184997469280 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5691] ppid=5670 vsize=28901456 memory=6225478302967632301 CPUtime=0.02 cores=0-7 /proc/5672/task/5691/stat : 5691 (java) S 5670 5670 4858 0 -1 1077944384 2660 0 0 0 1 1 0 0 20 0 28 0 417958798 29595090944 97794 33554432000 4194304 4196468 140731801054944 140184996416560 140186340473474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5912] ppid=5670 vsize=28901456 memory=7367994820071022925 CPUtime=5.83 cores=0-7 /proc/5672/task/5912/stat : 5912 (java) R 5670 5670 4858 0 -1 4202560 208 0 0 0 583 0 0 0 20 0 28 0 417963624 29595090944 97794 33554432000 4194304 4196468 140731801054944 140184985108160 140185946823733 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5913] ppid=5670 vsize=28901456 memory=7883376773773748586 CPUtime=5.85 cores=0-7 /proc/5672/task/5913/stat : 5913 (java) R 5670 5670 4858 0 -1 4202560 138 0 0 0 585 0 0 0 20 0 28 0 417963624 29595090944 97794 33554432000 4194304 4196468 140731801054944 140184642366192 140185945882944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5914] ppid=5670 vsize=28901456 memory=7306356279539626593 CPUtime=5.85 cores=0-7 /proc/5672/task/5914/stat : 5914 (java) R 5670 5670 4858 0 -1 4202560 183 0 0 0 585 0 0 0 20 0 28 0 417963624 29595090944 97794 33554432000 4194304 4196468 140731801054944 140184645522016 140185943289088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5915] ppid=5670 vsize=28901456 memory=7019467087956490549 CPUtime=5.84 cores=0-7 /proc/5672/task/5915/stat : 5915 (java) R 5670 5670 4858 0 -1 4202560 425 0 0 0 584 0 0 0 20 0 28 0 417963624 29595090944 97794 33554432000 4194304 4196468 140731801054944 140184639205248 140185950111650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5916] ppid=5670 vsize=28901456 memory=0 CPUtime=5.85 cores=0-7 /proc/5672/task/5916/stat : 5916 (java) R 5670 5670 4858 0 -1 4202560 195 0 0 0 585 0 0 0 20 0 28 0 417963624 29595090944 97794 33554432000 4194304 4196468 140731801054944 140184641310496 140185947479229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5917] ppid=5670 vsize=28901456 memory=92900 CPUtime=5.86 cores=0-7 /proc/5672/task/5917/stat : 5917 (java) R 5670 5670 4858 0 -1 4202560 94 0 0 0 586 0 0 0 20 0 28 0 417963624 29595090944 97794 33554432000 4194304 4196468 140731801054944 140184640257520 140185947883881 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5918] ppid=5670 vsize=28901456 memory=30013049742 CPUtime=0.02 cores=0-7 /proc/5672/task/5918/stat : 5918 (java) S 5670 5670 4858 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 28 0 417963624 29595090944 97794 33554432000 4194304 4196468 140731801054944 140184643421808 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 [pid=5672/tid=5919] ppid=5670 vsize=28901456 memory=280325940185416 CPUtime=0 cores=0-7 /proc/5672/task/5919/stat : 5919 (java) S 5670 5670 4858 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 417963625 29595090944 97794 33554432000 4194304 4196468 140731801054944 140184644474352 140186340472533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33779712 140731801060330 140731801060502 140731801060502 140731801063375 0 Current children cumulated CPU time: 298.62 s Current children cumulated vsize: 29014584 KiB Current children cumulated memory: 392632 KiB Child status: 0 Real time (s): 54.2346 CPU time (s): 298.745 CPU user time (s): 297.992 CPU system time (s): 0.752742 CPU usage (%): 550.838 Max. virtual memory (cumulated for all children) (KiB): 29014584 Max. memory (cumulated for all children) (KiB): 427356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 297.992 system time used= 0.752742 maximum resident set size= 428704 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 126671 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10200 involuntary context switches= 2792 # summary of solver processes directly reported to runsolver: # pid: 5670 # total CPU time (s): 298.745 # total CPU user time (s): 297.992 # total CPU system time (s): 0.752742 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.495448 second user time and 0.633738 second system time The end
Begin job on node148 at 2019-09-14 01:38:55 IDJOB=4394424 IDBENCH=115814 IDSOLVER=2843 FILE ID=node148/4394424-1568417972 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-4394424-1568417972/watcher-4394424-1568417972 -o /tmp/evaluation-result-4394424-1568417972/solver-4394424-1568417972 -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 594423757 HOME/instance-4394424-1568417972.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5197a9101df9cd680fadf9dcc86a0dcb RANDOM SEED=594423757 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: 31612268 kB MemAvailable: 31911756 kB Buffers: 57724 kB Cached: 540744 kB SwapCached: 3820 kB Active: 375584 kB Inactive: 229372 kB Active(anon): 4008 kB Inactive(anon): 43732 kB Active(file): 371576 kB Inactive(file): 185640 kB Unevictable: 108956 kB Mlocked: 108956 kB SwapTotal: 67108860 kB SwapFree: 67004224 kB Dirty: 26052 kB Writeback: 0 kB AnonPages: 112512 kB Mapped: 44020 kB Shmem: 32344 kB Slab: 144528 kB SReclaimable: 116216 kB SUnreclaim: 28312 kB KernelStack: 3424 kB PageTables: 5168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497488 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:39:50