Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | SAT | 11.4283 | 4.67733 |
Name | Crossword/Crossword-m1c-ogd-herald/ Crossword-m1c-ogd-h1502.xml |
MD5SUM | f196bcf8028f955a9b1a207c833066c3 |
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.441362 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 80 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":191}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":34},{"degree":2,"count":191}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":3,"count":16},{"arity":4,"count":36},{"arity":5,"count":14},{"arity":6,"count":6},{"arity":7,"count":2},{"arity":10,"count":4},{"arity":15,"count":2}] |
Number of extensional constraints | 80 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":80}] |
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-4406667-1569362141.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406667-1569362141.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 10.22/4.49 c solve instance... 11.03/4.64 s SATISFIABLE 11.03/4.64 v <instantiation> 11.03/4.64 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][6] x[0][7] x[0][8] x[0][9] 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][7] x[1][8] x[1][9] 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][7] 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][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][0] x[4][1] x[4][2] x[4][4] x[4][5] x[4][6] x[4][7] x[4][9] x[4][10] x[4][11] x[5][3] x[5][4] x[5][5] x[5][6] x[5][8] x[5][9] x[5][10] 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][7] x[6][8] x[6][9] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][6] x[7][7] x[7][8] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][5] x[8][6] x[8][7] 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][4] x[9][5] x[9][6] x[9][8] x[9][9] x[9][10] x[9][11] x[10][3] x[10][4] x[10][5] x[10][7] x[10][8] x[10][9] x[10][10] x[10][12] x[10][13] x[10][14] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] 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][7] 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][5] x[13][6] x[13][7] 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][5] x[14][6] x[14][7] x[14][8] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] </list> 11.03/4.64 v <values>11 8 0 17 3 25 0 17 1 18 2 8 0 4 13 2 14 20 17 0 6 4 0 0 11 14 8 2 14 13 19 17 0 17 8 0 18 18 8 14 13 18 7 20 4 4 2 0 11 2 0 17 4 20 18 4 0 8 18 3 0 1 4 17 0 18 2 0 6 4 2 0 18 1 2 6 2 0 2 0 1 4 2 0 1 3 0 7 20 0 1 0 2 0 2 0 1 3 0 13 0 4 4 1 11 0 2 0 1 3 0 19 2 7 0 12 4 11 2 0 1 3 4 2 0 2 0 11 11 20 6 4 4 17 4 0 11 1 8 13 4 0 8 13 4 0 1 0 19 1 0 17 17 0 13 2 0 1 4 17 12 4 9 0 1 8 17 17 3 4 6 0 17 13 8 17 0 8 4 19 17 4 14 18 4 17 1 4 19 7 4 </values> 11.03/4.64 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 (13776 MiB free) memory of node 1: 16384 MiB (12332 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406667-1569362141/watcher-4406667-1569362141 -o /tmp/evaluation-result-4406667-1569362141/solver-4406667-1569362141 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569354839-12054 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1488674197 HOME/instance-4406667-1569362141.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=12647, runsolver pid=12644 Current StackSize limit: 8192 KiB [startup+0.100158 s]* /proc/loadavg: 8.18 8.38 8.24 4/210 12668 /proc/meminfo: memFree=26720300/32770624 swapFree=66986400/67108860 [pid=12647] ppid=12644 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12647/stat : 12647 (xcsp3-exec) S 12644 12647 12027 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512470761 115843072 363 33554432000 4194304 5098028 140737102172208 140737102170312 140139073942140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140737102181237 140737102181481 140737102181481 140737102184394 0 /proc/12647/statm: 28282 363 304 221 0 87 0 [pid=12649] ppid=12647 vsize=28227396 memory=27620 CPUtime=0.12 cores=0-7 /proc/12649/stat : 12649 (java) S 12647 12647 12027 0 -1 1077944320 5803 0 0 0 11 1 0 0 20 0 20 0 512470761 28904853504 6905 33554432000 4194304 4196468 140726844460208 140726844442752 140446202031863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 /proc/12649/statm: 7056849 6905 3149 1 0 7019032 0 [pid=12649/tid=12650] ppid=12647 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/12649/task/12650/stat : 12650 (java) R 12647 12647 12027 0 -1 4202560 3654 0 0 0 8 1 0 0 20 0 20 0 512470762 28904853504 6905 33554432000 4194304 4196468 140726844460208 140446206265136 140446202043798 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12651] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12651/stat : 12651 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470762 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445753142288 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12652] ppid=12647 vsize=28227396 memory=288370328112440960 CPUtime=0 cores=0-7 /proc/12649/task/12652/stat : 12652 (java) S 12647 12647 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445752089744 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12653] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12653/stat : 12653 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445751036688 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12654] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12654/stat : 12654 (java) S 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445749984144 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12655] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12655/stat : 12655 (java) S 12647 12647 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445748931088 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12656] ppid=12647 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12649/task/12656/stat : 12656 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445747878544 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12657] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12657/stat : 12657 (java) S 12647 12647 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445746825488 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12658] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12658/stat : 12658 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445745772944 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12659] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12659/stat : 12659 (java) S 12647 12647 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512470764 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445703105264 140446202043010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12660] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12660/stat : 12660 (java) S 12647 12647 12027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512470765 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445702051488 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12661] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12661/stat : 12661 (java) S 12647 12647 12027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512470765 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445700998384 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12662] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12662/stat : 12662 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470767 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445582748112 140446202050459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12663] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12663/stat : 12663 (java) S 12647 12647 12027 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 512470767 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445581695216 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12664] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12664/stat : 12664 (java) S 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512470767 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445580642672 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12665] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12665/stat : 12665 (java) S 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512470767 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445579589616 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12666] ppid=12647 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/12649/task/12666/stat : 12666 (java) R 12647 12647 12027 0 -1 4202560 411 0 0 0 2 0 0 0 20 0 20 0 512470767 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445578537072 140446202043798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12667] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12667/stat : 12667 (java) S 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512470767 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445577485280 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12668] ppid=12647 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12649/task/12668/stat : 12668 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470768 28904853504 6905 33554432000 4194304 4196468 140726844460208 140445576432816 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29072 KiB [startup+0.210372 s]* /proc/loadavg: 8.18 8.38 8.24 3/210 12668 /proc/meminfo: memFree=26706720/32770624 swapFree=66986400/67108860 [pid=12647] ppid=12644 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12647/stat : 12647 (xcsp3-exec) S 12644 12647 12027 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512470761 115843072 363 33554432000 4194304 5098028 140737102172208 140737102170312 140139073942140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140737102181237 140737102181481 140737102181481 140737102184394 0 /proc/12647/statm: 28282 363 304 221 0 87 0 [pid=12649] ppid=12647 vsize=28227396 memory=39784 CPUtime=0.34 cores=0-7 /proc/12649/stat : 12649 (java) S 12647 12647 12027 0 -1 1077944320 9743 0 0 0 30 4 0 0 20 0 20 0 512470761 28904853504 9946 33554432000 4194304 4196468 140726844460208 140726844442752 140446202031863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 /proc/12649/statm: 7056849 9946 3303 1 0 7019032 0 [pid=12649/tid=12650] ppid=12647 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/12649/task/12650/stat : 12650 (java) R 12647 12647 12027 0 -1 4202560 6684 0 0 0 17 2 0 0 20 0 20 0 512470762 28904853504 9946 33554432000 4194304 4196468 140726844460208 140446206271536 140446202053789 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12651] ppid=12647 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/12649/task/12651/stat : 12651 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470762 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445753142288 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12652] ppid=12647 vsize=28227396 memory=139951960741527 CPUtime=0 cores=0-7 /proc/12649/task/12652/stat : 12652 (java) S 12647 12647 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445752089744 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12653] ppid=12647 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12649/task/12653/stat : 12653 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445751036688 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12654] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12654/stat : 12654 (java) S 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445749984144 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12655] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12655/stat : 12655 (java) S 12647 12647 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445748931088 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12656] ppid=12647 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12649/task/12656/stat : 12656 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445747878544 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12657] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12657/stat : 12657 (java) S 12647 12647 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445746825488 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12658] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12658/stat : 12658 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470763 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445745772944 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12659] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12659/stat : 12659 (java) S 12647 12647 12027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512470764 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445703105264 140446202043010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12660] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12660/stat : 12660 (java) S 12647 12647 12027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512470765 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445702051488 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12661] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12661/stat : 12661 (java) S 12647 12647 12027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512470765 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445700998384 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12662] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12662/stat : 12662 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470767 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445582748112 140446202050459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12663] ppid=12647 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12649/task/12663/stat : 12663 (java) S 12647 12647 12027 0 -1 1077944384 647 0 0 0 1 0 0 0 20 0 20 0 512470767 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445581695216 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12664] ppid=12647 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/12649/task/12664/stat : 12664 (java) S 12647 12647 12027 0 -1 1077944384 156 0 0 0 2 0 0 0 20 0 20 0 512470767 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445580642672 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12665] ppid=12647 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12649/task/12665/stat : 12665 (java) R 12647 12647 12027 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 512470767 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445579589616 140446202043010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12666] ppid=12647 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/12649/task/12666/stat : 12666 (java) S 12647 12647 12027 0 -1 1077944384 924 0 0 0 7 0 0 0 20 0 20 0 512470767 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445578537072 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12667] ppid=12647 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12667/stat : 12667 (java) S 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512470767 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445577485280 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12668] ppid=12647 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12649/task/12668/stat : 12668 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470768 28904853504 9946 33554432000 4194304 4196468 140726844460208 140445576432816 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41236 KiB [startup+0.309511 s]* /proc/loadavg: 8.18 8.38 8.24 3/210 12668 /proc/meminfo: memFree=26701292/32770624 swapFree=66986400/67108860 [pid=12647] ppid=12644 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12647/stat : 12647 (xcsp3-exec) S 12644 12647 12027 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512470761 115843072 363 33554432000 4194304 5098028 140737102172208 140737102170312 140139073942140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140737102181237 140737102181481 140737102181481 140737102184394 0 /proc/12647/statm: 28282 363 304 221 0 87 0 [pid=12649] ppid=12647 vsize=28231652 memory=49072 CPUtime=0.52 cores=0-7 /proc/12649/stat : 12649 (java) S 12647 12647 12027 0 -1 1077944320 11135 0 0 0 47 5 0 0 20 0 20 0 512470761 28909211648 12268 33554432000 4194304 4196468 140726844460208 140726844442752 140446202031863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 /proc/12649/statm: 7057913 12268 3350 1 0 7019032 0 [pid=12649/tid=12650] ppid=12647 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/12649/task/12650/stat : 12650 (java) R 12647 12647 12027 0 -1 4202560 7765 0 0 0 26 3 0 0 20 0 20 0 512470762 28909211648 12268 33554432000 4194304 4196468 140726844460208 140446206262976 140446186112350 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12651] ppid=12647 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12651/stat : 12651 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470762 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445753142288 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12652] ppid=12647 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12652/stat : 12652 (java) S 12647 12647 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512470763 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445752089744 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12653] ppid=12647 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12653/stat : 12653 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470763 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445751036688 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12654] ppid=12647 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12654/stat : 12654 (java) S 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512470763 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445749984144 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12655] ppid=12647 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12655/stat : 12655 (java) S 12647 12647 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512470763 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445748931088 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12656] ppid=12647 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12656/stat : 12656 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470763 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445747878544 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12657] ppid=12647 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12657/stat : 12657 (java) S 12647 12647 12027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512470763 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445746825488 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12658] ppid=12647 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12658/stat : 12658 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470763 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445745772944 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12659] ppid=12647 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12659/stat : 12659 (java) S 12647 12647 12027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512470764 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445703105264 140446202043010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12660] ppid=12647 vsize=28231652 memory=279903689973120 CPUtime=0 cores=0-7 /proc/12649/task/12660/stat : 12660 (java) S 12647 12647 12027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512470765 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445702051488 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12661] ppid=12647 vsize=28231652 memory=279903689977728 CPUtime=0 cores=0-7 /proc/12649/task/12661/stat : 12661 (java) S 12647 12647 12027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512470765 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445700998384 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12662] ppid=12647 vsize=28231652 memory=279903689982336 CPUtime=0 cores=0-7 /proc/12649/task/12662/stat : 12662 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470767 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445582748112 140446202050459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12663] ppid=12647 vsize=28231652 memory=279903689986944 CPUtime=0.01 cores=0-7 /proc/12649/task/12663/stat : 12663 (java) S 12647 12647 12027 0 -1 1077944384 659 0 0 0 1 0 0 0 20 0 20 0 512470767 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445581695216 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12664] ppid=12647 vsize=28231652 memory=279903689991552 CPUtime=0.03 cores=0-7 /proc/12649/task/12664/stat : 12664 (java) S 12647 12647 12027 0 -1 1077944384 173 0 0 0 3 0 0 0 20 0 20 0 512470767 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445580642672 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12665] ppid=12647 vsize=28231652 memory=279903689996160 CPUtime=0.02 cores=0-7 /proc/12649/task/12665/stat : 12665 (java) R 12647 12647 12027 0 -1 4202560 154 0 0 0 2 0 0 0 20 0 20 0 512470767 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445579589616 140446182732160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12666] ppid=12647 vsize=28231652 memory=279903690000768 CPUtime=0.12 cores=0-7 /proc/12649/task/12666/stat : 12666 (java) S 12647 12647 12027 0 -1 1077944384 1092 0 0 0 12 0 0 0 20 0 20 0 512470767 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445578537072 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12667] ppid=12647 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12667/stat : 12667 (java) S 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512470767 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445577485280 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12668] ppid=12647 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/12649/task/12668/stat : 12668 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470768 28909211648 12268 33554432000 4194304 4196468 140726844460208 140445576432816 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50524 KiB [startup+0.709245 s] /proc/loadavg: 8.18 8.38 8.24 5/210 12668 /proc/meminfo: memFree=26670460/32770624 swapFree=66986400/67108860 [pid=12647] ppid=12644 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12647/stat : 12647 (xcsp3-exec) S 12644 12647 12027 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512470761 115843072 363 33554432000 4194304 5098028 140737102172208 140737102170312 140139073942140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140737102181237 140737102181481 140737102181481 140737102184394 0 /proc/12647/statm: 28282 363 304 221 0 87 0 [pid=12649] ppid=12647 vsize=28233776 memory=203472 CPUtime=1.68 cores=0-7 /proc/12649/stat : 12649 (java) S 12647 12647 12027 0 -1 1077944320 14530 0 0 0 158 10 0 0 20 0 20 0 512470761 28911386624 50868 33554432000 4194304 4196468 140726844460208 140726844442752 140446202031863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 /proc/12649/statm: 7058444 50868 3457 1 0 7019544 0 [pid=12649/tid=12650] ppid=12647 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7 /proc/12649/task/12650/stat : 12650 (java) R 12647 12647 12027 0 -1 4202560 8419 0 0 0 62 6 0 0 20 0 20 0 512470762 28911386624 50868 33554432000 4194304 4196468 140726844460208 140446206269200 140445842408315 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12651] ppid=12647 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12651/stat : 12651 (java) S 12647 12647 12027 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 512470762 28911386624 50868 33554432000 4194304 4196468 140726844460208 140445753142288 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12652] ppid=12647 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12652/stat : 12652 (java) S 12647 12647 12027 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 512470763 28911386624 50868 33554432000 4194304 4196468 140726844460208 140445752089744 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12653] ppid=12647 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/12649/task/12653/stat : 12653 (java) S 12647 12647 12027 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 512470763 28911386624 50868 33554432000 4194304 4196468 140726844460208 140445751036688 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 ################ # More data... # ################ /proc/12649/task/12667/stat : 12667 (java) S 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512470767 28911386624 274874 33554432000 4194304 4196468 140726844460208 140445577485280 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12668] ppid=12647 vsize=28233776 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/12649/task/12668/stat : 12668 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470768 28911386624 274874 33554432000 4194304 4196468 140726844460208 140445576432816 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 Current children cumulated CPU time: 8.13 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 1100948 KiB [startup+4.0082 s]* /proc/loadavg: 7.60 8.26 8.20 3/210 12668 /proc/meminfo: memFree=25481076/32770624 swapFree=66986400/67108860 [pid=12647] ppid=12644 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12647/stat : 12647 (xcsp3-exec) S 12644 12647 12027 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512470761 115843072 363 33554432000 4194304 5098028 140737102172208 140737102170312 140139073942140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140737102181237 140737102181481 140737102181481 140737102184394 0 /proc/12647/statm: 28282 363 304 221 0 87 0 [pid=12649] ppid=12647 vsize=28233776 memory=1272436 CPUtime=9.04 cores=0-7 /proc/12649/stat : 12649 (java) S 12647 12647 12027 0 -1 1077944320 21448 0 0 0 750 154 0 0 20 0 20 0 512470761 28911386624 318109 33554432000 4194304 4196468 140726844460208 140726844442752 140446202031863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 /proc/12649/statm: 7058444 318109 3503 1 0 7019544 0 [pid=12649/tid=12650] ppid=12647 vsize=28233776 memory=8317482817917895235 CPUtime=3.36 cores=0-7 /proc/12649/task/12650/stat : 12650 (java) R 12647 12647 12027 0 -1 4202560 9868 0 0 0 322 14 0 0 20 0 20 0 512470762 28911386624 318621 33554432000 4194304 4196468 140726844460208 140446206269184 140445842441790 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12651] ppid=12647 vsize=28233776 memory=0 CPUtime=0.44 cores=0-7 /proc/12649/task/12651/stat : 12651 (java) S 12647 12647 12027 0 -1 1077944384 351 0 0 0 27 17 0 0 20 0 20 0 512470762 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445753142288 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12652] ppid=12647 vsize=28233776 memory=5788911507359232418 CPUtime=0.45 cores=0-7 /proc/12649/task/12652/stat : 12652 (java) S 12647 12647 12027 0 -1 1077944384 586 0 0 0 28 17 0 0 20 0 20 0 512470763 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445752089744 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12653] ppid=12647 vsize=28233776 memory=4425533758878485878 CPUtime=0.44 cores=0-7 /proc/12649/task/12653/stat : 12653 (java) S 12647 12647 12027 0 -1 1077944384 520 0 0 0 28 16 0 0 20 0 20 0 512470763 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445751036688 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12654] ppid=12647 vsize=28233776 memory=191 CPUtime=0.43 cores=0-7 /proc/12649/task/12654/stat : 12654 (java) S 12647 12647 12027 0 -1 1077944384 458 0 0 0 26 17 0 0 20 0 20 0 512470763 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445749984144 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12655] ppid=12647 vsize=28233776 memory=0 CPUtime=0.44 cores=0-7 /proc/12649/task/12655/stat : 12655 (java) S 12647 12647 12027 0 -1 1077944384 492 0 0 0 29 15 0 0 20 0 20 0 512470763 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445748931088 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12656] ppid=12647 vsize=28233776 memory=0 CPUtime=0.43 cores=0-7 /proc/12649/task/12656/stat : 12656 (java) S 12647 12647 12027 0 -1 1077944384 320 0 0 0 27 16 0 0 20 0 20 0 512470763 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445747878544 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12657] ppid=12647 vsize=28233776 memory=0 CPUtime=0.45 cores=0-7 /proc/12649/task/12657/stat : 12657 (java) S 12647 12647 12027 0 -1 1077944384 399 0 0 0 29 16 0 0 20 0 20 0 512470763 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445746825488 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12658] ppid=12647 vsize=28233776 memory=0 CPUtime=0.44 cores=0-7 /proc/12649/task/12658/stat : 12658 (java) S 12647 12647 12027 0 -1 1077944384 549 0 0 0 28 16 0 0 20 0 20 0 512470763 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445745772944 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12659] ppid=12647 vsize=28233776 memory=0 CPUtime=0.15 cores=0-7 /proc/12649/task/12659/stat : 12659 (java) S 12647 12647 12027 0 -1 1077944384 942 0 0 0 15 0 0 0 20 0 20 0 512470764 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445703105264 140446202043010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12660] ppid=12647 vsize=28233776 memory=-1 CPUtime=0 cores=0-7 /proc/12649/task/12660/stat : 12660 (java) S 12647 12647 12027 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 512470765 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445702051552 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12661] ppid=12647 vsize=28233776 memory=2319389199166746911 CPUtime=0 cores=0-7 /proc/12649/task/12661/stat : 12661 (java) S 12647 12647 12027 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 512470765 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445700998400 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12662] ppid=12647 vsize=28233776 memory=7378134688102379622 CPUtime=0 cores=0-7 /proc/12649/task/12662/stat : 12662 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470767 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445582748112 140446202050459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12663] ppid=12647 vsize=28233776 memory=7523107478184158290 CPUtime=0.44 cores=0-7 /proc/12649/task/12663/stat : 12663 (java) R 12647 12647 12027 0 -1 4202560 1672 0 0 0 43 1 0 0 20 0 20 0 512470767 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445581686560 140446185518019 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12664] ppid=12647 vsize=28233776 memory=279903690013424 CPUtime=0.44 cores=0-7 /proc/12649/task/12664/stat : 12664 (java) S 12647 12647 12027 0 -1 1077944384 942 0 0 0 44 0 0 0 20 0 20 0 512470767 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445580642672 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12665] ppid=12647 vsize=28233776 memory=-6380006475353828994 CPUtime=0.49 cores=0-7 /proc/12649/task/12665/stat : 12665 (java) S 12647 12647 12027 0 -1 1077944384 939 0 0 0 49 0 0 0 20 0 20 0 512470767 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445579589616 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12666] ppid=12647 vsize=28233776 memory=-7880843606118635149 CPUtime=0.49 cores=0-7 /proc/12649/task/12666/stat : 12666 (java) S 12647 12647 12027 0 -1 1077944384 2112 0 0 0 49 0 0 0 20 0 20 0 512470767 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445578537072 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12667] ppid=12647 vsize=28233776 memory=28911386624 CPUtime=0 cores=0-7 /proc/12649/task/12667/stat : 12667 (java) S 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512470767 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445577485280 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12668] ppid=12647 vsize=28233776 memory=125 CPUtime=0 cores=0-7 /proc/12649/task/12668/stat : 12668 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470768 28911386624 318621 33554432000 4194304 4196468 140726844460208 140445576432816 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 Current children cumulated CPU time: 9.04 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 1273888 KiB [startup+4.40122 s] /proc/loadavg: 7.60 8.26 8.20 3/210 12668 /proc/meminfo: memFree=25481076/32770624 swapFree=66986400/67108860 [pid=12647] ppid=12644 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12647/stat : 12647 (xcsp3-exec) S 12644 12647 12027 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512470761 115843072 363 33554432000 4194304 5098028 140737102172208 140737102170312 140139073942140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140737102181237 140737102181481 140737102181481 140737102184394 0 /proc/12647/statm: 28282 363 304 221 0 87 0 [pid=12649] ppid=12647 vsize=28233776 memory=1705116 CPUtime=10.22 cores=0-7 /proc/12649/stat : 12649 (java) S 12647 12647 12027 0 -1 1077944320 23073 0 0 0 822 200 0 0 20 0 20 0 512470761 28911386624 426279 33554432000 4194304 4196468 140726844460208 140726844442752 140446202031863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 /proc/12649/statm: 7058444 426279 3505 1 0 7019544 0 [pid=12649/tid=12650] ppid=12647 vsize=28233776 memory=-2892745056948402235 CPUtime=3.65 cores=0-7 /proc/12649/task/12650/stat : 12650 (java) S 12647 12647 12027 0 -1 1077944384 9991 0 0 0 347 18 0 0 20 0 20 0 512470762 28911386624 426279 33554432000 4194304 4196468 140726844460208 140446206269104 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12651] ppid=12647 vsize=28233776 memory=-7751062316387021378 CPUtime=0.54 cores=0-7 /proc/12649/task/12651/stat : 12651 (java) R 12647 12647 12027 0 -1 4202560 430 0 0 0 32 22 0 0 20 0 20 0 512470762 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445753142176 140446187057072 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12652] ppid=12647 vsize=28233776 memory=-3621219715169225006 CPUtime=0.55 cores=0-7 /proc/12649/task/12652/stat : 12652 (java) R 12647 12647 12027 0 -1 4202560 673 0 0 0 32 23 0 0 20 0 20 0 512470763 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445752089944 140446187058949 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12653] ppid=12647 vsize=28233776 memory=139956255696511 CPUtime=0.53 cores=0-7 /proc/12649/task/12653/stat : 12653 (java) R 12647 12647 12027 0 -1 4202560 606 0 0 0 32 21 0 0 20 0 20 0 512470763 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445751036688 140446187059282 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12654] ppid=12647 vsize=28233776 memory=8110268329075528917 CPUtime=0.52 cores=0-7 /proc/12649/task/12654/stat : 12654 (java) R 12647 12647 12027 0 -1 4202560 543 0 0 0 30 22 0 0 20 0 20 0 512470763 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445749981944 140446187054010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12655] ppid=12647 vsize=28233776 memory=7971815120148723219 CPUtime=0.54 cores=0-7 /proc/12649/task/12655/stat : 12655 (java) R 12647 12647 12027 0 -1 4202560 575 0 0 0 33 21 0 0 20 0 20 0 512470763 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445748931288 140446187060135 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12656] ppid=12647 vsize=28233776 memory=4571046520723443062 CPUtime=0.51 cores=0-7 /proc/12649/task/12656/stat : 12656 (java) R 12647 12647 12027 0 -1 4202560 386 0 0 0 30 21 0 0 20 0 20 0 512470763 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445747876064 140446187053981 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12657] ppid=12647 vsize=28233776 memory=-8412652151874611344 CPUtime=0.53 cores=0-7 /proc/12649/task/12657/stat : 12657 (java) R 12647 12647 12027 0 -1 4202560 918 0 0 0 32 21 0 0 20 0 20 0 512470763 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445746825688 140446187059282 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12658] ppid=12647 vsize=28233776 memory=-7029963480054981782 CPUtime=0.54 cores=0-7 /proc/12649/task/12658/stat : 12658 (java) R 12647 12647 12027 0 -1 4202560 643 0 0 0 32 22 0 0 20 0 20 0 512470763 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445745773144 140446187054002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12659] ppid=12647 vsize=28233776 memory=7380671248541445222 CPUtime=0.15 cores=0-7 /proc/12649/task/12659/stat : 12659 (java) S 12647 12647 12027 0 -1 1077944384 943 0 0 0 15 0 0 0 20 0 20 0 512470764 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445703103776 140446202042069 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12660] ppid=12647 vsize=28233776 memory=7165061412102892642 CPUtime=0 cores=0-7 /proc/12649/task/12660/stat : 12660 (java) S 12647 12647 12027 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 512470765 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445702051552 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12661] ppid=12647 vsize=28233776 memory=7451894300419318880 CPUtime=0 cores=0-7 /proc/12649/task/12661/stat : 12661 (java) S 12647 12647 12027 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 512470765 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445700998400 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12662] ppid=12647 vsize=28233776 memory=1452 CPUtime=0 cores=0-7 /proc/12649/task/12662/stat : 12662 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512470767 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445582748112 140446202050459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12663] ppid=12647 vsize=28233776 memory=1101100 CPUtime=0.53 cores=0-7 /proc/12649/task/12663/stat : 12663 (java) S 12647 12647 12027 0 -1 1077944384 2034 0 0 0 52 1 0 0 20 0 20 0 512470767 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445581695216 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12664] ppid=12647 vsize=28233776 memory=-7966001967256141664 CPUtime=0.49 cores=0-7 /proc/12649/task/12664/stat : 12664 (java) S 12647 12647 12027 0 -1 1077944384 970 0 0 0 49 0 0 0 20 0 20 0 512470767 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445580627664 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12665] ppid=12647 vsize=28233776 memory=-9178176116494409632 CPUtime=0.5 cores=0-7 /proc/12649/task/12665/stat : 12665 (java) S 12647 12647 12027 0 -1 1077944384 945 0 0 0 50 0 0 0 20 0 20 0 512470767 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445579589616 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12666] ppid=12647 vsize=28233776 memory=0 CPUtime=0.49 cores=0-7 /proc/12649/task/12666/stat : 12666 (java) S 12647 12647 12027 0 -1 1077944384 2116 0 0 0 49 0 0 0 20 0 20 0 512470767 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445578537072 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12667] ppid=12647 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12667/stat : 12667 (java) S 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512470767 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445577485280 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12668] ppid=12647 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12668/stat : 12668 (java) S 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512470768 28911386624 426279 33554432000 4194304 4196468 140726844460208 140445576432816 140446202043010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 Current children cumulated CPU time: 10.22 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 1706568 KiB [startup+4.60121 s] /proc/loadavg: 7.60 8.26 8.20 3/210 12668 /proc/meminfo: memFree=25481076/32770624 swapFree=66986400/67108860 [pid=12647] ppid=12644 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12647/stat : 12647 (xcsp3-exec) S 12644 12647 12027 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512470761 115843072 363 33554432000 4194304 5098028 140737102172208 140737102170312 140139073942140 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12546048 140737102181237 140737102181481 140737102181481 140737102184394 0 /proc/12647/statm: 28282 363 304 221 0 87 0 [pid=12649] ppid=12647 vsize=28766288 memory=1708968 CPUtime=11.03 cores=0-7 /proc/12649/stat : 12649 (java) S 12647 12647 12027 0 -1 1077944320 23909 0 0 0 901 202 0 0 20 0 28 0 512470761 29456678912 427242 33554432000 4194304 4196468 140726844460208 140726844442752 140446202031863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 /proc/12649/statm: 7191572 427242 3509 1 0 7152672 0 [pid=12649/tid=12650] ppid=12647 vsize=28766288 memory=5794844524012659811 CPUtime=3.76 cores=0-7 /proc/12649/task/12650/stat : 12650 (java) S 12647 12647 12027 0 -1 1077944384 10075 0 0 0 358 18 0 0 20 0 28 0 512470762 29456678912 427242 33554432000 4194304 4196468 140726844460208 140446206272640 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12651] ppid=12647 vsize=28766288 memory=5794844524012659811 CPUtime=0.54 cores=0-7 /proc/12649/task/12651/stat : 12651 (java) S 12647 12647 12027 0 -1 1077944384 433 0 0 0 32 22 0 0 20 0 28 0 512470762 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445753142288 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12652] ppid=12647 vsize=28766288 memory=7084270410059441252 CPUtime=0.55 cores=0-7 /proc/12649/task/12652/stat : 12652 (java) S 12647 12647 12027 0 -1 1077944384 674 0 0 0 32 23 0 0 20 0 28 0 512470763 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445752089744 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12653] ppid=12647 vsize=28766288 memory=7516615875620529254 CPUtime=0.53 cores=0-7 /proc/12649/task/12653/stat : 12653 (java) S 12647 12647 12027 0 -1 1077944384 607 0 0 0 32 21 0 0 20 0 28 0 512470763 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445751036688 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12654] ppid=12647 vsize=28766288 memory=7454130749351154278 CPUtime=0.52 cores=0-7 /proc/12649/task/12654/stat : 12654 (java) S 12647 12647 12027 0 -1 1077944384 544 0 0 0 30 22 0 0 20 0 28 0 512470763 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445749984144 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12655] ppid=12647 vsize=28766288 memory=7883102982176139365 CPUtime=0.54 cores=0-7 /proc/12649/task/12655/stat : 12655 (java) S 12647 12647 12027 0 -1 1077944384 576 0 0 0 33 21 0 0 20 0 28 0 512470763 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445748931088 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12656] ppid=12647 vsize=28766288 memory=0 CPUtime=0.51 cores=0-7 /proc/12649/task/12656/stat : 12656 (java) S 12647 12647 12027 0 -1 1077944384 387 0 0 0 30 21 0 0 20 0 28 0 512470763 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445747878544 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12657] ppid=12647 vsize=28766288 memory=279903690781488 CPUtime=0.53 cores=0-7 /proc/12649/task/12657/stat : 12657 (java) S 12647 12647 12027 0 -1 1077944384 919 0 0 0 32 21 0 0 20 0 28 0 512470763 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445746825488 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12658] ppid=12647 vsize=28766288 memory=0 CPUtime=0.54 cores=0-7 /proc/12649/task/12658/stat : 12658 (java) S 12647 12647 12027 0 -1 1077944384 644 0 0 0 32 22 0 0 20 0 28 0 512470763 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445745772944 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12659] ppid=12647 vsize=28766288 memory=0 CPUtime=0.15 cores=0-7 /proc/12649/task/12659/stat : 12659 (java) S 12647 12647 12027 0 -1 1077944384 1205 0 0 0 15 0 0 0 20 0 28 0 512470764 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445703105264 140446202043010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12660] ppid=12647 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12660/stat : 12660 (java) S 12647 12647 12027 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 512470765 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445702051552 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12661] ppid=12647 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12661/stat : 12661 (java) S 12647 12647 12027 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 512470765 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445700998400 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12662] ppid=12647 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12662/stat : 12662 (java) S 12647 12647 12027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512470767 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445582748112 140446202050459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12663] ppid=12647 vsize=28766288 memory=0 CPUtime=0.57 cores=0-7 /proc/12649/task/12663/stat : 12663 (java) R 12647 12647 12027 0 -1 4202560 2047 0 0 0 56 1 0 0 20 0 28 0 512470767 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445581682416 140446181270347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12664] ppid=12647 vsize=28766288 memory=0 CPUtime=0.55 cores=0-7 /proc/12649/task/12664/stat : 12664 (java) R 12647 12647 12027 0 -1 4202560 987 0 0 0 55 0 0 0 20 0 28 0 512470767 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445580635696 140446182667796 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12665] ppid=12647 vsize=28766288 memory=0 CPUtime=0.57 cores=0-7 /proc/12649/task/12665/stat : 12665 (java) R 12647 12647 12027 0 -1 4202560 962 0 0 0 57 0 0 0 20 0 28 0 512470767 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445579570608 140446185235238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12666] ppid=12647 vsize=28766288 memory=0 CPUtime=0.55 cores=0-7 /proc/12649/task/12666/stat : 12666 (java) R 12647 12647 12027 0 -1 1077944384 2232 0 0 0 55 0 0 0 20 0 28 0 512470767 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445578537072 140446202043010 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12667] ppid=12647 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12667/stat : 12667 (java) S 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512470767 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445577485280 140446202042069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 [pid=12649/tid=12668] ppid=12647 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/12649/task/12668/stat : 12668 (java) R 12647 12647 12027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512470768 29456678912 427242 33554432000 4194304 4196468 140726844460208 140445576432816 140446202043010 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14389248 140726844466154 140726844466326 140726844466326 140726844469199 0 Current children cumulated CPU time: 11.03 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 1710420 KiB Child status: 0 Real time (s): 4.67733 CPU time (s): 11.4283 CPU user time (s): 9.38522 CPU system time (s): 2.0431 CPU usage (%): 244.334 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 1710420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.38522 system time used= 2.0431 maximum resident set size= 1711736 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24819 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3983 involuntary context switches= 85 # summary of solver processes directly reported to runsolver: # pid: 12647 # total CPU time (s): 11.4283 # total CPU user time (s): 9.38522 # total CPU system time (s): 2.0431 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.054011 second user time and 0.085659 second system time The end
Begin job on node104 at 2019-09-24 22:45:18 IDJOB=4406667 IDBENCH=139919 IDSOLVER=2871 FILE ID=node104/4406667-1569362141 RUNJOBID= node104-1569354839-12054 PBS_JOBID= 21705117 Free space on /tmp= 9832 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-herald/Crossword-m1c-ogd-h1502.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-4406667-1569362141/watcher-4406667-1569362141 -o /tmp/evaluation-result-4406667-1569362141/solver-4406667-1569362141 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569354839-12054 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1488674197 HOME/instance-4406667-1569362141.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f196bcf8028f955a9b1a207c833066c3 RANDOM SEED=1488674197 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 26734500 kB MemAvailable: 31821336 kB Buffers: 103464 kB Cached: 5074516 kB SwapCached: 22640 kB Active: 3200480 kB Inactive: 2005408 kB Active(anon): 4620 kB Inactive(anon): 80336 kB Active(file): 3195860 kB Inactive(file): 1925072 kB Unevictable: 109708 kB Mlocked: 109708 kB SwapTotal: 67108860 kB SwapFree: 66986400 kB Dirty: 29384 kB Writeback: 0 kB AnonPages: 121656 kB Mapped: 56832 kB Shmem: 49032 kB Slab: 423660 kB SReclaimable: 394364 kB SUnreclaim: 29296 kB KernelStack: 3696 kB PageTables: 5560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506688 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9804 MiB End job on node104 at 2019-09-24 22:45:23