Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT | 78.165199 | 56.415501 |
Name | RadarSurveillance/RadarSurveillance-m1-s8-30/ RadarSurveillance-8-30-3-0-10.xml |
MD5SUM | c800df9d4cb0f0da3a570e7ebd01bbed |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.126243 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 180 |
Number of constraints | 64 |
Number of domains | 1 |
Minimum domain size | 4 |
Maximum domain size | 4 |
Distribution of domain sizes | [{"size":4,"count":156}] |
Minimum variable degree | 0 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":0,"count":24},{"degree":1,"count":16},{"degree":2,"count":13},{"degree":3,"count":16},{"degree":4,"count":10},{"degree":5,"count":23},{"degree":6,"count":78}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":3,"count":1},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":5},{"arity":8,"count":4},{"arity":9,"count":11},{"arity":10,"count":7},{"arity":11,"count":7},{"arity":12,"count":6},{"arity":13,"count":5},{"arity":14,"count":3},{"arity":15,"count":4},{"arity":16,"count":2},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 64 |
Distribution of constraint types | [{"type":"intension","count":64}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271177-1502768660.xml" -tl '20160s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4271177-1502768660.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 71.33/55.49 c solve instance... 77.68/56.36 s SATISFIABLE 77.68/56.36 v <instantiation> 77.68/56.36 v <list>x[0][1] x[0][2] x[0][3] x[0][4] x[1][1] x[1][2] x[1][3] x[1][4] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[6][0] x[6][1] x[6][2] x[6][3] x[6][5] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[12][0] x[12][1] x[12][2] x[12][3] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[17][0] x[17][2] x[17][3] x[17][4] x[17][5] x[18][0] x[18][1] x[18][2] x[18][3] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[26][0] x[26][3] x[26][4] x[26][5] x[27][0] x[27][1] x[28][0] x[28][1] x[28][4] x[28][5] x[29][0] x[29][1] x[29][4] x[29][5] </list> 77.68/56.36 v <values>3 1 1 3 3 0 0 1 1 1 3 3 0 1 0 1 3 1 1 0 1 0 3 0 0 0 0 1 3 0 1 1 3 1 1 1 0 3 0 1 1 1 1 0 0 0 1 1 1 1 0 3 3 1 1 1 1 1 0 3 1 1 1 0 1 1 3 3 1 3 3 3 3 1 1 1 1 1 3 1 0 1 2 1 1 1 3 3 1 2 1 1 0 3 2 1 1 1 1 3 1 0 1 0 3 0 1 1 0 0 0 1 1 0 3 3 1 1 1 1 3 3 0 1 1 0 1 0 0 1 1 3 3 0 1 1 1 0 3 0 1 1 3 3 0 0 0 1 1 1 3 0 1 2 3 1 </values> 77.68/56.36 v </instantiation>
OK
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 (15198 MiB free) memory of node 1: 16384 MiB (15530 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271177-1502768660/watcher-4271177-1502768660 -o /tmp/evaluation-result-4271177-1502768660/solver-4271177-1502768660 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502762644-18791 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 713790683 HOME/instance-4271177-1502768660.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=19396, runsolver pid=19393 Current StackSize limit: 8192 KiB [startup+0.100133 s]* /proc/loadavg: 2.18 6.11 7.77 3/199 19417 /proc/meminfo: memFree=31452016/32770624 swapFree=67108860/67108860 [pid=19396] ppid=19393 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19396/stat : 19396 (xcsp3-exec) S 19393 19396 18764 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109953563 9740288 346 33554432000 4194304 5098028 140733497219760 140733497217864 140623203558012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13152256 140733497222245 140733497222455 140733497222455 140733497225195 0 /proc/19396/statm: 2378 346 289 221 0 87 0 [pid=19398] ppid=19396 vsize=25999808 memory=27052 CPUtime=0.11 cores=0-7 /proc/19398/stat : 19398 (java) S 19396 19396 18764 0 -1 1077944320 5624 0 0 0 10 1 0 0 20 0 20 0 109953563 26623803392 6763 33554432000 4194304 4196468 140724158072592 140724158055136 139700869758711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 /proc/19398/statm: 6499952 6763 2868 1 0 6488269 0 [pid=19398/tid=19399] ppid=19396 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/19398/task/19399/stat : 19399 (java) R 19396 19396 18764 0 -1 4202560 3642 0 0 0 8 0 0 0 20 0 20 0 109953564 26623803392 6763 33554432000 4194304 4196468 140724158072592 139700873981856 139700851410270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19400] ppid=19396 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19398/task/19400/stat : 19400 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26623803392 6763 33554432000 4194304 4196468 140724158072592 139700792338832 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19401] ppid=19396 vsize=25999808 memory=140154885514880 CPUtime=0 cores=0-7 /proc/19398/task/19401/stat : 19401 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26623803392 6763 33554432000 4194304 4196468 140724158072592 139700426791184 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19402] ppid=19396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19402/stat : 19402 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26623803392 6763 33554432000 4194304 4196468 140724158072592 139700425738896 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19403] ppid=19396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19403/stat : 19403 (java) S 19396 19396 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109953564 26623803392 6763 33554432000 4194304 4196468 140724158072592 139700424686096 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19404] ppid=19396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19404/stat : 19404 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26623803392 6763 33554432000 4194304 4196468 140724158072592 139700423633808 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19405] ppid=19396 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/19398/task/19405/stat : 19405 (java) S 19396 19396 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109953564 26623803392 6763 33554432000 4194304 4196468 140724158072592 139700422581008 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19406] ppid=19396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19406/stat : 19406 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26623803392 6763 33554432000 4194304 4196468 140724158072592 139700421528720 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19407] ppid=19396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19407/stat : 19407 (java) S 19396 19396 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109953564 26623803392 6763 33554432000 4194304 4196468 140724158072592 139700420475920 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19408] ppid=19396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19408/stat : 19408 (java) S 19396 19396 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109953566 26623803392 6763 33554432000 4194304 4196468 140724158072592 139699996838000 139700869769858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19409] ppid=19396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19409/stat : 19409 (java) S 19396 19396 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109953566 26623803392 6763 33554432000 4194304 4196468 140724158072592 139699995783968 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19410] ppid=19396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19410/stat : 19410 (java) S 19396 19396 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109953567 26623803392 6763 33554432000 4194304 4196468 140724158072592 139699994731632 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19411] ppid=19396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19411/stat : 19411 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953569 26623803392 6763 33554432000 4194304 4196468 140724158072592 139699993679952 139700869777307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19412] ppid=19396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19412/stat : 19412 (java) S 19396 19396 18764 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 20 0 109953569 26623803392 6763 33554432000 4194304 4196468 140724158072592 139699992627824 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19413] ppid=19396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19413/stat : 19413 (java) R 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953569 26623803392 6763 33554432000 4194304 4196468 140724158072592 139699991575024 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19414] ppid=19396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19414/stat : 19414 (java) R 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953569 26623803392 6763 33554432000 4194304 4196468 140724158072592 139699990522736 139700869769858 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19415] ppid=19396 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/19398/task/19415/stat : 19415 (java) S 19396 19396 18764 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 20 0 109953569 26623803392 6763 33554432000 4194304 4196468 140724158072592 139699989469936 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19416] ppid=19396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19416/stat : 19416 (java) S 19396 19396 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109953569 26623803392 6763 33554432000 4194304 4196468 140724158072592 139699988416864 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19417] ppid=19396 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/19398/task/19417/stat : 19417 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953570 26623803392 6763 33554432000 4194304 4196468 140724158072592 139699987364144 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28436 KiB [startup+0.210234 s]* /proc/loadavg: 2.18 6.11 7.77 3/199 19417 /proc/meminfo: memFree=31439540/32770624 swapFree=67108860/67108860 [pid=19396] ppid=19393 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19396/stat : 19396 (xcsp3-exec) S 19393 19396 18764 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109953563 9740288 346 33554432000 4194304 5098028 140733497219760 140733497217864 140623203558012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13152256 140733497222245 140733497222455 140733497222455 140733497225195 0 /proc/19396/statm: 2378 346 289 221 0 87 0 [pid=19398] ppid=19396 vsize=26004064 memory=40488 CPUtime=0.33 cores=0-7 /proc/19398/stat : 19398 (java) S 19396 19396 18764 0 -1 1077944320 8188 0 0 0 31 2 0 0 20 0 20 0 109953563 26628161536 10122 33554432000 4194304 4196468 140724158072592 140724158055136 139700869758711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 /proc/19398/statm: 6501016 10122 3037 1 0 6488269 0 [pid=19398/tid=19399] ppid=19396 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/19398/task/19399/stat : 19399 (java) R 19396 19396 18764 0 -1 4202560 5289 0 0 0 18 1 0 0 20 0 20 0 109953564 26628161536 10122 33554432000 4194304 4196468 140724158072592 139700873995552 139700869780637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19400] ppid=19396 vsize=26004064 memory=328 CPUtime=0 cores=0-7 /proc/19398/task/19400/stat : 19400 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 10122 33554432000 4194304 4196468 140724158072592 139700792338832 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19401] ppid=19396 vsize=26004064 memory=140154885998112 CPUtime=0 cores=0-7 /proc/19398/task/19401/stat : 19401 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 10122 33554432000 4194304 4196468 140724158072592 139700426791184 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19402] ppid=19396 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19398/task/19402/stat : 19402 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 10122 33554432000 4194304 4196468 140724158072592 139700425738896 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19403] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19403/stat : 19403 (java) S 19396 19396 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 10122 33554432000 4194304 4196468 140724158072592 139700424686096 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19404] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19404/stat : 19404 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 10122 33554432000 4194304 4196468 140724158072592 139700423633808 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19405] ppid=19396 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19398/task/19405/stat : 19405 (java) S 19396 19396 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 10122 33554432000 4194304 4196468 140724158072592 139700422581008 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19406] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19406/stat : 19406 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 10122 33554432000 4194304 4196468 140724158072592 139700421528720 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19407] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19407/stat : 19407 (java) S 19396 19396 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 10122 33554432000 4194304 4196468 140724158072592 139700420475920 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19408] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19408/stat : 19408 (java) S 19396 19396 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109953566 26628161536 10122 33554432000 4194304 4196468 140724158072592 139699996838000 139700869769858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19409] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19409/stat : 19409 (java) S 19396 19396 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109953566 26628161536 10122 33554432000 4194304 4196468 140724158072592 139699995783968 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19410] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19410/stat : 19410 (java) S 19396 19396 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109953567 26628161536 10122 33554432000 4194304 4196468 140724158072592 139699994731632 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19411] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19411/stat : 19411 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953569 26628161536 10122 33554432000 4194304 4196468 140724158072592 139699993679952 139700869777307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19412] ppid=19396 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/19398/task/19412/stat : 19412 (java) S 19396 19396 18764 0 -1 1077944384 789 0 0 0 2 0 0 0 20 0 20 0 109953569 26628161536 10122 33554432000 4194304 4196468 140724158072592 139699992627824 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19413] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19413/stat : 19413 (java) S 19396 19396 18764 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 109953569 26628161536 10122 33554432000 4194304 4196468 140724158072592 139699991575024 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19414] ppid=19396 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/19398/task/19414/stat : 19414 (java) S 19396 19396 18764 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 20 0 109953569 26628161536 10122 33554432000 4194304 4196468 140724158072592 139699990522736 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19415] ppid=19396 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/19398/task/19415/stat : 19415 (java) S 19396 19396 18764 0 -1 1077944384 702 0 0 0 7 0 0 0 20 0 20 0 109953569 26628161536 10122 33554432000 4194304 4196468 140724158072592 139699989469936 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19416] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19416/stat : 19416 (java) S 19396 19396 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109953569 26628161536 10122 33554432000 4194304 4196468 140724158072592 139699988416864 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19417] ppid=19396 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19398/task/19417/stat : 19417 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953570 26628161536 10122 33554432000 4194304 4196468 140724158072592 139699987364144 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 41872 KiB [startup+0.310141 s]* /proc/loadavg: 2.18 6.11 7.77 3/199 19417 /proc/meminfo: memFree=31435508/32770624 swapFree=67108860/67108860 [pid=19396] ppid=19393 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19396/stat : 19396 (xcsp3-exec) S 19393 19396 18764 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109953563 9740288 346 33554432000 4194304 5098028 140733497219760 140733497217864 140623203558012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13152256 140733497222245 140733497222455 140733497222455 140733497225195 0 /proc/19396/statm: 2378 346 289 221 0 87 0 [pid=19398] ppid=19396 vsize=26004064 memory=47712 CPUtime=0.5 cores=0-7 /proc/19398/stat : 19398 (java) S 19396 19396 18764 0 -1 1077944320 9139 0 0 0 47 3 0 0 20 0 20 0 109953563 26628161536 11928 33554432000 4194304 4196468 140724158072592 140724158055136 139700869758711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 /proc/19398/statm: 6501016 11928 3112 1 0 6488269 0 [pid=19398/tid=19399] ppid=19396 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/19398/task/19399/stat : 19399 (java) R 19396 19396 18764 0 -1 4202560 6012 0 0 0 27 2 0 0 20 0 20 0 109953564 26628161536 11928 33554432000 4194304 4196468 140724158072592 139700873988512 139700853839198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19400] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19400/stat : 19400 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 11928 33554432000 4194304 4196468 140724158072592 139700792338832 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19401] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19401/stat : 19401 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 11928 33554432000 4194304 4196468 140724158072592 139700426791184 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19402] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19402/stat : 19402 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 11928 33554432000 4194304 4196468 140724158072592 139700425738896 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19403] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19403/stat : 19403 (java) S 19396 19396 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 11928 33554432000 4194304 4196468 140724158072592 139700424686096 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19404] ppid=19396 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/19398/task/19404/stat : 19404 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 11928 33554432000 4194304 4196468 140724158072592 139700423633808 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19405] ppid=19396 vsize=26004064 memory=140154782184367 CPUtime=0 cores=0-7 /proc/19398/task/19405/stat : 19405 (java) S 19396 19396 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 11928 33554432000 4194304 4196468 140724158072592 139700422581008 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19406] ppid=19396 vsize=26004064 memory=140154782186672 CPUtime=0 cores=0-7 /proc/19398/task/19406/stat : 19406 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 11928 33554432000 4194304 4196468 140724158072592 139700421528720 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19407] ppid=19396 vsize=26004064 memory=140154782188976 CPUtime=0 cores=0-7 /proc/19398/task/19407/stat : 19407 (java) S 19396 19396 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109953564 26628161536 11928 33554432000 4194304 4196468 140724158072592 139700420475920 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19408] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19408/stat : 19408 (java) S 19396 19396 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109953566 26628161536 11928 33554432000 4194304 4196468 140724158072592 139699996838000 139700869769858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19409] ppid=19396 vsize=26004064 memory=280309564384912 CPUtime=0 cores=0-7 /proc/19398/task/19409/stat : 19409 (java) S 19396 19396 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109953566 26628161536 11928 33554432000 4194304 4196468 140724158072592 139699995783968 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19410] ppid=19396 vsize=26004064 memory=280309564391824 CPUtime=0 cores=0-7 /proc/19398/task/19410/stat : 19410 (java) S 19396 19396 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109953567 26628161536 11928 33554432000 4194304 4196468 140724158072592 139699994731632 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19411] ppid=19396 vsize=26004064 memory=280309564333104 CPUtime=0 cores=0-7 /proc/19398/task/19411/stat : 19411 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953569 26628161536 11928 33554432000 4194304 4196468 140724158072592 139699993679952 139700869777307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19412] ppid=19396 vsize=26004064 memory=280309564405648 CPUtime=0.03 cores=0-7 /proc/19398/task/19412/stat : 19412 (java) S 19396 19396 18764 0 -1 1077944384 793 0 0 0 3 0 0 0 20 0 20 0 109953569 26628161536 11928 33554432000 4194304 4196468 140724158072592 139699992627824 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19413] ppid=19396 vsize=26004064 memory=280309564412560 CPUtime=0.02 cores=0-7 /proc/19398/task/19413/stat : 19413 (java) S 19396 19396 18764 0 -1 1077944384 92 0 0 0 2 0 0 0 20 0 20 0 109953569 26628161536 11928 33554432000 4194304 4196468 140724158072592 139699991575024 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19414] ppid=19396 vsize=26004064 memory=280309564410256 CPUtime=0.02 cores=0-7 /proc/19398/task/19414/stat : 19414 (java) R 19396 19396 18764 0 -1 4202560 118 0 0 0 2 0 0 0 20 0 20 0 109953569 26628161536 11928 33554432000 4194304 4196468 140724158072592 139699990513120 139700861995838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19415] ppid=19396 vsize=26004064 memory=280309564426416 CPUtime=0.12 cores=0-7 /proc/19398/task/19415/stat : 19415 (java) R 19396 19396 18764 0 -1 4202560 821 0 0 0 12 0 0 0 20 0 20 0 109953569 26628161536 11928 33554432000 4194304 4196468 140724158072592 139699989466744 139700853839198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19416] ppid=19396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19416/stat : 19416 (java) S 19396 19396 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109953569 26628161536 11928 33554432000 4194304 4196468 140724158072592 139699988416864 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19417] ppid=19396 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19398/task/19417/stat : 19417 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953570 26628161536 11928 33554432000 4194304 4196468 140724158072592 139699987364144 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 49096 KiB [startup+0.701046 s] /proc/loadavg: 2.18 6.11 7.77 2/201 19426 /proc/meminfo: memFree=31399892/32770624 swapFree=67108860/67108860 [pid=19396] ppid=19393 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19396/stat : 19396 (xcsp3-exec) S 19393 19396 18764 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109953563 9740288 346 33554432000 4194304 5098028 140733497219760 140733497217864 140623203558012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13152256 140733497222245 140733497222455 140733497222455 140733497225195 0 /proc/19396/statm: 2378 346 289 221 0 87 0 [pid=19398] ppid=19396 vsize=26004140 memory=154084 CPUtime=1.48 cores=0-7 /proc/19398/stat : 19398 (java) S 19396 19396 18764 0 -1 1077944320 12171 0 0 0 142 6 0 0 20 0 20 0 109953563 26628239360 38521 33554432000 4194304 4196468 140724158072592 140724158055136 139700869758711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 /proc/19398/statm: 6501035 38521 3199 1 0 6488269 0 [pid=19398/tid=19399] ppid=19396 vsize=26004140 memory=280309564784304 CPUtime=0.67 cores=0-7 /proc/19398/task/19399/stat : 19399 (java) R 19396 19396 18764 0 -1 4202560 6437 0 0 0 63 4 0 0 20 0 20 0 109953564 26628239360 38521 33554432000 4194304 4196468 140724158072592 139700873996080 139700474832699 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19400] ppid=19396 vsize=26004140 memory=140154782393200 CPUtime=0 cores=0-7 /proc/19398/task/19400/stat : 19400 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26628239360 38521 33554432000 4194304 4196468 140724158072592 139700792338832 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19401] ppid=19396 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19401/stat : 19401 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26628239360 38521 33554432000 4194304 4196468 140724158072592 139700426791184 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19402] ppid=19396 vsize=26004140 memory=4612 CPUtime=0 cores=0-7 /proc/19398/task/19402/stat : 19402 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953564 26628239360 38521 33554432000 4194304 4196468 140724158072592 139700425738896 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 ################ # More data... # ################ [pid=19398/tid=19404] ppid=19396 vsize=26006188 memory=-3622645143214314312 CPUtime=1.96 cores=0-7 /proc/19398/task/19404/stat : 19404 (java) S 19396 19396 18764 0 -1 1077944384 4538 0 0 0 149 47 0 0 20 0 20 0 109953564 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139700423633808 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19405] ppid=19396 vsize=26006188 memory=-7094132109863559211 CPUtime=2 cores=0-7 /proc/19398/task/19405/stat : 19405 (java) S 19396 19396 18764 0 -1 1077944384 3307 0 0 0 146 54 0 0 20 0 20 0 109953564 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139700422581008 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19406] ppid=19396 vsize=26006188 memory=-7880843606118635149 CPUtime=1.97 cores=0-7 /proc/19398/task/19406/stat : 19406 (java) S 19396 19396 18764 0 -1 1077944384 4443 0 0 0 147 50 0 0 20 0 20 0 109953564 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139700421528720 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19407] ppid=19396 vsize=26006188 memory=0 CPUtime=1.99 cores=0-7 /proc/19398/task/19407/stat : 19407 (java) S 19396 19396 18764 0 -1 1077944384 3222 0 0 0 150 49 0 0 20 0 20 0 109953564 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139700420475920 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19408] ppid=19396 vsize=26006188 memory=6791534058613427641 CPUtime=1.03 cores=0-7 /proc/19398/task/19408/stat : 19408 (java) S 19396 19396 18764 0 -1 1077944384 6317 0 0 0 102 1 0 0 20 0 20 0 109953566 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139699996838000 139700869769858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19409] ppid=19396 vsize=26006188 memory=840 CPUtime=0 cores=0-7 /proc/19398/task/19409/stat : 19409 (java) S 19396 19396 18764 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 109953566 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139699995784032 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19410] ppid=19396 vsize=26006188 memory=1696 CPUtime=0 cores=0-7 /proc/19398/task/19410/stat : 19410 (java) S 19396 19396 18764 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 109953567 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139699994731648 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19411] ppid=19396 vsize=26006188 memory=5358724 CPUtime=0 cores=0-7 /proc/19398/task/19411/stat : 19411 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953569 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139699993679952 139700869777307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19412] ppid=19396 vsize=26006188 memory=4052 CPUtime=0.5 cores=0-7 /proc/19398/task/19412/stat : 19412 (java) S 19396 19396 18764 0 -1 1077944384 3292 0 0 0 49 1 0 0 20 0 20 0 109953569 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139699992627824 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19413] ppid=19396 vsize=26006188 memory=16236 CPUtime=0.69 cores=0-7 /proc/19398/task/19413/stat : 19413 (java) S 19396 19396 18764 0 -1 1077944384 3984 0 0 0 68 1 0 0 20 0 20 0 109953569 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139699991575024 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19414] ppid=19396 vsize=26006188 memory=1796 CPUtime=0.42 cores=0-7 /proc/19398/task/19414/stat : 19414 (java) S 19396 19396 18764 0 -1 1077944384 2131 0 0 0 42 0 0 0 20 0 20 0 109953569 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139699990522736 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19415] ppid=19396 vsize=26006188 memory=644 CPUtime=0.43 cores=0-7 /proc/19398/task/19415/stat : 19415 (java) S 19396 19396 18764 0 -1 1077944384 3044 0 0 0 42 1 0 0 20 0 20 0 109953569 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139699989469936 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19416] ppid=19396 vsize=26006188 memory=5407876 CPUtime=0 cores=0-7 /proc/19398/task/19416/stat : 19416 (java) S 19396 19396 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109953569 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139699988416864 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19417] ppid=19396 vsize=26006188 memory=8568 CPUtime=0.02 cores=0-7 /proc/19398/task/19417/stat : 19417 (java) S 19396 19396 18764 0 -1 1077944384 174 0 0 0 1 1 0 0 20 0 20 0 109953570 26630336512 1413409 33554432000 4194304 4196468 140724158072592 139699987364144 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 Current children cumulated CPU time: 70.33 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 5652972 KiB [startup+55.201 s] /proc/loadavg: 1.51 5.27 7.39 2/201 19426 /proc/meminfo: memFree=25554032/32770624 swapFree=67108860/67108860 [pid=19396] ppid=19393 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19396/stat : 19396 (xcsp3-exec) S 19393 19396 18764 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109953563 9740288 346 33554432000 4194304 5098028 140733497219760 140733497217864 140623203558012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13152256 140733497222245 140733497222455 140733497222455 140733497225195 0 /proc/19396/statm: 2378 346 289 221 0 87 0 [pid=19398] ppid=19396 vsize=26006188 memory=6009988 CPUtime=71.13 cores=0-7 /proc/19398/stat : 19398 (java) S 19396 19396 18764 0 -1 1077944320 80488 0 0 0 6646 467 0 0 20 0 20 0 109953563 26630336512 1502497 33554432000 4194304 4196468 140724158072592 140724158055136 139700869758711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 /proc/19398/statm: 6501547 1502497 3267 1 0 6488781 0 [pid=19398/tid=19399] ppid=19396 vsize=26006188 memory=1948 CPUtime=52.05 cores=0-7 /proc/19398/task/19399/stat : 19399 (java) R 19396 19396 18764 0 -1 4202560 17559 0 0 0 5139 66 0 0 20 0 20 0 109953564 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139700873993952 139700474887825 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19400] ppid=19396 vsize=26006188 memory=6791534058613427641 CPUtime=1.94 cores=0-7 /proc/19398/task/19400/stat : 19400 (java) S 19396 19396 18764 0 -1 1077944384 16666 0 0 0 148 46 0 0 20 0 20 0 109953564 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139700792338832 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19401] ppid=19396 vsize=26006188 memory=5739652 CPUtime=2 cores=0-7 /proc/19398/task/19401/stat : 19401 (java) S 19396 19396 18764 0 -1 1077944384 3888 0 0 0 150 50 0 0 20 0 20 0 109953564 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139700426791184 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19402] ppid=19396 vsize=26006188 memory=1004 CPUtime=1.98 cores=0-7 /proc/19398/task/19402/stat : 19402 (java) S 19396 19396 18764 0 -1 1077944384 3727 0 0 0 152 46 0 0 20 0 20 0 109953564 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139700425738896 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19403] ppid=19396 vsize=26006188 memory=1200 CPUtime=2.01 cores=0-7 /proc/19398/task/19403/stat : 19403 (java) S 19396 19396 18764 0 -1 1077944384 2841 0 0 0 153 48 0 0 20 0 20 0 109953564 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139700424686096 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19404] ppid=19396 vsize=26006188 memory=15872 CPUtime=1.96 cores=0-7 /proc/19398/task/19404/stat : 19404 (java) S 19396 19396 18764 0 -1 1077944384 4538 0 0 0 149 47 0 0 20 0 20 0 109953564 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139700423633808 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19405] ppid=19396 vsize=26006188 memory=17472 CPUtime=2 cores=0-7 /proc/19398/task/19405/stat : 19405 (java) S 19396 19396 18764 0 -1 1077944384 3307 0 0 0 146 54 0 0 20 0 20 0 109953564 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139700422581008 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19406] ppid=19396 vsize=26006188 memory=280309564897088 CPUtime=1.97 cores=0-7 /proc/19398/task/19406/stat : 19406 (java) S 19396 19396 18764 0 -1 1077944384 4443 0 0 0 147 50 0 0 20 0 20 0 109953564 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139700421528720 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19407] ppid=19396 vsize=26006188 memory=3284 CPUtime=1.99 cores=0-7 /proc/19398/task/19407/stat : 19407 (java) S 19396 19396 18764 0 -1 1077944384 3222 0 0 0 150 49 0 0 20 0 20 0 109953564 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139700420475920 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19408] ppid=19396 vsize=26006188 memory=22758 CPUtime=1.03 cores=0-7 /proc/19398/task/19408/stat : 19408 (java) S 19396 19396 18764 0 -1 1077944384 6317 0 0 0 102 1 0 0 20 0 20 0 109953566 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139699996838000 139700869769858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19409] ppid=19396 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19409/stat : 19409 (java) S 19396 19396 18764 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 109953566 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139699995784032 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19410] ppid=19396 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19410/stat : 19410 (java) S 19396 19396 18764 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 109953567 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139699994731648 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19411] ppid=19396 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/19398/task/19411/stat : 19411 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109953569 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139699993679952 139700869777307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19412] ppid=19396 vsize=26006188 memory=6943526294502006880 CPUtime=0.5 cores=0-7 /proc/19398/task/19412/stat : 19412 (java) S 19396 19396 18764 0 -1 1077944384 3292 0 0 0 49 1 0 0 20 0 20 0 109953569 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139699992627824 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19413] ppid=19396 vsize=26006188 memory=-3040564339240289162 CPUtime=0.69 cores=0-7 /proc/19398/task/19413/stat : 19413 (java) S 19396 19396 18764 0 -1 1077944384 3984 0 0 0 68 1 0 0 20 0 20 0 109953569 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139699991575024 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19414] ppid=19396 vsize=26006188 memory=2240 CPUtime=0.42 cores=0-7 /proc/19398/task/19414/stat : 19414 (java) S 19396 19396 18764 0 -1 1077944384 2131 0 0 0 42 0 0 0 20 0 20 0 109953569 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139699990522736 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19415] ppid=19396 vsize=26006188 memory=4124 CPUtime=0.43 cores=0-7 /proc/19398/task/19415/stat : 19415 (java) S 19396 19396 18764 0 -1 1077944384 3044 0 0 0 42 1 0 0 20 0 20 0 109953569 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139699989469936 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19416] ppid=19396 vsize=26006188 memory=2196 CPUtime=0 cores=0-7 /proc/19398/task/19416/stat : 19416 (java) S 19396 19396 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109953569 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139699988416864 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19417] ppid=19396 vsize=26006188 memory=6764 CPUtime=0.03 cores=0-7 /proc/19398/task/19417/stat : 19417 (java) S 19396 19396 18764 0 -1 1077944384 174 0 0 0 1 2 0 0 20 0 20 0 109953570 26630336512 1502497 33554432000 4194304 4196468 140724158072592 139699987364144 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 Current children cumulated CPU time: 71.13 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 6011372 KiB [startup+56.0112 s]* /proc/loadavg: 1.51 5.27 7.39 11/209 19434 /proc/meminfo: memFree=24890148/32770624 swapFree=67108860/67108860 [pid=19396] ppid=19393 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19396/stat : 19396 (xcsp3-exec) S 19393 19396 18764 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109953563 9740288 346 33554432000 4194304 5098028 140733497219760 140733497217864 140623203558012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13152256 140733497222245 140733497222455 140733497222455 140733497225195 0 /proc/19396/statm: 2378 346 289 221 0 87 0 [pid=19398] ppid=19396 vsize=26538700 memory=6580200 CPUtime=75.43 cores=0-7 /proc/19398/stat : 19398 (java) S 19396 19396 18764 0 -1 1077944320 86388 0 0 0 6952 591 0 0 20 0 28 0 109953563 27175628800 1645050 33554432000 4194304 4196468 140724158072592 140724158055136 139700869758711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 /proc/19398/statm: 6634675 1645050 3268 1 0 6621909 0 [pid=19398/tid=19399] ppid=19396 vsize=26538700 memory=6791534058613427641 CPUtime=52.36 cores=0-7 /proc/19398/task/19399/stat : 19399 (java) S 19396 19396 18764 0 -1 1077944384 17798 0 0 0 5167 69 0 0 20 0 28 0 109953564 27175628800 1645080 33554432000 4194304 4196468 140724158072592 139700873999488 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19400] ppid=19396 vsize=26538700 memory=4872558044660077418 CPUtime=2.27 cores=0-7 /proc/19398/task/19400/stat : 19400 (java) S 19396 19396 18764 0 -1 1077944384 16981 0 0 0 166 61 0 0 20 0 28 0 109953564 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139700792338832 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19401] ppid=19396 vsize=26538700 memory=1004 CPUtime=2.33 cores=0-7 /proc/19398/task/19401/stat : 19401 (java) S 19396 19396 18764 0 -1 1077944384 4190 0 0 0 169 64 0 0 20 0 28 0 109953564 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139700426791184 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19402] ppid=19396 vsize=26538700 memory=1200 CPUtime=2.32 cores=0-7 /proc/19398/task/19402/stat : 19402 (java) S 19396 19396 18764 0 -1 1077944384 4142 0 0 0 171 61 0 0 20 0 28 0 109953564 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139700425738896 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19403] ppid=19396 vsize=26538700 memory=15872 CPUtime=2.33 cores=0-7 /proc/19398/task/19403/stat : 19403 (java) S 19396 19396 18764 0 -1 1077944384 3156 0 0 0 170 63 0 0 20 0 28 0 109953564 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139700424686096 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19404] ppid=19396 vsize=26538700 memory=17472 CPUtime=2.3 cores=0-7 /proc/19398/task/19404/stat : 19404 (java) S 19396 19396 18764 0 -1 1077944384 4886 0 0 0 168 62 0 0 20 0 28 0 109953564 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139700423633808 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19405] ppid=19396 vsize=26538700 memory=4052 CPUtime=2.33 cores=0-7 /proc/19398/task/19405/stat : 19405 (java) S 19396 19396 18764 0 -1 1077944384 4052 0 0 0 164 69 0 0 20 0 28 0 109953564 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139700422581008 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19406] ppid=19396 vsize=26538700 memory=4100 CPUtime=2.3 cores=0-7 /proc/19398/task/19406/stat : 19406 (java) S 19396 19396 18764 0 -1 1077944384 4758 0 0 0 166 64 0 0 20 0 28 0 109953564 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139700421528720 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19407] ppid=19396 vsize=26538700 memory=6791534058613427641 CPUtime=2.33 cores=0-7 /proc/19398/task/19407/stat : 19407 (java) S 19396 19396 18764 0 -1 1077944384 3490 0 0 0 169 64 0 0 20 0 28 0 109953564 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139700420475920 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19408] ppid=19396 vsize=26538700 memory=288230617509003574 CPUtime=1.03 cores=0-7 /proc/19398/task/19408/stat : 19408 (java) S 19396 19396 18764 0 -1 1077944384 6852 0 0 0 102 1 0 0 20 0 28 0 109953566 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139699996838000 139700869769858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19409] ppid=19396 vsize=26538700 memory=13563791027735085 CPUtime=0 cores=0-7 /proc/19398/task/19409/stat : 19409 (java) S 19396 19396 18764 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 109953566 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139699995784032 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19410] ppid=19396 vsize=26538700 memory=6764 CPUtime=0 cores=0-7 /proc/19398/task/19410/stat : 19410 (java) S 19396 19396 18764 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 109953567 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139699994731648 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19411] ppid=19396 vsize=26538700 memory=840 CPUtime=0 cores=0-7 /proc/19398/task/19411/stat : 19411 (java) S 19396 19396 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109953569 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139699993679952 139700869777307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19412] ppid=19396 vsize=26538700 memory=1696 CPUtime=0.54 cores=0-7 /proc/19398/task/19412/stat : 19412 (java) R 19396 19396 18764 0 -1 4202560 3338 0 0 0 53 1 0 0 20 0 28 0 109953569 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139699992621016 139700849018479 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19413] ppid=19396 vsize=26538700 memory=916 CPUtime=0.8 cores=0-7 /proc/19398/task/19413/stat : 19413 (java) R 19396 19396 18764 0 -1 4202560 4768 0 0 0 79 1 0 0 20 0 28 0 109953569 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139699991563472 139700862048093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19414] ppid=19396 vsize=26538700 memory=4408 CPUtime=0.49 cores=0-7 /proc/19398/task/19414/stat : 19414 (java) R 19396 19396 18764 0 -1 4202560 2400 0 0 0 49 0 0 0 20 0 28 0 109953569 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139699990512224 139700853244661 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19415] ppid=19396 vsize=26538700 memory=4104 CPUtime=0.5 cores=0-7 /proc/19398/task/19415/stat : 19415 (java) R 19396 19396 18764 0 -1 1077944384 3783 0 0 0 49 1 0 0 20 0 28 0 109953569 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139699989470064 139700869768917 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19416] ppid=19396 vsize=26538700 memory=1152 CPUtime=0 cores=0-7 /proc/19398/task/19416/stat : 19416 (java) S 19396 19396 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109953569 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139699988416864 139700869768917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19417] ppid=19396 vsize=26538700 memory=3012 CPUtime=0.03 cores=0-7 /proc/19398/task/19417/stat : 19417 (java) S 19396 19396 18764 0 -1 1077944384 174 0 0 0 1 2 0 0 20 0 28 0 109953570 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139699987364144 139700869769858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19427] ppid=19396 vsize=26538700 memory=1384 CPUtime=0.11 cores=0-7 /proc/19398/task/19427/stat : 19427 (java) R 19396 19396 18764 0 -1 4202560 70 0 0 0 11 0 0 0 20 0 28 0 109959113 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139698989517136 139700472006951 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19428] ppid=19396 vsize=26538700 memory=5354628 CPUtime=0.11 cores=0-7 /proc/19398/task/19428/stat : 19428 (java) R 19396 19396 18764 0 -1 4202560 40 0 0 0 11 0 0 0 20 0 28 0 109959113 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139698988468504 139700471967884 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19429] ppid=19396 vsize=26538700 memory=6791534058613427641 CPUtime=0.12 cores=0-7 /proc/19398/task/19429/stat : 19429 (java) R 19396 19396 18764 0 -1 4202560 73 0 0 0 12 0 0 0 20 0 28 0 109959113 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139698987416048 139700862436725 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19430] ppid=19396 vsize=26538700 memory=0 CPUtime=0.11 cores=0-7 /proc/19398/task/19430/stat : 19430 (java) R 19396 19396 18764 0 -1 4202560 32 0 0 0 11 0 0 0 20 0 28 0 109959113 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139698986360312 139700471999318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19431] ppid=19396 vsize=26538700 memory=-6520471753822164382 CPUtime=0.12 cores=0-7 /proc/19398/task/19431/stat : 19431 (java) R 19396 19396 18764 0 -1 4202560 41 0 0 0 12 0 0 0 20 0 28 0 109959147 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139698985310880 139700471890657 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19432] ppid=19396 vsize=26538700 memory=8514726395714825349 CPUtime=0.13 cores=0-7 /proc/19398/task/19432/stat : 19432 (java) R 19396 19396 18764 0 -1 4202560 41 0 0 0 13 0 0 0 20 0 28 0 109959147 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139698984257888 139700471889233 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19433] ppid=19396 vsize=26538700 memory=-8412652177879177843 CPUtime=0.13 cores=0-7 /proc/19398/task/19433/stat : 19433 (java) R 19396 19396 18764 0 -1 4202560 39 0 0 0 13 0 0 0 20 0 28 0 109959147 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139698983203456 139700471956967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 [pid=19398/tid=19434] ppid=19396 vsize=26538700 memory=6944656592387989600 CPUtime=0.15 cores=0-7 /proc/19398/task/19434/stat : 19434 (java) R 19396 19396 18764 0 -1 4202560 40 0 0 0 15 0 0 0 20 0 28 0 109959147 27175628800 1645141 33554432000 4194304 4196468 140724158072592 139698982151832 139700471967872 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15396864 140724158076050 140724158076227 140724158076227 140724158078927 0 Current children cumulated CPU time: 75.43 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 6581584 KiB [startup+56.4012 s] /proc/loadavg: 1.51 5.27 7.39 11/209 19434 /proc/meminfo: memFree=24890148/32770624 swapFree=67108860/67108860 [pid=19396] ppid=19393 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/19396/stat : 19396 (xcsp3-exec) S 19393 19396 18764 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109953563 9740288 346 33554432000 4194304 5098028 140733497219760 140733497217864 140623203558012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13152256 140733497222245 140733497222455 140733497222455 140733497225195 0 /proc/19396/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB Child status: 0 Real time (s): 56.4155 CPU time (s): 78.1652 CPU user time (s): 72.2019 CPU system time (s): 5.96333 CPU usage (%): 138.553 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 6587980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 72.2019 system time used= 5.96333 maximum resident set size= 6588040 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89468 page faults= 0 swaps= 0 block input operations= 0 block output operations= 192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6928 involuntary context switches= 368 # summary of solver processes directly reported to runsolver: # pid: 19396 # total CPU time (s): 78.1652 # total CPU user time (s): 72.2019 # total CPU system time (s): 5.96333 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.394587 second user time and 0.677661 second system time The end
Begin job on node113 at 2017-08-15 05:30:01 IDJOB=4271177 IDBENCH=134421 IDSOLVER=2662 FILE ID=node113/4271177-1502768660 RUNJOBID= node113-1502762644-18791 PBS_JOBID= 20629091 Free space on /tmp= 61788 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/RadarSurveillance/RadarSurveillance-m1-s8-30/RadarSurveillance-8-30-3-0-10.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271177-1502768660/watcher-4271177-1502768660 -o /tmp/evaluation-result-4271177-1502768660/solver-4271177-1502768660 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502762644-18791 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 713790683 HOME/instance-4271177-1502768660.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c800df9d4cb0f0da3a570e7ebd01bbed RANDOM SEED=713790683 node113.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.89 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.89 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.89 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.89 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: 31467116 kB MemAvailable: 31971640 kB Buffers: 189220 kB Cached: 590812 kB SwapCached: 0 kB Active: 595084 kB Inactive: 239796 kB Active(anon): 5296 kB Inactive(anon): 77668 kB Active(file): 589788 kB Inactive(file): 162128 kB Unevictable: 6588 kB Mlocked: 6588 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7712 kB Writeback: 0 kB AnonPages: 303808 kB Mapped: 45444 kB Shmem: 25224 kB Slab: 163564 kB SReclaimable: 136888 kB SUnreclaim: 26676 kB KernelStack: 3584 kB PageTables: 5160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324020 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 249856 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61780 MiB End job on node113 at 2017-08-15 05:30:57