Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | Wrong Opt. | 156 | 18.3576 | 2.97578 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-37-03.xml |
MD5SUM | 7e8aca8f1f1855a8a689daa123caec8a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 139 |
Best CPU time to get the best result obtained on this benchmark | 248.551 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 135 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 391 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":391,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":13},{"degree":6,"count":23},{"degree":7,"count":16},{"degree":8,"count":5},{"degree":9,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 34 |
Distribution of constraint arities | [{"arity":2,"count":131},{"arity":28,"count":2},{"arity":31,"count":1},{"arity":34,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 131 |
Distribution of constraint types | [{"type":"intension","count":131},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394528-1568431257.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394528-1568431257.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.08/0.82 c solve instance... 3.32/1.03 o 171 3.92/1.11 o 168 6.95/1.51 o 167 6.95/1.58 o 166 7.71/1.68 o 162 13.99/2.46 o 158 17.10/2.83 o 157 17.89/2.95 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (187/203) 17.89/2.95 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 17.89/2.95 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 17.89/2.95 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 17.89/2.95 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 17.89/2.95 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 17.89/2.95 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (187/203) 17.89/2.95 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 17.89/2.95 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 17.89/2.95 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 17.89/2.95 at org.chocosolver.solver.Solver.repair(Solver.java:443) 17.89/2.95 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 17.89/2.95 at org.chocosolver.solver.Solver.solve(Solver.java:262) 17.89/2.95 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 17.89/2.95 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 17.89/2.95 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 17.89/2.95 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 17.89/2.95 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 17.89/2.95 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 17.89/2.95 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 17.89/2.95 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 17.89/2.95 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 17.89/2.95 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 17.89/2.95 o 156 17.89/2.95 s OPTIMUM FOUND 17.89/2.95 v <instantiation> 17.89/2.95 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list> 17.89/2.95 v <values>0 0 0 0 6 1 14 1 24 8 14 27 37 27 42 36 18 23 36 37 49 49 58 49 58 32 66 67 42 59 76 49 38 77 76 86 77 80 66 86 86 96 116 91 116 95 108 106 86 120 124 127 106 122 104 132 132 138 146 146 134 156 </values> 17.89/2.95 v </instantiation>
OK 156
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 (15217 MiB free) memory of node 1: 16384 MiB (15508 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394528-1568431257/watcher-4394528-1568431257 -o /tmp/evaluation-result-4394528-1568431257/solver-4394528-1568431257 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1218594840 HOME/instance-4394528-1568431257.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 Starting watchdog thread solver pid=22667, runsolver pid=22664 Current StackSize limit: 8192 KiB [startup+0.100136 s]* /proc/loadavg: 6.19 6.48 6.06 3/216 22688 /proc/meminfo: memFree=31445528/32770624 swapFree=67004140/67108860 [pid=22667] ppid=22664 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/22667/stat : 22667 (xcsp3-exec) S 22664 22667 21590 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419365292 115843072 364 33554432000 4194304 5098028 140732231558832 140732231556936 139739253207676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33648640 140732231562101 140732231562345 140732231562345 140732231565258 0 /proc/22667/statm: 28282 364 305 221 0 87 0 [pid=22669] ppid=22667 vsize=28227388 memory=30200 CPUtime=0.12 cores=0-7 /proc/22669/stat : 22669 (java) S 22667 22667 21590 0 -1 1077944320 5521 0 0 0 12 0 0 0 20 0 20 0 419365292 28904845312 7550 33554432000 4194304 4196468 140720405229488 140720405212032 139983089438455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 /proc/22669/statm: 7056847 7550 3113 1 0 7019032 0 [pid=22669/tid=22670] ppid=22667 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/22669/task/22670/stat : 22670 (java) R 22667 22667 21590 0 -1 4202560 3434 0 0 0 8 0 0 0 20 0 20 0 419365293 28904845312 7550 33554432000 4194304 4196468 140720405229488 139983093664592 139983071306837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22671] ppid=22667 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22672] ppid=22667 vsize=28227388 memory=139716409251456 CPUtime=0 cores=0-7 /proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22673] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22673/stat : 22673 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982638270736 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22674] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22674/stat : 22674 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982637218192 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22675] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22675/stat : 22675 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982636166160 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22676] ppid=22667 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/22669/task/22676/stat : 22676 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982635113616 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22677] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22677/stat : 22677 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982634060560 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22678] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22678/stat : 22678 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 7550 33554432000 4194304 4196468 140720405229488 139982633008016 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22679] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22679/stat : 22679 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365295 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981736925424 139983089449602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22680] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22680/stat : 22680 (java) S 22667 22667 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419365296 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981735871648 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22681] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22681/stat : 22681 (java) S 22667 22667 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419365296 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981734818544 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22682] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22682/stat : 22682 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981733767120 139983089457051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22683] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22683/stat : 22683 (java) S 22667 22667 21590 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981732715248 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22684] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22684/stat : 22684 (java) S 22667 22667 21590 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981731662704 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22685] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22685/stat : 22685 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981730609648 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22686] ppid=22667 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/22669/task/22686/stat : 22686 (java) R 22667 22667 21590 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 20 0 419365298 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981729557104 139983069631409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22687] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22687/stat : 22687 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981728504288 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22688] ppid=22667 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/22669/task/22688/stat : 22688 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365299 28904845312 7550 33554432000 4194304 4196468 140720405229488 139981727451824 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31656 KiB [startup+0.210965 s]* /proc/loadavg: 6.19 6.48 6.06 3/216 22688 /proc/meminfo: memFree=31432812/32770624 swapFree=67004140/67108860 [pid=22667] ppid=22664 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/22667/stat : 22667 (xcsp3-exec) S 22664 22667 21590 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419365292 115843072 364 33554432000 4194304 5098028 140732231558832 140732231556936 139739253207676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33648640 140732231562101 140732231562345 140732231562345 140732231565258 0 /proc/22667/statm: 28282 364 305 221 0 87 0 [pid=22669] ppid=22667 vsize=28227388 memory=41356 CPUtime=0.34 cores=0-7 /proc/22669/stat : 22669 (java) S 22667 22667 21590 0 -1 1077944320 9072 0 0 0 32 2 0 0 20 0 20 0 419365292 28904845312 10339 33554432000 4194304 4196468 140720405229488 140720405212032 139983089438455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 /proc/22669/statm: 7056847 10339 3305 1 0 7019032 0 [pid=22669/tid=22670] ppid=22667 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/22669/task/22670/stat : 22670 (java) R 22667 22667 21590 0 -1 4202560 6244 0 0 0 18 1 0 0 20 0 20 0 419365293 28904845312 10339 33554432000 4194304 4196468 140720405229488 139983093672576 139983089450390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22671] ppid=22667 vsize=28227388 memory=331 CPUtime=0 cores=0-7 /proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22672] ppid=22667 vsize=28227388 memory=4051468636831176352 CPUtime=0 cores=0-7 /proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22673] ppid=22667 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/22669/task/22673/stat : 22673 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982638270736 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22674] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22674/stat : 22674 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982637218192 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22675] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22675/stat : 22675 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982636166160 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22676] ppid=22667 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/22669/task/22676/stat : 22676 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982635113616 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22677] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22677/stat : 22677 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982634060560 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22678] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22678/stat : 22678 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28904845312 10339 33554432000 4194304 4196468 140720405229488 139982633008016 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22679] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22679/stat : 22679 (java) S 22667 22667 21590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419365295 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981736925424 139983089449602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22680] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22680/stat : 22680 (java) S 22667 22667 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419365296 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981735871648 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22681] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22681/stat : 22681 (java) S 22667 22667 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419365296 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981734818544 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22682] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22682/stat : 22682 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981733767120 139983089457051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22683] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22683/stat : 22683 (java) S 22667 22667 21590 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981732715248 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22684] ppid=22667 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/22669/task/22684/stat : 22684 (java) S 22667 22667 21590 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 419365298 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981731662704 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22685] ppid=22667 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/22669/task/22685/stat : 22685 (java) S 22667 22667 21590 0 -1 1077944384 291 0 0 0 2 0 0 0 20 0 20 0 419365298 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981730609648 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22686] ppid=22667 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/22669/task/22686/stat : 22686 (java) R 22667 22667 21590 0 -1 4202560 742 0 0 0 8 0 0 0 20 0 20 0 419365298 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981729557104 139983081675582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22687] ppid=22667 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22687/stat : 22687 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365298 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981728504288 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22688] ppid=22667 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/22669/task/22688/stat : 22688 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365299 28904845312 10339 33554432000 4194304 4196468 140720405229488 139981727451824 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42812 KiB [startup+0.312657 s]* /proc/loadavg: 6.19 6.48 6.06 4/216 22688 /proc/meminfo: memFree=31425912/32770624 swapFree=67004140/67108860 [pid=22667] ppid=22664 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/22667/stat : 22667 (xcsp3-exec) S 22664 22667 21590 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419365292 115843072 364 33554432000 4194304 5098028 140732231558832 140732231556936 139739253207676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33648640 140732231562101 140732231562345 140732231562345 140732231565258 0 /proc/22667/statm: 28282 364 305 221 0 87 0 [pid=22669] ppid=22667 vsize=28231644 memory=50132 CPUtime=0.53 cores=0-7 /proc/22669/stat : 22669 (java) S 22667 22667 21590 0 -1 1077944320 10431 0 0 0 50 3 0 0 20 0 20 0 419365292 28909203456 12533 33554432000 4194304 4196468 140720405229488 140720405212032 139983089438455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 /proc/22669/statm: 7057911 12533 3351 1 0 7019032 0 [pid=22669/tid=22670] ppid=22667 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/22669/task/22670/stat : 22670 (java) R 22667 22667 21590 0 -1 4202560 7377 0 0 0 28 2 0 0 20 0 20 0 419365293 28909203456 12533 33554432000 4194304 4196468 140720405229488 139983093669568 139983073518942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22671] ppid=22667 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22672] ppid=22667 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22673] ppid=22667 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22673/stat : 22673 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982638270736 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22674] ppid=22667 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22674/stat : 22674 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982637218192 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22675] ppid=22667 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/22669/task/22675/stat : 22675 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982636166160 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22676] ppid=22667 vsize=28231644 memory=139716292866991 CPUtime=0 cores=0-7 /proc/22669/task/22676/stat : 22676 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982635113616 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22677] ppid=22667 vsize=28231644 memory=139716292869296 CPUtime=0 cores=0-7 /proc/22669/task/22677/stat : 22677 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982634060560 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22678] ppid=22667 vsize=28231644 memory=139716292871600 CPUtime=0 cores=0-7 /proc/22669/task/22678/stat : 22678 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28909203456 12533 33554432000 4194304 4196468 140720405229488 139982633008016 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22679] ppid=22667 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22679/stat : 22679 (java) S 22667 22667 21590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419365295 28909203456 12533 33554432000 4194304 4196468 140720405229488 139981736925424 139983089449602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22680] ppid=22667 vsize=28231644 memory=279432585750160 CPUtime=0 cores=0-7 /proc/22669/task/22680/stat : 22680 (java) S 22667 22667 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419365296 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981735871648 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22681] ppid=22667 vsize=28231644 memory=279432585757072 CPUtime=0 cores=0-7 /proc/22669/task/22681/stat : 22681 (java) S 22667 22667 21590 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419365296 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981734818544 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22682] ppid=22667 vsize=28231644 memory=279432585698352 CPUtime=0 cores=0-7 /proc/22669/task/22682/stat : 22682 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365298 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981733767120 139983089457051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22683] ppid=22667 vsize=28231644 memory=279432585770896 CPUtime=0.03 cores=0-7 /proc/22669/task/22683/stat : 22683 (java) R 22667 22667 21590 0 -1 4202560 440 0 0 0 3 0 0 0 20 0 20 0 419365298 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981732696264 139983066699712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22684] ppid=22667 vsize=28231644 memory=279432585777808 CPUtime=0.02 cores=0-7 /proc/22669/task/22684/stat : 22684 (java) S 22667 22667 21590 0 -1 1077944384 192 0 0 0 2 0 0 0 20 0 20 0 419365298 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981731662704 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22685] ppid=22667 vsize=28231644 memory=279432585775504 CPUtime=0.02 cores=0-7 /proc/22669/task/22685/stat : 22685 (java) S 22667 22667 21590 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 20 0 419365298 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981730609648 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22686] ppid=22667 vsize=28231644 memory=279432585791664 CPUtime=0.12 cores=0-7 /proc/22669/task/22686/stat : 22686 (java) S 22667 22667 21590 0 -1 1077944384 820 0 0 0 12 0 0 0 20 0 20 0 419365298 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981729557104 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22687] ppid=22667 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22687/stat : 22687 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365298 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981728504288 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22688] ppid=22667 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/22669/task/22688/stat : 22688 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419365299 28909203456 12598 33554432000 4194304 4196468 140720405229488 139981727451824 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51588 KiB [startup+0.701037 s] /proc/loadavg: 6.19 6.48 6.06 6/216 22688 /proc/meminfo: memFree=31408996/32770624 swapFree=67004140/67108860 [pid=22667] ppid=22664 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/22667/stat : 22667 (xcsp3-exec) S 22664 22667 21590 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419365292 115843072 364 33554432000 4194304 5098028 140732231558832 140732231556936 139739253207676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33648640 140732231562101 140732231562345 140732231562345 140732231565258 0 /proc/22667/statm: 28282 364 305 221 0 87 0 [pid=22669] ppid=22667 vsize=28233768 memory=88148 CPUtime=1.63 cores=0-7 /proc/22669/stat : 22669 (java) S 22667 22667 21590 0 -1 1077944320 14726 0 0 0 157 6 0 0 20 0 20 0 419365292 28911378432 22037 33554432000 4194304 4196468 140720405229488 140720405212032 139983089438455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 /proc/22669/statm: 7058442 22037 3450 1 0 7019544 0 [pid=22669/tid=22670] ppid=22667 vsize=28233768 memory=279432586149552 CPUtime=0.68 cores=0-7 /proc/22669/task/22670/stat : 22670 (java) R 22667 22667 21590 0 -1 4202560 8901 0 0 0 64 4 0 0 20 0 20 0 419365293 28911378432 22037 33554432000 4194304 4196468 140720405229488 139983093675888 139982725262605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22671] ppid=22667 vsize=28233768 memory=139716293075824 CPUtime=0 cores=0-7 /proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419365294 28911378432 22037 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22672] ppid=22667 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419365294 28911378432 22037 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22673] ppid=22667 vsize=28233768 memory=2832 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=22669/tid=22670] ppid=22667 vsize=28768328 memory=0 CPUtime=0.82 cores=0-7 /proc/22669/task/22670/stat : 22670 (java) S 22667 22667 21590 0 -1 1077944384 9099 0 0 0 78 4 0 0 20 0 28 0 419365293 29458767872 57521 33554432000 4194304 4196468 140720405229488 139983093679232 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22671] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22672] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22673] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22673/stat : 22673 (java) S 22667 22667 21590 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982638270736 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22674] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22674/stat : 22674 (java) S 22667 22667 21590 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982637218192 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22675] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22675/stat : 22675 (java) S 22667 22667 21590 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982636166160 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22676] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22676/stat : 22676 (java) S 22667 22667 21590 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982635113616 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22677] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22677/stat : 22677 (java) S 22667 22667 21590 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982634060560 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22678] ppid=22667 vsize=28768328 memory=301741373374332954 CPUtime=0 cores=0-7 /proc/22669/task/22678/stat : 22678 (java) S 22667 22667 21590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57521 33554432000 4194304 4196468 140720405229488 139982633008016 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22679] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22679/stat : 22679 (java) S 22667 22667 21590 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 419365295 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981736925424 139983089449602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22680] ppid=22667 vsize=28768328 memory=7811607251748154217 CPUtime=0 cores=0-7 /proc/22669/task/22680/stat : 22680 (java) S 22667 22667 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 419365296 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981735871648 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22681] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22681/stat : 22681 (java) S 22667 22667 21590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419365296 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981734818544 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22682] ppid=22667 vsize=28768328 memory=1 CPUtime=0 cores=0-7 /proc/22669/task/22682/stat : 22682 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419365298 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981733767120 139983089457051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22683] ppid=22667 vsize=28768328 memory=6656426216303648864 CPUtime=1.3 cores=0-7 /proc/22669/task/22683/stat : 22683 (java) R 22667 22667 21590 0 -1 4202560 3731 0 0 0 130 0 0 0 20 0 28 0 419365298 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981732701216 139983075462290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22684] ppid=22667 vsize=28768328 memory=2455 CPUtime=1.25 cores=0-7 /proc/22669/task/22684/stat : 22684 (java) R 22667 22667 21590 0 -1 4202560 4217 0 0 0 124 1 0 0 20 0 28 0 419365298 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981731648672 139983069813052 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22685] ppid=22667 vsize=28768328 memory=3 CPUtime=1.61 cores=0-7 /proc/22669/task/22685/stat : 22685 (java) R 22667 22667 21590 0 -1 4202560 3934 0 0 0 160 1 0 0 20 0 28 0 419365298 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981730602840 139983070959855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22686] ppid=22667 vsize=28768328 memory=6791534058613427641 CPUtime=0.83 cores=0-7 /proc/22669/task/22686/stat : 22686 (java) R 22667 22667 21590 0 -1 1077944384 4937 0 0 0 82 1 0 0 20 0 28 0 419365298 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981729557104 139983089449602 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22687] ppid=22667 vsize=28768328 memory=1155 CPUtime=0 cores=0-7 /proc/22669/task/22687/stat : 22687 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419365298 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981728504288 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22688] ppid=22667 vsize=28768328 memory=250 CPUtime=0 cores=0-7 /proc/22669/task/22688/stat : 22688 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419365299 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981727451824 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22729] ppid=22667 vsize=28768328 memory=255 CPUtime=0.51 cores=0-7 /proc/22669/task/22729/stat : 22729 (java) R 22667 22667 21590 0 -1 4202560 19 0 0 0 51 0 0 0 20 0 28 0 419365460 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981715089320 139983069163564 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22730] ppid=22667 vsize=28768328 memory=248944 CPUtime=0.65 cores=0-7 /proc/22669/task/22730/stat : 22730 (java) R 22667 22667 21590 0 -1 4202560 19 0 0 0 65 0 0 0 20 0 28 0 419365460 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981457836512 139982732315884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22731] ppid=22667 vsize=28768328 memory=1 CPUtime=0.57 cores=0-7 /proc/22669/task/22731/stat : 22731 (java) R 22667 22667 21590 0 -1 4202560 18 0 0 0 57 0 0 0 20 0 28 0 419365460 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981711932992 139982731660541 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22732] ppid=22667 vsize=28768328 memory=1456 CPUtime=0.39 cores=0-7 /proc/22669/task/22732/stat : 22732 (java) R 22667 22667 21590 0 -1 4202560 19 0 0 0 39 0 0 0 20 0 28 0 419365460 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981709827432 139982732116521 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22733] ppid=22667 vsize=28768328 memory=228840 CPUtime=0.53 cores=0-7 /proc/22669/task/22733/stat : 22733 (java) R 22667 22667 21590 0 -1 4202560 18 0 0 0 53 0 0 0 20 0 28 0 419365460 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981714038496 139982733123034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22734] ppid=22667 vsize=28768328 memory=4206468019014099040 CPUtime=0.57 cores=0-7 /proc/22669/task/22734/stat : 22734 (java) R 22667 22667 21590 0 -1 4202560 18 0 0 0 57 0 0 0 20 0 28 0 419365460 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981712985352 139982733160312 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22735] ppid=22667 vsize=28768328 memory=7681905605394137914 CPUtime=0.47 cores=0-7 /proc/22669/task/22735/stat : 22735 (java) R 22667 22667 21590 0 -1 4202560 17 0 0 0 47 0 0 0 20 0 28 0 419365461 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981716143520 139982734039263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22736] ppid=22667 vsize=28768328 memory=-7522837583129502606 CPUtime=0.53 cores=0-7 /proc/22669/task/22736/stat : 22736 (java) R 22667 22667 21590 0 -1 4202560 17 0 0 0 53 0 0 0 20 0 28 0 419365461 29458767872 57521 33554432000 4194304 4196468 140720405229488 139981710877040 139982732913747 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 Current children cumulated CPU time: 13.99 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 231540 KiB [startup+2.80096 s] /proc/loadavg: 5.86 6.40 6.04 13/224 22736 /proc/meminfo: memFree=31247172/32770624 swapFree=67004140/67108860 [pid=22667] ppid=22664 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/22667/stat : 22667 (xcsp3-exec) S 22664 22667 21590 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419365292 115843072 364 33554432000 4194304 5098028 140732231558832 140732231556936 139739253207676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33648640 140732231562101 140732231562345 140732231562345 140732231565258 0 /proc/22667/statm: 28282 364 305 221 0 87 0 [pid=22669] ppid=22667 vsize=28768328 memory=231436 CPUtime=17.1 cores=0-7 /proc/22669/stat : 22669 (java) S 22667 22667 21590 0 -1 1077944320 29593 0 0 0 1696 14 0 0 20 0 28 0 419365292 29458767872 57859 33554432000 4194304 4196468 140720405229488 140720405212032 139983089438455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 /proc/22669/statm: 7192082 57859 3496 1 0 7153184 0 [pid=22669/tid=22670] ppid=22667 vsize=28768328 memory=6082203026216022103 CPUtime=0.82 cores=0-7 /proc/22669/task/22670/stat : 22670 (java) S 22667 22667 21590 0 -1 1077944384 9099 0 0 0 78 4 0 0 20 0 28 0 419365293 29458767872 57859 33554432000 4194304 4196468 140720405229488 139983093679232 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22671] ppid=22667 vsize=28768328 memory=6082202987142015063 CPUtime=0 cores=0-7 /proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22672] ppid=22667 vsize=28768328 memory=7230638415855315543 CPUtime=0 cores=0-7 /proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22673] ppid=22667 vsize=28768328 memory=7380385388137112419 CPUtime=0 cores=0-7 /proc/22669/task/22673/stat : 22673 (java) S 22667 22667 21590 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982638270736 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22674] ppid=22667 vsize=28768328 memory=7380385388137112419 CPUtime=0 cores=0-7 /proc/22669/task/22674/stat : 22674 (java) S 22667 22667 21590 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982637218192 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22675] ppid=22667 vsize=28768328 memory=7162531440177276259 CPUtime=0 cores=0-7 /proc/22669/task/22675/stat : 22675 (java) S 22667 22667 21590 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982636166160 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22676] ppid=22667 vsize=28768328 memory=7162531440177276259 CPUtime=0 cores=0-7 /proc/22669/task/22676/stat : 22676 (java) S 22667 22667 21590 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982635113616 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22677] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22677/stat : 22677 (java) S 22667 22667 21590 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982634060560 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22678] ppid=22667 vsize=28768328 memory=237069309882657 CPUtime=0 cores=0-7 /proc/22669/task/22678/stat : 22678 (java) S 22667 22667 21590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 57859 33554432000 4194304 4196468 140720405229488 139982633008016 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22679] ppid=22667 vsize=28768328 memory=237069309882658 CPUtime=0 cores=0-7 /proc/22669/task/22679/stat : 22679 (java) S 22667 22667 21590 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 419365295 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981736925424 139983089449602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22680] ppid=22667 vsize=28768328 memory=237069309882659 CPUtime=0 cores=0-7 /proc/22669/task/22680/stat : 22680 (java) S 22667 22667 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 419365296 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981735871648 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22681] ppid=22667 vsize=28768328 memory=237069309882660 CPUtime=0 cores=0-7 /proc/22669/task/22681/stat : 22681 (java) S 22667 22667 21590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419365296 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981734818544 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22682] ppid=22667 vsize=28768328 memory=237069309882661 CPUtime=0 cores=0-7 /proc/22669/task/22682/stat : 22682 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419365298 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981733767120 139983089457051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22683] ppid=22667 vsize=28768328 memory=97354023743782 CPUtime=1.56 cores=0-7 /proc/22669/task/22683/stat : 22683 (java) R 22667 22667 21590 0 -1 4202560 3791 0 0 0 156 0 0 0 20 0 28 0 419365298 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981732715248 139983070190887 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22684] ppid=22667 vsize=28768328 memory=97354023743783 CPUtime=1.53 cores=0-7 /proc/22669/task/22684/stat : 22684 (java) R 22667 22667 21590 0 -1 4202560 4259 0 0 0 152 1 0 0 20 0 28 0 419365298 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981731654656 139983074338689 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22685] ppid=22667 vsize=28768328 memory=97354023743784 CPUtime=1.86 cores=0-7 /proc/22669/task/22685/stat : 22685 (java) R 22667 22667 21590 0 -1 4202560 3984 0 0 0 185 1 0 0 20 0 28 0 419365298 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981730589456 139983072849327 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22686] ppid=22667 vsize=28768328 memory=97354023743785 CPUtime=0.93 cores=0-7 /proc/22669/task/22686/stat : 22686 (java) R 22667 22667 21590 0 -1 1077944384 5132 0 0 0 92 1 0 0 20 0 28 0 419365298 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981729557104 139983089449602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22687] ppid=22667 vsize=28768328 memory=97354023743786 CPUtime=0 cores=0-7 /proc/22669/task/22687/stat : 22687 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419365298 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981728504288 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22688] ppid=22667 vsize=28768328 memory=97354023743787 CPUtime=0 cores=0-7 /proc/22669/task/22688/stat : 22688 (java) R 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419365299 29458767872 57859 33554432000 4194304 4196468 140720405229488 139981727451824 139983089449602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 Current children cumulated CPU time: 17.1 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 232892 KiB [startup+2.90097 s] /proc/loadavg: 5.86 6.40 6.04 13/224 22736 /proc/meminfo: memFree=31247172/32770624 swapFree=67004140/67108860 [pid=22667] ppid=22664 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/22667/stat : 22667 (xcsp3-exec) S 22664 22667 21590 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419365292 115843072 364 33554432000 4194304 5098028 140732231558832 140732231556936 139739253207676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33648640 140732231562101 140732231562345 140732231562345 140732231565258 0 /proc/22667/statm: 28282 364 305 221 0 87 0 [pid=22669] ppid=22667 vsize=28768328 memory=233640 CPUtime=17.89 cores=0-7 /proc/22669/stat : 22669 (java) S 22667 22667 21590 0 -1 1077944320 29770 0 0 0 1775 14 0 0 20 0 28 0 419365292 29458767872 58410 33554432000 4194304 4196468 140720405229488 140720405212032 139983089438455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 /proc/22669/statm: 7192082 58410 3498 1 0 7153184 0 [pid=22669/tid=22670] ppid=22667 vsize=28768328 memory=0 CPUtime=0.82 cores=0-7 /proc/22669/task/22670/stat : 22670 (java) S 22667 22667 21590 0 -1 1077944384 9099 0 0 0 78 4 0 0 20 0 28 0 419365293 29458767872 58410 33554432000 4194304 4196468 140720405229488 139983093679232 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22671] ppid=22667 vsize=28768328 memory=2241 CPUtime=0 cores=0-7 /proc/22669/task/22671/stat : 22671 (java) S 22667 22667 21590 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139983052544528 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22672] ppid=22667 vsize=28768328 memory=1456 CPUtime=0 cores=0-7 /proc/22669/task/22672/stat : 22672 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982639323792 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22673] ppid=22667 vsize=28768328 memory=194648 CPUtime=0 cores=0-7 /proc/22669/task/22673/stat : 22673 (java) S 22667 22667 21590 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982638270736 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22674] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22674/stat : 22674 (java) S 22667 22667 21590 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982637218192 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22675] ppid=22667 vsize=28768328 memory=229536 CPUtime=0 cores=0-7 /proc/22669/task/22675/stat : 22675 (java) S 22667 22667 21590 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982636166160 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22676] ppid=22667 vsize=28768328 memory=210804 CPUtime=0 cores=0-7 /proc/22669/task/22676/stat : 22676 (java) S 22667 22667 21590 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982635113616 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22677] ppid=22667 vsize=28768328 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/22669/task/22677/stat : 22677 (java) S 22667 22667 21590 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982634060560 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22678] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22678/stat : 22678 (java) S 22667 22667 21590 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 419365294 29458767872 58410 33554432000 4194304 4196468 140720405229488 139982633008016 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22679] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22679/stat : 22679 (java) S 22667 22667 21590 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 419365295 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981736925424 139983089449602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22680] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22680/stat : 22680 (java) S 22667 22667 21590 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 419365296 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981735871648 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22681] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22681/stat : 22681 (java) S 22667 22667 21590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 419365296 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981734818544 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22682] ppid=22667 vsize=28768328 memory=7594597771697979466 CPUtime=0 cores=0-7 /proc/22669/task/22682/stat : 22682 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419365298 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981733767120 139983089457051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22683] ppid=22667 vsize=28768328 memory=288293272508695230 CPUtime=1.62 cores=0-7 /proc/22669/task/22683/stat : 22683 (java) R 22667 22667 21590 0 -1 4202560 3802 0 0 0 162 0 0 0 20 0 28 0 419365298 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981732701816 139983082535291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22684] ppid=22667 vsize=28768328 memory=56 CPUtime=1.6 cores=0-7 /proc/22669/task/22684/stat : 22684 (java) R 22667 22667 21590 0 -1 4202560 4271 0 0 0 159 1 0 0 20 0 28 0 419365298 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981731653920 139983072955785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22685] ppid=22667 vsize=28768328 memory=13807 CPUtime=1.93 cores=0-7 /proc/22669/task/22685/stat : 22685 (java) R 22667 22667 21590 0 -1 4202560 3991 0 0 0 192 1 0 0 20 0 28 0 419365298 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981730598320 139983070190761 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22686] ppid=22667 vsize=28768328 memory=20612 CPUtime=0.94 cores=0-7 /proc/22669/task/22686/stat : 22686 (java) R 22667 22667 21590 0 -1 1077944384 5143 0 0 0 93 1 0 0 20 0 28 0 419365298 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981729557104 139983089449602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22687] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22687/stat : 22687 (java) S 22667 22667 21590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419365298 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981728504288 139983089448661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 [pid=22669/tid=22688] ppid=22667 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/22669/task/22688/stat : 22688 (java) S 22667 22667 21590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419365299 29458767872 58410 33554432000 4194304 4196468 140720405229488 139981727451824 139983089449602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38350848 140720405230570 140720405230742 140720405230742 140720405233615 0 Current children cumulated CPU time: 17.89 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 235096 KiB Child status: 0 Real time (s): 2.97578 CPU time (s): 18.3576 CPU user time (s): 18.1995 CPU system time (s): 0.158108 CPU usage (%): 616.899 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 235096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 18.1995 system time used= 0.158108 maximum resident set size= 236896 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30534 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4341 involuntary context switches= 541 # summary of solver processes directly reported to runsolver: # pid: 22667 # total CPU time (s): 18.3576 # total CPU user time (s): 18.1995 # total CPU system time (s): 0.158108 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.047602 second user time and 0.069136 second system time The end
Begin job on node133 at 2019-09-14 05:20:17 IDJOB=4394528 IDBENCH=128242 IDSOLVER=2843 FILE ID=node133/4394528-1568431257 RUNJOBID= node133-1568426604-21617 PBS_JOBID= 21702289 Free space on /tmp= 59416 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-37-03.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-4394528-1568431257/watcher-4394528-1568431257 -o /tmp/evaluation-result-4394528-1568431257/solver-4394528-1568431257 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568426604-21617 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1218594840 HOME/instance-4394528-1568431257.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7e8aca8f1f1855a8a689daa123caec8a RANDOM SEED=1218594840 node133.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.18 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.18 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.18 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.18 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: 31463572 kB MemAvailable: 31899200 kB Buffers: 198180 kB Cached: 521564 kB SwapCached: 3364 kB Active: 404404 kB Inactive: 318788 kB Active(anon): 27880 kB Inactive(anon): 16056 kB Active(file): 376524 kB Inactive(file): 302732 kB Unevictable: 111224 kB Mlocked: 111224 kB SwapTotal: 67108860 kB SwapFree: 67004140 kB Dirty: 26284 kB Writeback: 16 kB AnonPages: 113592 kB Mapped: 44428 kB Shmem: 31516 kB Slab: 173456 kB SReclaimable: 144412 kB SUnreclaim: 29044 kB KernelStack: 3456 kB PageTables: 5236 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497840 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 59392 MiB End job on node133 at 2019-09-14 05:20:20