Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 40 | 1400.74 | 177.252 |
Name | StillLife/StillLife-m1-s1/ StillLife-05-14.xml |
MD5SUM | ff3476fab8d1f67b2009ab5045109208 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 40 |
Best CPU time to get the best result obtained on this benchmark | 28.2352 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 140 |
Number of constraints | 170 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":70},{"size":9,"count":70}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":70},{"degree":7,"count":4},{"degree":8,"count":30},{"degree":10,"count":36}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":70},{"arity":3,"count":30},{"arity":4,"count":4},{"arity":6,"count":30},{"arity":9,"count":36}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"sum","count":70}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400184-1568709583.xml" -tl '2016s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4400184-1568709583.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.71/0.74 c solve instance... 1.71/0.79 o 0 2.25/0.83 o 4 2.25/0.83 o 6 2.25/0.83 o 8 2.25/0.86 o 9 2.25/0.87 o 10 2.25/0.87 o 12 2.25/0.89 o 14 2.25/0.89 o 16 2.95/0.91 o 17 2.95/0.93 o 22 2.95/0.95 o 26 2.95/0.98 o 27 2.95/0.99 o 29 3.68/1.02 o 30 3.68/1.10 o 31 4.46/1.15 o 32 4.46/1.17 o 33 5.11/1.27 o 34 6.68/1.45 o 35 9.86/1.86 o 36 11.40/2.10 o 37 12.91/2.25 o 40 1400.48/177.23 s OPTIMUM FOUND 1400.48/177.23 v <instantiation> 1400.48/177.23 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[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] 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[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] 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[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] 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[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] 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[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] </list> 1400.48/177.23 v <values>1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 3 3 4 3 3 4 3 3 4 3 3 4 3 3 3 3 4 3 3 4 3 3 4 3 3 4 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 3 4 3 3 4 3 3 4 3 3 4 3 3 3 3 4 3 3 4 3 3 4 3 3 4 3 3 </values> 1400.48/177.23 v </instantiation>
OK 40
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 (14534 MiB free) memory of node 1: 16384 MiB (14115 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400184-1568709583/watcher-4400184-1568709583 -o /tmp/evaluation-result-4400184-1568709583/solver-4400184-1568709583 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568700441-10597 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 470273949 HOME/instance-4400184-1568709583.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Starting watchdog thread solver pid=13423, runsolver pid=13420 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 8.14 8.22 8.15 2/211 13444 /proc/meminfo: memFree=29321216/32770624 swapFree=66939908/67108860 [pid=13423] ppid=13420 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13423/stat : 13423 (xcsp3-exec) S 13420 13423 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446873176 115843072 363 33554432000 4194304 5098028 140728871081936 140728871080040 140711611728508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24690688 140728871084924 140728871085166 140728871085166 140728871088074 0 /proc/13423/statm: 28282 363 304 221 0 87 0 [pid=13425] ppid=13423 vsize=28227396 memory=28964 CPUtime=0.13 cores=0-7 /proc/13425/stat : 13425 (java) S 13423 13423 10570 0 -1 1077944320 5708 0 0 0 11 2 0 0 20 0 20 0 446873177 28904853504 7241 33554432000 4194304 4196468 140736368481152 140736368463696 139809096494839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 /proc/13425/statm: 7056849 7241 3121 1 0 7019032 0 [pid=13425/tid=13426] ppid=13423 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/13425/task/13426/stat : 13426 (java) R 13423 13423 10570 0 -1 4202560 3628 0 0 0 8 1 0 0 20 0 20 0 446873177 28904853504 7241 33554432000 4194304 4196468 140736368481152 139809100727904 139809077890042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13427] ppid=13423 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/13425/task/13427/stat : 13427 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 7241 33554432000 4194304 4196468 140736368481152 139809049115664 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13428] ppid=13423 vsize=28227396 memory=140719179056768 CPUtime=0 cores=0-7 /proc/13425/task/13428/stat : 13428 (java) S 13423 13423 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 7241 33554432000 4194304 4196468 140736368481152 139809048063120 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13429] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13429/stat : 13429 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 7241 33554432000 4194304 4196468 140736368481152 139809047010064 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13430] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13430/stat : 13430 (java) S 13423 13423 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 7241 33554432000 4194304 4196468 140736368481152 139809045957520 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13431] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13431/stat : 13431 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 7241 33554432000 4194304 4196468 140736368481152 139809044904464 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13432] ppid=13423 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13425/task/13432/stat : 13432 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 7241 33554432000 4194304 4196468 140736368481152 139809043851920 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13433] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13433/stat : 13433 (java) S 13423 13423 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 7241 33554432000 4194304 4196468 140736368481152 139809042798864 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13434] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13434/stat : 13434 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 7241 33554432000 4194304 4196468 140736368481152 139809041746320 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13435] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13435/stat : 13435 (java) S 13423 13423 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446873179 28904853504 7241 33554432000 4194304 4196468 140736368481152 139808145689328 139809096505986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13436] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13436/stat : 13436 (java) S 13423 13423 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446873180 28904853504 7241 33554432000 4194304 4196468 140736368481152 139808144635552 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13437] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13437/stat : 13437 (java) S 13423 13423 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446873180 28904853504 7241 33554432000 4194304 4196468 140736368481152 139808143582448 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13438] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13438/stat : 13438 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873182 28904853504 7241 33554432000 4194304 4196468 140736368481152 139808142531024 139809096513435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13439] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13439/stat : 13439 (java) S 13423 13423 10570 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 446873182 28904853504 7241 33554432000 4194304 4196468 140736368481152 139808141478128 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13440] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13440/stat : 13440 (java) S 13423 13423 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446873182 28904853504 7241 33554432000 4194304 4196468 140736368481152 139808140425584 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13441] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13441/stat : 13441 (java) S 13423 13423 10570 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 446873182 28904853504 7241 33554432000 4194304 4196468 140736368481152 139808139372528 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13442] ppid=13423 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13425/task/13442/stat : 13442 (java) R 13423 13423 10570 0 -1 4202560 339 0 0 0 1 0 0 0 20 0 20 0 446873182 28904853504 7241 33554432000 4194304 4196468 140736368481152 139808138319984 139809076210481 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13443] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13443/stat : 13443 (java) S 13423 13423 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446873182 28904853504 7241 33554432000 4194304 4196468 140736368481152 139808137268192 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13444] ppid=13423 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13425/task/13444/stat : 13444 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873183 28904853504 7241 33554432000 4194304 4196468 140736368481152 139808136215728 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30416 KiB [startup+0.210323 s]* /proc/loadavg: 8.14 8.22 8.15 3/211 13444 /proc/meminfo: memFree=29308360/32770624 swapFree=66939908/67108860 [pid=13423] ppid=13420 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13423/stat : 13423 (xcsp3-exec) S 13420 13423 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446873176 115843072 363 33554432000 4194304 5098028 140728871081936 140728871080040 140711611728508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24690688 140728871084924 140728871085166 140728871085166 140728871088074 0 /proc/13423/statm: 28282 363 304 221 0 87 0 [pid=13425] ppid=13423 vsize=28227396 memory=40400 CPUtime=0.34 cores=0-7 /proc/13425/stat : 13425 (java) S 13423 13423 10570 0 -1 1077944320 9361 0 0 0 30 4 0 0 20 0 20 0 446873177 28904853504 10100 33554432000 4194304 4196468 140736368481152 140736368463696 139809096494839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 /proc/13425/statm: 7056849 10100 3289 1 0 7019032 0 [pid=13425/tid=13426] ppid=13423 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/13425/task/13426/stat : 13426 (java) R 13423 13423 10570 0 -1 4202560 6610 0 0 0 17 2 0 0 20 0 20 0 446873177 28904853504 10100 33554432000 4194304 4196468 140736368481152 139809100732448 139809096506774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13427] ppid=13423 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/13425/task/13427/stat : 13427 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 10100 33554432000 4194304 4196468 140736368481152 139809049115664 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13428] ppid=13423 vsize=28227396 memory=288371095330768512 CPUtime=0 cores=0-7 /proc/13425/task/13428/stat : 13428 (java) S 13423 13423 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 10100 33554432000 4194304 4196468 140736368481152 139809048063120 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13429] ppid=13423 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13425/task/13429/stat : 13429 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 10100 33554432000 4194304 4196468 140736368481152 139809047010064 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13430] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13430/stat : 13430 (java) S 13423 13423 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 10100 33554432000 4194304 4196468 140736368481152 139809045957520 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13431] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13431/stat : 13431 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 10100 33554432000 4194304 4196468 140736368481152 139809044904464 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13432] ppid=13423 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13425/task/13432/stat : 13432 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 10100 33554432000 4194304 4196468 140736368481152 139809043851920 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13433] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13433/stat : 13433 (java) S 13423 13423 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 10100 33554432000 4194304 4196468 140736368481152 139809042798864 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13434] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13434/stat : 13434 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28904853504 10100 33554432000 4194304 4196468 140736368481152 139809041746320 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13435] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13435/stat : 13435 (java) S 13423 13423 10570 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446873179 28904853504 10100 33554432000 4194304 4196468 140736368481152 139808145689328 139809096505986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13436] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13436/stat : 13436 (java) S 13423 13423 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446873180 28904853504 10100 33554432000 4194304 4196468 140736368481152 139808144635552 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13437] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13437/stat : 13437 (java) S 13423 13423 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446873180 28904853504 10100 33554432000 4194304 4196468 140736368481152 139808143582448 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13438] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13438/stat : 13438 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873182 28904853504 10100 33554432000 4194304 4196468 140736368481152 139808142531024 139809096513435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13439] ppid=13423 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/13425/task/13439/stat : 13439 (java) S 13423 13423 10570 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 20 0 446873182 28904853504 10100 33554432000 4194304 4196468 140736368481152 139808141478128 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13440] ppid=13423 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13425/task/13440/stat : 13440 (java) S 13423 13423 10570 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 446873182 28904853504 10100 33554432000 4194304 4196468 140736368481152 139808140425584 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13441] ppid=13423 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/13425/task/13441/stat : 13441 (java) S 13423 13423 10570 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 446873182 28904853504 10100 33554432000 4194304 4196468 140736368481152 139808139372528 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13442] ppid=13423 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/13425/task/13442/stat : 13442 (java) R 13423 13423 10570 0 -1 4202560 772 0 0 0 7 0 0 0 20 0 20 0 446873182 28904853504 10100 33554432000 4194304 4196468 140736368481152 139808138319984 139809096506774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13443] ppid=13423 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13443/stat : 13443 (java) S 13423 13423 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446873182 28904853504 10100 33554432000 4194304 4196468 140736368481152 139808137268192 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13444] ppid=13423 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13425/task/13444/stat : 13444 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873183 28904853504 10100 33554432000 4194304 4196468 140736368481152 139808136215728 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41852 KiB [startup+0.310784 s]* /proc/loadavg: 8.14 8.22 8.15 4/211 13444 /proc/meminfo: memFree=29300592/32770624 swapFree=66939908/67108860 [pid=13423] ppid=13420 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13423/stat : 13423 (xcsp3-exec) S 13420 13423 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446873176 115843072 363 33554432000 4194304 5098028 140728871081936 140728871080040 140711611728508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24690688 140728871084924 140728871085166 140728871085166 140728871088074 0 /proc/13423/statm: 28282 363 304 221 0 87 0 [pid=13425] ppid=13423 vsize=28231652 memory=49772 CPUtime=0.53 cores=0-7 /proc/13425/stat : 13425 (java) S 13423 13423 10570 0 -1 1077944320 10806 0 0 0 48 5 0 0 20 0 20 0 446873177 28909211648 12443 33554432000 4194304 4196468 140736368481152 140736368463696 139809096494839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 /proc/13425/statm: 7057913 12443 3360 1 0 7019032 0 [pid=13425/tid=13426] ppid=13423 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/13425/task/13426/stat : 13426 (java) R 13423 13423 10570 0 -1 4202560 7786 0 0 0 26 3 0 0 20 0 20 0 446873177 28909211648 12443 33554432000 4194304 4196468 140736368481152 139809100725952 139809080575326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13427] ppid=13423 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13427/stat : 13427 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28909211648 12443 33554432000 4194304 4196468 140736368481152 139809049115664 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13428] ppid=13423 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13428/stat : 13428 (java) S 13423 13423 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446873178 28909211648 12443 33554432000 4194304 4196468 140736368481152 139809048063120 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13429] ppid=13423 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13429/stat : 13429 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28909211648 12443 33554432000 4194304 4196468 140736368481152 139809047010064 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13430] ppid=13423 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13430/stat : 13430 (java) S 13423 13423 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446873178 28909211648 12443 33554432000 4194304 4196468 140736368481152 139809045957520 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13431] ppid=13423 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13431/stat : 13431 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28909211648 12443 33554432000 4194304 4196468 140736368481152 139809044904464 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13432] ppid=13423 vsize=28231652 memory=140719033510575 CPUtime=0 cores=0-7 /proc/13425/task/13432/stat : 13432 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28909211648 12443 33554432000 4194304 4196468 140736368481152 139809043851920 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13433] ppid=13423 vsize=28231652 memory=140719033512880 CPUtime=0 cores=0-7 /proc/13425/task/13433/stat : 13433 (java) S 13423 13423 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446873178 28909211648 12443 33554432000 4194304 4196468 140736368481152 139809042798864 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13434] ppid=13423 vsize=28231652 memory=140719033515184 CPUtime=0 cores=0-7 /proc/13425/task/13434/stat : 13434 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28909211648 12443 33554432000 4194304 4196468 140736368481152 139809041746320 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13435] ppid=13423 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13435/stat : 13435 (java) S 13423 13423 10570 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446873179 28909211648 12443 33554432000 4194304 4196468 140736368481152 139808145689328 139809096505986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13436] ppid=13423 vsize=28231652 memory=281438067044240 CPUtime=0 cores=0-7 /proc/13425/task/13436/stat : 13436 (java) S 13423 13423 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446873180 28909211648 12443 33554432000 4194304 4196468 140736368481152 139808144635552 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13437] ppid=13423 vsize=28231652 memory=281438067041936 CPUtime=0 cores=0-7 /proc/13425/task/13437/stat : 13437 (java) S 13423 13423 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446873180 28909211648 12443 33554432000 4194304 4196468 140736368481152 139808143582448 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13438] ppid=13423 vsize=28231652 memory=281438067048848 CPUtime=0 cores=0-7 /proc/13425/task/13438/stat : 13438 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873182 28909211648 12443 33554432000 4194304 4196468 140736368481152 139808142531024 139809096513435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13439] ppid=13423 vsize=28231652 memory=281438066990128 CPUtime=0.04 cores=0-7 /proc/13425/task/13439/stat : 13439 (java) R 13423 13423 10570 0 -1 4202560 528 0 0 0 4 0 0 0 20 0 20 0 446873182 28909211648 12443 33554432000 4194304 4196468 140736368481152 139808141478128 139809078039279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13440] ppid=13423 vsize=28231652 memory=281438067062672 CPUtime=0.02 cores=0-7 /proc/13425/task/13440/stat : 13440 (java) S 13423 13423 10570 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 20 0 446873182 28909211648 12443 33554432000 4194304 4196468 140736368481152 139808140425584 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13441] ppid=13423 vsize=28231652 memory=281438067069584 CPUtime=0.02 cores=0-7 /proc/13425/task/13441/stat : 13441 (java) S 13423 13423 10570 0 -1 1077944384 204 0 0 0 2 0 0 0 20 0 20 0 446873182 28909211648 12443 33554432000 4194304 4196468 140736368481152 139808139372528 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13442] ppid=13423 vsize=28231652 memory=281438067067280 CPUtime=0.11 cores=0-7 /proc/13425/task/13442/stat : 13442 (java) S 13423 13423 10570 0 -1 1077944384 917 0 0 0 11 0 0 0 20 0 20 0 446873182 28909211648 12443 33554432000 4194304 4196468 140736368481152 139808138319984 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13443] ppid=13423 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13443/stat : 13443 (java) S 13423 13423 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446873182 28909211648 12443 33554432000 4194304 4196468 140736368481152 139808137268192 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13444] ppid=13423 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/13425/task/13444/stat : 13444 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873183 28909211648 12443 33554432000 4194304 4196468 140736368481152 139808136215728 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51224 KiB [startup+0.700948 s] /proc/loadavg: 8.14 8.22 8.15 3/211 13444 /proc/meminfo: memFree=29288588/32770624 swapFree=66939908/67108860 [pid=13423] ppid=13420 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13423/stat : 13423 (xcsp3-exec) S 13420 13423 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446873176 115843072 363 33554432000 4194304 5098028 140728871081936 140728871080040 140711611728508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24690688 140728871084924 140728871085166 140728871085166 140728871088074 0 /proc/13423/statm: 28282 363 304 221 0 87 0 [pid=13425] ppid=13423 vsize=28233776 memory=88732 CPUtime=1.71 cores=0-7 /proc/13425/stat : 13425 (java) S 13423 13423 10570 0 -1 1077944320 15854 0 0 0 164 7 0 0 20 0 20 0 446873177 28911386624 22183 33554432000 4194304 4196468 140736368481152 140736368463696 139809096494839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 /proc/13425/statm: 7058444 22183 3456 1 0 7019544 0 [pid=13425/tid=13426] ppid=13423 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/13425/task/13426/stat : 13426 (java) R 13423 13423 10570 0 -1 4202560 9222 0 0 0 63 4 0 0 20 0 20 0 446873177 28911386624 22183 33554432000 4194304 4196468 140736368481152 139809100732080 139808721758516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13427] ppid=13423 vsize=28233776 memory=140719033721712 CPUtime=0 cores=0-7 /proc/13425/task/13427/stat : 13427 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446873178 28911386624 22183 33554432000 4194304 4196468 140736368481152 139809049115664 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13428] ppid=13423 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/13425/task/13428/stat : 13428 (java) S 13423 13423 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446873178 28911386624 22183 33554432000 4194304 4196468 140736368481152 139809048063120 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13429] ppid=13423 vsize=28233776 memory=1256 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=13425/tid=13442] ppid=13423 vsize=28834900 memory=2008 CPUtime=0.81 cores=0-7 /proc/13425/task/13442/stat : 13442 (java) S 13423 13423 10570 0 -1 1077944384 6486 0 0 0 79 2 0 0 20 0 28 0 446873182 29526937600 239476 33554432000 4194304 4196468 140736368481152 139808138319984 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13443] ppid=13423 vsize=28834900 memory=1436 CPUtime=0 cores=0-7 /proc/13425/task/13443/stat : 13443 (java) S 13423 13423 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446873182 29526937600 239476 33554432000 4194304 4196468 140736368481152 139808137268192 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13444] ppid=13423 vsize=28834900 memory=4152 CPUtime=0.04 cores=0-7 /proc/13425/task/13444/stat : 13444 (java) S 13423 13423 10570 0 -1 1077944384 1511 0 0 0 0 4 0 0 20 0 28 0 446873183 29526937600 239476 33554432000 4194304 4196468 140736368481152 139808136215728 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13629] ppid=13423 vsize=28834900 memory=963032 CPUtime=171.82 cores=0-7 /proc/13425/task/13629/stat : 13629 (java) R 13423 13423 10570 0 -1 4202560 3137 0 0 0 17180 2 0 0 20 0 28 0 446873402 29526937600 239476 33554432000 4194304 4196468 140736368481152 139808121732616 139808724531490 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13630] ppid=13423 vsize=28834900 memory=6791534058613427641 CPUtime=171.92 cores=0-7 /proc/13425/task/13630/stat : 13630 (java) R 13423 13423 10570 0 -1 4202560 2891 0 0 0 17190 2 0 0 20 0 28 0 446873402 29526937600 239476 33554432000 4194304 4196468 140736368481152 139808124891928 139808724531673 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13631] ppid=13423 vsize=28834900 memory=4126316290023845779 CPUtime=171.48 cores=0-7 /proc/13425/task/13631/stat : 13631 (java) R 13423 13423 10570 0 -1 4202560 3126 0 0 0 17146 2 0 0 20 0 28 0 446873402 29526937600 239476 33554432000 4194304 4196468 140736368481152 139808122786200 139808719607399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13632] ppid=13423 vsize=28834900 memory=856872 CPUtime=171.43 cores=0-7 /proc/13425/task/13632/stat : 13632 (java) R 13423 13423 10570 0 -1 4202560 5845 0 0 0 17137 6 0 0 20 0 28 0 446873402 29526937600 239476 33554432000 4194304 4196468 140736368481152 139808119630720 139808719607175 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13633] ppid=13423 vsize=28834900 memory=2832 CPUtime=171.28 cores=0-7 /proc/13425/task/13633/stat : 13633 (java) R 13423 13423 10570 0 -1 4202560 3488 0 0 0 17124 4 0 0 20 0 28 0 446873402 29526937600 239476 33554432000 4194304 4196468 140736368481152 139808125943960 139808719607104 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13634] ppid=13423 vsize=28834900 memory=668 CPUtime=170.77 cores=0-7 /proc/13425/task/13634/stat : 13634 (java) R 13423 13423 10570 0 -1 4202560 4893 0 0 0 17073 4 0 0 20 0 28 0 446873402 29526937600 239476 33554432000 4194304 4196468 140736368481152 139808127000080 139808721956927 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13635] ppid=13423 vsize=28834900 memory=1256 CPUtime=170.99 cores=0-7 /proc/13425/task/13635/stat : 13635 (java) R 13423 13423 10570 0 -1 4202560 6642 0 0 0 17095 4 0 0 20 0 28 0 446873402 29526937600 239476 33554432000 4194304 4196468 140736368481152 139808123843272 139808721956976 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13636] ppid=13423 vsize=28834900 memory=1076 CPUtime=171.33 cores=0-7 /proc/13425/task/13636/stat : 13636 (java) R 13423 13423 10570 0 -1 4202560 6918 0 0 0 17119 14 0 0 20 0 28 0 446873402 29526937600 239476 33554432000 4194304 4196468 140736368481152 139808116478208 139808719606656 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 Current children cumulated CPU time: 1391.05 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 959356 KiB [startup+176.802 s] /proc/loadavg: 8.49 8.41 8.24 9/219 13654 /proc/meminfo: memFree=28389308/32770624 swapFree=66939908/67108860 [pid=13423] ppid=13420 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13423/stat : 13423 (xcsp3-exec) S 13420 13423 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446873176 115843072 363 33554432000 4194304 5098028 140728871081936 140728871080040 140711611728508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24690688 140728871084924 140728871085166 140728871085166 140728871088074 0 /proc/13423/statm: 28282 363 304 221 0 87 0 [pid=13425] ppid=13423 vsize=28834900 memory=956364 CPUtime=1397.36 cores=0-7 /proc/13425/stat : 13425 (java) S 13423 13423 10570 0 -1 1077944320 126622 0 0 0 139589 147 0 0 20 0 28 0 446873177 29526937600 239091 33554432000 4194304 4196468 140736368481152 140736368463696 139809096494839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 /proc/13425/statm: 7208725 239091 3548 1 0 7169825 0 [pid=13425/tid=13426] ppid=13423 vsize=28834900 memory=48344 CPUtime=0.75 cores=0-7 /proc/13425/task/13426/stat : 13426 (java) S 13423 13423 10570 0 -1 1077944384 9320 0 0 0 71 4 0 0 20 0 28 0 446873177 29526937600 239091 33554432000 4194304 4196468 140736368481152 139809100735616 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13427] ppid=13423 vsize=28834900 memory=1452 CPUtime=0.68 cores=0-7 /proc/13425/task/13427/stat : 13427 (java) S 13423 13423 10570 0 -1 1077944384 4054 0 0 0 58 10 0 0 20 0 28 0 446873178 29526937600 239091 33554432000 4194304 4196468 140736368481152 139809049115664 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13428] ppid=13423 vsize=28834900 memory=6791534058613427641 CPUtime=0.68 cores=0-7 /proc/13425/task/13428/stat : 13428 (java) S 13423 13423 10570 0 -1 1077944384 3019 0 0 0 59 9 0 0 20 0 28 0 446873178 29526937600 239091 33554432000 4194304 4196468 140736368481152 139809048063120 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13429] ppid=13423 vsize=28834900 memory=957904 CPUtime=0.66 cores=0-7 /proc/13425/task/13429/stat : 13429 (java) S 13423 13423 10570 0 -1 1077944384 3062 0 0 0 57 9 0 0 20 0 28 0 446873178 29526937600 239091 33554432000 4194304 4196468 140736368481152 139809047010064 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13430] ppid=13423 vsize=28834900 memory=1436 CPUtime=0.66 cores=0-7 /proc/13425/task/13430/stat : 13430 (java) S 13423 13423 10570 0 -1 1077944384 3488 0 0 0 57 9 0 0 20 0 28 0 446873178 29526937600 239091 33554432000 4194304 4196468 140736368481152 139809045957520 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13431] ppid=13423 vsize=28834900 memory=4152 CPUtime=0.67 cores=0-7 /proc/13425/task/13431/stat : 13431 (java) S 13423 13423 10570 0 -1 1077944384 3588 0 0 0 57 10 0 0 20 0 28 0 446873178 29526937600 239091 33554432000 4194304 4196468 140736368481152 139809044904464 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13432] ppid=13423 vsize=28834900 memory=1548 CPUtime=0.67 cores=0-7 /proc/13425/task/13432/stat : 13432 (java) S 13423 13423 10570 0 -1 1077944384 2951 0 0 0 58 9 0 0 20 0 28 0 446873178 29526937600 239091 33554432000 4194304 4196468 140736368481152 139809043851920 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13433] ppid=13423 vsize=28834900 memory=1728 CPUtime=0.67 cores=0-7 /proc/13425/task/13433/stat : 13433 (java) S 13423 13423 10570 0 -1 1077944384 2831 0 0 0 58 9 0 0 20 0 28 0 446873178 29526937600 239091 33554432000 4194304 4196468 140736368481152 139809042798864 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13434] ppid=13423 vsize=28834900 memory=6791534058613427641 CPUtime=0.68 cores=0-7 /proc/13425/task/13434/stat : 13434 (java) S 13423 13423 10570 0 -1 1077944384 3198 0 0 0 58 10 0 0 20 0 28 0 446873178 29526937600 239091 33554432000 4194304 4196468 140736368481152 139809041746320 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13435] ppid=13423 vsize=28834900 memory=1620 CPUtime=0.42 cores=0-7 /proc/13425/task/13435/stat : 13435 (java) S 13423 13423 10570 0 -1 1077944384 17972 0 0 0 32 10 0 0 20 0 28 0 446873179 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808145689328 139809096505986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13436] ppid=13423 vsize=28834900 memory=8317482817917895235 CPUtime=0 cores=0-7 /proc/13425/task/13436/stat : 13436 (java) S 13423 13423 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446873180 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808144635616 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13437] ppid=13423 vsize=28834900 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/13425/task/13437/stat : 13437 (java) S 13423 13423 10570 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446873180 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808143582448 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13438] ppid=13423 vsize=28834900 memory=8072 CPUtime=0 cores=0-7 /proc/13425/task/13438/stat : 13438 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446873182 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808142531024 139809096513435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13439] ppid=13423 vsize=28834900 memory=9580 CPUtime=1.34 cores=0-7 /proc/13425/task/13439/stat : 13439 (java) S 13423 13423 10570 0 -1 1077944384 6495 0 0 0 133 1 0 0 20 0 28 0 446873182 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808141478128 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13440] ppid=13423 vsize=28834900 memory=924 CPUtime=1.45 cores=0-7 /proc/13425/task/13440/stat : 13440 (java) S 13423 13423 10570 0 -1 1077944384 7481 0 0 0 143 2 0 0 20 0 28 0 446873182 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808140425584 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13441] ppid=13423 vsize=28834900 memory=3688 CPUtime=1.45 cores=0-7 /proc/13425/task/13441/stat : 13441 (java) S 13423 13423 10570 0 -1 1077944384 9424 0 0 0 143 2 0 0 20 0 28 0 446873182 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808139372528 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13442] ppid=13423 vsize=28834900 memory=1984 CPUtime=0.81 cores=0-7 /proc/13425/task/13442/stat : 13442 (java) S 13423 13423 10570 0 -1 1077944384 6486 0 0 0 79 2 0 0 20 0 28 0 446873182 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808138319984 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13443] ppid=13423 vsize=28834900 memory=1440 CPUtime=0 cores=0-7 /proc/13425/task/13443/stat : 13443 (java) S 13423 13423 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446873182 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808137268192 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13444] ppid=13423 vsize=28834900 memory=816 CPUtime=0.04 cores=0-7 /proc/13425/task/13444/stat : 13444 (java) S 13423 13423 10570 0 -1 1077944384 1511 0 0 0 0 4 0 0 20 0 28 0 446873183 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808136215728 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13629] ppid=13423 vsize=28834900 memory=2580 CPUtime=172.6 cores=0-7 /proc/13425/task/13629/stat : 13629 (java) R 13423 13423 10570 0 -1 4202560 3137 0 0 0 17258 2 0 0 20 0 28 0 446873402 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808121732616 139808724855922 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13630] ppid=13423 vsize=28834900 memory=1760 CPUtime=172.69 cores=0-7 /proc/13425/task/13630/stat : 13630 (java) R 13423 13423 10570 0 -1 4202560 2893 0 0 0 17267 2 0 0 20 0 28 0 446873402 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808124891264 139808724856966 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13631] ppid=13423 vsize=28834900 memory=111636 CPUtime=172.26 cores=0-7 /proc/13425/task/13631/stat : 13631 (java) R 13423 13423 10570 0 -1 4202560 3130 0 0 0 17224 2 0 0 20 0 28 0 446873402 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808122786200 139808724532859 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13632] ppid=13423 vsize=28834900 memory=808 CPUtime=172.21 cores=0-7 /proc/13425/task/13632/stat : 13632 (java) R 13423 13423 10570 0 -1 4202560 5847 0 0 0 17215 6 0 0 20 0 28 0 446873402 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808119628272 139808726663535 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13633] ppid=13423 vsize=28834900 memory=1808 CPUtime=172.06 cores=0-7 /proc/13425/task/13633/stat : 13633 (java) R 13423 13423 10570 0 -1 4202560 3488 0 0 0 17202 4 0 0 20 0 28 0 446873402 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808125946384 139808724855994 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13634] ppid=13423 vsize=28834900 memory=6791534058613427641 CPUtime=171.55 cores=0-7 /proc/13425/task/13634/stat : 13634 (java) R 13423 13423 10570 0 -1 4202560 4897 0 0 0 17151 4 0 0 20 0 28 0 446873402 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808126996392 139808724135495 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13635] ppid=13423 vsize=28834900 memory=3688 CPUtime=171.77 cores=0-7 /proc/13425/task/13635/stat : 13635 (java) R 13423 13423 10570 0 -1 4202560 6646 0 0 0 17173 4 0 0 20 0 28 0 446873402 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808123838632 139808725085458 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13636] ppid=13423 vsize=28834900 memory=1452 CPUtime=172.1 cores=0-7 /proc/13425/task/13636/stat : 13636 (java) R 13423 13423 10570 0 -1 4202560 6918 0 0 0 17196 14 0 0 20 0 28 0 446873402 29526937600 239091 33554432000 4194304 4196468 140736368481152 139808116478320 139809082562964 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 Current children cumulated CPU time: 1397.36 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 957816 KiB [startup+177.202 s] /proc/loadavg: 8.45 8.40 8.23 9/219 13654 /proc/meminfo: memFree=28390920/32770624 swapFree=66939908/67108860 [pid=13423] ppid=13420 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13423/stat : 13423 (xcsp3-exec) S 13420 13423 10570 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446873176 115843072 363 33554432000 4194304 5098028 140728871081936 140728871080040 140711611728508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24690688 140728871084924 140728871085166 140728871085166 140728871088074 0 /proc/13423/statm: 28282 363 304 221 0 87 0 [pid=13425] ppid=13423 vsize=28834900 memory=955852 CPUtime=1400.48 cores=0-7 /proc/13425/stat : 13425 (java) S 13423 13423 10570 0 -1 1077944320 126627 0 0 0 139901 147 0 0 20 0 28 0 446873177 29526937600 238963 33554432000 4194304 4196468 140736368481152 140736368463696 139809096494839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 /proc/13425/statm: 7208725 238963 3548 1 0 7169825 0 [pid=13425/tid=13426] ppid=13423 vsize=28834900 memory=668 CPUtime=0.75 cores=0-7 /proc/13425/task/13426/stat : 13426 (java) S 13423 13423 10570 0 -1 1077944384 9320 0 0 0 71 4 0 0 20 0 28 0 446873177 29526937600 238963 33554432000 4194304 4196468 140736368481152 139809100735616 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13427] ppid=13423 vsize=28834900 memory=1256 CPUtime=0.68 cores=0-7 /proc/13425/task/13427/stat : 13427 (java) S 13423 13423 10570 0 -1 1077944384 4054 0 0 0 58 10 0 0 20 0 28 0 446873178 29526937600 238963 33554432000 4194304 4196468 140736368481152 139809049115664 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13428] ppid=13423 vsize=28834900 memory=1076 CPUtime=0.68 cores=0-7 /proc/13425/task/13428/stat : 13428 (java) S 13423 13423 10570 0 -1 1077944384 3019 0 0 0 59 9 0 0 20 0 28 0 446873178 29526937600 238963 33554432000 4194304 4196468 140736368481152 139809048063120 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13429] ppid=13423 vsize=28834900 memory=14008 CPUtime=0.67 cores=0-7 /proc/13425/task/13429/stat : 13429 (java) S 13423 13423 10570 0 -1 1077944384 3064 0 0 0 58 9 0 0 20 0 28 0 446873178 29526937600 238963 33554432000 4194304 4196468 140736368481152 139809047010064 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13430] ppid=13423 vsize=28834900 memory=26512 CPUtime=0.66 cores=0-7 /proc/13425/task/13430/stat : 13430 (java) S 13423 13423 10570 0 -1 1077944384 3488 0 0 0 57 9 0 0 20 0 28 0 446873178 29526937600 238963 33554432000 4194304 4196468 140736368481152 139809045957520 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13431] ppid=13423 vsize=28834900 memory=14056 CPUtime=0.67 cores=0-7 /proc/13425/task/13431/stat : 13431 (java) S 13423 13423 10570 0 -1 1077944384 3588 0 0 0 57 10 0 0 20 0 28 0 446873178 29526937600 238963 33554432000 4194304 4196468 140736368481152 139809044904464 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13432] ppid=13423 vsize=28834900 memory=2116 CPUtime=0.67 cores=0-7 /proc/13425/task/13432/stat : 13432 (java) S 13423 13423 10570 0 -1 1077944384 2951 0 0 0 58 9 0 0 20 0 28 0 446873178 29526937600 238963 33554432000 4194304 4196468 140736368481152 139809043851920 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13433] ppid=13423 vsize=28834900 memory=520 CPUtime=0.68 cores=0-7 /proc/13425/task/13433/stat : 13433 (java) S 13423 13423 10570 0 -1 1077944384 2831 0 0 0 59 9 0 0 20 0 28 0 446873178 29526937600 238963 33554432000 4194304 4196468 140736368481152 139809042798864 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13434] ppid=13423 vsize=28834900 memory=1560 CPUtime=0.68 cores=0-7 /proc/13425/task/13434/stat : 13434 (java) S 13423 13423 10570 0 -1 1077944384 3198 0 0 0 58 10 0 0 20 0 28 0 446873178 29526937600 238963 33554432000 4194304 4196468 140736368481152 139809041746320 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13435] ppid=13423 vsize=28834900 memory=0 CPUtime=0.42 cores=0-7 /proc/13425/task/13435/stat : 13435 (java) S 13423 13423 10570 0 -1 1077944384 17972 0 0 0 32 10 0 0 20 0 28 0 446873179 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808145689328 139809096505986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13436] ppid=13423 vsize=28834900 memory=1760 CPUtime=0 cores=0-7 /proc/13425/task/13436/stat : 13436 (java) S 13423 13423 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446873180 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808144635616 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13437] ppid=13423 vsize=28834900 memory=302867273281175578 CPUtime=0 cores=0-7 /proc/13425/task/13437/stat : 13437 (java) S 13423 13423 10570 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 446873180 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808143582448 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13438] ppid=13423 vsize=28834900 memory=297237795305685307 CPUtime=0 cores=0-7 /proc/13425/task/13438/stat : 13438 (java) S 13423 13423 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446873182 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808142531024 139809096513435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13439] ppid=13423 vsize=28834900 memory=14698517092373773 CPUtime=1.34 cores=0-7 /proc/13425/task/13439/stat : 13439 (java) S 13423 13423 10570 0 -1 1077944384 6495 0 0 0 133 1 0 0 20 0 28 0 446873182 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808141478128 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13440] ppid=13423 vsize=28834900 memory=5939237888698903399 CPUtime=1.45 cores=0-7 /proc/13425/task/13440/stat : 13440 (java) S 13423 13423 10570 0 -1 1077944384 7481 0 0 0 143 2 0 0 20 0 28 0 446873182 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808140425584 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13441] ppid=13423 vsize=28834900 memory=5940084529731233893 CPUtime=1.45 cores=0-7 /proc/13425/task/13441/stat : 13441 (java) S 13423 13423 10570 0 -1 1077944384 9424 0 0 0 143 2 0 0 20 0 28 0 446873182 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808139372528 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13442] ppid=13423 vsize=28834900 memory=5938119698174600037 CPUtime=0.81 cores=0-7 /proc/13425/task/13442/stat : 13442 (java) S 13423 13423 10570 0 -1 1077944384 6486 0 0 0 79 2 0 0 20 0 28 0 446873182 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808138319984 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13443] ppid=13423 vsize=28834900 memory=5937832725723507559 CPUtime=0 cores=0-7 /proc/13425/task/13443/stat : 13443 (java) S 13423 13423 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446873182 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808137268192 139809096505045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13444] ppid=13423 vsize=28834900 memory=5938113075385101157 CPUtime=0.04 cores=0-7 /proc/13425/task/13444/stat : 13444 (java) S 13423 13423 10570 0 -1 1077944384 1511 0 0 0 0 4 0 0 20 0 28 0 446873183 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808136215728 139809096505986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13629] ppid=13423 vsize=28834900 memory=7093558023433841239 CPUtime=173 cores=0-7 /proc/13425/task/13629/stat : 13629 (java) R 13423 13423 10570 0 -1 4202560 3138 0 0 0 17298 2 0 0 20 0 28 0 446873402 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808121732616 139808724531158 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13630] ppid=13423 vsize=28834900 memory=7668900464985992801 CPUtime=173.08 cores=0-7 /proc/13425/task/13630/stat : 13630 (java) R 13423 13423 10570 0 -1 4202560 2894 0 0 0 17306 2 0 0 20 0 28 0 446873402 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808124892024 139808726878532 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13631] ppid=13423 vsize=28834900 memory=6441962101214766953 CPUtime=172.66 cores=0-7 /proc/13425/task/13631/stat : 13631 (java) R 13423 13423 10570 0 -1 4202560 3130 0 0 0 17264 2 0 0 20 0 28 0 446873402 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808122786064 139808724856019 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13632] ppid=13423 vsize=28834900 memory=5787213827131598673 CPUtime=172.61 cores=0-7 /proc/13425/task/13632/stat : 13632 (java) R 13423 13423 10570 0 -1 4202560 5848 0 0 0 17255 6 0 0 20 0 28 0 446873402 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808119628312 139808726183438 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13633] ppid=13423 vsize=28834900 memory=6441675102943275111 CPUtime=172.45 cores=0-7 /proc/13425/task/13633/stat : 13633 (java) R 13423 13423 10570 0 -1 4202560 3488 0 0 0 17241 4 0 0 20 0 28 0 446873402 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808125943824 139808725085680 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13634] ppid=13423 vsize=28834900 memory=7308603793328334681 CPUtime=171.93 cores=0-7 /proc/13425/task/13634/stat : 13634 (java) R 13423 13423 10570 0 -1 4202560 4897 0 0 0 17189 4 0 0 20 0 28 0 446873402 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808126995968 139808723524172 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13635] ppid=13423 vsize=28834900 memory=6791534058613427641 CPUtime=172.13 cores=0-7 /proc/13425/task/13635/stat : 13635 (java) R 13423 13423 10570 0 -1 4202560 6646 0 0 0 17209 4 0 0 20 0 28 0 446873402 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808123838856 139808724532565 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 [pid=13425/tid=13636] ppid=13423 vsize=28834900 memory=288230596050944315 CPUtime=172.5 cores=0-7 /proc/13425/task/13636/stat : 13636 (java) R 13423 13423 10570 0 -1 4202560 6918 0 0 0 17236 14 0 0 20 0 28 0 446873402 29526937600 238963 33554432000 4194304 4196468 140736368481152 139808116481312 139808724529953 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28835840 140736368489456 140736368489627 140736368489627 140736368492495 0 Current children cumulated CPU time: 1400.48 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 957304 KiB Child status: 0 Real time (s): 177.252 CPU time (s): 1400.74 CPU user time (s): 1399.25 CPU system time (s): 1.48571 CPU usage (%): 790.255 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 1011236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1399.25 system time used= 1.48571 maximum resident set size= 1044984 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127800 page faults= 0 swaps= 0 block input operations= 0 block output operations= 544 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 36748 involuntary context switches= 17792 # summary of solver processes directly reported to runsolver: # pid: 13423 # total CPU time (s): 1400.74 # total CPU user time (s): 1399.25 # total CPU system time (s): 1.48571 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.88627 second user time and 1.74023 second system time The end
Begin job on node119 at 2019-09-17 10:39:03 IDJOB=4400184 IDBENCH=115960 IDSOLVER=2855 FILE ID=node119/4400184-1568709583 RUNJOBID= node119-1568700441-10597 PBS_JOBID= 21703893 Free space on /tmp= 61344 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-05-14.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400184-1568709583/watcher-4400184-1568709583 -o /tmp/evaluation-result-4400184-1568709583/solver-4400184-1568709583 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568700441-10597 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 470273949 HOME/instance-4400184-1568709583.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ff3476fab8d1f67b2009ab5045109208 RANDOM SEED=470273949 node119.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.47 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.47 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.47 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.47 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: 29337676 kB MemAvailable: 31821932 kB Buffers: 130028 kB Cached: 2637660 kB SwapCached: 61072 kB Active: 1401796 kB Inactive: 1430928 kB Active(anon): 3756 kB Inactive(anon): 110908 kB Active(file): 1398040 kB Inactive(file): 1320020 kB Unevictable: 107484 kB Mlocked: 107484 kB SwapTotal: 67108860 kB SwapFree: 66939908 kB Dirty: 26192 kB Writeback: 0 kB AnonPages: 109140 kB Mapped: 48580 kB Shmem: 41008 kB Slab: 192948 kB SReclaimable: 164060 kB SUnreclaim: 28888 kB KernelStack: 3328 kB PageTables: 5140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506848 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 63488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61320 MiB End job on node119 at 2019-09-17 10:42:00