Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 22 | 15.4882 | 2.49273 |
Name | StillLife/StillLife-m1-s1/ StillLife-03-14.xml |
MD5SUM | bb3a1ca81e7aea213eb86a812d55e65a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 4.70527 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 84 |
Number of constraints | 110 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":42},{"size":9,"count":42}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":42},{"degree":7,"count":4},{"degree":8,"count":26},{"degree":10,"count":12}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":42},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":12}] |
Number of extensional constraints | 68 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":68},{"type":"sum","count":42}] |
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-4404534-1568994386.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404534-1568994386.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.32/0.67 c solve instance... 1.73/0.71 o 0 1.73/0.73 o 4 1.73/0.74 o 6 1.73/0.75 o 8 1.73/0.77 o 16 1.73/0.78 o 19 1.73/0.79 o 20 3.08/0.96 o 21 4.74/1.15 o 22 14.90/2.47 s OPTIMUM FOUND 14.90/2.47 v <instantiation> 14.90/2.47 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] 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] </list> 14.90/2.47 v <values>0 1 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 2 3 2 4 3 3 4 2 3 2 2 2 3 2 3 6 3 4 3 3 4 3 6 3 4 3 6 3 2 3 2 2 2 2 2 2 3 2 4 2 3 2 </values> 14.90/2.47 v </instantiation>
OK 22
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 (12381 MiB free) memory of node 1: 16384 MiB (12784 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404534-1568994386/watcher-4404534-1568994386 -o /var/tmp/evaluation-result-4404534-1568994386/solver-4404534-1568994386 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1340586545 HOME/instance-4404534-1568994386.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=25344, runsolver pid=25341 Current StackSize limit: 8192 KiB [startup+0.100058 s]* /proc/loadavg: 7.37 6.63 7.05 3/211 25365 /proc/meminfo: memFree=25753776/32770624 swapFree=66966844/67108860 [pid=25344] ppid=25341 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25344/stat : 25344 (xcsp3-exec) S 25341 25344 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375084 115843072 362 33554432000 4194304 5098028 140725958611568 140725958609672 140469254382204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39071744 140725958615889 140725958616149 140725958616149 140725958619078 0 /proc/25344/statm: 28282 362 304 221 0 87 0 [pid=25346] ppid=25344 vsize=28227396 memory=29076 CPUtime=0.12 cores=0-7 /proc/25346/stat : 25346 (java) S 25344 25344 23748 0 -1 1077944320 5737 0 0 0 11 1 0 0 20 0 20 0 475375084 28904853504 7269 33554432000 4194304 4196468 140734228699376 140734228681920 140316900994807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 /proc/25346/statm: 7056849 7269 3115 1 0 7019032 0 [pid=25346/tid=25347] ppid=25344 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/25346/task/25347/stat : 25347 (java) R 25344 25344 23748 0 -1 4202560 3660 0 0 0 8 1 0 0 20 0 20 0 475375084 28904853504 7269 33554432000 4194304 4196468 140734228699376 140316905220640 140316901016154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25348] ppid=25344 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/25346/task/25348/stat : 25348 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 7269 33554432000 4194304 4196468 140734228699376 140316853615504 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25349] ppid=25344 vsize=28227396 memory=140020780742272 CPUtime=0 cores=0-7 /proc/25346/task/25349/stat : 25349 (java) S 25344 25344 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 7269 33554432000 4194304 4196468 140734228699376 140316852562704 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25350] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25350/stat : 25350 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 7269 33554432000 4194304 4196468 140734228699376 140316851510416 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25351] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25351/stat : 25351 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 7335 33554432000 4194304 4196468 140734228699376 140316449299472 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25352] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25352/stat : 25352 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 7335 33554432000 4194304 4196468 140734228699376 140316448246160 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25353] ppid=25344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25346/task/25353/stat : 25353 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 7335 33554432000 4194304 4196468 140734228699376 140316447193360 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25354] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25354/stat : 25354 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 7335 33554432000 4194304 4196468 140734228699376 140316446141072 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25355] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25355/stat : 25355 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 7335 33554432000 4194304 4196468 140734228699376 140316445088272 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25356] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25356/stat : 25356 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375087 28904853504 7335 33554432000 4194304 4196468 140734228699376 140315297012336 140316901005954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25357] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25357/stat : 25357 (java) S 25344 25344 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475375087 28904853504 7335 33554432000 4194304 4196468 140734228699376 140315295958304 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25358] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25358/stat : 25358 (java) S 25344 25344 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475375087 28904853504 7335 33554432000 4194304 4196468 140734228699376 140315294905968 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25359] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25359/stat : 25359 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475375090 28904853504 7335 33554432000 4194304 4196468 140734228699376 140315293854288 140316901013403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25360] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25360/stat : 25360 (java) R 25344 25344 23748 0 -1 4202560 293 0 0 0 0 0 0 0 20 0 20 0 475375090 28904853504 7335 33554432000 4194304 4196468 140734228699376 140315292801136 140316901006742 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25361] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25361/stat : 25361 (java) R 25344 25344 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475375090 28904853504 7335 33554432000 4194304 4196468 140734228699376 140315291748336 140316901005954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25362] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25362/stat : 25362 (java) R 25344 25344 23748 0 -1 4202560 145 0 0 0 0 0 0 0 20 0 20 0 475375090 28904853504 7335 33554432000 4194304 4196468 140734228699376 140315290687552 140316884489259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25363] ppid=25344 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/25346/task/25363/stat : 25363 (java) R 25344 25344 23748 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 475375090 28904853504 7335 33554432000 4194304 4196468 140734228699376 140315289643248 140316880281834 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25364] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25364/stat : 25364 (java) S 25344 25344 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475375090 28904853504 7335 33554432000 4194304 4196468 140734228699376 140315288591200 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25365] ppid=25344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25346/task/25365/stat : 25365 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475375090 28904853504 7335 33554432000 4194304 4196468 140734228699376 140315287538480 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30524 KiB [startup+0.210583 s]* /proc/loadavg: 7.37 6.63 7.05 4/211 25365 /proc/meminfo: memFree=25740804/32770624 swapFree=66966844/67108860 [pid=25344] ppid=25341 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25344/stat : 25344 (xcsp3-exec) S 25341 25344 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375084 115843072 362 33554432000 4194304 5098028 140725958611568 140725958609672 140469254382204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39071744 140725958615889 140725958616149 140725958616149 140725958619078 0 /proc/25344/statm: 28282 362 304 221 0 87 0 [pid=25346] ppid=25344 vsize=28227396 memory=40876 CPUtime=0.34 cores=0-7 /proc/25346/stat : 25346 (java) S 25344 25344 23748 0 -1 1077944320 9512 0 0 0 31 3 0 0 20 0 20 0 475375084 28904853504 10219 33554432000 4194304 4196468 140734228699376 140734228681920 140316900994807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 /proc/25346/statm: 7056849 10219 3253 1 0 7019032 0 [pid=25346/tid=25347] ppid=25344 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/25346/task/25347/stat : 25347 (java) R 25344 25344 23748 0 -1 4202560 6664 0 0 0 18 2 0 0 20 0 20 0 475375084 28904853504 10219 33554432000 4194304 4196468 140734228699376 140316905228928 140316885075294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25348] ppid=25344 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/25346/task/25348/stat : 25348 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 10219 33554432000 4194304 4196468 140734228699376 140316853615504 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25349] ppid=25344 vsize=28227396 memory=140020784256251 CPUtime=0 cores=0-7 /proc/25346/task/25349/stat : 25349 (java) S 25344 25344 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 10219 33554432000 4194304 4196468 140734228699376 140316852562704 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25350] ppid=25344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25346/task/25350/stat : 25350 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 10219 33554432000 4194304 4196468 140734228699376 140316851510416 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25351] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25351/stat : 25351 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 10219 33554432000 4194304 4196468 140734228699376 140316449299472 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25352] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25352/stat : 25352 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 10219 33554432000 4194304 4196468 140734228699376 140316448246160 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25353] ppid=25344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25346/task/25353/stat : 25353 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 10219 33554432000 4194304 4196468 140734228699376 140316447193360 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25354] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25354/stat : 25354 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 10219 33554432000 4194304 4196468 140734228699376 140316446141072 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25355] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25355/stat : 25355 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28904853504 10219 33554432000 4194304 4196468 140734228699376 140316445088272 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25356] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25356/stat : 25356 (java) S 25344 25344 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475375087 28904853504 10219 33554432000 4194304 4196468 140734228699376 140315297012336 140316901005954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25357] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25357/stat : 25357 (java) S 25344 25344 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475375087 28904853504 10219 33554432000 4194304 4196468 140734228699376 140315295958304 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25358] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25358/stat : 25358 (java) S 25344 25344 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475375087 28904853504 10219 33554432000 4194304 4196468 140734228699376 140315294905968 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25359] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25359/stat : 25359 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475375090 28904853504 10219 33554432000 4194304 4196468 140734228699376 140315293854288 140316901013403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25360] ppid=25344 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25346/task/25360/stat : 25360 (java) S 25344 25344 23748 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 475375090 28904853504 10219 33554432000 4194304 4196468 140734228699376 140315292801136 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25361] ppid=25344 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25346/task/25361/stat : 25361 (java) S 25344 25344 23748 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 475375090 28904853504 10219 33554432000 4194304 4196468 140734228699376 140315291748336 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25362] ppid=25344 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/25346/task/25362/stat : 25362 (java) S 25344 25344 23748 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 20 0 475375090 28904853504 10219 33554432000 4194304 4196468 140734228699376 140315290696048 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25363] ppid=25344 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/25346/task/25363/stat : 25363 (java) S 25344 25344 23748 0 -1 1077944384 770 0 0 0 8 0 0 0 20 0 20 0 475375090 28904853504 10219 33554432000 4194304 4196468 140734228699376 140315289643248 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25364] ppid=25344 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25364/stat : 25364 (java) S 25344 25344 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475375090 28904853504 10219 33554432000 4194304 4196468 140734228699376 140315288591200 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25365] ppid=25344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25346/task/25365/stat : 25365 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475375090 28904853504 10219 33554432000 4194304 4196468 140734228699376 140315287538480 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42324 KiB [startup+0.310364 s]* /proc/loadavg: 7.37 6.63 7.05 3/211 25365 /proc/meminfo: memFree=25733544/32770624 swapFree=66966844/67108860 [pid=25344] ppid=25341 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25344/stat : 25344 (xcsp3-exec) S 25341 25344 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375084 115843072 362 33554432000 4194304 5098028 140725958611568 140725958609672 140469254382204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39071744 140725958615889 140725958616149 140725958616149 140725958619078 0 /proc/25344/statm: 28282 362 304 221 0 87 0 [pid=25346] ppid=25344 vsize=28231652 memory=49600 CPUtime=0.51 cores=0-7 /proc/25346/stat : 25346 (java) S 25344 25344 23748 0 -1 1077944320 10797 0 0 0 47 4 0 0 20 0 20 0 475375084 28909211648 12400 33554432000 4194304 4196468 140734228699376 140734228681920 140316900994807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 /proc/25346/statm: 7057913 12400 3341 1 0 7019032 0 [pid=25346/tid=25347] ppid=25344 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/25346/task/25347/stat : 25347 (java) R 25344 25344 23748 0 -1 4202560 7845 0 0 0 27 3 0 0 20 0 20 0 475375084 28909211648 12400 33554432000 4194304 4196468 140734228699376 140316905225920 140316885075294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25348] ppid=25344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25348/stat : 25348 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28909211648 12400 33554432000 4194304 4196468 140734228699376 140316853615504 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25349] ppid=25344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25349/stat : 25349 (java) S 25344 25344 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475375085 28909211648 12465 33554432000 4194304 4196468 140734228699376 140316852562704 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25350] ppid=25344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25350/stat : 25350 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28909211648 12465 33554432000 4194304 4196468 140734228699376 140316851510416 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25351] ppid=25344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25351/stat : 25351 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475375085 28909211648 12465 33554432000 4194304 4196468 140734228699376 140316449299472 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25352] ppid=25344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25352/stat : 25352 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28909211648 12465 33554432000 4194304 4196468 140734228699376 140316448246160 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25353] ppid=25344 vsize=28231652 memory=140020631562927 CPUtime=0 cores=0-7 /proc/25346/task/25353/stat : 25353 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475375085 28909211648 12465 33554432000 4194304 4196468 140734228699376 140316447193360 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25354] ppid=25344 vsize=28231652 memory=140020631565232 CPUtime=0 cores=0-7 /proc/25346/task/25354/stat : 25354 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28909211648 12470 33554432000 4194304 4196468 140734228699376 140316446141072 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25355] ppid=25344 vsize=28231652 memory=140020631567536 CPUtime=0 cores=0-7 /proc/25346/task/25355/stat : 25355 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475375085 28909211648 12470 33554432000 4194304 4196468 140734228699376 140316445088272 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25356] ppid=25344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25356/stat : 25356 (java) S 25344 25344 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475375087 28909211648 12470 33554432000 4194304 4196468 140734228699376 140315297012336 140316901005954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25357] ppid=25344 vsize=28231652 memory=280041263148944 CPUtime=0 cores=0-7 /proc/25346/task/25357/stat : 25357 (java) S 25344 25344 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475375087 28909211648 12470 33554432000 4194304 4196468 140734228699376 140315295958304 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25358] ppid=25344 vsize=28231652 memory=280041263146640 CPUtime=0 cores=0-7 /proc/25346/task/25358/stat : 25358 (java) S 25344 25344 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475375087 28909211648 12470 33554432000 4194304 4196468 140734228699376 140315294905968 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25359] ppid=25344 vsize=28231652 memory=280041263153552 CPUtime=0 cores=0-7 /proc/25346/task/25359/stat : 25359 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475375090 28909211648 12470 33554432000 4194304 4196468 140734228699376 140315293854288 140316901013403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25360] ppid=25344 vsize=28231652 memory=280041263094800 CPUtime=0.02 cores=0-7 /proc/25346/task/25360/stat : 25360 (java) S 25344 25344 23748 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 20 0 475375090 28909211648 12470 33554432000 4194304 4196468 140734228699376 140315292801136 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25361] ppid=25344 vsize=28231652 memory=280041263167376 CPUtime=0.02 cores=0-7 /proc/25346/task/25361/stat : 25361 (java) S 25344 25344 23748 0 -1 1077944384 55 0 0 0 2 0 0 0 20 0 20 0 475375090 28909211648 12470 33554432000 4194304 4196468 140734228699376 140315291748336 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25362] ppid=25344 vsize=28231652 memory=280041263174288 CPUtime=0.02 cores=0-7 /proc/25346/task/25362/stat : 25362 (java) S 25344 25344 23748 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 20 0 475375090 28909211648 12470 33554432000 4194304 4196468 140734228699376 140315290696048 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25363] ppid=25344 vsize=28231652 memory=280041263171984 CPUtime=0.13 cores=0-7 /proc/25346/task/25363/stat : 25363 (java) S 25344 25344 23748 0 -1 1077944384 846 0 0 0 13 0 0 0 20 0 20 0 475375090 28909211648 12470 33554432000 4194304 4196468 140734228699376 140315289643248 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25364] ppid=25344 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25364/stat : 25364 (java) S 25344 25344 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475375090 28909211648 12470 33554432000 4194304 4196468 140734228699376 140315288591200 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25365] ppid=25344 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/25346/task/25365/stat : 25365 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475375090 28909211648 12470 33554432000 4194304 4196468 140734228699376 140315287538480 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51048 KiB [startup+0.701517 s] /proc/loadavg: 7.37 6.63 7.05 6/211 25365 /proc/meminfo: memFree=25719320/32770624 swapFree=66966844/67108860 [pid=25344] ppid=25341 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25344/stat : 25344 (xcsp3-exec) S 25341 25344 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375084 115843072 362 33554432000 4194304 5098028 140725958611568 140725958609672 140469254382204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39071744 140725958615889 140725958616149 140725958616149 140725958619078 0 /proc/25344/statm: 28282 362 304 221 0 87 0 [pid=25346] ppid=25344 vsize=28766288 memory=105220 CPUtime=1.73 cores=0-7 /proc/25346/stat : 25346 (java) S 25344 25344 23748 0 -1 1077944320 17190 0 0 0 166 7 0 0 20 0 28 0 475375084 29456678912 26305 33554432000 4194304 4196468 140734228699376 140734228681920 140316900994807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 /proc/25346/statm: 7191572 26305 3458 1 0 7152672 0 [pid=25346/tid=25347] ppid=25344 vsize=28766288 memory=0 CPUtime=0.66 cores=0-7 /proc/25346/task/25347/stat : 25347 (java) S 25344 25344 23748 0 -1 1077944384 9383 0 0 0 62 4 0 0 20 0 28 0 475375084 29456678912 26305 33554432000 4194304 4196468 140734228699376 140316905235584 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25348] ppid=25344 vsize=28766288 memory=140020631774064 CPUtime=0 cores=0-7 /proc/25346/task/25348/stat : 25348 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 475375085 29456678912 26305 33554432000 4194304 4196468 140734228699376 140316853615504 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25349] ppid=25344 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25349/stat : 25349 (java) S 25344 25344 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475375085 29456678912 26305 33554432000 4194304 4196468 140734228699376 140316852562704 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25350] ppid=25344 vsize=28766288 memory=7556 CPUtime=0 cores=0-7 /proc/25346/task/25350/stat : 25350 (java) S 25344 25344 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 475375085 29456678912 26305 33554432000 4194304 4196468 140734228699376 140316851510416 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 ################ # More data... # ################ [pid=25346/tid=25355] ppid=25344 vsize=28768336 memory=280041263717408 CPUtime=0 cores=0-7 /proc/25346/task/25355/stat : 25355 (java) S 25344 25344 23748 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 51591 33554432000 4194304 4196468 140734228699376 140316445088272 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25356] ppid=25344 vsize=28768336 memory=280041263733472 CPUtime=0 cores=0-7 /proc/25346/task/25356/stat : 25356 (java) S 25344 25344 23748 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 475375087 29458776064 51591 33554432000 4194304 4196468 140734228699376 140315297012336 140316901005954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25357] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25357/stat : 25357 (java) S 25344 25344 23748 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475375087 29458776064 51591 33554432000 4194304 4196468 140734228699376 140315295958304 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25358] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25358/stat : 25358 (java) S 25344 25344 23748 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475375087 29458776064 51591 33554432000 4194304 4196468 140734228699376 140315294905968 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25359] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25359/stat : 25359 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475375090 29458776064 51591 33554432000 4194304 4196468 140734228699376 140315293854288 140316901013403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25360] ppid=25344 vsize=28768336 memory=0 CPUtime=0.88 cores=0-7 /proc/25346/task/25360/stat : 25360 (java) R 25344 25344 23748 0 -1 1077944384 1607 0 0 0 87 1 0 0 20 0 28 0 475375090 29458776064 51591 33554432000 4194304 4196468 140734228699376 140315292801136 140316901005954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25361] ppid=25344 vsize=28768336 memory=0 CPUtime=0.84 cores=0-7 /proc/25346/task/25361/stat : 25361 (java) S 25344 25344 23748 0 -1 1077944384 1776 0 0 0 84 0 0 0 20 0 28 0 475375090 29458776064 51591 33554432000 4194304 4196468 140734228699376 140315291748336 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25362] ppid=25344 vsize=28768336 memory=0 CPUtime=0.84 cores=0-7 /proc/25346/task/25362/stat : 25362 (java) S 25344 25344 23748 0 -1 1077944384 2441 0 0 0 83 1 0 0 20 0 28 0 475375090 29458776064 51591 33554432000 4194304 4196468 140734228699376 140315290696048 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25363] ppid=25344 vsize=28768336 memory=0 CPUtime=0.62 cores=0-7 /proc/25346/task/25363/stat : 25363 (java) S 25344 25344 23748 0 -1 1077944384 2937 0 0 0 62 0 0 0 20 0 28 0 475375090 29458776064 51591 33554432000 4194304 4196468 140734228699376 140315289643248 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25364] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25364/stat : 25364 (java) S 25344 25344 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475375090 29458776064 51591 33554432000 4194304 4196468 140734228699376 140315288591200 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25365] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25365/stat : 25365 (java) R 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475375090 29458776064 51591 33554432000 4194304 4196468 140734228699376 140315287538480 140316901005954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 Current children cumulated CPU time: 8.56 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 207812 KiB [startup+2.00108 s]* /proc/loadavg: 7.37 6.63 7.05 9/219 25445 /proc/meminfo: memFree=25573448/32770624 swapFree=66966844/67108860 [pid=25344] ppid=25341 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25344/stat : 25344 (xcsp3-exec) S 25341 25344 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375084 115843072 362 33554432000 4194304 5098028 140725958611568 140725958609672 140469254382204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39071744 140725958615889 140725958616149 140725958616149 140725958619078 0 /proc/25344/statm: 28282 362 304 221 0 87 0 [pid=25346] ppid=25344 vsize=28768336 memory=211368 CPUtime=11.8 cores=0-7 /proc/25346/stat : 25346 (java) S 25344 25344 23748 0 -1 1077944320 21357 0 0 0 1167 13 0 0 20 0 28 0 475375084 29458776064 52842 33554432000 4194304 4196468 140734228699376 140734228681920 140316900994807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 /proc/25346/statm: 7192084 52842 3513 1 0 7153184 0 [pid=25346/tid=25347] ppid=25344 vsize=28768336 memory=1398722017469774279 CPUtime=0.67 cores=0-7 /proc/25346/task/25347/stat : 25347 (java) S 25344 25344 23748 0 -1 1077944384 9387 0 0 0 63 4 0 0 20 0 28 0 475375084 29458776064 52842 33554432000 4194304 4196468 140734228699376 140316905235584 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25348] ppid=25344 vsize=28768336 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/25346/task/25348/stat : 25348 (java) S 25344 25344 23748 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 52842 33554432000 4194304 4196468 140734228699376 140316853615504 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25349] ppid=25344 vsize=28768336 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/25346/task/25349/stat : 25349 (java) S 25344 25344 23748 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 52842 33554432000 4194304 4196468 140734228699376 140316852562704 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25350] ppid=25344 vsize=28768336 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/25346/task/25350/stat : 25350 (java) S 25344 25344 23748 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 52842 33554432000 4194304 4196468 140734228699376 140316851510416 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25351] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25351/stat : 25351 (java) S 25344 25344 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 52842 33554432000 4194304 4196468 140734228699376 140316449299472 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25352] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25352/stat : 25352 (java) S 25344 25344 23748 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 52842 33554432000 4194304 4196468 140734228699376 140316448246160 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25353] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25353/stat : 25353 (java) S 25344 25344 23748 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 52842 33554432000 4194304 4196468 140734228699376 140316447193360 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25354] ppid=25344 vsize=28768336 memory=280041262945280 CPUtime=0 cores=0-7 /proc/25346/task/25354/stat : 25354 (java) S 25344 25344 23748 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 52842 33554432000 4194304 4196468 140734228699376 140316446141072 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25355] ppid=25344 vsize=28768336 memory=7230638415855315287 CPUtime=0 cores=0-7 /proc/25346/task/25355/stat : 25355 (java) S 25344 25344 23748 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 52842 33554432000 4194304 4196468 140734228699376 140316445088272 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25356] ppid=25344 vsize=28768336 memory=22129 CPUtime=0 cores=0-7 /proc/25346/task/25356/stat : 25356 (java) S 25344 25344 23748 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 475375087 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315297012336 140316901005954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25357] ppid=25344 vsize=28768336 memory=4420 CPUtime=0 cores=0-7 /proc/25346/task/25357/stat : 25357 (java) S 25344 25344 23748 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475375087 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315295958304 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25358] ppid=25344 vsize=28768336 memory=6628 CPUtime=0 cores=0-7 /proc/25346/task/25358/stat : 25358 (java) S 25344 25344 23748 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 475375087 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315294905968 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25359] ppid=25344 vsize=28768336 memory=8836 CPUtime=0 cores=0-7 /proc/25346/task/25359/stat : 25359 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475375090 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315293854288 140316901013403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25360] ppid=25344 vsize=28768336 memory=11044 CPUtime=0.9 cores=0-7 /proc/25346/task/25360/stat : 25360 (java) S 25344 25344 23748 0 -1 1077944384 1617 0 0 0 89 1 0 0 20 0 28 0 475375090 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315292801136 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25361] ppid=25344 vsize=28768336 memory=7307210970634431954 CPUtime=0.84 cores=0-7 /proc/25346/task/25361/stat : 25361 (java) S 25344 25344 23748 0 -1 1077944384 1780 0 0 0 84 0 0 0 20 0 28 0 475375090 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315291748336 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25362] ppid=25344 vsize=28768336 memory=-3252517613199061085 CPUtime=0.85 cores=0-7 /proc/25346/task/25362/stat : 25362 (java) S 25344 25344 23748 0 -1 1077944384 2446 0 0 0 84 1 0 0 20 0 28 0 475375090 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315290696048 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25363] ppid=25344 vsize=28768336 memory=6943526294502006880 CPUtime=0.64 cores=0-7 /proc/25346/task/25363/stat : 25363 (java) S 25344 25344 23748 0 -1 1077944384 2967 0 0 0 64 0 0 0 20 0 28 0 475375090 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315289643248 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25364] ppid=25344 vsize=28768336 memory=19876 CPUtime=0 cores=0-7 /proc/25346/task/25364/stat : 25364 (java) S 25344 25344 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475375090 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315288591200 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25365] ppid=25344 vsize=28768336 memory=22084 CPUtime=0 cores=0-7 /proc/25346/task/25365/stat : 25365 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475375090 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315287538480 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25438] ppid=25344 vsize=28768336 memory=280041263154752 CPUtime=0.69 cores=0-7 /proc/25346/task/25438/stat : 25438 (java) R 25344 25344 23748 0 -1 4202560 19 0 0 0 69 0 0 0 20 0 28 0 475375200 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315277504552 140316537130135 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25439] ppid=25344 vsize=28768336 memory=0 CPUtime=0.71 cores=0-7 /proc/25346/task/25439/stat : 25439 (java) R 25344 25344 23748 0 -1 4202560 19 0 0 0 71 0 0 0 20 0 28 0 475375200 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315278562088 140316536773023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25440] ppid=25344 vsize=28768336 memory=0 CPUtime=0.75 cores=0-7 /proc/25346/task/25440/stat : 25440 (java) R 25344 25344 23748 0 -1 4202560 17 0 0 0 75 0 0 0 20 0 28 0 475375200 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315275399432 140316536773541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25441] ppid=25344 vsize=28768336 memory=0 CPUtime=0.7 cores=0-7 /proc/25346/task/25441/stat : 25441 (java) R 25344 25344 23748 0 -1 4202560 21 0 0 0 70 0 0 0 20 0 28 0 475375200 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315271188920 140316536773472 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25442] ppid=25344 vsize=28768336 memory=0 CPUtime=0.72 cores=0-7 /proc/25346/task/25442/stat : 25442 (java) R 25344 25344 23748 0 -1 4202560 18 0 0 0 72 0 0 0 20 0 28 0 475375200 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315273293616 140316534736391 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25443] ppid=25344 vsize=28768336 memory=0 CPUtime=0.74 cores=0-7 /proc/25346/task/25443/stat : 25443 (java) R 25344 25344 23748 0 -1 4202560 19 0 0 0 74 0 0 0 20 0 28 0 475375200 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315272241944 140316531565636 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25444] ppid=25344 vsize=28768336 memory=3472328296227418159 CPUtime=0.74 cores=0-7 /proc/25346/task/25444/stat : 25444 (java) R 25344 25344 23748 0 -1 4202560 22 0 0 0 74 0 0 0 20 0 28 0 475375200 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315274348936 140316536772988 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25445] ppid=25344 vsize=28768336 memory=140020631641263 CPUtime=0.67 cores=0-7 /proc/25346/task/25445/stat : 25445 (java) R 25344 25344 23748 0 -1 4202560 20 0 0 0 67 0 0 0 20 0 28 0 475375201 29458776064 52842 33554432000 4194304 4196468 140734228699376 140315276452600 140316537223378 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 Current children cumulated CPU time: 11.8 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 212816 KiB [startup+2.40208 s] /proc/loadavg: 7.37 6.63 7.05 9/219 25445 /proc/meminfo: memFree=25573448/32770624 swapFree=66966844/67108860 [pid=25344] ppid=25341 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/25344/stat : 25344 (xcsp3-exec) S 25341 25344 23748 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475375084 115843072 362 33554432000 4194304 5098028 140725958611568 140725958609672 140469254382204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39071744 140725958615889 140725958616149 140725958616149 140725958619078 0 /proc/25344/statm: 28282 362 304 221 0 87 0 [pid=25346] ppid=25344 vsize=28768336 memory=214180 CPUtime=14.9 cores=0-7 /proc/25346/stat : 25346 (java) S 25344 25344 23748 0 -1 1077944320 21399 0 0 0 1476 14 0 0 20 0 28 0 475375084 29458776064 53545 33554432000 4194304 4196468 140734228699376 140734228681920 140316900994807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 /proc/25346/statm: 7192084 53545 3513 1 0 7153184 0 [pid=25346/tid=25347] ppid=25344 vsize=28768336 memory=4638778398333620560 CPUtime=0.67 cores=0-7 /proc/25346/task/25347/stat : 25347 (java) S 25344 25344 23748 0 -1 1077944384 9387 0 0 0 63 4 0 0 20 0 28 0 475375084 29458776064 53545 33554432000 4194304 4196468 140734228699376 140316905235584 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25348] ppid=25344 vsize=28768336 memory=5865188000529146989 CPUtime=0 cores=0-7 /proc/25346/task/25348/stat : 25348 (java) S 25344 25344 23748 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 53545 33554432000 4194304 4196468 140734228699376 140316853615504 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25349] ppid=25344 vsize=28768336 memory=576460758282499373 CPUtime=0 cores=0-7 /proc/25346/task/25349/stat : 25349 (java) S 25344 25344 23748 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 53545 33554432000 4194304 4196468 140734228699376 140316852562704 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25350] ppid=25344 vsize=28768336 memory=288284472154260269 CPUtime=0 cores=0-7 /proc/25346/task/25350/stat : 25350 (java) S 25344 25344 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 53545 33554432000 4194304 4196468 140734228699376 140316851510416 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25351] ppid=25344 vsize=28768336 memory=3977859557765677088 CPUtime=0 cores=0-7 /proc/25346/task/25351/stat : 25351 (java) S 25344 25344 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 53545 33554432000 4194304 4196468 140734228699376 140316449299472 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25352] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25352/stat : 25352 (java) S 25344 25344 23748 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 53545 33554432000 4194304 4196468 140734228699376 140316448246160 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25353] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25353/stat : 25353 (java) S 25344 25344 23748 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 53545 33554432000 4194304 4196468 140734228699376 140316447193360 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25354] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25354/stat : 25354 (java) S 25344 25344 23748 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 53545 33554432000 4194304 4196468 140734228699376 140316446141072 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25355] ppid=25344 vsize=28768336 memory=7235420290792188010 CPUtime=0 cores=0-7 /proc/25346/task/25355/stat : 25355 (java) S 25344 25344 23748 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 475375085 29458776064 53545 33554432000 4194304 4196468 140734228699376 140316445088272 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25356] ppid=25344 vsize=28768336 memory=6941564697054309479 CPUtime=0 cores=0-7 /proc/25346/task/25356/stat : 25356 (java) S 25344 25344 23748 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 475375087 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315297012336 140316901005954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25357] ppid=25344 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/25346/task/25357/stat : 25357 (java) S 25344 25344 23748 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475375087 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315295958304 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25358] ppid=25344 vsize=28768336 memory=193168 CPUtime=0 cores=0-7 /proc/25346/task/25358/stat : 25358 (java) S 25344 25344 23748 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 475375087 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315294905968 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25359] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25359/stat : 25359 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475375090 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315293854288 140316901013403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25360] ppid=25344 vsize=28768336 memory=6656426216303648864 CPUtime=0.91 cores=0-7 /proc/25346/task/25360/stat : 25360 (java) S 25344 25344 23748 0 -1 1077944384 1618 0 0 0 90 1 0 0 20 0 28 0 475375090 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315292801136 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25361] ppid=25344 vsize=28768336 memory=6656426216303648864 CPUtime=0.85 cores=0-7 /proc/25346/task/25361/stat : 25361 (java) S 25344 25344 23748 0 -1 1077944384 1783 0 0 0 85 0 0 0 20 0 28 0 475375090 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315291748336 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25362] ppid=25344 vsize=28768336 memory=0 CPUtime=0.86 cores=0-7 /proc/25346/task/25362/stat : 25362 (java) R 25344 25344 23748 0 -1 1077944384 2447 0 0 0 85 1 0 0 20 0 28 0 475375090 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315290696048 140316901005954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25363] ppid=25344 vsize=28768336 memory=0 CPUtime=0.64 cores=0-7 /proc/25346/task/25363/stat : 25363 (java) S 25344 25344 23748 0 -1 1077944384 2970 0 0 0 64 0 0 0 20 0 28 0 475375090 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315289643248 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25364] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25364/stat : 25364 (java) S 25344 25344 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475375090 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315288591200 140316901005013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25365] ppid=25344 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25346/task/25365/stat : 25365 (java) S 25344 25344 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475375090 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315287538480 140316901005954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25438] ppid=25344 vsize=28768336 memory=0 CPUtime=1.08 cores=0-7 /proc/25346/task/25438/stat : 25438 (java) R 25344 25344 23748 0 -1 4202560 22 0 0 0 108 0 0 0 20 0 28 0 475375200 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315277504552 140316538232500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25439] ppid=25344 vsize=28768336 memory=0 CPUtime=1.09 cores=0-7 /proc/25346/task/25439/stat : 25439 (java) R 25344 25344 23748 0 -1 4202560 20 0 0 0 109 0 0 0 20 0 28 0 475375200 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315278558232 140316536897789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25440] ppid=25344 vsize=28768336 memory=0 CPUtime=1.13 cores=0-7 /proc/25346/task/25440/stat : 25440 (java) R 25344 25344 23748 0 -1 4202560 18 0 0 0 113 0 0 0 20 0 28 0 475375200 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315275402864 140316536770662 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25441] ppid=25344 vsize=28768336 memory=0 CPUtime=1.08 cores=0-7 /proc/25346/task/25441/stat : 25441 (java) R 25344 25344 23748 0 -1 4202560 22 0 0 0 108 0 0 0 20 0 28 0 475375200 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315271187840 140316536194518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25442] ppid=25344 vsize=28768336 memory=56 CPUtime=1.1 cores=0-7 /proc/25346/task/25442/stat : 25442 (java) R 25344 25344 23748 0 -1 4202560 19 0 0 0 110 0 0 0 20 0 28 0 475375200 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315273294488 140316536168076 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25443] ppid=25344 vsize=28768336 memory=288230617509003574 CPUtime=1.12 cores=0-7 /proc/25346/task/25443/stat : 25443 (java) R 25344 25344 23748 0 -1 4202560 21 0 0 0 112 0 0 0 20 0 28 0 475375200 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315272240616 140316536897789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25444] ppid=25344 vsize=28768336 memory=14408211662899591 CPUtime=1.12 cores=0-7 /proc/25346/task/25444/stat : 25444 (java) R 25344 25344 23748 0 -1 4202560 23 0 0 0 112 0 0 0 20 0 28 0 475375200 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315274351272 140316537128421 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 [pid=25346/tid=25445] ppid=25344 vsize=28768336 memory=0 CPUtime=1.05 cores=0-7 /proc/25346/task/25445/stat : 25445 (java) R 25344 25344 23748 0 -1 4202560 21 0 0 0 105 0 0 0 20 0 28 0 475375201 29458776064 53545 33554432000 4194304 4196468 140734228699376 140315276454624 140316536772565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39702528 140734228702166 140734228702342 140734228702342 140734228705231 0 Current children cumulated CPU time: 14.9 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 215628 KiB Child status: 0 Real time (s): 2.49273 CPU time (s): 15.4882 CPU user time (s): 15.3314 CPU system time (s): 0.156844 CPU usage (%): 621.335 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 215628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.3314 system time used= 0.156844 maximum resident set size= 217772 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21974 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4287 involuntary context switches= 429 # summary of solver processes directly reported to runsolver: # pid: 25344 # total CPU time (s): 15.4882 # total CPU user time (s): 15.3314 # total CPU system time (s): 0.156844 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.038784 second user time and 0.072182 second system time The end
Begin job on node145 at 2019-09-20 17:45:44 IDJOB=4404534 IDBENCH=115951 IDSOLVER=2865 FILE ID=node145/4404534-1568994386 RUNJOBID= node145-1568994215-23775 PBS_JOBID= 21704717 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-03-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 /var/tmp/evaluation-result-4404534-1568994386/watcher-4404534-1568994386 -o /var/tmp/evaluation-result-4404534-1568994386/solver-4404534-1568994386 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1340586545 HOME/instance-4404534-1568994386.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bb3a1ca81e7aea213eb86a812d55e65a RANDOM SEED=1340586545 node145.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.59 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.59 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.59 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.59 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: 25771092 kB MemAvailable: 31818068 kB Buffers: 90476 kB Cached: 6118256 kB SwapCached: 32484 kB Active: 3017028 kB Inactive: 3225596 kB Active(anon): 3324 kB Inactive(anon): 80072 kB Active(file): 3013704 kB Inactive(file): 3145524 kB Unevictable: 110664 kB Mlocked: 110664 kB SwapTotal: 67108860 kB SwapFree: 66966844 kB Dirty: 26312 kB Writeback: 0 kB AnonPages: 112604 kB Mapped: 51440 kB Shmem: 40640 kB Slab: 345116 kB SReclaimable: 316208 kB SUnreclaim: 28908 kB KernelStack: 3312 kB PageTables: 5116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13488 MiB End job on node145 at 2019-09-20 17:45:47