Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 | OPT | 607 | 90.2356 | 41.5271 |
Name | NurseRostering/ NurseRostering-01_c18.xml |
MD5SUM | 0c15b35a08e73d195c67cb94b6fc4864 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 607 |
Best CPU time to get the best result obtained on this benchmark | 6.23891 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 226 |
Number of constraints | 427 |
Number of domains | 11 |
Minimum domain size | 1 |
Maximum domain size | 15 |
Distribution of domain sizes | [{"size":1,"count":14},{"size":2,"count":154},{"size":9,"count":42},{"size":15,"count":16}] |
Minimum variable degree | 2 |
Maximum variable degree | 18 |
Distribution of variable degrees | [{"degree":2,"count":98},{"degree":3,"count":16},{"degree":8,"count":4},{"degree":9,"count":10},{"degree":10,"count":2},{"degree":11,"count":4},{"degree":12,"count":10},{"degree":13,"count":12},{"degree":14,"count":17},{"degree":15,"count":16},{"degree":16,"count":17},{"degree":17,"count":18},{"degree":18,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":2,"count":118},{"arity":3,"count":192},{"arity":6,"count":72},{"arity":8,"count":1},{"arity":9,"count":28},{"arity":15,"count":16}] |
Number of extensional constraints | 28 |
Number of intensional constraints | 74 |
Distribution of constraint types | [{"type":"extension","count":28},{"type":"intension","count":74},{"type":"regular","count":192},{"type":"sum","count":16},{"type":"count","count":116},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393180-1568354523.xml" -tl '2520s' -p 4 0.12/0.19 c Choco e747e1e 0.12/0.20 c [HOME/instance-4393180-1568354523.xml, -tl, 2520s, -p, 4] 0.35/0.24 c 4 solvers in parallel 0.35/0.31 c parse instance... 2.68/1.18 c solve instance... 3.01/1.27 o 1628 4.13/1.57 o 1527 4.13/1.57 o 1526 4.13/1.57 o 1525 4.13/1.57 o 914 4.13/1.57 o 913 4.13/1.57 o 912 7.23/2.34 o 820 8.40/2.86 o 819 9.67/3.67 o 818 12.04/5.77 o 817 15.25/8.25 o 816 16.92/9.22 o 717 20.40/10.28 o 715 22.08/11.89 o 713 24.65/12.80 o 712 31.85/15.76 o 710 35.52/19.32 o 709 45.17/27.14 o 610 50.84/29.21 o 609 53.96/31.29 o 608 55.25/32.34 o 607 90.19/41.51 s OPTIMUM FOUND 90.19/41.51 v <instantiation> 90.19/41.51 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] ps[0][0] ps[0][1] ps[1][0] ps[1][1] ps[2][0] ps[2][1] ps[3][0] ps[3][1] ps[4][0] ps[4][1] ps[5][0] ps[5][1] ps[6][0] ps[6][1] ps[7][0] ps[7][1] ds[0][0] ds[0][1] ds[1][0] ds[1][1] ds[2][0] ds[2][1] ds[3][0] ds[3][1] ds[4][0] ds[4][1] ds[5][0] ds[5][1] ds[6][0] ds[6][1] ds[7][0] ds[7][1] ds[8][0] ds[8][1] ds[9][0] ds[9][1] ds[10][0] ds[10][1] ds[11][0] ds[11][1] ds[12][0] ds[12][1] ds[13][0] ds[13][1] wk[0][0] wk[0][1] wk[1][0] wk[1][1] wk[2][0] wk[2][1] wk[3][0] wk[3][1] wk[4][0] wk[4][1] wk[5][0] wk[5][1] wk[6][0] wk[6][1] wk[7][0] wk[7][1] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cf[0] cf[1] cf[2] cf[3] cf[4] cc[0][0] cc[0][1] cc[1][0] cc[1][1] cc[2][0] cc[2][1] cc[3][0] cc[3][1] cc[4][0] cc[4][1] cc[5][0] cc[5][1] cc[6][0] cc[6][1] cc[7][0] cc[7][1] cc[8][0] cc[8][1] cc[9][0] cc[9][1] cc[10][0] cc[10][1] cc[11][0] cc[11][1] cc[12][0] cc[12][1] cc[13][0] cc[13][1] </list> 90.19/41.51 v <values>1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 9 5 9 5 8 6 7 7 9 5 9 5 8 6 7 7 5 3 7 1 6 2 5 3 5 3 2 6 2 6 6 2 7 1 4 4 2 6 5 3 6 2 4 4 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 300 0 300 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 90.19/41.51 v </instantiation>
OK 607
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (12418 MiB free) memory of node 1: 16384 MiB (13545 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393180-1568354523/watcher-4393180-1568354523 -o /tmp/evaluation-result-4393180-1568354523/solver-4393180-1568354523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323867655-28200 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 160744747 HOME/instance-4393180-1568354523.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=29123, runsolver pid=29120 Current StackSize limit: 8192 KiB [startup+0.100145 s]* /proc/loadavg: 8.54 8.41 6.75 3/230 29139 /proc/meminfo: memFree=26568652/32770688 swapFree=66919992/67108860 [pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0 /proc/29123/statm: 28282 362 304 221 0 87 0 [pid=29125] ppid=29123 vsize=15144768 memory=30076 CPUtime=0.12 cores=4-7 /proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 5467 0 0 0 11 1 0 0 20 0 15 0 411458615 15508242432 7519 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 /proc/29125/statm: 3786192 7519 3115 1 0 3748377 0 [pid=29125/tid=29126] ppid=29123 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=4-7 /proc/29125/task/29126/stat : 29126 (java) R 29123 29123 28168 0 -1 4202560 3396 0 0 0 8 1 0 0 20 0 15 0 411458615 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445875741040 140445871525270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29127] ppid=29123 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=4-7 /proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29128] ppid=29123 vsize=15144768 memory=140655702173312 CPUtime=0 cores=4-7 /proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29129] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29130] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29131] ppid=29123 vsize=15144768 memory=140655702173312 CPUtime=0 cores=4-7 /proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458618 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29132] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411458618 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445339014816 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29133] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411458618 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445337961712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29134] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29135] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 411458621 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29136] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 411458621 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29137] ppid=29123 vsize=15144768 memory=140655702173312 CPUtime=0.01 cores=4-7 /proc/29125/task/29137/stat : 29137 (java) R 29123 29123 28168 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 411458621 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445333751792 140445871525270 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29138] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29139] ppid=29123 vsize=15144768 memory=140655702173312 CPUtime=0 cores=4-7 /proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458622 15508242432 7519 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 15257896 KiB Current children cumulated memory: 31524 KiB [startup+0.211779 s]* /proc/loadavg: 8.54 8.41 6.75 3/230 29139 /proc/meminfo: memFree=26549648/32770688 swapFree=66919992/67108860 [pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0 /proc/29123/statm: 28282 362 304 221 0 87 0 [pid=29125] ppid=29123 vsize=15144768 memory=41060 CPUtime=0.35 cores=4-7 /proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 9002 0 0 0 32 3 0 0 20 0 15 0 411458615 15508242432 10265 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 /proc/29125/statm: 3786192 10265 3265 1 0 3748377 0 [pid=29125/tid=29126] ppid=29123 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=4-7 /proc/29125/task/29126/stat : 29126 (java) R 29123 29123 28168 0 -1 4202560 6181 0 0 0 18 2 0 0 20 0 15 0 411458615 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445875750816 140445871535261 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29127] ppid=29123 vsize=15144768 memory=1915596 CPUtime=0 cores=4-7 /proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29128] ppid=29123 vsize=15144768 memory=140655705192495 CPUtime=0 cores=4-7 /proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29129] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29130] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458616 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29131] ppid=29123 vsize=15144768 memory=140655702173312 CPUtime=0 cores=4-7 /proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458618 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29132] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411458618 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445339014816 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29133] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411458618 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445337961712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29134] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29135] ppid=29123 vsize=15144768 memory=0 CPUtime=0.03 cores=4-7 /proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 608 0 0 0 3 0 0 0 20 0 15 0 411458621 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29136] ppid=29123 vsize=15144768 memory=-1 CPUtime=0.01 cores=4-7 /proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 15 0 411458621 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29137] ppid=29123 vsize=15144768 memory=140655702173312 CPUtime=0.08 cores=4-7 /proc/29125/task/29137/stat : 29137 (java) S 29123 29123 28168 0 -1 1077944384 714 0 0 0 8 0 0 0 20 0 15 0 411458621 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445333751792 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29138] ppid=29123 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29139] ppid=29123 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458622 15508242432 10265 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 Current children cumulated CPU time: 0.35 s Current children cumulated vsize: 15257896 KiB Current children cumulated memory: 42508 KiB [startup+0.311561 s]* /proc/loadavg: 8.54 8.41 6.75 3/230 29139 /proc/meminfo: memFree=26486264/32770688 swapFree=66919992/67108860 [pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0 /proc/29123/statm: 28282 362 304 221 0 87 0 [pid=29125] ppid=29123 vsize=15149024 memory=46936 CPUtime=0.52 cores=4-7 /proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 10063 0 0 0 49 3 0 0 20 0 15 0 411458615 15512600576 11734 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 /proc/29125/statm: 3787256 11734 3342 1 0 3748377 0 [pid=29125/tid=29126] ppid=29123 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=4-7 /proc/29125/task/29126/stat : 29126 (java) R 29123 29123 28168 0 -1 4202560 7146 0 0 0 27 3 0 0 20 0 15 0 411458615 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445875734848 140445508057322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29127] ppid=29123 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=4-7 /proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29128] ppid=29123 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=4-7 /proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29129] ppid=29123 vsize=15149024 memory=7976406965554101975 CPUtime=0 cores=4-7 /proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29130] ppid=29123 vsize=15149024 memory=7161331908245094050 CPUtime=0 cores=4-7 /proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458616 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29131] ppid=29123 vsize=15149024 memory=6944656591801720471 CPUtime=0 cores=4-7 /proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411458618 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29132] ppid=29123 vsize=15149024 memory=-8458152057954561420 CPUtime=0 cores=4-7 /proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411458618 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445339014816 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29133] ppid=29123 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=4-7 /proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411458618 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445337961712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29134] ppid=29123 vsize=15149024 memory=7031125463459224206 CPUtime=0 cores=4-7 /proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29135] ppid=29123 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=4-7 /proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 618 0 0 0 4 0 0 0 20 0 15 0 411458621 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29136] ppid=29123 vsize=15149024 memory=0 CPUtime=0.03 cores=4-7 /proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 221 0 0 0 3 0 0 0 20 0 15 0 411458621 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29137] ppid=29123 vsize=15149024 memory=0 CPUtime=0.13 cores=4-7 /proc/29125/task/29137/stat : 29137 (java) R 29123 29123 28168 0 -1 4202560 783 0 0 0 13 0 0 0 20 0 15 0 411458621 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445333751792 140445871534682 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29138] ppid=29123 vsize=15149024 memory=0 CPUtime=0 cores=4-7 /proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29139] ppid=29123 vsize=15149024 memory=0 CPUtime=0 cores=4-7 /proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458622 15512600576 11734 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262152 KiB Current children cumulated memory: 48384 KiB [startup+0.700896 s] /proc/loadavg: 8.54 8.41 6.75 9/230 29139 /proc/meminfo: memFree=26283108/32770688 swapFree=66919992/67108860 [pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0 /proc/29123/statm: 28282 362 304 221 0 87 0 [pid=29125] ppid=29123 vsize=15151148 memory=75284 CPUtime=1.47 cores=4-7 /proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 14026 0 0 0 141 6 0 0 20 0 15 0 411458615 15514775552 18821 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 /proc/29125/statm: 3787787 18821 3435 1 0 3748889 0 [pid=29125/tid=29126] ppid=29123 vsize=15151148 memory=33 CPUtime=0.67 cores=4-7 /proc/29125/task/29126/stat : 29126 (java) R 29123 29123 28168 0 -1 4202560 8883 0 0 0 63 4 0 0 20 0 15 0 411458615 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445875750512 140445853368763 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29127] ppid=29123 vsize=15151148 memory=-7082918048272507482 CPUtime=0 cores=4-7 /proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29128] ppid=29123 vsize=15151148 memory=0 CPUtime=0 cores=4-7 /proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29129] ppid=29123 vsize=15151148 memory=45436 CPUtime=0 cores=4-7 /proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458616 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29130] ppid=29123 vsize=15151148 memory=984 CPUtime=0 cores=4-7 /proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411458616 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29131] ppid=29123 vsize=15151148 memory=2020 CPUtime=0 cores=4-7 /proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411458618 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29132] ppid=29123 vsize=15151148 memory=1432 CPUtime=0 cores=4-7 /proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411458618 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445339014816 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29133] ppid=29123 vsize=15151148 memory=776 CPUtime=0 cores=4-7 /proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411458618 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445337961712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29134] ppid=29123 vsize=15151148 memory=660 CPUtime=0 cores=4-7 /proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29135] ppid=29123 vsize=15151148 memory=1556 CPUtime=0.22 cores=4-7 /proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 1357 0 0 0 22 0 0 0 20 0 15 0 411458621 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29136] ppid=29123 vsize=15151148 memory=9588 CPUtime=0.17 cores=4-7 /proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 849 0 0 0 17 0 0 0 20 0 15 0 411458621 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29137] ppid=29123 vsize=15151148 memory=1712 CPUtime=0.37 cores=4-7 /proc/29125/task/29137/stat : 29137 (java) S 29123 29123 28168 0 -1 1077944384 1631 0 0 0 37 0 0 0 20 0 15 0 411458621 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445333751792 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29138] ppid=29123 vsize=15151148 memory=5972 CPUtime=0 cores=4-7 /proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411458621 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29139] ppid=29123 vsize=15151148 memory=4164 CPUtime=0 cores=4-7 /proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411458622 15514775552 18821 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 Current children cumulated CPU time: 1.47 s Current children cumulated vsize: 15264276 KiB Current children cumulated memory: 76732 KiB [startup+1.50136 s] /proc/loadavg: 8.54 8.41 6.75 6/230 29139 /proc/meminfo: memFree=26060916/32770688 swapFree=66919992/67108860 [pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0 /proc/29123/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ /proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 19 0 411458622 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29230] ppid=29123 vsize=15552580 memory=1560 CPUtime=8.33 cores=4-7 /proc/29125/task/29230/stat : 29230 (java) R 29123 29123 28168 0 -1 4202560 341 0 0 0 833 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445317181032 140445515571303 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29231] ppid=29123 vsize=15552580 memory=304556123141439514 CPUtime=8.38 cores=4-7 /proc/29125/task/29231/stat : 29231 (java) R 29123 29123 28168 0 -1 4202560 569 0 0 0 838 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445319287384 140445516217397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29232] ppid=29123 vsize=15552580 memory=288230591755977018 CPUtime=8.27 cores=4-7 /proc/29125/task/29232/stat : 29232 (java) R 29123 29123 28168 0 -1 4202560 583 0 0 0 827 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445315078432 140445518303739 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29233] ppid=29123 vsize=15552580 memory=13563791027735092 CPUtime=8.25 cores=4-7 /proc/29125/task/29233/stat : 29233 (java) R 29123 29123 28168 0 -1 4202560 118 0 0 0 825 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445316128416 140445519377676 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 Current children cumulated CPU time: 88.91 s Current children cumulated vsize: 15665708 KiB Current children cumulated memory: 253580 KiB [startup+41.2008 s] /proc/loadavg: 6.57 7.93 6.66 3/234 29234 /proc/meminfo: memFree=19096760/32770688 swapFree=66919992/67108860 [pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0 /proc/29123/statm: 28282 362 304 221 0 87 0 [pid=29125] ppid=29123 vsize=15552580 memory=252132 CPUtime=89.89 cores=4-7 /proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 67414 0 0 0 8961 28 0 0 20 0 19 0 411458615 15925841920 63033 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 /proc/29125/statm: 3888145 63033 3530 1 0 3849247 0 [pid=29125/tid=29126] ppid=29123 vsize=15552580 memory=980 CPUtime=1.19 cores=4-7 /proc/29125/task/29126/stat : 29126 (java) S 29123 29123 28168 0 -1 1077944384 12679 0 0 0 113 6 0 0 20 0 19 0 411458615 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445875754112 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29127] ppid=29123 vsize=15552580 memory=26660 CPUtime=0.06 cores=4-7 /proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1284 0 0 0 4 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29128] ppid=29123 vsize=15552580 memory=303430223234596890 CPUtime=0.08 cores=4-7 /proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 335 0 0 0 6 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29129] ppid=29123 vsize=15552580 memory=0 CPUtime=0.08 cores=4-7 /proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 2733 0 0 0 6 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29130] ppid=29123 vsize=15552580 memory=13563791027735092 CPUtime=0.09 cores=4-7 /proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 1641 0 0 0 6 3 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29131] ppid=29123 vsize=15552580 memory=1448 CPUtime=0.04 cores=4-7 /proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 1461 0 0 0 3 1 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29132] ppid=29123 vsize=15552580 memory=249064 CPUtime=0 cores=4-7 /proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445339014880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29133] ppid=29123 vsize=15552580 memory=920 CPUtime=0 cores=4-7 /proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445337961728 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29134] ppid=29123 vsize=15552580 memory=3848 CPUtime=0 cores=4-7 /proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29135] ppid=29123 vsize=15552580 memory=2764 CPUtime=3.41 cores=4-7 /proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 13789 0 0 0 340 1 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29136] ppid=29123 vsize=15552580 memory=2716 CPUtime=3.61 cores=4-7 /proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 14590 0 0 0 359 2 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29137] ppid=29123 vsize=15552580 memory=1412 CPUtime=1.08 cores=4-7 /proc/29125/task/29137/stat : 29137 (java) S 29123 29123 28168 0 -1 1077944384 8376 0 0 0 107 1 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445333751792 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29138] ppid=29123 vsize=15552580 memory=2748 CPUtime=0 cores=4-7 /proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29139] ppid=29123 vsize=15552580 memory=1448 CPUtime=0.01 cores=4-7 /proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 19 0 411458622 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29230] ppid=29123 vsize=15552580 memory=7874188 CPUtime=8.52 cores=4-7 /proc/29125/task/29230/stat : 29230 (java) S 29123 29123 28168 0 -1 1077944384 366 0 0 0 852 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445317185712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29231] ppid=29123 vsize=15552580 memory=1412 CPUtime=8.57 cores=4-7 /proc/29125/task/29231/stat : 29231 (java) S 29123 29123 28168 0 -1 1077944384 594 0 0 0 857 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445319292112 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29232] ppid=29123 vsize=15552580 memory=6791534058613427641 CPUtime=8.47 cores=4-7 /proc/29125/task/29232/stat : 29232 (java) S 29123 29123 28168 0 -1 1077944384 588 0 0 0 847 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445315081552 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29233] ppid=29123 vsize=15552580 memory=45436 CPUtime=8.64 cores=4-7 /proc/29125/task/29233/stat : 29233 (java) R 29123 29123 28168 0 -1 4202560 119 0 0 0 864 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445316128416 140445519377743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 Current children cumulated CPU time: 89.89 s Current children cumulated vsize: 15665708 KiB Current children cumulated memory: 253580 KiB [startup+41.4008 s] /proc/loadavg: 6.57 7.93 6.66 3/234 29234 /proc/meminfo: memFree=19096760/32770688 swapFree=66919992/67108860 [pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0 /proc/29123/statm: 28282 362 304 221 0 87 0 [pid=29125] ppid=29123 vsize=15552580 memory=252132 CPUtime=90.09 cores=4-7 /proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 67414 0 0 0 8981 28 0 0 20 0 19 0 411458615 15925841920 63033 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 /proc/29125/statm: 3888145 63033 3530 1 0 3849247 0 [pid=29125/tid=29126] ppid=29123 vsize=15552580 memory=1432 CPUtime=1.19 cores=4-7 /proc/29125/task/29126/stat : 29126 (java) S 29123 29123 28168 0 -1 1077944384 12679 0 0 0 113 6 0 0 20 0 19 0 411458615 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445875754112 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29127] ppid=29123 vsize=15552580 memory=0 CPUtime=0.06 cores=4-7 /proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1284 0 0 0 4 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29128] ppid=29123 vsize=15552580 memory=7883359095706182757 CPUtime=0.08 cores=4-7 /proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 335 0 0 0 6 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29129] ppid=29123 vsize=15552580 memory=7883359095706182757 CPUtime=0.08 cores=4-7 /proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 2733 0 0 0 6 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29130] ppid=29123 vsize=15552580 memory=7522245508264650577 CPUtime=0.09 cores=4-7 /proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 1641 0 0 0 6 3 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29131] ppid=29123 vsize=15552580 memory=297237790993940784 CPUtime=0.04 cores=4-7 /proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 1461 0 0 0 3 1 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29132] ppid=29123 vsize=15552580 memory=14978871065839420 CPUtime=0 cores=4-7 /proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445339014880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29133] ppid=29123 vsize=15552580 memory=-8412656567318647667 CPUtime=0 cores=4-7 /proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445337961728 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29134] ppid=29123 vsize=15552580 memory=4427205132082312746 CPUtime=0 cores=4-7 /proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29135] ppid=29123 vsize=15552580 memory=291045341506306352 CPUtime=3.41 cores=4-7 /proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 13789 0 0 0 340 1 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29136] ppid=29123 vsize=15552580 memory=14978871065839420 CPUtime=3.61 cores=4-7 /proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 14590 0 0 0 359 2 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29137] ppid=29123 vsize=15552580 memory=-7023579799431922829 CPUtime=1.08 cores=4-7 /proc/29125/task/29137/stat : 29137 (java) S 29123 29123 28168 0 -1 1077944384 8376 0 0 0 107 1 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445333751792 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29138] ppid=29123 vsize=15552580 memory=0 CPUtime=0 cores=4-7 /proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29139] ppid=29123 vsize=15552580 memory=249064 CPUtime=0.01 cores=4-7 /proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 19 0 411458622 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29230] ppid=29123 vsize=15552580 memory=31 CPUtime=8.52 cores=4-7 /proc/29125/task/29230/stat : 29230 (java) S 29123 29123 28168 0 -1 1077944384 366 0 0 0 852 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445317185712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29231] ppid=29123 vsize=15552580 memory=511375 CPUtime=8.57 cores=4-7 /proc/29125/task/29231/stat : 29231 (java) S 29123 29123 28168 0 -1 1077944384 594 0 0 0 857 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445319292112 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29232] ppid=29123 vsize=15552580 memory=513383 CPUtime=8.47 cores=4-7 /proc/29125/task/29232/stat : 29232 (java) S 29123 29123 28168 0 -1 1077944384 588 0 0 0 847 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445315081552 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29233] ppid=29123 vsize=15552580 memory=0 CPUtime=8.84 cores=4-7 /proc/29125/task/29233/stat : 29233 (java) R 29123 29123 28168 0 -1 4202560 119 0 0 0 884 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445316128416 140445519377564 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 Current children cumulated CPU time: 90.09 s Current children cumulated vsize: 15665708 KiB Current children cumulated memory: 253580 KiB [startup+41.5009 s] /proc/loadavg: 6.57 7.93 6.66 3/234 29234 /proc/meminfo: memFree=19096760/32770688 swapFree=66919992/67108860 [pid=29123] ppid=29120 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/29123/stat : 29123 (xcsp3-exec) S 29120 29123 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411458615 115843072 362 33554432000 4194304 5098028 140728125259840 140728125257944 140511295271548 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11665408 140728125268859 140728125269101 140728125269101 140728125272010 0 /proc/29123/statm: 28282 362 304 221 0 87 0 [pid=29125] ppid=29123 vsize=15552580 memory=252132 CPUtime=90.19 cores=4-7 /proc/29125/stat : 29125 (java) S 29123 29123 28168 0 -1 1077944320 67414 0 0 0 8991 28 0 0 20 0 19 0 411458615 15925841920 63033 33554432000 4194304 4196468 140721716088864 140721716071408 140445871513335 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 /proc/29125/statm: 3888145 63033 3530 1 0 3849247 0 [pid=29125/tid=29126] ppid=29123 vsize=15552580 memory=252132 CPUtime=1.19 cores=4-7 /proc/29125/task/29126/stat : 29126 (java) S 29123 29123 28168 0 -1 1077944384 12679 0 0 0 113 6 0 0 20 0 19 0 411458615 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445875754112 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29127] ppid=29123 vsize=15552580 memory=258580 CPUtime=0.06 cores=4-7 /proc/29125/task/29127/stat : 29127 (java) S 29123 29123 28168 0 -1 1077944384 1284 0 0 0 4 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445834619408 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29128] ppid=29123 vsize=15552580 memory=6 CPUtime=0.08 cores=4-7 /proc/29125/task/29128/stat : 29128 (java) S 29123 29123 28168 0 -1 1077944384 335 0 0 0 6 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445463009936 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29129] ppid=29123 vsize=15552580 memory=65 CPUtime=0.08 cores=4-7 /proc/29125/task/29129/stat : 29129 (java) S 29123 29123 28168 0 -1 1077944384 2733 0 0 0 6 2 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445461956880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29130] ppid=29123 vsize=15552580 memory=164 CPUtime=0.09 cores=4-7 /proc/29125/task/29130/stat : 29130 (java) S 29123 29123 28168 0 -1 1077944384 1641 0 0 0 6 3 0 0 20 0 19 0 411458616 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445460904336 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29131] ppid=29123 vsize=15552580 memory=4164 CPUtime=0.04 cores=4-7 /proc/29125/task/29131/stat : 29131 (java) S 29123 29123 28168 0 -1 1077944384 1461 0 0 0 3 1 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445340068592 140445871524482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29132] ppid=29123 vsize=15552580 memory=1056 CPUtime=0 cores=4-7 /proc/29125/task/29132/stat : 29132 (java) S 29123 29123 28168 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445339014880 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29133] ppid=29123 vsize=15552580 memory=281311097310240 CPUtime=0 cores=4-7 /proc/29125/task/29133/stat : 29133 (java) S 29123 29123 28168 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 411458618 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445337961728 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29134] ppid=29123 vsize=15552580 memory=1915818 CPUtime=0 cores=4-7 /proc/29125/task/29134/stat : 29134 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445336910288 140445871531931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29135] ppid=29123 vsize=15552580 memory=288230574492221466 CPUtime=3.41 cores=4-7 /proc/29125/task/29135/stat : 29135 (java) S 29123 29123 28168 0 -1 1077944384 13789 0 0 0 340 1 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445335857392 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29136] ppid=29123 vsize=15552580 memory=301741390638088506 CPUtime=3.61 cores=4-7 /proc/29125/task/29136/stat : 29136 (java) S 29123 29123 28168 0 -1 1077944384 14590 0 0 0 359 2 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445334804848 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29137] ppid=29123 vsize=15552580 memory=1448 CPUtime=1.08 cores=4-7 /proc/29125/task/29137/stat : 29137 (java) S 29123 29123 28168 0 -1 1077944384 8376 0 0 0 107 1 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445333751792 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29138] ppid=29123 vsize=15552580 memory=1448 CPUtime=0 cores=4-7 /proc/29125/task/29138/stat : 29138 (java) S 29123 29123 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411458621 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445332699488 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29139] ppid=29123 vsize=15552580 memory=1448 CPUtime=0.01 cores=4-7 /proc/29125/task/29139/stat : 29139 (java) S 29123 29123 28168 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 19 0 411458622 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445331647536 140445871524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29230] ppid=29123 vsize=15552580 memory=1448 CPUtime=8.52 cores=4-7 /proc/29125/task/29230/stat : 29230 (java) S 29123 29123 28168 0 -1 1077944384 366 0 0 0 852 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445317185712 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29231] ppid=29123 vsize=15552580 memory=1448 CPUtime=8.57 cores=4-7 /proc/29125/task/29231/stat : 29231 (java) S 29123 29123 28168 0 -1 1077944384 594 0 0 0 857 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445319292112 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29232] ppid=29123 vsize=15552580 memory=249064 CPUtime=8.47 cores=4-7 /proc/29125/task/29232/stat : 29232 (java) S 29123 29123 28168 0 -1 1077944384 588 0 0 0 847 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445315081552 140445871523541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 [pid=29125/tid=29233] ppid=29123 vsize=15552580 memory=1448 CPUtime=8.94 cores=4-7 /proc/29125/task/29233/stat : 29233 (java) R 29123 29123 28168 0 -1 4202560 119 0 0 0 894 0 0 0 20 0 19 0 411461849 15925841920 63033 33554432000 4194304 4196468 140721716088864 140445316128416 140445519378047 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16912384 140721716098031 140721716098202 140721716098202 140721716101071 0 Current children cumulated CPU time: 90.19 s Current children cumulated vsize: 15665708 KiB Current children cumulated memory: 253580 KiB Child status: 0 Real time (s): 41.5271 CPU time (s): 90.2356 CPU user time (s): 89.9428 CPU system time (s): 0.292792 CPU usage (%): 217.294 Max. virtual memory (cumulated for all children) (KiB): 15665708 Max. memory (cumulated for all children) (KiB): 260356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 89.9428 system time used= 0.292792 maximum resident set size= 267484 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68610 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4898 involuntary context switches= 1392 # summary of solver processes directly reported to runsolver: # pid: 29123 # total CPU time (s): 90.2356 # total CPU user time (s): 89.9428 # total CPU system time (s): 0.292792 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.322639 second user time and 0.503137 second system time The end
Begin job on node120 at 2011-12-14 14:22:25 IDJOB=4393180 IDBENCH=141048 IDSOLVER=2840 FILE ID=node120/4393180-1568354523 RUNJOBID= node120-1323867655-28200 PBS_JOBID= 21701183 Free space on /tmp= 59128 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP18/NurseRostering/NurseRostering-01_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393180-1568354523/watcher-4393180-1568354523 -o /tmp/evaluation-result-4393180-1568354523/solver-4393180-1568354523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323867655-28200 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 160744747 HOME/instance-4393180-1568354523.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0c15b35a08e73d195c67cb94b6fc4864 RANDOM SEED=160744747 node120.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 26586628 kB MemAvailable: 30664936 kB Buffers: 164092 kB Cached: 4207580 kB SwapCached: 77548 kB Active: 2449936 kB Inactive: 3157336 kB Active(anon): 1158264 kB Inactive(anon): 126960 kB Active(file): 1291672 kB Inactive(file): 3030376 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 26404 kB Writeback: 0 kB AnonPages: 1304344 kB Mapped: 60564 kB Shmem: 41008 kB Slab: 173348 kB SReclaimable: 144192 kB SUnreclaim: 29156 kB KernelStack: 4016 kB PageTables: 8184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 3312228 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1218560 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 59104 MiB End job on node120 at 2011-12-14 14:23:07