Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | SAT | 30.4671 | 11.5702 |
Name | Crossword/Crossword-m1c-ogd2008-herald/ Crossword-m1c-ogd2008-h1506.xml |
MD5SUM | 0e5e1a5440f053ee6c87120c72693e04 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.985276 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 72 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":195}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":30},{"degree":2,"count":195}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":3,"count":8},{"arity":4,"count":20},{"arity":5,"count":14},{"arity":6,"count":4},{"arity":7,"count":19},{"arity":8,"count":4},{"arity":9,"count":3}] |
Number of extensional constraints | 72 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":72}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393742-1568446826.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393742-1568446826.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 28.98/11.32 c solve instance... 30.15/11.53 s SATISFIABLE 30.15/11.53 v <instantiation> 30.15/11.53 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][11] x[3][12] x[3][13] x[3][14] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] </list> 30.15/11.53 v <values>25 0 2 7 11 4 3 18 7 10 0 21 4 2 0 2 7 0 8 13 4 5 4 20 11 4 17 0 2 7 8 2 0 15 0 8 17 18 2 7 4 13 0 4 2 7 17 0 18 5 0 7 14 18 0 0 2 14 7 0 11 12 0 3 0 3 3 0 8 13 8 3 4 1 8 19 0 0 23 8 14 12 4 19 17 4 13 24 11 14 13 9 8 11 1 0 18 8 3 4 18 4 17 18 2 0 20 0 0 2 1 4 6 20 4 17 8 4 4 11 0 8 1 4 0 13 0 17 2 7 8 4 13 0 13 0 13 19 18 7 18 8 4 10 2 20 0 5 14 2 0 0 17 13 3 17 4 9 0 9 0 8 2 7 4 17 0 0 6 6 17 0 21 0 0 18 2 0 17 0 19 6 17 14 12 1 0 2 0 4 11 1 4 10 4 </values> 30.15/11.53 v </instantiation>
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (11880 MiB free) memory of node 1: 16384 MiB (15536 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393742-1568446826/watcher-4393742-1568446826 -o /tmp/evaluation-result-4393742-1568446826/solver-4393742-1568446826 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568439477-8012 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1626292214 HOME/instance-4393742-1568446826.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=9629, runsolver pid=9626 Current StackSize limit: 8192 KiB [startup+0.100102 s]* /proc/loadavg: 5.04 3.58 5.54 2/211 9650 /proc/meminfo: memFree=28058020/32770624 swapFree=66999940/67108860 [pid=9629] ppid=9626 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9629/stat : 9629 (xcsp3-exec) S 9626 9629 7985 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420947438 115843072 363 33554432000 4194304 5098028 140735190585904 140735190584008 140306290328188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17944576 140735190590325 140735190590569 140735190590569 140735190593482 0 /proc/9629/statm: 28282 363 304 221 0 87 0 [pid=9631] ppid=9629 vsize=28227388 memory=28500 CPUtime=0.12 cores=0-7 /proc/9631/stat : 9631 (java) S 9629 9629 7985 0 -1 1077944320 5630 0 0 0 11 1 0 0 20 0 20 0 420947439 28904845312 7125 33554432000 4194304 4196468 140729014841568 140729014824112 140228078378743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 /proc/9631/statm: 7056847 7125 3119 1 0 7019032 0 [pid=9631/tid=9632] ppid=9629 vsize=28227388 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/9631/task/9632/stat : 9632 (java) R 9629 9629 7985 0 -1 4202560 3565 0 0 0 8 1 0 0 20 0 20 0 420947439 28904845312 7125 33554432000 4194304 4196468 140729014841568 140228082608960 140228078390678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9633] ppid=9629 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9631/task/9633/stat : 9633 (java) S 9629 9629 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227629930768 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9634] ppid=9629 vsize=28227388 memory=140341563635328 CPUtime=0 cores=0-7 /proc/9631/task/9634/stat : 9634 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227628878224 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9635] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9635/stat : 9635 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227627825680 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9636] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9636/stat : 9636 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227626773136 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9637] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9637/stat : 9637 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227625720592 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9638] ppid=9629 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9631/task/9638/stat : 9638 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227624668048 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9639] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9639/stat : 9639 (java) S 9629 9629 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227623615504 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9640] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9640/stat : 9640 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227622562960 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9641] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9641/stat : 9641 (java) S 9629 9629 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420947441 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227328931824 140228078389890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9642] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9642/stat : 9642 (java) S 9629 9629 7985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420947442 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227327878048 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9643] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9643/stat : 9643 (java) S 9629 9629 7985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420947442 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227259655152 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9644] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9644/stat : 9644 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947444 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227258603728 140228078397339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9645] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9645/stat : 9645 (java) S 9629 9629 7985 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 420947444 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227257551344 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9646] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9646/stat : 9646 (java) S 9629 9629 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420947444 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227256498800 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9647] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9647/stat : 9647 (java) S 9629 9629 7985 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420947444 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227255446256 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9648] ppid=9629 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/9631/task/9648/stat : 9648 (java) R 9629 9629 7985 0 -1 4202560 322 0 0 0 2 0 0 0 20 0 20 0 420947444 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227254393712 140228057318625 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9649] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9649/stat : 9649 (java) S 9629 9629 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420947444 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227253340384 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9650] ppid=9629 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9631/task/9650/stat : 9650 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947445 28904845312 7125 33554432000 4194304 4196468 140729014841568 140227252287920 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 29952 KiB [startup+0.211515 s]* /proc/loadavg: 5.04 3.58 5.54 2/211 9650 /proc/meminfo: memFree=28043984/32770624 swapFree=66999940/67108860 [pid=9629] ppid=9626 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9629/stat : 9629 (xcsp3-exec) S 9626 9629 7985 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420947438 115843072 363 33554432000 4194304 5098028 140735190585904 140735190584008 140306290328188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17944576 140735190590325 140735190590569 140735190590569 140735190593482 0 /proc/9629/statm: 28282 363 304 221 0 87 0 [pid=9631] ppid=9629 vsize=28227388 memory=41128 CPUtime=0.34 cores=0-7 /proc/9631/stat : 9631 (java) S 9629 9629 7985 0 -1 1077944320 9556 0 0 0 31 3 0 0 20 0 20 0 420947439 28904845312 10282 33554432000 4194304 4196468 140729014841568 140729014824112 140228078378743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 /proc/9631/statm: 7056847 10282 3271 1 0 7019032 0 [pid=9631/tid=9632] ppid=9629 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/9631/task/9632/stat : 9632 (java) R 9629 9629 7985 0 -1 4202560 6618 0 0 0 18 2 0 0 20 0 20 0 420947439 28904845312 10282 33554432000 4194304 4196468 140729014841568 140228082617456 140228078400669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9633] ppid=9629 vsize=28227388 memory=331 CPUtime=0 cores=0-7 /proc/9631/task/9633/stat : 9633 (java) S 9629 9629 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227629930768 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9634] ppid=9629 vsize=28227388 memory=140341563645210 CPUtime=0 cores=0-7 /proc/9631/task/9634/stat : 9634 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227628878224 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9635] ppid=9629 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9631/task/9635/stat : 9635 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227627825680 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9636] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9636/stat : 9636 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227626773136 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9637] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9637/stat : 9637 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227625720592 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9638] ppid=9629 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9631/task/9638/stat : 9638 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227624668048 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9639] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9639/stat : 9639 (java) S 9629 9629 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227623615504 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9640] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9640/stat : 9640 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227622562960 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9641] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9641/stat : 9641 (java) S 9629 9629 7985 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420947441 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227328931824 140228078389890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9642] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9642/stat : 9642 (java) S 9629 9629 7985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420947442 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227327878048 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9643] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9643/stat : 9643 (java) S 9629 9629 7985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420947442 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227259655152 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9644] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9644/stat : 9644 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947444 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227258603728 140228078397339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9645] ppid=9629 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/9631/task/9645/stat : 9645 (java) S 9629 9629 7985 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 20 0 420947444 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227257551344 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9646] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9646/stat : 9646 (java) S 9629 9629 7985 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 420947444 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227256498800 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9647] ppid=9629 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/9631/task/9647/stat : 9647 (java) S 9629 9629 7985 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 20 0 420947444 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227255446256 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9648] ppid=9629 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/9631/task/9648/stat : 9648 (java) R 9629 9629 7985 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 20 0 420947444 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227254393712 140228062459230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9649] ppid=9629 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9649/stat : 9649 (java) S 9629 9629 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420947444 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227253340384 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9650] ppid=9629 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/9631/task/9650/stat : 9650 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947445 28904845312 10282 33554432000 4194304 4196468 140729014841568 140227252287920 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42580 KiB [startup+0.317237 s]* /proc/loadavg: 5.04 3.58 5.54 2/211 9650 /proc/meminfo: memFree=28036436/32770624 swapFree=66999940/67108860 [pid=9629] ppid=9626 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9629/stat : 9629 (xcsp3-exec) S 9626 9629 7985 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420947438 115843072 363 33554432000 4194304 5098028 140735190585904 140735190584008 140306290328188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17944576 140735190590325 140735190590569 140735190590569 140735190593482 0 /proc/9629/statm: 28282 363 304 221 0 87 0 [pid=9631] ppid=9629 vsize=28231644 memory=50008 CPUtime=0.51 cores=0-7 /proc/9631/stat : 9631 (java) S 9629 9629 7985 0 -1 1077944320 10901 0 0 0 47 4 0 0 20 0 20 0 420947439 28909203456 12502 33554432000 4194304 4196468 140729014841568 140729014824112 140228078378743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 /proc/9631/statm: 7057911 12502 3307 1 0 7019032 0 [pid=9631/tid=9632] ppid=9629 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/9631/task/9632/stat : 9632 (java) R 9629 9629 7985 0 -1 4202560 7861 0 0 0 27 3 0 0 20 0 20 0 420947439 28909203456 12502 33554432000 4194304 4196468 140729014841568 140228082611136 140228062459230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9633] ppid=9629 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9633/stat : 9633 (java) S 9629 9629 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420947440 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227629930768 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9634] ppid=9629 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9634/stat : 9634 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227628878224 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9635] ppid=9629 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9635/stat : 9635 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227627825680 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9636] ppid=9629 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9636/stat : 9636 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227626773136 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9637] ppid=9629 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9637/stat : 9637 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227625720592 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9638] ppid=9629 vsize=28231644 memory=140341411932847 CPUtime=0 cores=0-7 /proc/9631/task/9638/stat : 9638 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227624668048 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9639] ppid=9629 vsize=28231644 memory=140341411935152 CPUtime=0 cores=0-7 /proc/9631/task/9639/stat : 9639 (java) S 9629 9629 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420947440 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227623615504 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9640] ppid=9629 vsize=28231644 memory=140341411937456 CPUtime=0 cores=0-7 /proc/9631/task/9640/stat : 9640 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947440 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227622562960 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9641] ppid=9629 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9641/stat : 9641 (java) S 9629 9629 7985 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420947441 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227328931824 140228078389890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9642] ppid=9629 vsize=28231644 memory=280682823888784 CPUtime=0 cores=0-7 /proc/9631/task/9642/stat : 9642 (java) S 9629 9629 7985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420947442 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227327878048 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9643] ppid=9629 vsize=28231644 memory=280682823886480 CPUtime=0 cores=0-7 /proc/9631/task/9643/stat : 9643 (java) S 9629 9629 7985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420947442 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227259655152 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9644] ppid=9629 vsize=28231644 memory=280682823893392 CPUtime=0 cores=0-7 /proc/9631/task/9644/stat : 9644 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947444 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227258603728 140228078397339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9645] ppid=9629 vsize=28231644 memory=280682823834672 CPUtime=0.03 cores=0-7 /proc/9631/task/9645/stat : 9645 (java) S 9629 9629 7985 0 -1 1077944384 377 0 0 0 3 0 0 0 20 0 20 0 420947444 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227257551344 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9646] ppid=9629 vsize=28231644 memory=280682823907216 CPUtime=0.01 cores=0-7 /proc/9631/task/9646/stat : 9646 (java) S 9629 9629 7985 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 420947444 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227256498800 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9647] ppid=9629 vsize=28231644 memory=280682823914128 CPUtime=0.02 cores=0-7 /proc/9631/task/9647/stat : 9647 (java) S 9629 9629 7985 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 20 0 420947444 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227255446256 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9648] ppid=9629 vsize=28231644 memory=280682823911824 CPUtime=0.12 cores=0-7 /proc/9631/task/9648/stat : 9648 (java) S 9629 9629 7985 0 -1 1077944384 848 0 0 0 12 0 0 0 20 0 20 0 420947444 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227254393712 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9649] ppid=9629 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9649/stat : 9649 (java) S 9629 9629 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420947444 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227253340384 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9650] ppid=9629 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/9631/task/9650/stat : 9650 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947445 28909203456 12502 33554432000 4194304 4196468 140729014841568 140227252287920 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51460 KiB [startup+0.701188 s] /proc/loadavg: 5.04 3.58 5.54 5/211 9650 /proc/meminfo: memFree=27994960/32770624 swapFree=66999940/67108860 [pid=9629] ppid=9626 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9629/stat : 9629 (xcsp3-exec) S 9626 9629 7985 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420947438 115843072 363 33554432000 4194304 5098028 140735190585904 140735190584008 140306290328188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17944576 140735190590325 140735190590569 140735190590569 140735190593482 0 /proc/9629/statm: 28282 363 304 221 0 87 0 [pid=9631] ppid=9629 vsize=28233768 memory=206372 CPUtime=1.72 cores=0-7 /proc/9631/stat : 9631 (java) S 9629 9629 7985 0 -1 1077944320 14784 0 0 0 162 10 0 0 20 0 20 0 420947439 28911378432 51593 33554432000 4194304 4196468 140729014841568 140729014824112 140228078378743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 /proc/9631/statm: 7058442 51593 3455 1 0 7019544 0 [pid=9631/tid=9632] ppid=9629 vsize=28233768 memory=0 CPUtime=0.66 cores=0-7 /proc/9631/task/9632/stat : 9632 (java) R 9629 9629 7985 0 -1 4202560 8317 0 0 0 61 5 0 0 20 0 20 0 420947439 28911378432 51593 33554432000 4194304 4196468 140729014841568 140228082614720 140227682191218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9633] ppid=9629 vsize=28233768 memory=140341412143984 CPUtime=0 cores=0-7 /proc/9631/task/9633/stat : 9633 (java) S 9629 9629 7985 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 420947440 28911378432 51593 33554432000 4194304 4196468 140729014841568 140227629930768 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9634] ppid=9629 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9634/stat : 9634 (java) S 9629 9629 7985 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 420947440 28911378432 51593 33554432000 4194304 4196468 140729014841568 140227628878224 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9635] ppid=9629 vsize=28233768 memory=776 CPUtime=0 cores=0-7 /proc/9631/task/9635/stat : 9635 (java) S 9629 9629 7985 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 420947440 28911378432 51593 33554432000 4194304 4196468 140729014841568 140227627825680 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 ################ # More data... # ################ /proc/9631/task/9649/stat : 9649 (java) S 9629 9629 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420947444 28911378432 886529 33554432000 4194304 4196468 140729014841568 140227253340384 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9650] ppid=9629 vsize=28233768 memory=4570481358258665002 CPUtime=0 cores=0-7 /proc/9631/task/9650/stat : 9650 (java) S 9629 9629 7985 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 420947445 28911378432 886529 33554432000 4194304 4196468 140729014841568 140227252287920 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 Current children cumulated CPU time: 28.07 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 3547568 KiB [startup+11.2009 s] /proc/loadavg: 4.49 3.51 5.50 2/211 9650 /proc/meminfo: memFree=24534916/32770624 swapFree=66999940/67108860 [pid=9629] ppid=9626 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9629/stat : 9629 (xcsp3-exec) S 9626 9629 7985 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420947438 115843072 363 33554432000 4194304 5098028 140735190585904 140735190584008 140306290328188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17944576 140735190590325 140735190590569 140735190590569 140735190593482 0 /proc/9629/statm: 28282 363 304 221 0 87 0 [pid=9631] ppid=9629 vsize=28233768 memory=3548400 CPUtime=28.88 cores=0-7 /proc/9631/stat : 9631 (java) S 9629 9629 7985 0 -1 1077944320 43976 0 0 0 2218 670 0 0 20 0 20 0 420947439 28911378432 887100 33554432000 4194304 4196468 140729014841568 140729014824112 140228078378743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 /proc/9631/statm: 7058442 887100 3507 1 0 7019544 0 [pid=9631/tid=9632] ppid=9629 vsize=28233768 memory=6944656592455360604 CPUtime=7.39 cores=0-7 /proc/9631/task/9632/stat : 9632 (java) R 9629 9629 7985 0 -1 4202560 12432 0 0 0 718 21 0 0 20 0 20 0 420947439 28911378432 887100 33554432000 4194304 4196468 140729014841568 140228082616960 140227683230367 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9633] ppid=9629 vsize=28233768 memory=6943526294502006880 CPUtime=2.27 cores=0-7 /proc/9631/task/9633/stat : 9633 (java) S 9629 9629 7985 0 -1 1077944384 1622 0 0 0 150 77 0 0 20 0 20 0 420947440 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227629930768 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9634] ppid=9629 vsize=28233768 memory=2715424 CPUtime=2.28 cores=0-7 /proc/9631/task/9634/stat : 9634 (java) S 9629 9629 7985 0 -1 1077944384 2063 0 0 0 147 81 0 0 20 0 20 0 420947440 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227628878224 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9635] ppid=9629 vsize=28233768 memory=9996 CPUtime=2.28 cores=0-7 /proc/9631/task/9635/stat : 9635 (java) S 9629 9629 7985 0 -1 1077944384 1981 0 0 0 146 82 0 0 20 0 20 0 420947440 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227627825680 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9636] ppid=9629 vsize=28233768 memory=22701 CPUtime=2.28 cores=0-7 /proc/9631/task/9636/stat : 9636 (java) S 9629 9629 7985 0 -1 1077944384 2169 0 0 0 149 79 0 0 20 0 20 0 420947440 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227626773136 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9637] ppid=9629 vsize=28233768 memory=0 CPUtime=2.25 cores=0-7 /proc/9631/task/9637/stat : 9637 (java) S 9629 9629 7985 0 -1 1077944384 1876 0 0 0 147 78 0 0 20 0 20 0 420947440 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227625720592 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9638] ppid=9629 vsize=28233768 memory=988 CPUtime=2.28 cores=0-7 /proc/9631/task/9638/stat : 9638 (java) S 9629 9629 7985 0 -1 1077944384 2266 0 0 0 149 79 0 0 20 0 20 0 420947440 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227624668048 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9639] ppid=9629 vsize=28233768 memory=2020 CPUtime=2.27 cores=0-7 /proc/9631/task/9639/stat : 9639 (java) S 9629 9629 7985 0 -1 1077944384 2053 0 0 0 144 83 0 0 20 0 20 0 420947440 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227623615504 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9640] ppid=9629 vsize=28233768 memory=1432 CPUtime=2.28 cores=0-7 /proc/9631/task/9640/stat : 9640 (java) S 9629 9629 7985 0 -1 1077944384 1896 0 0 0 149 79 0 0 20 0 20 0 420947440 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227622562960 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9641] ppid=9629 vsize=28233768 memory=9536 CPUtime=1.11 cores=0-7 /proc/9631/task/9641/stat : 9641 (java) S 9629 9629 7985 0 -1 1077944384 4537 0 0 0 110 1 0 0 20 0 20 0 420947441 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227328931824 140228078389890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9642] ppid=9629 vsize=28233768 memory=2715416 CPUtime=0 cores=0-7 /proc/9631/task/9642/stat : 9642 (java) S 9629 9629 7985 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 420947442 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227327878112 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9643] ppid=9629 vsize=28233768 memory=1452 CPUtime=0 cores=0-7 /proc/9631/task/9643/stat : 9643 (java) S 9629 9629 7985 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 420947442 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227259655168 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9644] ppid=9629 vsize=28233768 memory=2715416 CPUtime=0 cores=0-7 /proc/9631/task/9644/stat : 9644 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420947444 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227258603728 140228078397339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9645] ppid=9629 vsize=28233768 memory=-7028383565733675155 CPUtime=0.46 cores=0-7 /proc/9631/task/9645/stat : 9645 (java) S 9629 9629 7985 0 -1 1077944384 1738 0 0 0 45 1 0 0 20 0 20 0 420947444 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227257551344 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9646] ppid=9629 vsize=28233768 memory=8112282956445269571 CPUtime=0.48 cores=0-7 /proc/9631/task/9646/stat : 9646 (java) S 9629 9629 7985 0 -1 1077944384 1718 0 0 0 48 0 0 0 20 0 20 0 420947444 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227256498800 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9647] ppid=9629 vsize=28233768 memory=1544 CPUtime=0.62 cores=0-7 /proc/9631/task/9647/stat : 9647 (java) S 9629 9629 7985 0 -1 1077944384 3165 0 0 0 61 1 0 0 20 0 20 0 420947444 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227255446256 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9648] ppid=9629 vsize=28233768 memory=776 CPUtime=0.48 cores=0-7 /proc/9631/task/9648/stat : 9648 (java) S 9629 9629 7985 0 -1 1077944384 3083 0 0 0 48 0 0 0 20 0 20 0 420947444 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227254393712 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9649] ppid=9629 vsize=28233768 memory=3580 CPUtime=0 cores=0-7 /proc/9631/task/9649/stat : 9649 (java) S 9629 9629 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420947444 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227253340384 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9650] ppid=9629 vsize=28233768 memory=41024 CPUtime=0 cores=0-7 /proc/9631/task/9650/stat : 9650 (java) S 9629 9629 7985 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 420947445 28911378432 887100 33554432000 4194304 4196468 140729014841568 140227252287920 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 Current children cumulated CPU time: 28.88 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 3549852 KiB [startup+11.4022 s] /proc/loadavg: 4.49 3.51 5.50 2/211 9650 /proc/meminfo: memFree=24534916/32770624 swapFree=66999940/67108860 [pid=9629] ppid=9626 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9629/stat : 9629 (xcsp3-exec) S 9626 9629 7985 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420947438 115843072 363 33554432000 4194304 5098028 140735190585904 140735190584008 140306290328188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17944576 140735190590325 140735190590569 140735190590569 140735190593482 0 /proc/9629/statm: 28282 363 304 221 0 87 0 [pid=9631] ppid=9629 vsize=28766280 memory=3549572 CPUtime=29.41 cores=0-7 /proc/9631/stat : 9631 (java) S 9629 9629 7985 0 -1 1077944320 44927 0 0 0 2263 678 0 0 20 0 28 0 420947439 29456670720 887393 33554432000 4194304 4196468 140729014841568 140729014824112 140228078378743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 /proc/9631/statm: 7191570 887393 3507 1 0 7152672 0 [pid=9631/tid=9632] ppid=9629 vsize=28766280 memory=2832 CPUtime=7.54 cores=0-7 /proc/9631/task/9632/stat : 9632 (java) S 9629 9629 7985 0 -1 1077944384 12751 0 0 0 732 22 0 0 20 0 28 0 420947439 29456670720 887393 33554432000 4194304 4196468 140729014841568 140228082619520 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9633] ppid=9629 vsize=28766280 memory=1712 CPUtime=2.27 cores=0-7 /proc/9631/task/9633/stat : 9633 (java) S 9629 9629 7985 0 -1 1077944384 1622 0 0 0 150 77 0 0 20 0 28 0 420947440 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227629930768 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9634] ppid=9629 vsize=28766280 memory=1220 CPUtime=2.28 cores=0-7 /proc/9631/task/9634/stat : 9634 (java) S 9629 9629 7985 0 -1 1077944384 2063 0 0 0 147 81 0 0 20 0 28 0 420947440 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227628878224 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9635] ppid=9629 vsize=28766280 memory=992 CPUtime=2.28 cores=0-7 /proc/9631/task/9635/stat : 9635 (java) S 9629 9629 7985 0 -1 1077944384 1981 0 0 0 146 82 0 0 20 0 28 0 420947440 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227627825680 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9636] ppid=9629 vsize=28766280 memory=6008 CPUtime=2.28 cores=0-7 /proc/9631/task/9636/stat : 9636 (java) S 9629 9629 7985 0 -1 1077944384 2169 0 0 0 149 79 0 0 20 0 28 0 420947440 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227626773136 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9637] ppid=9629 vsize=28766280 memory=1544 CPUtime=2.25 cores=0-7 /proc/9631/task/9637/stat : 9637 (java) S 9629 9629 7985 0 -1 1077944384 1876 0 0 0 147 78 0 0 20 0 28 0 420947440 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227625720592 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9638] ppid=9629 vsize=28766280 memory=776 CPUtime=2.28 cores=0-7 /proc/9631/task/9638/stat : 9638 (java) S 9629 9629 7985 0 -1 1077944384 2266 0 0 0 149 79 0 0 20 0 28 0 420947440 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227624668048 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9639] ppid=9629 vsize=28766280 memory=56 CPUtime=2.27 cores=0-7 /proc/9631/task/9639/stat : 9639 (java) S 9629 9629 7985 0 -1 1077944384 2053 0 0 0 144 83 0 0 20 0 28 0 420947440 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227623615504 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9640] ppid=9629 vsize=28766280 memory=0 CPUtime=2.28 cores=0-7 /proc/9631/task/9640/stat : 9640 (java) S 9629 9629 7985 0 -1 1077944384 1896 0 0 0 149 79 0 0 20 0 28 0 420947440 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227622562960 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9641] ppid=9629 vsize=28766280 memory=0 CPUtime=1.11 cores=0-7 /proc/9631/task/9641/stat : 9641 (java) S 9629 9629 7985 0 -1 1077944384 4543 0 0 0 110 1 0 0 20 0 28 0 420947441 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227328931824 140228078389890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9642] ppid=9629 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/9631/task/9642/stat : 9642 (java) S 9629 9629 7985 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 420947442 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227327878112 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9643] ppid=9629 vsize=28766280 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/9631/task/9643/stat : 9643 (java) S 9629 9629 7985 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 420947442 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227259655168 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9644] ppid=9629 vsize=28766280 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/9631/task/9644/stat : 9644 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420947444 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227258603728 140228078397339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9645] ppid=9629 vsize=28766280 memory=6872598998417432672 CPUtime=0.48 cores=0-7 /proc/9631/task/9645/stat : 9645 (java) S 9629 9629 7985 0 -1 1077944384 1742 0 0 0 47 1 0 0 20 0 28 0 420947444 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227257551344 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9646] ppid=9629 vsize=28766280 memory=288230377007612191 CPUtime=0.5 cores=0-7 /proc/9631/task/9646/stat : 9646 (java) R 9629 9629 7985 0 -1 4202560 1728 0 0 0 50 0 0 0 20 0 28 0 420947444 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227256498800 140228062270389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9647] ppid=9629 vsize=28766280 memory=288284472221369559 CPUtime=0.63 cores=0-7 /proc/9631/task/9647/stat : 9647 (java) R 9629 9629 7985 0 -1 1077944384 3179 0 0 0 62 1 0 0 20 0 28 0 420947444 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227255446256 140228078389890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9648] ppid=9629 vsize=28766280 memory=0 CPUtime=0.51 cores=0-7 /proc/9631/task/9648/stat : 9648 (java) S 9629 9629 7985 0 -1 1077944384 3270 0 0 0 51 0 0 0 20 0 28 0 420947444 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227254393712 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9649] ppid=9629 vsize=28766280 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/9631/task/9649/stat : 9649 (java) S 9629 9629 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420947444 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227253340384 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9650] ppid=9629 vsize=28766280 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/9631/task/9650/stat : 9650 (java) S 9629 9629 7985 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 420947445 29456670720 887393 33554432000 4194304 4196468 140729014841568 140227252287920 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 Current children cumulated CPU time: 29.41 s Current children cumulated vsize: 28879408 KiB Current children cumulated memory: 3551024 KiB [startup+11.5012 s] /proc/loadavg: 4.49 3.51 5.50 2/211 9650 /proc/meminfo: memFree=24534916/32770624 swapFree=66999940/67108860 [pid=9629] ppid=9626 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9629/stat : 9629 (xcsp3-exec) S 9626 9629 7985 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420947438 115843072 363 33554432000 4194304 5098028 140735190585904 140735190584008 140306290328188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17944576 140735190590325 140735190590569 140735190590569 140735190593482 0 /proc/9629/statm: 28282 363 304 221 0 87 0 [pid=9631] ppid=9629 vsize=28766280 memory=3549980 CPUtime=30.15 cores=0-7 /proc/9631/stat : 9631 (java) S 9629 9629 7985 0 -1 1077944320 45464 0 0 0 2332 683 0 0 20 0 28 0 420947439 29456670720 887495 33554432000 4194304 4196468 140729014841568 140729014824112 140228078378743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 /proc/9631/statm: 7191570 887495 3507 1 0 7152672 0 [pid=9631/tid=9632] ppid=9629 vsize=28766280 memory=3548384 CPUtime=7.54 cores=0-7 /proc/9631/task/9632/stat : 9632 (java) S 9629 9629 7985 0 -1 1077944384 12751 0 0 0 732 22 0 0 20 0 28 0 420947439 29456670720 887495 33554432000 4194304 4196468 140729014841568 140228082619520 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9633] ppid=9629 vsize=28766280 memory=164 CPUtime=2.27 cores=0-7 /proc/9631/task/9633/stat : 9633 (java) S 9629 9629 7985 0 -1 1077944384 1622 0 0 0 150 77 0 0 20 0 28 0 420947440 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227629930768 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9634] ppid=9629 vsize=28766280 memory=140341563642321 CPUtime=2.28 cores=0-7 /proc/9631/task/9634/stat : 9634 (java) S 9629 9629 7985 0 -1 1077944384 2063 0 0 0 147 81 0 0 20 0 28 0 420947440 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227628878224 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9635] ppid=9629 vsize=28766280 memory=140341563646785 CPUtime=2.28 cores=0-7 /proc/9631/task/9635/stat : 9635 (java) S 9629 9629 7985 0 -1 1077944384 1981 0 0 0 146 82 0 0 20 0 28 0 420947440 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227627825680 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9636] ppid=9629 vsize=28766280 memory=6459630814397 CPUtime=2.28 cores=0-7 /proc/9631/task/9636/stat : 9636 (java) S 9629 9629 7985 0 -1 1077944384 2169 0 0 0 149 79 0 0 20 0 28 0 420947440 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227626773136 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9637] ppid=9629 vsize=28766280 memory=288230621803970871 CPUtime=2.25 cores=0-7 /proc/9631/task/9637/stat : 9637 (java) S 9629 9629 7985 0 -1 1077944384 1876 0 0 0 147 78 0 0 20 0 28 0 420947440 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227625720592 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9638] ppid=9629 vsize=28766280 memory=15823304585906089 CPUtime=2.28 cores=0-7 /proc/9631/task/9638/stat : 9638 (java) S 9629 9629 7985 0 -1 1077944384 2266 0 0 0 149 79 0 0 20 0 28 0 420947440 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227624668048 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9639] ppid=9629 vsize=28766280 memory=0 CPUtime=2.27 cores=0-7 /proc/9631/task/9639/stat : 9639 (java) S 9629 9629 7985 0 -1 1077944384 2053 0 0 0 144 83 0 0 20 0 28 0 420947440 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227623615504 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9640] ppid=9629 vsize=28766280 memory=2241 CPUtime=2.28 cores=0-7 /proc/9631/task/9640/stat : 9640 (java) S 9629 9629 7985 0 -1 1077944384 1896 0 0 0 149 79 0 0 20 0 28 0 420947440 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227622562960 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9641] ppid=9629 vsize=28766280 memory=2244 CPUtime=1.11 cores=0-7 /proc/9631/task/9641/stat : 9641 (java) S 9629 9629 7985 0 -1 1077944384 4543 0 0 0 110 1 0 0 20 0 28 0 420947441 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227328931824 140228078389890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9642] ppid=9629 vsize=28766280 memory=14012 CPUtime=0 cores=0-7 /proc/9631/task/9642/stat : 9642 (java) S 9629 9629 7985 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 420947442 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227327878112 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9643] ppid=9629 vsize=28766280 memory=21572 CPUtime=0 cores=0-7 /proc/9631/task/9643/stat : 9643 (java) S 9629 9629 7985 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 420947442 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227259655168 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9644] ppid=9629 vsize=28766280 memory=12024 CPUtime=0 cores=0-7 /proc/9631/task/9644/stat : 9644 (java) S 9629 9629 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420947444 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227258603728 140228078397339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9645] ppid=9629 vsize=28766280 memory=1452 CPUtime=0.53 cores=0-7 /proc/9631/task/9645/stat : 9645 (java) S 9629 9629 7985 0 -1 1077944384 1949 0 0 0 52 1 0 0 20 0 28 0 420947444 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227257551344 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9646] ppid=9629 vsize=28766280 memory=3429356 CPUtime=0.53 cores=0-7 /proc/9631/task/9646/stat : 9646 (java) R 9629 9629 7985 0 -1 4202560 1735 0 0 0 53 0 0 0 20 0 28 0 420947444 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227256490256 140228059788893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9647] ppid=9629 vsize=28766280 memory=0 CPUtime=0.65 cores=0-7 /proc/9631/task/9647/stat : 9647 (java) S 9629 9629 7985 0 -1 1077944384 3198 0 0 0 64 1 0 0 20 0 28 0 420947444 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227255439280 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9648] ppid=9629 vsize=28766280 memory=2082604 CPUtime=0.53 cores=0-7 /proc/9631/task/9648/stat : 9648 (java) R 9629 9629 7985 0 -1 1077944384 3423 0 0 0 53 0 0 0 20 0 28 0 420947444 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227254393712 140228078389890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9649] ppid=9629 vsize=28766280 memory=-2461829820114675750 CPUtime=0 cores=0-7 /proc/9631/task/9649/stat : 9649 (java) S 9629 9629 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420947444 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227253340384 140228078388949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 [pid=9631/tid=9650] ppid=9629 vsize=28766280 memory=-7361174377247368086 CPUtime=0 cores=0-7 /proc/9631/task/9650/stat : 9650 (java) S 9629 9629 7985 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 420947445 29456670720 887495 33554432000 4194304 4196468 140729014841568 140227252287920 140228078389890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 24457216 140729014846442 140729014846614 140729014846614 140729014849487 0 Current children cumulated CPU time: 30.15 s Current children cumulated vsize: 28879408 KiB Current children cumulated memory: 3551432 KiB Child status: 0 Real time (s): 11.5702 CPU time (s): 30.4671 CPU user time (s): 23.5955 CPU system time (s): 6.87154 CPU usage (%): 263.324 Max. virtual memory (cumulated for all children) (KiB): 28879408 Max. memory (cumulated for all children) (KiB): 3551432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.5955 system time used= 6.87154 maximum resident set size= 3550712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46426 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4829 involuntary context switches= 242 # summary of solver processes directly reported to runsolver: # pid: 9629 # total CPU time (s): 30.4671 # total CPU user time (s): 23.5955 # total CPU system time (s): 6.87154 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.086878 second user time and 0.172757 second system time The end
Begin job on node123 at 2019-09-14 09:39:47 IDJOB=4393742 IDBENCH=140060 IDSOLVER=2841 FILE ID=node123/4393742-1568446826 RUNJOBID= node123-1568439477-8012 PBS_JOBID= 21702334 Free space on /tmp= 59176 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1506.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-4393742-1568446826/watcher-4393742-1568446826 -o /tmp/evaluation-result-4393742-1568446826/solver-4393742-1568446826 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568439477-8012 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1626292214 HOME/instance-4393742-1568446826.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0e5e1a5440f053ee6c87120c72693e04 RANDOM SEED=1626292214 node123.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.49 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.49 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.49 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.49 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: 28074204 kB MemAvailable: 31870956 kB Buffers: 154916 kB Cached: 3907076 kB SwapCached: 7372 kB Active: 1256832 kB Inactive: 2819420 kB Active(anon): 4928 kB Inactive(anon): 50160 kB Active(file): 1251904 kB Inactive(file): 2769260 kB Unevictable: 106664 kB Mlocked: 106664 kB SwapTotal: 67108860 kB SwapFree: 66999940 kB Dirty: 32068 kB Writeback: 0 kB AnonPages: 221604 kB Mapped: 45048 kB Shmem: 32692 kB Slab: 212904 kB SReclaimable: 182848 kB SUnreclaim: 30056 kB KernelStack: 3712 kB PageTables: 5400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498620 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 176128 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 59152 MiB End job on node123 at 2019-09-14 09:39:58