Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 171 | 9.15618 | 2.13596 |
Name | Tpp/Tpp-zinc-s1/ Tpp-3-5-30-1.xml |
MD5SUM | e91753cc37d5672b16b54feba0c5cd89 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 171 |
Best CPU time to get the best result obtained on this benchmark | 0.215432 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 497 |
Number of domains | 47 |
Minimum domain size | 2 |
Maximum domain size | 15 |
Distribution of domain sizes | [{"size":2,"count":1},{"size":3,"count":3},{"size":4,"count":8},{"size":5,"count":4},{"size":8,"count":2},{"size":9,"count":5},{"size":10,"count":9},{"size":11,"count":11},{"size":12,"count":2},{"size":14,"count":30},{"size":15,"count":15}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":45},{"degree":16,"count":30},{"degree":32,"count":14},{"degree":33,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":495},{"arity":15,"count":1}] |
Number of extensional constraints | 45 |
Number of intensional constraints | 451 |
Distribution of constraint types | [{"type":"extension","count":45},{"type":"intension","count":451},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394481-1568427436.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4394481-1568427436.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 5.26/1.54 c solve instance... 6.50/1.74 o 487 6.50/1.80 o 219 7.19/1.82 o 218 7.19/1.82 o 210 7.19/1.83 o 203 7.19/1.85 o 185 7.19/1.86 o 184 7.19/1.87 o 183 7.19/1.87 o 182 7.19/1.88 o 181 7.75/1.91 o 180 7.75/1.92 o 171 9.11/2.11 s OPTIMUM FOUND 9.11/2.11 v <instantiation> 9.11/2.11 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] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] l[0] l[1] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] l[20] l[21] l[22] l[23] l[24] l[25] l[26] l[27] l[28] l[29] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] </list> 9.11/2.11 v <values>0 4 1 3 7 2 6 10 5 9 13 8 12 14 11 0 14 5 0 18 3 0 11 15 0 1 4 0 1 18 1 8 5 7 1 11 8 2 1 13 5 2 11 2 8 8 4 4 7 1 13 13 1 1 4 5 11 4 13 7 3 4 2 3 2 2 2 1 2 4 3 7 10 6 4 2 1 1 1 1 1 1 2 2 3 1 5 1 2 2 </values> 9.11/2.11 v </instantiation>
OK 171
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 (11766 MiB free) memory of node 1: 16384 MiB (14448 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394481-1568427436/watcher-4394481-1568427436 -o /tmp/evaluation-result-4394481-1568427436/solver-4394481-1568427436 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568427292-16623 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 867386210 HOME/instance-4394481-1568427436.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=18455, runsolver pid=18452 Current StackSize limit: 8192 KiB [startup+0.100115 s]* /proc/loadavg: 6.81 7.74 7.78 3/211 18476 /proc/meminfo: memFree=26828116/32770624 swapFree=66957016/67108860 [pid=18455] ppid=18452 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18455/stat : 18455 (xcsp3-exec) S 18452 18455 16596 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418657411 115843072 363 33554432000 4194304 5098028 140720342667184 140720342665288 140535639986812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31956992 140720342676342 140720342676585 140720342676585 140720342679498 0 /proc/18455/statm: 28282 363 304 221 0 87 0 [pid=18457] ppid=18455 vsize=28227388 memory=28888 CPUtime=0.13 cores=0-7 /proc/18457/stat : 18457 (java) S 18455 18455 16596 0 -1 1077944320 5697 0 0 0 11 2 0 0 20 0 20 0 418657412 28904845312 7222 33554432000 4194304 4196468 140735502201312 140735502183856 139861369306871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 /proc/18457/statm: 7056847 7222 3114 1 0 7019032 0 [pid=18457/tid=18458] ppid=18455 vsize=28227388 memory=7970415248654901404 CPUtime=0.09 cores=0-7 /proc/18457/task/18458/stat : 18458 (java) R 18455 18455 16596 0 -1 4202560 3615 0 0 0 8 1 0 0 20 0 20 0 418657412 28904845312 7222 33554432000 4194304 4196468 140735502201312 139861373543216 139861369328797 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18459] ppid=18455 vsize=28227388 memory=732369865814809573 CPUtime=0 cores=0-7 /proc/18457/task/18459/stat : 18459 (java) S 18455 18455 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 7222 33554432000 4194304 4196468 140735502201312 139861321927696 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18460] ppid=18455 vsize=28227388 memory=139727477356160 CPUtime=0 cores=0-7 /proc/18457/task/18460/stat : 18460 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 7222 33554432000 4194304 4196468 140735502201312 139861320875152 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18461] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18461/stat : 18461 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 7222 33554432000 4194304 4196468 140735502201312 139861319822096 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18462] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18462/stat : 18462 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 7222 33554432000 4194304 4196468 140735502201312 139861318769552 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18463] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18463/stat : 18463 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 7222 33554432000 4194304 4196468 140735502201312 139861317716496 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18464] ppid=18455 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18457/task/18464/stat : 18464 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 7222 33554432000 4194304 4196468 140735502201312 139861316663952 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18465] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18465/stat : 18465 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 7222 33554432000 4194304 4196468 140735502201312 139860914329872 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18466] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18466/stat : 18466 (java) S 18455 18455 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 7222 33554432000 4194304 4196468 140735502201312 139860913277328 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18467] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18467/stat : 18467 (java) S 18455 18455 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418657414 28904845312 7222 33554432000 4194304 4196468 140735502201312 139860418501360 139861369318018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18468] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18468/stat : 18468 (java) S 18455 18455 16596 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418657415 28904845312 7222 33554432000 4194304 4196468 140735502201312 139860417447584 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18469] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18469/stat : 18469 (java) S 18455 18455 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418657415 28904845312 7222 33554432000 4194304 4196468 140735502201312 139860416394480 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18470] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18470/stat : 18470 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657417 28904845312 7222 33554432000 4194304 4196468 140735502201312 139860415343056 139861369325467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18471] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18471/stat : 18471 (java) S 18455 18455 16596 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 418657417 28904845312 7222 33554432000 4194304 4196468 140735502201312 139860414290160 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18472] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18472/stat : 18472 (java) S 18455 18455 16596 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418657417 28904845312 7222 33554432000 4194304 4196468 140735502201312 139860413237616 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18473] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18473/stat : 18473 (java) S 18455 18455 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418657417 28904845312 7222 33554432000 4194304 4196468 140735502201312 139860412184560 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18474] ppid=18455 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/18457/task/18474/stat : 18474 (java) R 18455 18455 16596 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 20 0 418657417 28904845312 7222 33554432000 4194304 4196468 140735502201312 139860411132016 139861348666784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18475] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18475/stat : 18475 (java) S 18455 18455 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418657418 28904845312 7222 33554432000 4194304 4196468 140735502201312 139860410080224 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18476] ppid=18455 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18457/task/18476/stat : 18476 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657418 28904845312 7222 33554432000 4194304 4196468 140735502201312 139860409027760 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30340 KiB [startup+0.210069 s]* /proc/loadavg: 6.81 7.74 7.78 2/211 18476 /proc/meminfo: memFree=26814392/32770624 swapFree=66957016/67108860 [pid=18455] ppid=18452 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18455/stat : 18455 (xcsp3-exec) S 18452 18455 16596 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418657411 115843072 363 33554432000 4194304 5098028 140720342667184 140720342665288 140535639986812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31956992 140720342676342 140720342676585 140720342676585 140720342679498 0 /proc/18455/statm: 28282 363 304 221 0 87 0 [pid=18457] ppid=18455 vsize=28227388 memory=40800 CPUtime=0.33 cores=0-7 /proc/18457/stat : 18457 (java) S 18455 18455 16596 0 -1 1077944320 9463 0 0 0 30 3 0 0 20 0 20 0 418657412 28904845312 10200 33554432000 4194304 4196468 140735502201312 140735502183856 139861369306871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 /proc/18457/statm: 7056847 10200 3261 1 0 7019032 0 [pid=18457/tid=18458] ppid=18455 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7 /proc/18457/task/18458/stat : 18458 (java) R 18455 18455 16596 0 -1 4202560 6642 0 0 0 17 2 0 0 20 0 20 0 418657412 28904845312 10200 33554432000 4194304 4196468 140735502201312 139861373540992 139861336903014 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18459] ppid=18455 vsize=28227388 memory=279454843090680 CPUtime=0 cores=0-7 /proc/18457/task/18459/stat : 18459 (java) S 18455 18455 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 10200 33554432000 4194304 4196468 140735502201312 139861321927696 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18460] ppid=18455 vsize=28227388 memory=139727477356160 CPUtime=0 cores=0-7 /proc/18457/task/18460/stat : 18460 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 10200 33554432000 4194304 4196468 140735502201312 139861320875152 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18461] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18461/stat : 18461 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 10200 33554432000 4194304 4196468 140735502201312 139861319822096 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18462] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18462/stat : 18462 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 10200 33554432000 4194304 4196468 140735502201312 139861318769552 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18463] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18463/stat : 18463 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 10200 33554432000 4194304 4196468 140735502201312 139861317716496 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18464] ppid=18455 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18457/task/18464/stat : 18464 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 10200 33554432000 4194304 4196468 140735502201312 139861316663952 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18465] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18465/stat : 18465 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 10200 33554432000 4194304 4196468 140735502201312 139860914329872 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18466] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18466/stat : 18466 (java) S 18455 18455 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418657413 28904845312 10200 33554432000 4194304 4196468 140735502201312 139860913277328 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18467] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18467/stat : 18467 (java) S 18455 18455 16596 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418657414 28904845312 10200 33554432000 4194304 4196468 140735502201312 139860418501360 139861369318018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18468] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18468/stat : 18468 (java) S 18455 18455 16596 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418657415 28904845312 10200 33554432000 4194304 4196468 140735502201312 139860417447584 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18469] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18469/stat : 18469 (java) S 18455 18455 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418657415 28904845312 10200 33554432000 4194304 4196468 140735502201312 139860416394480 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18470] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18470/stat : 18470 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657417 28904845312 10200 33554432000 4194304 4196468 140735502201312 139860415343056 139861369325467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18471] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18471/stat : 18471 (java) S 18455 18455 16596 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 20 0 418657417 28904845312 10200 33554432000 4194304 4196468 140735502201312 139860414290160 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18472] ppid=18455 vsize=28227388 memory=0 CPUtime=0.03 cores=0-7 /proc/18457/task/18472/stat : 18472 (java) S 18455 18455 16596 0 -1 1077944384 393 0 0 0 3 0 0 0 20 0 20 0 418657417 28904845312 10200 33554432000 4194304 4196468 140735502201312 139860413237616 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18473] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18473/stat : 18473 (java) S 18455 18455 16596 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 418657417 28904845312 10200 33554432000 4194304 4196468 140735502201312 139860412184560 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18474] ppid=18455 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7 /proc/18457/task/18474/stat : 18474 (java) R 18455 18455 16596 0 -1 4202560 773 0 0 0 8 0 0 0 20 0 20 0 418657417 28904845312 10200 33554432000 4194304 4196468 140735502201312 139860411132016 139861353387358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18475] ppid=18455 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18475/stat : 18475 (java) S 18455 18455 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418657418 28904845312 10200 33554432000 4194304 4196468 140735502201312 139860410080224 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18476] ppid=18455 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/18457/task/18476/stat : 18476 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657418 28904845312 10200 33554432000 4194304 4196468 140735502201312 139860409027760 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42252 KiB [startup+0.30947 s]* /proc/loadavg: 6.81 7.74 7.78 4/211 18476 /proc/meminfo: memFree=26807716/32770624 swapFree=66957016/67108860 [pid=18455] ppid=18452 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18455/stat : 18455 (xcsp3-exec) S 18452 18455 16596 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418657411 115843072 363 33554432000 4194304 5098028 140720342667184 140720342665288 140535639986812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31956992 140720342676342 140720342676585 140720342676585 140720342679498 0 /proc/18455/statm: 28282 363 304 221 0 87 0 [pid=18457] ppid=18455 vsize=28231644 memory=50056 CPUtime=0.53 cores=0-7 /proc/18457/stat : 18457 (java) S 18455 18455 16596 0 -1 1077944320 10866 0 0 0 49 4 0 0 20 0 20 0 418657412 28909203456 12514 33554432000 4194304 4196468 140735502201312 140735502183856 139861369306871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 /proc/18457/statm: 7057911 12514 3355 1 0 7019032 0 [pid=18457/tid=18458] ppid=18455 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/18457/task/18458/stat : 18458 (java) R 18455 18455 16596 0 -1 4202560 7779 0 0 0 27 3 0 0 20 0 20 0 418657412 28909203456 12514 33554432000 4194304 4196468 140735502201312 139861373537984 139861353387358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18459] ppid=18455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18459/stat : 18459 (java) S 18455 18455 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418657413 28909203456 12514 33554432000 4194304 4196468 140735502201312 139861321927696 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18460] ppid=18455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18460/stat : 18460 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28909203456 12514 33554432000 4194304 4196468 140735502201312 139861320875152 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18461] ppid=18455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18461/stat : 18461 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28909203456 12514 33554432000 4194304 4196468 140735502201312 139861319822096 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18462] ppid=18455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18462/stat : 18462 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28909203456 12514 33554432000 4194304 4196468 140735502201312 139861318769552 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18463] ppid=18455 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/18457/task/18463/stat : 18463 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28909203456 12514 33554432000 4194304 4196468 140735502201312 139861317716496 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18464] ppid=18455 vsize=28231644 memory=139727365829551 CPUtime=0 cores=0-7 /proc/18457/task/18464/stat : 18464 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28909203456 12514 33554432000 4194304 4196468 140735502201312 139861316663952 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18465] ppid=18455 vsize=28231644 memory=139727365831856 CPUtime=0 cores=0-7 /proc/18457/task/18465/stat : 18465 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28909203456 12514 33554432000 4194304 4196468 140735502201312 139860914329872 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18466] ppid=18455 vsize=28231644 memory=139727365834160 CPUtime=0 cores=0-7 /proc/18457/task/18466/stat : 18466 (java) S 18455 18455 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418657413 28909203456 12514 33554432000 4194304 4196468 140735502201312 139860913277328 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18467] ppid=18455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18467/stat : 18467 (java) S 18455 18455 16596 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418657414 28909203456 12514 33554432000 4194304 4196468 140735502201312 139860418501360 139861369318018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18468] ppid=18455 vsize=28231644 memory=279454731675280 CPUtime=0 cores=0-7 /proc/18457/task/18468/stat : 18468 (java) S 18455 18455 16596 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418657415 28909203456 12514 33554432000 4194304 4196468 140735502201312 139860417447584 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18469] ppid=18455 vsize=28231644 memory=279454731682192 CPUtime=0 cores=0-7 /proc/18457/task/18469/stat : 18469 (java) S 18455 18455 16596 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418657415 28909203456 12514 33554432000 4194304 4196468 140735502201312 139860416394480 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18470] ppid=18455 vsize=28231644 memory=279454731623472 CPUtime=0 cores=0-7 /proc/18457/task/18470/stat : 18470 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657417 28909203456 12514 33554432000 4194304 4196468 140735502201312 139860415343056 139861369325467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18471] ppid=18455 vsize=28231644 memory=279454731696016 CPUtime=0.01 cores=0-7 /proc/18457/task/18471/stat : 18471 (java) S 18455 18455 16596 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 418657417 28909203456 12514 33554432000 4194304 4196468 140735502201312 139860414290160 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18472] ppid=18455 vsize=28231644 memory=279454731702928 CPUtime=0.05 cores=0-7 /proc/18457/task/18472/stat : 18472 (java) R 18455 18455 16596 0 -1 4202560 503 0 0 0 5 0 0 0 20 0 20 0 418657417 28909203456 12514 33554432000 4194304 4196468 140735502201312 139860413237616 139861347167825 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18473] ppid=18455 vsize=28231644 memory=279454731700624 CPUtime=0.01 cores=0-7 /proc/18457/task/18473/stat : 18473 (java) S 18455 18455 16596 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 418657417 28909203456 12514 33554432000 4194304 4196468 140735502201312 139860412184560 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18474] ppid=18455 vsize=28231644 memory=279454731716784 CPUtime=0.12 cores=0-7 /proc/18457/task/18474/stat : 18474 (java) S 18455 18455 16596 0 -1 1077944384 871 0 0 0 12 0 0 0 20 0 20 0 418657417 28909203456 12514 33554432000 4194304 4196468 140735502201312 139860411132016 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18475] ppid=18455 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18475/stat : 18475 (java) S 18455 18455 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418657418 28909203456 12514 33554432000 4194304 4196468 140735502201312 139860410080224 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18476] ppid=18455 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/18457/task/18476/stat : 18476 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657418 28909203456 12514 33554432000 4194304 4196468 140735502201312 139860409027760 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51508 KiB [startup+0.700926 s] /proc/loadavg: 6.81 7.74 7.78 3/211 18476 /proc/meminfo: memFree=26792228/32770624 swapFree=66957016/67108860 [pid=18455] ppid=18452 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18455/stat : 18455 (xcsp3-exec) S 18452 18455 16596 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418657411 115843072 363 33554432000 4194304 5098028 140720342667184 140720342665288 140535639986812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31956992 140720342676342 140720342676585 140720342676585 140720342679498 0 /proc/18455/statm: 28282 363 304 221 0 87 0 [pid=18457] ppid=18455 vsize=28233768 memory=86732 CPUtime=1.8 cores=0-7 /proc/18457/stat : 18457 (java) S 18455 18455 16596 0 -1 1077944320 15217 0 0 0 174 6 0 0 20 0 20 0 418657412 28911378432 21683 33554432000 4194304 4196468 140735502201312 140735502183856 139861369306871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 /proc/18457/statm: 7058442 21683 3451 1 0 7019544 0 [pid=18457/tid=18458] ppid=18455 vsize=28233768 memory=279454732011648 CPUtime=0.68 cores=0-7 /proc/18457/task/18458/stat : 18458 (java) R 18455 18455 16596 0 -1 4202560 9010 0 0 0 64 4 0 0 20 0 20 0 418657412 28911378432 21683 33554432000 4194304 4196468 140735502201312 139861373544544 139861001298597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18459] ppid=18455 vsize=28233768 memory=5050881541256 CPUtime=0 cores=0-7 /proc/18457/task/18459/stat : 18459 (java) S 18455 18455 16596 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418657413 28911378432 21683 33554432000 4194304 4196468 140735502201312 139861321927696 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18460] ppid=18455 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18460/stat : 18460 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28911378432 21683 33554432000 4194304 4196468 140735502201312 139861320875152 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18461] ppid=18455 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18461/stat : 18461 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418657413 28911378432 21683 33554432000 4194304 4196468 140735502201312 139861319822096 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 ################ # More data... # ################ [pid=18457/tid=18466] ppid=18455 vsize=28768328 memory=2241 CPUtime=0.01 cores=0-7 /proc/18457/task/18466/stat : 18466 (java) S 18455 18455 16596 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 418657413 29458767872 56596 33554432000 4194304 4196468 140735502201312 139860913277328 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18467] ppid=18455 vsize=28768328 memory=2244 CPUtime=0 cores=0-7 /proc/18457/task/18467/stat : 18467 (java) S 18455 18455 16596 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 418657414 29458767872 56596 33554432000 4194304 4196468 140735502201312 139860418501360 139861369318018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18468] ppid=18455 vsize=28768328 memory=2020 CPUtime=0 cores=0-7 /proc/18457/task/18468/stat : 18468 (java) S 18455 18455 16596 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 418657415 29458767872 56596 33554432000 4194304 4196468 140735502201312 139860417447584 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18469] ppid=18455 vsize=28768328 memory=988 CPUtime=0 cores=0-7 /proc/18457/task/18469/stat : 18469 (java) S 18455 18455 16596 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 418657415 29458767872 56596 33554432000 4194304 4196468 140735502201312 139860416394480 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18470] ppid=18455 vsize=28768328 memory=1368 CPUtime=0 cores=0-7 /proc/18457/task/18470/stat : 18470 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418657417 29458767872 56596 33554432000 4194304 4196468 140735502201312 139860415343056 139861369325467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18471] ppid=18455 vsize=28768328 memory=1056 CPUtime=1.02 cores=0-7 /proc/18457/task/18471/stat : 18471 (java) S 18455 18455 16596 0 -1 1077944384 3947 0 0 0 101 1 0 0 20 0 28 0 418657417 29458767872 56596 33554432000 4194304 4196468 140735502201312 139860414290160 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18472] ppid=18455 vsize=28768328 memory=1716 CPUtime=1.03 cores=0-7 /proc/18457/task/18472/stat : 18472 (java) S 18455 18455 16596 0 -1 1077944384 4199 0 0 0 102 1 0 0 20 0 28 0 418657417 29458767872 56596 33554432000 4194304 4196468 140735502201312 139860413237616 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18473] ppid=18455 vsize=28768328 memory=6100 CPUtime=1.06 cores=0-7 /proc/18457/task/18473/stat : 18473 (java) R 18455 18455 16596 0 -1 1077944384 3538 0 0 0 105 1 0 0 20 0 28 0 418657417 29458767872 56596 33554432000 4194304 4196468 140735502201312 139860412184560 139861369318018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18474] ppid=18455 vsize=28768328 memory=11624 CPUtime=0.69 cores=0-7 /proc/18457/task/18474/stat : 18474 (java) R 18455 18455 16596 0 -1 1077944384 4152 0 0 0 68 1 0 0 20 0 28 0 418657417 29458767872 56596 33554432000 4194304 4196468 140735502201312 139860411127696 139861369317077 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18475] ppid=18455 vsize=28768328 memory=732 CPUtime=0 cores=0-7 /proc/18457/task/18475/stat : 18475 (java) S 18455 18455 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418657418 29458767872 56596 33554432000 4194304 4196468 140735502201312 139860410080224 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18476] ppid=18455 vsize=28768328 memory=776 CPUtime=0 cores=0-7 /proc/18457/task/18476/stat : 18476 (java) S 18455 18455 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418657418 29458767872 56596 33554432000 4194304 4196468 140735502201312 139860409027760 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 Current children cumulated CPU time: 5.73 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 227836 KiB [startup+2.0096 s]* /proc/loadavg: 6.81 7.74 7.78 10/219 18580 /proc/meminfo: memFree=26560944/32770624 swapFree=66957016/67108860 [pid=18455] ppid=18452 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18455/stat : 18455 (xcsp3-exec) S 18452 18455 16596 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418657411 115843072 363 33554432000 4194304 5098028 140720342667184 140720342665288 140535639986812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31956992 140720342676342 140720342676585 140720342676585 140720342679498 0 /proc/18455/statm: 28282 363 304 221 0 87 0 [pid=18457] ppid=18455 vsize=28834892 memory=296328 CPUtime=8.59 cores=0-7 /proc/18457/stat : 18457 (java) S 18455 18455 16596 0 -1 1077944320 31679 0 0 0 829 30 0 0 20 0 28 0 418657412 29526929408 74082 33554432000 4194304 4196468 140735502201312 140735502183856 139861369306871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 /proc/18457/statm: 7208723 74082 3513 1 0 7169825 0 [pid=18457/tid=18458] ppid=18455 vsize=28834892 memory=6791534058613427641 CPUtime=1.53 cores=0-7 /proc/18457/task/18458/stat : 18458 (java) S 18455 18455 16596 0 -1 1077944384 11014 0 0 0 147 6 0 0 20 0 28 0 418657412 29526929408 74082 33554432000 4194304 4196468 140735502201312 139861373547648 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18459] ppid=18455 vsize=28834892 memory=0 CPUtime=0.04 cores=0-7 /proc/18457/task/18459/stat : 18459 (java) S 18455 18455 16596 0 -1 1077944384 72 0 0 0 2 2 0 0 20 0 28 0 418657413 29526929408 74082 33554432000 4194304 4196468 140735502201312 139861321927696 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18460] ppid=18455 vsize=28834892 memory=0 CPUtime=0.05 cores=0-7 /proc/18457/task/18460/stat : 18460 (java) S 18455 18455 16596 0 -1 1077944384 88 0 0 0 3 2 0 0 20 0 28 0 418657413 29526929408 74082 33554432000 4194304 4196468 140735502201312 139861320875152 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18461] ppid=18455 vsize=28834892 memory=3763099673816014896 CPUtime=0.04 cores=0-7 /proc/18457/task/18461/stat : 18461 (java) S 18455 18455 16596 0 -1 1077944384 96 0 0 0 3 1 0 0 20 0 28 0 418657413 29526929408 74082 33554432000 4194304 4196468 140735502201312 139861319822096 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18462] ppid=18455 vsize=28834892 memory=7805974384891420736 CPUtime=0.02 cores=0-7 /proc/18457/task/18462/stat : 18462 (java) S 18455 18455 16596 0 -1 1077944384 74 0 0 0 1 1 0 0 20 0 28 0 418657413 29526929408 74082 33554432000 4194304 4196468 140735502201312 139861318769552 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18463] ppid=18455 vsize=28834892 memory=-5874771483550381248 CPUtime=0.04 cores=0-7 /proc/18457/task/18463/stat : 18463 (java) S 18455 18455 16596 0 -1 1077944384 119 0 0 0 3 1 0 0 20 0 28 0 418657413 29526929408 74082 33554432000 4194304 4196468 140735502201312 139861317716496 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18464] ppid=18455 vsize=28834892 memory=3976735856566219058 CPUtime=0.03 cores=0-7 /proc/18457/task/18464/stat : 18464 (java) S 18455 18455 16596 0 -1 1077944384 66 0 0 0 2 1 0 0 20 0 28 0 418657413 29526929408 74082 33554432000 4194304 4196468 140735502201312 139861316663952 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18465] ppid=18455 vsize=28834892 memory=1399094042734925955 CPUtime=0.04 cores=0-7 /proc/18457/task/18465/stat : 18465 (java) S 18455 18455 16596 0 -1 1077944384 75 0 0 0 3 1 0 0 20 0 28 0 418657413 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860914329872 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18466] ppid=18455 vsize=28834892 memory=-7965959121690140575 CPUtime=0.05 cores=0-7 /proc/18457/task/18466/stat : 18466 (java) S 18455 18455 16596 0 -1 1077944384 75 0 0 0 3 2 0 0 20 0 28 0 418657413 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860913277328 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18467] ppid=18455 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18467/stat : 18467 (java) S 18455 18455 16596 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 28 0 418657414 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860418501360 139861369318018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18468] ppid=18455 vsize=28834892 memory=-7812800578125854342 CPUtime=0 cores=0-7 /proc/18457/task/18468/stat : 18468 (java) S 18455 18455 16596 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 418657415 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860417447648 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18469] ppid=18455 vsize=28834892 memory=7100839861499107429 CPUtime=0 cores=0-7 /proc/18457/task/18469/stat : 18469 (java) S 18455 18455 16596 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 418657415 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860416394496 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18470] ppid=18455 vsize=28834892 memory=-9001728533042062950 CPUtime=0 cores=0-7 /proc/18457/task/18470/stat : 18470 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418657417 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860415343056 139861369325467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18471] ppid=18455 vsize=28834892 memory=-7407837088590634089 CPUtime=1.26 cores=0-7 /proc/18457/task/18471/stat : 18471 (java) R 18455 18455 16596 0 -1 4202560 4030 0 0 0 125 1 0 0 20 0 28 0 418657417 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860414281616 139861350850943 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18472] ppid=18455 vsize=28834892 memory=6944656592455360604 CPUtime=1.25 cores=0-7 /proc/18457/task/18472/stat : 18472 (java) R 18455 18455 16596 0 -1 4202560 4277 0 0 0 124 1 0 0 20 0 28 0 418657417 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860413230640 139861353207336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18473] ppid=18455 vsize=28834892 memory=0 CPUtime=1.33 cores=0-7 /proc/18457/task/18473/stat : 18473 (java) R 18455 18455 16596 0 -1 4202560 3624 0 0 0 132 1 0 0 20 0 28 0 418657417 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860412171376 139861352805525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18474] ppid=18455 vsize=28834892 memory=0 CPUtime=0.86 cores=0-7 /proc/18457/task/18474/stat : 18474 (java) R 18455 18455 16596 0 -1 1077944384 4423 0 0 0 85 1 0 0 20 0 28 0 418657417 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860411132016 139861369318018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18475] ppid=18455 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/18457/task/18475/stat : 18475 (java) S 18455 18455 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418657418 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860410080224 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18476] ppid=18455 vsize=28834892 memory=-1 CPUtime=0 cores=0-7 /proc/18457/task/18476/stat : 18476 (java) S 18455 18455 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418657418 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860409027760 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18573] ppid=18455 vsize=28834892 memory=-1 CPUtime=0.08 cores=0-7 /proc/18457/task/18573/stat : 18573 (java) R 18455 18455 16596 0 -1 4202560 19 0 0 0 8 0 0 0 20 0 28 0 418657604 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860397717808 139861000679488 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18574] ppid=18455 vsize=28834892 memory=0 CPUtime=0.05 cores=0-7 /proc/18457/task/18574/stat : 18574 (java) R 18455 18455 16596 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 28 0 418657604 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860396667328 139861004426935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18575] ppid=18455 vsize=28834892 memory=0 CPUtime=0.03 cores=0-7 /proc/18457/task/18575/stat : 18575 (java) R 18455 18455 16596 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 28 0 418657604 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860394563328 139861003401863 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18576] ppid=18455 vsize=28834892 memory=0 CPUtime=0.06 cores=0-7 /proc/18457/task/18576/stat : 18576 (java) R 18455 18455 16596 0 -1 4202560 18 0 0 0 6 0 0 0 20 0 28 0 418657604 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860390354136 139861000026185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18577] ppid=18455 vsize=28834892 memory=0 CPUtime=0.04 cores=0-7 /proc/18457/task/18577/stat : 18577 (java) R 18455 18455 16596 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 28 0 418657604 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860389299816 139861000026199 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18578] ppid=18455 vsize=28834892 memory=0 CPUtime=0.04 cores=0-7 /proc/18457/task/18578/stat : 18578 (java) R 18455 18455 16596 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 28 0 418657604 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860395614128 139861004742991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18579] ppid=18455 vsize=28834892 memory=0 CPUtime=0.05 cores=0-7 /proc/18457/task/18579/stat : 18579 (java) R 18455 18455 16596 0 -1 4202560 20 0 0 0 5 0 0 0 20 0 28 0 418657604 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860393509256 139861004427042 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18580] ppid=18455 vsize=28834892 memory=0 CPUtime=0.06 cores=0-7 /proc/18457/task/18580/stat : 18580 (java) R 18455 18455 16596 0 -1 4202560 28 0 0 0 6 0 0 0 20 0 28 0 418657604 29526929408 74082 33554432000 4194304 4196468 140735502201312 139860392458720 139861005099216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 Current children cumulated CPU time: 8.59 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 297780 KiB [startup+2.1106 s] /proc/loadavg: 6.81 7.74 7.78 10/219 18580 /proc/meminfo: memFree=26560944/32770624 swapFree=66957016/67108860 [pid=18455] ppid=18452 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/18455/stat : 18455 (xcsp3-exec) S 18452 18455 16596 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418657411 115843072 363 33554432000 4194304 5098028 140720342667184 140720342665288 140535639986812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31956992 140720342676342 140720342676585 140720342676585 140720342679498 0 /proc/18455/statm: 28282 363 304 221 0 87 0 [pid=18457] ppid=18455 vsize=28834892 memory=298580 CPUtime=9.11 cores=0-7 /proc/18457/stat : 18457 (java) S 18455 18455 16596 0 -1 1077944320 31779 0 0 0 881 30 0 0 20 0 28 0 418657412 29526929408 74645 33554432000 4194304 4196468 140735502201312 140735502183856 139861369306871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 /proc/18457/statm: 7208723 74645 3514 1 0 7169825 0 [pid=18457/tid=18458] ppid=18455 vsize=28834892 memory=266896 CPUtime=1.53 cores=0-7 /proc/18457/task/18458/stat : 18458 (java) S 18455 18455 16596 0 -1 1077944384 11014 0 0 0 147 6 0 0 20 0 28 0 418657412 29526929408 74645 33554432000 4194304 4196468 140735502201312 139861373547648 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18459] ppid=18455 vsize=28834892 memory=0 CPUtime=0.04 cores=0-7 /proc/18457/task/18459/stat : 18459 (java) S 18455 18455 16596 0 -1 1077944384 72 0 0 0 2 2 0 0 20 0 28 0 418657413 29526929408 74645 33554432000 4194304 4196468 140735502201312 139861321927696 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18460] ppid=18455 vsize=28834892 memory=268 CPUtime=0.05 cores=0-7 /proc/18457/task/18460/stat : 18460 (java) S 18455 18455 16596 0 -1 1077944384 88 0 0 0 3 2 0 0 20 0 28 0 418657413 29526929408 74645 33554432000 4194304 4196468 140735502201312 139861320875152 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18461] ppid=18455 vsize=28834892 memory=87 CPUtime=0.04 cores=0-7 /proc/18457/task/18461/stat : 18461 (java) S 18455 18455 16596 0 -1 1077944384 96 0 0 0 3 1 0 0 20 0 28 0 418657413 29526929408 74645 33554432000 4194304 4196468 140735502201312 139861319822096 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18462] ppid=18455 vsize=28834892 memory=139727365829345 CPUtime=0.02 cores=0-7 /proc/18457/task/18462/stat : 18462 (java) S 18455 18455 16596 0 -1 1077944384 74 0 0 0 1 1 0 0 20 0 28 0 418657413 29526929408 74645 33554432000 4194304 4196468 140735502201312 139861318769552 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18463] ppid=18455 vsize=28834892 memory=0 CPUtime=0.04 cores=0-7 /proc/18457/task/18463/stat : 18463 (java) S 18455 18455 16596 0 -1 1077944384 119 0 0 0 3 1 0 0 20 0 28 0 418657413 29526929408 74645 33554432000 4194304 4196468 140735502201312 139861317716496 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18464] ppid=18455 vsize=28834892 memory=4211821575541792640 CPUtime=0.03 cores=0-7 /proc/18457/task/18464/stat : 18464 (java) S 18455 18455 16596 0 -1 1077944384 66 0 0 0 2 1 0 0 20 0 28 0 418657413 29526929408 74645 33554432000 4194304 4196468 140735502201312 139861316663952 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18465] ppid=18455 vsize=28834892 memory=0 CPUtime=0.04 cores=0-7 /proc/18457/task/18465/stat : 18465 (java) S 18455 18455 16596 0 -1 1077944384 75 0 0 0 3 1 0 0 20 0 28 0 418657413 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860914329872 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18466] ppid=18455 vsize=28834892 memory=2124 CPUtime=0.05 cores=0-7 /proc/18457/task/18466/stat : 18466 (java) S 18455 18455 16596 0 -1 1077944384 75 0 0 0 3 2 0 0 20 0 28 0 418657413 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860913277328 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18467] ppid=18455 vsize=28834892 memory=21888 CPUtime=0 cores=0-7 /proc/18457/task/18467/stat : 18467 (java) S 18455 18455 16596 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 28 0 418657414 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860418501360 139861369318018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18468] ppid=18455 vsize=28834892 memory=492 CPUtime=0 cores=0-7 /proc/18457/task/18468/stat : 18468 (java) S 18455 18455 16596 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 418657415 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860417447648 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18469] ppid=18455 vsize=28834892 memory=1560 CPUtime=0 cores=0-7 /proc/18457/task/18469/stat : 18469 (java) S 18455 18455 16596 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 418657415 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860416394496 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18470] ppid=18455 vsize=28834892 memory=932 CPUtime=0 cores=0-7 /proc/18457/task/18470/stat : 18470 (java) S 18455 18455 16596 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418657417 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860415343056 139861369325467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18471] ppid=18455 vsize=28834892 memory=0 CPUtime=1.36 cores=0-7 /proc/18457/task/18471/stat : 18471 (java) R 18455 18455 16596 0 -1 4202560 4030 0 0 0 135 1 0 0 20 0 28 0 418657417 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860414281616 139861354432261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18472] ppid=18455 vsize=28834892 memory=8028676333680759155 CPUtime=1.33 cores=0-7 /proc/18457/task/18472/stat : 18472 (java) S 18455 18455 16596 0 -1 1077944384 4297 0 0 0 132 1 0 0 20 0 28 0 418657417 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860413237616 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18473] ppid=18455 vsize=28834892 memory=8475934422144292502 CPUtime=1.42 cores=0-7 /proc/18457/task/18473/stat : 18473 (java) S 18455 18455 16596 0 -1 1077944384 3643 0 0 0 141 1 0 0 20 0 28 0 418657417 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860412184560 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18474] ppid=18455 vsize=28834892 memory=-6876588452865875872 CPUtime=0.89 cores=0-7 /proc/18457/task/18474/stat : 18474 (java) S 18455 18455 16596 0 -1 1077944384 4478 0 0 0 88 1 0 0 20 0 28 0 418657417 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860411132016 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18475] ppid=18455 vsize=28834892 memory=-3775572685057999774 CPUtime=0 cores=0-7 /proc/18457/task/18475/stat : 18475 (java) S 18455 18455 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418657418 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860410080224 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18476] ppid=18455 vsize=28834892 memory=6944613755479294112 CPUtime=0 cores=0-7 /proc/18457/task/18476/stat : 18476 (java) S 18455 18455 16596 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418657418 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860409027760 139861369318018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18573] ppid=18455 vsize=28834892 memory=288230574492221466 CPUtime=0.11 cores=0-7 /proc/18457/task/18573/stat : 18573 (java) S 18455 18455 16596 0 -1 1077944384 19 0 0 0 11 0 0 0 20 0 28 0 418657604 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860397723392 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18574] ppid=18455 vsize=28834892 memory=288230617509003574 CPUtime=0.08 cores=0-7 /proc/18457/task/18574/stat : 18574 (java) S 18455 18455 16596 0 -1 1077944384 19 0 0 0 8 0 0 0 20 0 28 0 418657604 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860396672336 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18575] ppid=18455 vsize=28834892 memory=15252640887999028 CPUtime=0.06 cores=0-7 /proc/18457/task/18575/stat : 18575 (java) S 18455 18455 16596 0 -1 1077944384 32 0 0 0 6 0 0 0 20 0 28 0 418657604 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860394566608 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18576] ppid=18455 vsize=28834892 memory=0 CPUtime=0.08 cores=0-7 /proc/18457/task/18576/stat : 18576 (java) S 18455 18455 16596 0 -1 1077944384 18 0 0 0 8 0 0 0 20 0 28 0 418657604 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860390356048 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18577] ppid=18455 vsize=28834892 memory=0 CPUtime=0.06 cores=0-7 /proc/18457/task/18577/stat : 18577 (java) S 18455 18455 16596 0 -1 1077944384 17 0 0 0 6 0 0 0 20 0 28 0 418657604 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860389302992 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18578] ppid=18455 vsize=28834892 memory=0 CPUtime=0.06 cores=0-7 /proc/18457/task/18578/stat : 18578 (java) S 18455 18455 16596 0 -1 1077944384 18 0 0 0 6 0 0 0 20 0 28 0 418657604 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860395619152 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18579] ppid=18455 vsize=28834892 memory=0 CPUtime=0.07 cores=0-7 /proc/18457/task/18579/stat : 18579 (java) S 18455 18455 16596 0 -1 1077944384 20 0 0 0 7 0 0 0 20 0 28 0 418657604 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860393514448 139861369317077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 [pid=18457/tid=18580] ppid=18455 vsize=28834892 memory=0 CPUtime=0.13 cores=0-7 /proc/18457/task/18580/stat : 18580 (java) R 18455 18455 16596 0 -1 4202560 28 0 0 0 13 0 0 0 20 0 28 0 418657604 29526929408 74645 33554432000 4194304 4196468 140735502201312 139860392458304 139861006221857 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140735502210026 140735502210198 140735502210198 140735502213071 0 Current children cumulated CPU time: 9.11 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 300032 KiB Child status: 0 Real time (s): 2.13596 CPU time (s): 9.15618 CPU user time (s): 8.83772 CPU system time (s): 0.318465 CPU usage (%): 428.669 Max. virtual memory (cumulated for all children) (KiB): 28948020 Max. memory (cumulated for all children) (KiB): 300032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.83772 system time used= 0.318465 maximum resident set size= 301728 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32352 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= 4519 involuntary context switches= 77 # summary of solver processes directly reported to runsolver: # pid: 18455 # total CPU time (s): 9.15618 # total CPU user time (s): 8.83772 # total CPU system time (s): 0.318465 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.035799 second user time and 0.067207 second system time The end
Begin job on node147 at 2019-09-14 04:16:32 IDJOB=4394481 IDBENCH=126835 IDSOLVER=2843 FILE ID=node147/4394481-1568427436 RUNJOBID= node147-1568427292-16623 PBS_JOBID= 21702296 Free space on /tmp= 58880 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-3-5-30-1.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-4394481-1568427436/watcher-4394481-1568427436 -o /tmp/evaluation-result-4394481-1568427436/solver-4394481-1568427436 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568427292-16623 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 867386210 HOME/instance-4394481-1568427436.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e91753cc37d5672b16b54feba0c5cd89 RANDOM SEED=867386210 node147.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.52 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.52 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.52 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.52 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: 26844228 kB MemAvailable: 31811972 kB Buffers: 188160 kB Cached: 5006784 kB SwapCached: 48496 kB Active: 2034604 kB Inactive: 3212748 kB Active(anon): 4452 kB Inactive(anon): 89344 kB Active(file): 2030152 kB Inactive(file): 3123404 kB Unevictable: 107760 kB Mlocked: 107760 kB SwapTotal: 67108860 kB SwapFree: 66957016 kB Dirty: 26016 kB Writeback: 0 kB AnonPages: 180720 kB Mapped: 45068 kB Shmem: 32768 kB Slab: 271728 kB SReclaimable: 242648 kB SUnreclaim: 29080 kB KernelStack: 3824 kB PageTables: 5844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497812 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 135168 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 /tmp at the end= 58856 MiB End job on node147 at 2019-09-14 04:16:35