Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 832 | 180.305 | 23.2692 |
Name | Mario/Mario-zinc-s1/ Mario-n-medium-4.xml |
MD5SUM | 6d883eab13fdde7c2f2cac6b4a0af40c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 832 |
Best CPU time to get the best result obtained on this benchmark | 83.6236 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 61 |
Number of domains | 53 |
Minimum domain size | 1 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":28},{"size":29,"count":8},{"size":30,"count":52}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}] |
Number of extensional constraints | 30 |
Number of intensional constraints | 29 |
Distribution of constraint types | [{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","count":1}] |
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-4407328-1569347599.xml" -tl '2016s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4407328-1569347599.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.31/0.83 c solve instance... 2.93/0.94 o 0 2.93/0.96 o 3 3.64/1.01 o 27 3.64/1.02 o 50 3.64/1.03 o 56 3.64/1.03 o 80 3.64/1.03 o 107 3.64/1.04 o 132 3.64/1.04 o 143 3.64/1.05 o 268 3.64/1.06 o 290 3.64/1.10 o 351 4.30/1.13 o 360 4.30/1.17 o 402 4.30/1.19 o 410 4.30/1.20 o 479 4.97/1.30 o 540 9.69/1.87 o 559 10.45/1.96 o 567 10.45/1.99 o 582 12.10/2.13 o 592 13.57/2.35 o 600 15.23/2.52 o 650 15.23/2.53 o 658 15.23/2.54 o 669 15.99/2.67 o 678 18.30/2.97 o 680 18.30/2.98 o 683 19.13/3.06 o 799 116.09/15.22 o 832 179.86/23.25 s OPTIMUM FOUND 179.86/23.25 v <instantiation> 179.86/23.25 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] </list> 179.86/23.25 v <values>6 0 15 17 18 5 26 7 9 12 10 11 16 4 2 8 21 14 28 19 20 13 22 23 24 25 3 27 1 29 52 0 54 45 179 0 14 0 47 215 0 0 279 141 18 6 154 274 29 0 0 146 0 0 0 0 196 0 91 0 0 0 3 58 67 0 11 0 62 27 0 0 52 60 62 52 69 76 62 0 0 69 0 0 0 0 33 0 69 0 </values> 179.86/23.25 v </instantiation>
OK 832
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 (12256 MiB free) memory of node 1: 16384 MiB (12588 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407328-1569347599/watcher-4407328-1569347599 -o /tmp/evaluation-result-4407328-1569347599/solver-4407328-1569347599 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1403632523 HOME/instance-4407328-1569347599.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 solver pid=29424, runsolver pid=29421 Current StackSize limit: 8192 KiB [startup+0.100136 s]* /proc/loadavg: 7.42 7.63 7.96 2/212 29445 /proc/meminfo: memFree=25424492/32770624 swapFree=66975640/67108860 [pid=29424] ppid=29421 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29424/stat : 29424 (xcsp3-exec) S 29421 29424 24466 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511026663 115843072 363 33554432000 4194304 5098028 140726997833984 140726997832088 140682759881340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29908992 140726997840763 140726997841006 140726997841006 140726997843914 0 /proc/29424/statm: 28282 363 304 221 0 87 0 [pid=29426] ppid=29424 vsize=28227396 memory=29716 CPUtime=0.13 cores=0-7 /proc/29426/stat : 29426 (java) S 29424 29424 24466 0 -1 1077944320 5911 0 0 0 12 1 0 0 20 0 20 0 511026663 28904853504 7429 33554432000 4194304 4196468 140735522469408 140735522451952 140383962423031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 /proc/29426/statm: 7056849 7429 3121 1 0 7019032 0 [pid=29426/tid=29427] ppid=29424 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29426/task/29427/stat : 29427 (java) R 29424 29424 24466 0 -1 4202560 3816 0 0 0 8 0 0 0 20 0 20 0 511026663 28904853504 7429 33554432000 4194304 4196468 140735522469408 140383966656304 140383962434966 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29428] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29428/stat : 29428 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 7429 33554432000 4194304 4196468 140735522469408 140383915043728 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29429] ppid=29424 vsize=28227396 memory=139697135498880 CPUtime=0 cores=0-7 /proc/29426/task/29429/stat : 29429 (java) S 29424 29424 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 7429 33554432000 4194304 4196468 140735522469408 140383913990928 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29430] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29430/stat : 29430 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 7429 33554432000 4194304 4196468 140735522469408 140383912938640 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29431] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29431/stat : 29431 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 7429 33554432000 4194304 4196468 140735522469408 140383911885840 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29432] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29432/stat : 29432 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 7429 33554432000 4194304 4196468 140735522469408 140383910832528 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29433] ppid=29424 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29426/task/29433/stat : 29433 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 7429 33554432000 4194304 4196468 140735522469408 140383909779728 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29434] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29434/stat : 29434 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 7429 33554432000 4194304 4196468 140735522469408 140383908727440 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29435] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29435/stat : 29435 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 7429 33554432000 4194304 4196468 140735522469408 140383907674640 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29436] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29436/stat : 29436 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026665 28904853504 7429 33554432000 4194304 4196468 140735522469408 140382609308272 140383962434178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29437] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29437/stat : 29437 (java) S 29424 29424 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511026666 28904853504 7429 33554432000 4194304 4196468 140735522469408 140382608254240 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29438] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29438/stat : 29438 (java) S 29424 29424 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511026666 28904853504 7429 33554432000 4194304 4196468 140735522469408 140382607201904 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29439] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29439/stat : 29439 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026668 28904853504 7429 33554432000 4194304 4196468 140735522469408 140382606150224 140383962441627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29440] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29440/stat : 29440 (java) S 29424 29424 24466 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 511026668 28904853504 7429 33554432000 4194304 4196468 140735522469408 140382605097072 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29441] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29441/stat : 29441 (java) R 29424 29424 24466 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511026668 28904853504 7429 33554432000 4194304 4196468 140735522469408 140382604044272 140383962434178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29442] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29442/stat : 29442 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026669 28904853504 7429 33554432000 4194304 4196468 140735522469408 140382602991984 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29443] ppid=29424 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/29426/task/29443/stat : 29443 (java) R 29424 29424 24466 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 20 0 511026669 28904853504 7429 33554432000 4194304 4196468 140735522469408 140382601939184 140383962444378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29444] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29444/stat : 29444 (java) S 29424 29424 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511026669 28904853504 7429 33554432000 4194304 4196468 140735522469408 140382600887136 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29445] ppid=29424 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29426/task/29445/stat : 29445 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026669 28904853504 7429 33554432000 4194304 4196468 140735522469408 140382599834416 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31168 KiB [startup+0.210808 s]* /proc/loadavg: 7.42 7.63 7.96 3/212 29445 /proc/meminfo: memFree=25413244/32770624 swapFree=66975640/67108860 [pid=29424] ppid=29421 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29424/stat : 29424 (xcsp3-exec) S 29421 29424 24466 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511026663 115843072 363 33554432000 4194304 5098028 140726997833984 140726997832088 140682759881340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29908992 140726997840763 140726997841006 140726997841006 140726997843914 0 /proc/29424/statm: 28282 363 304 221 0 87 0 [pid=29426] ppid=29424 vsize=28227396 memory=40728 CPUtime=0.34 cores=0-7 /proc/29426/stat : 29426 (java) S 29424 29424 24466 0 -1 1077944320 9493 0 0 0 31 3 0 0 20 0 20 0 511026663 28904853504 10182 33554432000 4194304 4196468 140735522469408 140735522451952 140383962423031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 /proc/29426/statm: 7056849 10182 3269 1 0 7019032 0 [pid=29426/tid=29427] ppid=29424 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/29426/task/29427/stat : 29427 (java) R 29424 29424 24466 0 -1 4202560 6628 0 0 0 18 2 0 0 20 0 20 0 511026663 28904853504 10182 33554432000 4194304 4196468 140735522469408 140383966656496 140383962434966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29428] ppid=29424 vsize=28227396 memory=288230583233151328 CPUtime=0 cores=0-7 /proc/29426/task/29428/stat : 29428 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 10182 33554432000 4194304 4196468 140735522469408 140383915043728 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29429] ppid=29424 vsize=28227396 memory=139697139232912 CPUtime=0 cores=0-7 /proc/29426/task/29429/stat : 29429 (java) S 29424 29424 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 10182 33554432000 4194304 4196468 140735522469408 140383913990928 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29430] ppid=29424 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29426/task/29430/stat : 29430 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 10182 33554432000 4194304 4196468 140735522469408 140383912938640 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29431] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29431/stat : 29431 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 10182 33554432000 4194304 4196468 140735522469408 140383911885840 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29432] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29432/stat : 29432 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 10182 33554432000 4194304 4196468 140735522469408 140383910832528 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29433] ppid=29424 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29426/task/29433/stat : 29433 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 10182 33554432000 4194304 4196468 140735522469408 140383909779728 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29434] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29434/stat : 29434 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 10182 33554432000 4194304 4196468 140735522469408 140383908727440 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29435] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29435/stat : 29435 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28904853504 10182 33554432000 4194304 4196468 140735522469408 140383907674640 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29436] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29436/stat : 29436 (java) S 29424 29424 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511026665 28904853504 10182 33554432000 4194304 4196468 140735522469408 140382609308272 140383962434178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29437] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29437/stat : 29437 (java) S 29424 29424 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511026666 28904853504 10182 33554432000 4194304 4196468 140735522469408 140382608254240 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29438] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29438/stat : 29438 (java) S 29424 29424 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511026666 28904853504 10182 33554432000 4194304 4196468 140735522469408 140382607201904 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29439] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29439/stat : 29439 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026668 28904853504 10182 33554432000 4194304 4196468 140735522469408 140382606150224 140383962441627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29440] ppid=29424 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/29426/task/29440/stat : 29440 (java) S 29424 29424 24466 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 20 0 511026668 28904853504 10182 33554432000 4194304 4196468 140735522469408 140382605097072 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29441] ppid=29424 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/29426/task/29441/stat : 29441 (java) S 29424 29424 24466 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 20 0 511026668 28904853504 10182 33554432000 4194304 4196468 140735522469408 140382604044272 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29442] ppid=29424 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/29426/task/29442/stat : 29442 (java) R 29424 29424 24466 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 511026669 28904853504 10182 33554432000 4194304 4196468 140735522469408 140382602991984 140383962434178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29443] ppid=29424 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/29426/task/29443/stat : 29443 (java) R 29424 29424 24466 0 -1 4202560 710 0 0 0 8 0 0 0 20 0 20 0 511026669 28904853504 10182 33554432000 4194304 4196468 140735522469408 140382601938992 140383941341613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29444] ppid=29424 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29444/stat : 29444 (java) S 29424 29424 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511026669 28904853504 10182 33554432000 4194304 4196468 140735522469408 140382600887136 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29445] ppid=29424 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29426/task/29445/stat : 29445 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026669 28904853504 10182 33554432000 4194304 4196468 140735522469408 140382599834416 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42180 KiB [startup+0.310561 s]* /proc/loadavg: 6.99 7.54 7.93 4/212 29445 /proc/meminfo: memFree=25405960/32770624 swapFree=66975640/67108860 [pid=29424] ppid=29421 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29424/stat : 29424 (xcsp3-exec) S 29421 29424 24466 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511026663 115843072 363 33554432000 4194304 5098028 140726997833984 140726997832088 140682759881340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29908992 140726997840763 140726997841006 140726997841006 140726997843914 0 /proc/29424/statm: 28282 363 304 221 0 87 0 [pid=29426] ppid=29424 vsize=28231652 memory=49700 CPUtime=0.54 cores=0-7 /proc/29426/stat : 29426 (java) S 29424 29424 24466 0 -1 1077944320 10862 0 0 0 50 4 0 0 20 0 20 0 511026663 28909211648 12425 33554432000 4194304 4196468 140735522469408 140735522451952 140383962423031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 /proc/29426/statm: 7057913 12425 3327 1 0 7019032 0 [pid=29426/tid=29427] ppid=29424 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29426/task/29427/stat : 29427 (java) R 29424 29424 24466 0 -1 4202560 7776 0 0 0 27 2 0 0 20 0 20 0 511026663 28909211648 12425 33554432000 4194304 4196468 140735522469408 140383966654144 140383946503518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29428] ppid=29424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29428/stat : 29428 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28909211648 12425 33554432000 4194304 4196468 140735522469408 140383915043728 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29429] ppid=29424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29429/stat : 29429 (java) S 29424 29424 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511026664 28909211648 12425 33554432000 4194304 4196468 140735522469408 140383913990928 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29430] ppid=29424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29430/stat : 29430 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28909211648 12425 33554432000 4194304 4196468 140735522469408 140383912938640 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29431] ppid=29424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29431/stat : 29431 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026664 28909211648 12425 33554432000 4194304 4196468 140735522469408 140383911885840 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29432] ppid=29424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29432/stat : 29432 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026664 28909211648 12425 33554432000 4194304 4196468 140735522469408 140383910832528 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29433] ppid=29424 vsize=28231652 memory=139697032620719 CPUtime=0 cores=0-7 /proc/29426/task/29433/stat : 29433 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026664 28909211648 12425 33554432000 4194304 4196468 140735522469408 140383909779728 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29434] ppid=29424 vsize=28231652 memory=139697032623024 CPUtime=0 cores=0-7 /proc/29426/task/29434/stat : 29434 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28909211648 12425 33554432000 4194304 4196468 140735522469408 140383908727440 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29435] ppid=29424 vsize=28231652 memory=139697032625328 CPUtime=0 cores=0-7 /proc/29426/task/29435/stat : 29435 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28909211648 12425 33554432000 4194304 4196468 140735522469408 140383907674640 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29436] ppid=29424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29436/stat : 29436 (java) S 29424 29424 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511026665 28909211648 12425 33554432000 4194304 4196468 140735522469408 140382609308272 140383962434178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29437] ppid=29424 vsize=28231652 memory=279394065264528 CPUtime=0 cores=0-7 /proc/29426/task/29437/stat : 29437 (java) S 29424 29424 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511026666 28909211648 12425 33554432000 4194304 4196468 140735522469408 140382608254240 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29438] ppid=29424 vsize=28231652 memory=279394065262224 CPUtime=0 cores=0-7 /proc/29426/task/29438/stat : 29438 (java) S 29424 29424 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511026666 28909211648 12425 33554432000 4194304 4196468 140735522469408 140382607201904 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29439] ppid=29424 vsize=28231652 memory=279394065269136 CPUtime=0 cores=0-7 /proc/29426/task/29439/stat : 29439 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026668 28909211648 12425 33554432000 4194304 4196468 140735522469408 140382606150224 140383962441627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29440] ppid=29424 vsize=28231652 memory=279394065210416 CPUtime=0.01 cores=0-7 /proc/29426/task/29440/stat : 29440 (java) S 29424 29424 24466 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 20 0 511026668 28909211648 12425 33554432000 4194304 4196468 140735522469408 140382605097072 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29441] ppid=29424 vsize=28231652 memory=279394065282960 CPUtime=0.02 cores=0-7 /proc/29426/task/29441/stat : 29441 (java) S 29424 29424 24466 0 -1 1077944384 194 0 0 0 2 0 0 0 20 0 20 0 511026668 28909211648 12425 33554432000 4194304 4196468 140735522469408 140382604044272 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29442] ppid=29424 vsize=28231652 memory=279394065289872 CPUtime=0.04 cores=0-7 /proc/29426/task/29442/stat : 29442 (java) R 29424 29424 24466 0 -1 4202560 441 0 0 0 4 0 0 0 20 0 20 0 511026669 28909211648 12425 33554432000 4194304 4196468 140735522469408 140382602982368 140383945807833 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29443] ppid=29424 vsize=28231652 memory=279394065287568 CPUtime=0.12 cores=0-7 /proc/29426/task/29443/stat : 29443 (java) S 29424 29424 24466 0 -1 1077944384 818 0 0 0 12 0 0 0 20 0 20 0 511026669 28909211648 12425 33554432000 4194304 4196468 140735522469408 140382601939184 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29444] ppid=29424 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29444/stat : 29444 (java) S 29424 29424 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511026669 28909211648 12425 33554432000 4194304 4196468 140735522469408 140382600887136 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29445] ppid=29424 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/29426/task/29445/stat : 29445 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511026669 28909211648 12425 33554432000 4194304 4196468 140735522469408 140382599834416 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51152 KiB [startup+0.704637 s] /proc/loadavg: 6.99 7.54 7.93 3/212 29445 /proc/meminfo: memFree=25383208/32770624 swapFree=66975640/67108860 [pid=29424] ppid=29421 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29424/stat : 29424 (xcsp3-exec) S 29421 29424 24466 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511026663 115843072 363 33554432000 4194304 5098028 140726997833984 140726997832088 140682759881340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29908992 140726997840763 140726997841006 140726997841006 140726997843914 0 /proc/29424/statm: 28282 363 304 221 0 87 0 [pid=29426] ppid=29424 vsize=28233776 memory=103112 CPUtime=1.84 cores=0-7 /proc/29426/stat : 29426 (java) S 29424 29424 24466 0 -1 1077944320 15556 0 0 0 178 6 0 0 20 0 20 0 511026663 28911386624 25778 33554432000 4194304 4196468 140735522469408 140735522451952 140383962423031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 /proc/29426/statm: 7058444 25778 3455 1 0 7019544 0 [pid=29426/tid=29427] ppid=29424 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/29426/task/29427/stat : 29427 (java) R 29424 29424 24466 0 -1 4202560 9017 0 0 0 64 3 0 0 20 0 20 0 511026663 28911386624 25778 33554432000 4194304 4196468 140735522469408 140383966660320 140383962444378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29428] ppid=29424 vsize=28233776 memory=2353 CPUtime=0 cores=0-7 /proc/29426/task/29428/stat : 29428 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28911386624 25778 33554432000 4194304 4196468 140735522469408 140383915043728 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29429] ppid=29424 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29429/stat : 29429 (java) S 29424 29424 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511026664 28911386624 25778 33554432000 4194304 4196468 140735522469408 140383913990928 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29430] ppid=29424 vsize=28233776 memory=1376 CPUtime=0 cores=0-7 /proc/29426/task/29430/stat : 29430 (java) S 29424 29424 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511026664 28911386624 25778 33554432000 4194304 4196468 140735522469408 140383912938640 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 ################ # More data... # ################ [pid=29426/tid=29443] ppid=29424 vsize=28834900 memory=279394066537200 CPUtime=0.97 cores=0-7 /proc/29426/task/29443/stat : 29443 (java) S 29424 29424 24466 0 -1 1077944384 7406 0 0 0 95 2 0 0 20 0 28 0 511026669 29526937600 123926 33554432000 4194304 4196468 140735522469408 140382601939184 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29444] ppid=29424 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/29426/task/29444/stat : 29444 (java) S 29424 29424 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511026669 29526937600 123926 33554432000 4194304 4196468 140735522469408 140382600887136 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29445] ppid=29424 vsize=28834900 memory=3980727226720939116 CPUtime=0 cores=0-7 /proc/29426/task/29445/stat : 29445 (java) S 29424 29424 24466 0 -1 1077944384 750 0 0 0 0 0 0 0 20 0 28 0 511026669 29526937600 123926 33554432000 4194304 4196468 140735522469408 140382599834416 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29689] ppid=29424 vsize=28834900 memory=4639074098508484692 CPUtime=7.1 cores=0-7 /proc/29426/task/29689/stat : 29689 (java) R 29424 29424 24466 0 -1 4202560 545 0 0 0 710 0 0 0 20 0 28 0 511028185 29526937600 123926 33554432000 4194304 4196468 140735522469408 140382587702808 140383581242511 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29690] ppid=29424 vsize=28834900 memory=7883944108235712103 CPUtime=7.16 cores=0-7 /proc/29426/task/29690/stat : 29690 (java) R 29424 29424 24466 0 -1 4202560 181 0 0 0 716 0 0 0 20 0 28 0 511028185 29526937600 123926 33554432000 4194304 4196468 140735522469408 140382586651496 140383579998994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29691] ppid=29424 vsize=28834900 memory=1452 CPUtime=7.15 cores=0-7 /proc/29426/task/29691/stat : 29691 (java) R 29424 29424 24466 0 -1 4202560 244 0 0 0 715 0 0 0 20 0 28 0 511028185 29526937600 123926 33554432000 4194304 4196468 140735522469408 140382582443928 140383580484913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29692] ppid=29424 vsize=28834900 memory=467032 CPUtime=7.07 cores=0-7 /proc/29426/task/29692/stat : 29692 (java) R 29424 29424 24466 0 -1 4202560 1173 0 0 0 706 1 0 0 20 0 28 0 511028185 29526937600 123926 33554432000 4194304 4196468 140735522469408 140382581387608 140383581212134 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29693] ppid=29424 vsize=28834900 memory=1980 CPUtime=7.05 cores=0-7 /proc/29426/task/29693/stat : 29693 (java) R 29424 29424 24466 0 -1 4202560 455 0 0 0 705 0 0 0 20 0 28 0 511028185 29526937600 123926 33554432000 4194304 4196468 140735522469408 140382585600488 140383581708776 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29694] ppid=29424 vsize=28834900 memory=2572 CPUtime=7.17 cores=0-7 /proc/29426/task/29694/stat : 29694 (java) R 29424 29424 24466 0 -1 4202560 530 0 0 0 717 0 0 0 20 0 28 0 511028185 29526937600 123926 33554432000 4194304 4196468 140735522469408 140382583492968 140383579889896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29695] ppid=29424 vsize=28834900 memory=884 CPUtime=7.17 cores=0-7 /proc/29426/task/29695/stat : 29695 (java) R 29424 29424 24466 0 -1 4202560 656 0 0 0 716 1 0 0 20 0 28 0 511028185 29526937600 123926 33554432000 4194304 4196468 140735522469408 140382584545960 140383578600731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29696] ppid=29424 vsize=28834900 memory=1432 CPUtime=7 cores=0-7 /proc/29426/task/29696/stat : 29696 (java) R 29424 29424 24466 0 -1 4202560 438 0 0 0 700 0 0 0 20 0 28 0 511028185 29526937600 123926 33554432000 4194304 4196468 140735522469408 140382588756536 140383579479765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 Current children cumulated CPU time: 173.49 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 497156 KiB [startup+22.8017 s] /proc/loadavg: 7.12 7.53 7.92 9/221 29696 /proc/meminfo: memFree=24972940/32770624 swapFree=66975640/67108860 [pid=29424] ppid=29421 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29424/stat : 29424 (xcsp3-exec) S 29421 29424 24466 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511026663 115843072 363 33554432000 4194304 5098028 140726997833984 140726997832088 140682759881340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29908992 140726997840763 140726997841006 140726997841006 140726997843914 0 /proc/29424/statm: 28282 363 304 221 0 87 0 [pid=29426] ppid=29424 vsize=28834900 memory=512088 CPUtime=176.68 cores=0-7 /proc/29426/stat : 29426 (java) S 29424 29424 24466 0 -1 1077944320 69302 0 0 0 17609 59 0 0 20 0 28 0 511026663 29526937600 128022 33554432000 4194304 4196468 140735522469408 140735522451952 140383962423031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 /proc/29426/statm: 7208725 128022 3531 1 0 7169825 0 [pid=29426/tid=29427] ppid=29424 vsize=28834900 memory=1192 CPUtime=0.83 cores=0-7 /proc/29426/task/29427/stat : 29427 (java) S 29424 29424 24466 0 -1 1077944384 9292 0 0 0 78 5 0 0 20 0 28 0 511026663 29526937600 128022 33554432000 4194304 4196468 140735522469408 140383966663808 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29428] ppid=29424 vsize=28834900 memory=6791534058613427641 CPUtime=0.07 cores=0-7 /proc/29426/task/29428/stat : 29428 (java) S 29424 29424 24466 0 -1 1077944384 140 0 0 0 5 2 0 0 20 0 28 0 511026664 29526937600 128022 33554432000 4194304 4196468 140735522469408 140383915043728 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29429] ppid=29424 vsize=28834900 memory=7956006109211617640 CPUtime=0.06 cores=0-7 /proc/29426/task/29429/stat : 29429 (java) S 29424 29424 24466 0 -1 1077944384 113 0 0 0 4 2 0 0 20 0 28 0 511026664 29526937600 128022 33554432000 4194304 4196468 140735522469408 140383913990928 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29430] ppid=29424 vsize=28834900 memory=7669183116884469097 CPUtime=0.07 cores=0-7 /proc/29426/task/29430/stat : 29430 (java) S 29424 29424 24466 0 -1 1077944384 380 0 0 0 4 3 0 0 20 0 28 0 511026664 29526937600 128022 33554432000 4194304 4196468 140735522469408 140383912938640 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29431] ppid=29424 vsize=28834900 memory=7669183116884469097 CPUtime=0.06 cores=0-7 /proc/29426/task/29431/stat : 29431 (java) S 29424 29424 24466 0 -1 1077944384 2383 0 0 0 3 3 0 0 20 0 28 0 511026664 29526937600 128022 33554432000 4194304 4196468 140735522469408 140383911885840 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29432] ppid=29424 vsize=28834900 memory=7956006109211617640 CPUtime=0.06 cores=0-7 /proc/29426/task/29432/stat : 29432 (java) S 29424 29424 24466 0 -1 1077944384 170 0 0 0 4 2 0 0 20 0 28 0 511026664 29526937600 128022 33554432000 4194304 4196468 140735522469408 140383910832528 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29433] ppid=29424 vsize=28834900 memory=7669183116884469097 CPUtime=0.07 cores=0-7 /proc/29426/task/29433/stat : 29433 (java) S 29424 29424 24466 0 -1 1077944384 317 0 0 0 5 2 0 0 20 0 28 0 511026664 29526937600 128022 33554432000 4194304 4196468 140735522469408 140383909779728 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29434] ppid=29424 vsize=28834900 memory=7669183116884469097 CPUtime=0.07 cores=0-7 /proc/29426/task/29434/stat : 29434 (java) S 29424 29424 24466 0 -1 1077944384 190 0 0 0 5 2 0 0 20 0 28 0 511026664 29526937600 128022 33554432000 4194304 4196468 140735522469408 140383908727440 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29435] ppid=29424 vsize=28834900 memory=7669183116884469097 CPUtime=0.06 cores=0-7 /proc/29426/task/29435/stat : 29435 (java) S 29424 29424 24466 0 -1 1077944384 207 0 0 0 4 2 0 0 20 0 28 0 511026664 29526937600 128022 33554432000 4194304 4196468 140735522469408 140383907674640 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29436] ppid=29424 vsize=28834900 memory=2832 CPUtime=0.01 cores=0-7 /proc/29426/task/29436/stat : 29436 (java) S 29424 29424 24466 0 -1 1077944384 1177 0 0 0 1 0 0 0 20 0 28 0 511026665 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382609308272 140383962434178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29437] ppid=29424 vsize=28834900 memory=1192 CPUtime=0 cores=0-7 /proc/29426/task/29437/stat : 29437 (java) S 29424 29424 24466 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 511026666 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382608254304 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29438] ppid=29424 vsize=28834900 memory=940 CPUtime=0 cores=0-7 /proc/29426/task/29438/stat : 29438 (java) S 29424 29424 24466 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 511026666 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382607201904 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29439] ppid=29424 vsize=28834900 memory=14008 CPUtime=0 cores=0-7 /proc/29426/task/29439/stat : 29439 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511026668 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382606150224 140383962441627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29440] ppid=29424 vsize=28834900 memory=12040 CPUtime=2.48 cores=0-7 /proc/29426/task/29440/stat : 29440 (java) S 29424 29424 24466 0 -1 1077944384 9274 0 0 0 246 2 0 0 20 0 28 0 511026668 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382605097072 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29441] ppid=29424 vsize=28834900 memory=33512 CPUtime=2.49 cores=0-7 /proc/29426/task/29441/stat : 29441 (java) S 29424 29424 24466 0 -1 1077944384 11196 0 0 0 246 3 0 0 20 0 28 0 511026668 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382604044272 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29442] ppid=29424 vsize=28834900 memory=2120 CPUtime=2.45 cores=0-7 /proc/29426/task/29442/stat : 29442 (java) S 29424 29424 24466 0 -1 1077944384 10875 0 0 0 241 4 0 0 20 0 28 0 511026669 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382602991984 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29443] ppid=29424 vsize=28834900 memory=500 CPUtime=0.97 cores=0-7 /proc/29426/task/29443/stat : 29443 (java) S 29424 29424 24466 0 -1 1077944384 7406 0 0 0 95 2 0 0 20 0 28 0 511026669 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382601939184 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29444] ppid=29424 vsize=28834900 memory=1556 CPUtime=0 cores=0-7 /proc/29426/task/29444/stat : 29444 (java) S 29424 29424 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511026669 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382600887136 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29445] ppid=29424 vsize=28834900 memory=928 CPUtime=0 cores=0-7 /proc/29426/task/29445/stat : 29445 (java) S 29424 29424 24466 0 -1 1077944384 750 0 0 0 0 0 0 0 20 0 28 0 511026669 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382599834416 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29689] ppid=29424 vsize=28834900 memory=1640 CPUtime=7.5 cores=0-7 /proc/29426/task/29689/stat : 29689 (java) R 29424 29424 24466 0 -1 4202560 549 0 0 0 750 0 0 0 20 0 28 0 511028185 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382587702808 140383578723584 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29690] ppid=29424 vsize=28834900 memory=1980 CPUtime=7.56 cores=0-7 /proc/29426/task/29690/stat : 29690 (java) R 29424 29424 24466 0 -1 4202560 182 0 0 0 756 0 0 0 20 0 28 0 511028185 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382586651496 140383579883584 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29691] ppid=29424 vsize=28834900 memory=2572 CPUtime=7.55 cores=0-7 /proc/29426/task/29691/stat : 29691 (java) R 29424 29424 24466 0 -1 4202560 248 0 0 0 755 0 0 0 20 0 28 0 511028185 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382582443928 140383580167171 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29692] ppid=29424 vsize=28834900 memory=884 CPUtime=7.46 cores=0-7 /proc/29426/task/29692/stat : 29692 (java) R 29424 29424 24466 0 -1 4202560 1187 0 0 0 745 1 0 0 20 0 28 0 511028185 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382581387608 140383579890047 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29693] ppid=29424 vsize=28834900 memory=1432 CPUtime=7.45 cores=0-7 /proc/29426/task/29693/stat : 29693 (java) R 29424 29424 24466 0 -1 4202560 479 0 0 0 745 0 0 0 20 0 28 0 511028185 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382585600488 140383580864100 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29694] ppid=29424 vsize=28834900 memory=1764 CPUtime=7.57 cores=0-7 /proc/29426/task/29694/stat : 29694 (java) R 29424 29424 24466 0 -1 4202560 534 0 0 0 757 0 0 0 20 0 28 0 511028185 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382583492968 140383579360622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29695] ppid=29424 vsize=28834900 memory=111632 CPUtime=7.57 cores=0-7 /proc/29426/task/29695/stat : 29695 (java) R 29424 29424 24466 0 -1 4202560 660 0 0 0 756 1 0 0 20 0 28 0 511028185 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382584545960 140383576628409 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29696] ppid=29424 vsize=28834900 memory=804 CPUtime=7.4 cores=0-7 /proc/29426/task/29696/stat : 29696 (java) R 29424 29424 24466 0 -1 4202560 439 0 0 0 740 0 0 0 20 0 28 0 511028185 29526937600 128022 33554432000 4194304 4196468 140735522469408 140382588756536 140383579856613 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 Current children cumulated CPU time: 176.68 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 513540 KiB [startup+23.2017 s] /proc/loadavg: 7.12 7.53 7.92 9/221 29696 /proc/meminfo: memFree=24932104/32770624 swapFree=66975640/67108860 [pid=29424] ppid=29421 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29424/stat : 29424 (xcsp3-exec) S 29421 29424 24466 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511026663 115843072 363 33554432000 4194304 5098028 140726997833984 140726997832088 140682759881340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29908992 140726997840763 140726997841006 140726997841006 140726997843914 0 /proc/29424/statm: 28282 363 304 221 0 87 0 [pid=29426] ppid=29424 vsize=28834900 memory=528472 CPUtime=179.86 cores=0-7 /proc/29426/stat : 29426 (java) S 29424 29424 24466 0 -1 1077944320 69874 0 0 0 17927 59 0 0 20 0 28 0 511026663 29526937600 132118 33554432000 4194304 4196468 140735522469408 140735522451952 140383962423031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 /proc/29426/statm: 7208725 132118 3531 1 0 7169825 0 [pid=29426/tid=29427] ppid=29424 vsize=28834900 memory=7381515681443113064 CPUtime=0.83 cores=0-7 /proc/29426/task/29427/stat : 29427 (java) S 29424 29424 24466 0 -1 1077944384 9292 0 0 0 78 5 0 0 20 0 28 0 511026663 29526937600 132118 33554432000 4194304 4196468 140735522469408 140383966663808 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29428] ppid=29424 vsize=28834900 memory=5861549721266843753 CPUtime=0.07 cores=0-7 /proc/29426/task/29428/stat : 29428 (java) S 29424 29424 24466 0 -1 1077944384 140 0 0 0 5 2 0 0 20 0 28 0 511026664 29526937600 132118 33554432000 4194304 4196468 140735522469408 140383915043728 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29429] ppid=29424 vsize=28834900 memory=7739525399786973542 CPUtime=0.06 cores=0-7 /proc/29426/task/29429/stat : 29429 (java) S 29424 29424 24466 0 -1 1077944384 113 0 0 0 4 2 0 0 20 0 28 0 511026664 29526937600 132118 33554432000 4194304 4196468 140735522469408 140383913990928 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29430] ppid=29424 vsize=28834900 memory=7739525399786973542 CPUtime=0.07 cores=0-7 /proc/29426/task/29430/stat : 29430 (java) S 29424 29424 24466 0 -1 1077944384 380 0 0 0 4 3 0 0 20 0 28 0 511026664 29526937600 132118 33554432000 4194304 4196468 140735522469408 140383912938640 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29431] ppid=29424 vsize=28834900 memory=7739525399786973542 CPUtime=0.06 cores=0-7 /proc/29426/task/29431/stat : 29431 (java) S 29424 29424 24466 0 -1 1077944384 2383 0 0 0 3 3 0 0 20 0 28 0 511026664 29526937600 132118 33554432000 4194304 4196468 140735522469408 140383911885840 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29432] ppid=29424 vsize=28834900 memory=7516886458543203952 CPUtime=0.06 cores=0-7 /proc/29426/task/29432/stat : 29432 (java) S 29424 29424 24466 0 -1 1077944384 170 0 0 0 4 2 0 0 20 0 28 0 511026664 29526937600 132118 33554432000 4194304 4196468 140735522469408 140383910832528 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29433] ppid=29424 vsize=28834900 memory=288230574492221466 CPUtime=0.07 cores=0-7 /proc/29426/task/29433/stat : 29433 (java) S 29424 29424 24466 0 -1 1077944384 317 0 0 0 5 2 0 0 20 0 28 0 511026664 29526937600 132118 33554432000 4194304 4196468 140735522469408 140383909779728 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29434] ppid=29424 vsize=28834900 memory=288230583166042426 CPUtime=0.07 cores=0-7 /proc/29426/task/29434/stat : 29434 (java) S 29424 29424 24466 0 -1 1077944384 190 0 0 0 5 2 0 0 20 0 28 0 511026664 29526937600 132118 33554432000 4194304 4196468 140735522469408 140383908727440 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29435] ppid=29424 vsize=28834900 memory=15816690369829955 CPUtime=0.06 cores=0-7 /proc/29426/task/29435/stat : 29435 (java) S 29424 29424 24466 0 -1 1077944384 207 0 0 0 4 2 0 0 20 0 28 0 511026664 29526937600 132118 33554432000 4194304 4196468 140735522469408 140383907674640 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29436] ppid=29424 vsize=28834900 memory=426972 CPUtime=0.01 cores=0-7 /proc/29426/task/29436/stat : 29436 (java) S 29424 29424 24466 0 -1 1077944384 1177 0 0 0 1 0 0 0 20 0 28 0 511026665 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382609308272 140383962434178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29437] ppid=29424 vsize=28834900 memory=4100 CPUtime=0 cores=0-7 /proc/29426/task/29437/stat : 29437 (java) S 29424 29424 24466 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 511026666 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382608254304 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29438] ppid=29424 vsize=28834900 memory=1398720917958146503 CPUtime=0 cores=0-7 /proc/29426/task/29438/stat : 29438 (java) S 29424 29424 24466 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 511026666 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382607201904 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29439] ppid=29424 vsize=28834900 memory=1980 CPUtime=0 cores=0-7 /proc/29426/task/29439/stat : 29439 (java) S 29424 29424 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511026668 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382606150224 140383962441627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29440] ppid=29424 vsize=28834900 memory=2572 CPUtime=2.48 cores=0-7 /proc/29426/task/29440/stat : 29440 (java) S 29424 29424 24466 0 -1 1077944384 9794 0 0 0 246 2 0 0 20 0 28 0 511026668 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382605097072 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29441] ppid=29424 vsize=28834900 memory=884 CPUtime=2.49 cores=0-7 /proc/29426/task/29441/stat : 29441 (java) S 29424 29424 24466 0 -1 1077944384 11199 0 0 0 246 3 0 0 20 0 28 0 511026668 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382604044272 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29442] ppid=29424 vsize=28834900 memory=1432 CPUtime=2.45 cores=0-7 /proc/29426/task/29442/stat : 29442 (java) S 29424 29424 24466 0 -1 1077944384 10878 0 0 0 241 4 0 0 20 0 28 0 511026669 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382602991984 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29443] ppid=29424 vsize=28834900 memory=1764 CPUtime=0.97 cores=0-7 /proc/29426/task/29443/stat : 29443 (java) S 29424 29424 24466 0 -1 1077944384 7409 0 0 0 95 2 0 0 20 0 28 0 511026669 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382601939184 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29444] ppid=29424 vsize=28834900 memory=111632 CPUtime=0 cores=0-7 /proc/29426/task/29444/stat : 29444 (java) S 29424 29424 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511026669 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382600887136 140383962433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29445] ppid=29424 vsize=28834900 memory=804 CPUtime=0 cores=0-7 /proc/29426/task/29445/stat : 29445 (java) S 29424 29424 24466 0 -1 1077944384 750 0 0 0 0 0 0 0 20 0 28 0 511026669 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382599834416 140383962434178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29689] ppid=29424 vsize=28834900 memory=1804 CPUtime=7.9 cores=0-7 /proc/29426/task/29689/stat : 29689 (java) R 29424 29424 24466 0 -1 4202560 550 0 0 0 790 0 0 0 20 0 28 0 511028185 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382587702808 140383579268503 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29690] ppid=29424 vsize=28834900 memory=500 CPUtime=7.96 cores=0-7 /proc/29426/task/29690/stat : 29690 (java) R 29424 29424 24466 0 -1 4202560 182 0 0 0 796 0 0 0 20 0 28 0 511028185 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382586651496 140383581145632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29691] ppid=29424 vsize=28834900 memory=1556 CPUtime=7.95 cores=0-7 /proc/29426/task/29691/stat : 29691 (java) R 29424 29424 24466 0 -1 4202560 248 0 0 0 795 0 0 0 20 0 28 0 511028185 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382582443928 140383579360931 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29692] ppid=29424 vsize=28834900 memory=928 CPUtime=7.86 cores=0-7 /proc/29426/task/29692/stat : 29692 (java) R 29424 29424 24466 0 -1 4202560 1198 0 0 0 784 2 0 0 20 0 28 0 511028185 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382581387608 140383580761081 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29693] ppid=29424 vsize=28834900 memory=1640 CPUtime=7.85 cores=0-7 /proc/29426/task/29693/stat : 29693 (java) R 29424 29424 24466 0 -1 4202560 480 0 0 0 785 0 0 0 20 0 28 0 511028185 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382585600488 140383574726983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29694] ppid=29424 vsize=28834900 memory=1980 CPUtime=7.97 cores=0-7 /proc/29426/task/29694/stat : 29694 (java) R 29424 29424 24466 0 -1 4202560 535 0 0 0 797 0 0 0 20 0 28 0 511028185 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382583492968 140383580167101 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29695] ppid=29424 vsize=28834900 memory=2572 CPUtime=7.97 cores=0-7 /proc/29426/task/29695/stat : 29695 (java) R 29424 29424 24466 0 -1 4202560 667 0 0 0 796 1 0 0 20 0 28 0 511028185 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382584545960 140383581609295 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 [pid=29426/tid=29696] ppid=29424 vsize=28834900 memory=884 CPUtime=7.8 cores=0-7 /proc/29426/task/29696/stat : 29696 (java) R 29424 29424 24466 0 -1 4202560 461 0 0 0 780 0 0 0 20 0 28 0 511028185 29526937600 132118 33554432000 4194304 4196468 140735522469408 140382588756872 140383574135407 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17727488 140735522472944 140735522473115 140735522473115 140735522475983 0 Current children cumulated CPU time: 179.86 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 529924 KiB Child status: 0 Real time (s): 23.2692 CPU time (s): 180.305 CPU user time (s): 179.693 CPU system time (s): 0.611709 CPU usage (%): 774.866 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 529924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 179.693 system time used= 0.611709 maximum resident set size= 532824 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71829 page faults= 0 swaps= 0 block input operations= 0 block output operations= 168 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7047 involuntary context switches= 2930 # summary of solver processes directly reported to runsolver: # pid: 29424 # total CPU time (s): 180.305 # total CPU user time (s): 179.693 # total CPU system time (s): 0.611709 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.232715 second user time and 0.277364 second system time The end
Begin job on node125 at 2019-09-24 19:52:36 IDJOB=4407328 IDBENCH=133281 IDSOLVER=2872 FILE ID=node125/4407328-1569347599 RUNJOBID= node125-1569335936-24493 PBS_JOBID= 21705060 Free space on /tmp= 4256 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-n-medium-4.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-4407328-1569347599/watcher-4407328-1569347599 -o /tmp/evaluation-result-4407328-1569347599/solver-4407328-1569347599 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1403632523 HOME/instance-4407328-1569347599.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6d883eab13fdde7c2f2cac6b4a0af40c RANDOM SEED=1403632523 node125.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.29 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.29 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.29 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.29 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: 25441608 kB MemAvailable: 31815872 kB Buffers: 121196 kB Cached: 6314620 kB SwapCached: 29856 kB Active: 3204536 kB Inactive: 3266284 kB Active(anon): 4184 kB Inactive(anon): 86620 kB Active(file): 3200352 kB Inactive(file): 3179664 kB Unevictable: 107156 kB Mlocked: 107156 kB SwapTotal: 67108860 kB SwapFree: 66975640 kB Dirty: 25924 kB Writeback: 0 kB AnonPages: 111560 kB Mapped: 55832 kB Shmem: 47476 kB Slab: 452056 kB SReclaimable: 422708 kB SUnreclaim: 29348 kB KernelStack: 3408 kB PageTables: 4348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 512824 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: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 4228 MiB End job on node125 at 2019-09-24 19:52:59