Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 117 | 20038.199 | 2520.1201 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml |
MD5SUM | e301970dbbdacc0ad69519f2afe54420 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 117 |
Best CPU time to get the best result obtained on this benchmark | 2400.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 596 |
Number of constraints | 383 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 579 |
Distribution of domain sizes | [{"size":2,"count":289},{"size":3,"count":289},{"size":226,"count":1},{"size":579,"count":17}] |
Minimum variable degree | 1 |
Maximum variable degree | 18 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":286},{"degree":3,"count":20},{"degree":4,"count":60},{"degree":8,"count":56},{"degree":9,"count":169},{"degree":18,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":2,"count":77},{"arity":3,"count":60},{"arity":10,"count":225},{"arity":17,"count":4},{"arity":18,"count":1},{"arity":19,"count":16}] |
Number of extensional constraints | 285 |
Number of intensional constraints | 76 |
Distribution of constraint types | [{"type":"extension","count":285},{"type":"intension","count":76},{"type":"sum","count":18},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270799-1502669331.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270799-1502669331.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.34/0.26 c parse instance... 3.71/1.30 c solve instance... 5.81/1.69 o 0 6.49/1.70 o 4 6.49/1.71 o 6 6.49/1.74 o 8 6.49/1.75 o 9 6.49/1.76 o 10 6.49/1.77 o 12 6.49/1.78 o 66 6.49/1.79 o 67 6.49/1.80 o 68 7.21/1.80 o 69 7.21/1.81 o 70 7.21/1.81 o 71 7.21/1.82 o 72 7.21/1.83 o 73 7.21/1.83 o 74 7.21/1.84 o 75 7.21/1.84 o 76 7.21/1.86 o 77 7.21/1.87 o 78 7.21/1.87 o 79 7.21/1.88 o 80 7.21/1.88 o 81 7.21/1.89 o 82 7.83/1.94 o 83 7.83/1.95 o 84 7.83/1.95 o 85 7.83/1.96 o 86 7.83/1.96 o 87 7.83/1.97 o 88 7.83/1.99 o 89 7.83/1.99 o 90 7.83/2.00 o 91 7.83/2.00 o 92 7.83/2.00 o 93 8.60/2.01 o 94 8.60/2.01 o 95 8.60/2.01 o 96 8.60/2.01 o 97 8.60/2.02 o 98 8.60/2.02 o 99 8.60/2.02 o 100 8.60/2.03 o 101 8.60/2.03 o 102 8.60/2.03 o 103 8.60/2.04 o 104 8.60/2.05 o 105 8.60/2.07 o 106 8.60/2.07 o 107 10.81/2.39 o 108 11.58/2.48 o 109 11.58/2.48 o 110 472.98/60.38 o 111 642.81/81.63 o 112 821.53/104.01 o 113 1150.83/145.32 o 114 2107.57/265.39 o 115 5325.28/669.99 o 116 15915.73/2001.94 o 117 20037.38/2520.09 s SATISFIABLE 20037.38/2520.09 v <instantiation> 20037.38/2520.09 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] 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[2][15] x[2][16] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] 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[3][15] x[3][16] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] 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][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] 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][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] 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[8][15] x[8][16] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] 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[9][15] x[9][16] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] 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][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] 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[12][15] x[12][16] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] 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[13][15] x[13][16] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] z </list> 20037.38/2520.09 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 2 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 8 16 18 19 21 22 24 26 27 27 29 30 30 34 35 37 42 117 </values> 20037.38/2520.09 v </instantiation> 20037.38/2520.09 c Unexpected resolution interruption!
OK 117
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 (15065 MiB free) memory of node 1: 16384 MiB (15676 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270799-1502669331/watcher-4270799-1502669331 -o /tmp/evaluation-result-4270799-1502669331/solver-4270799-1502669331 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502668424-23686 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 355523861 HOME/instance-4270799-1502669331.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 Current StackSize limit: 8192 KiB solver pid=24179, runsolver pid=24176 [startup+0.100188 s]* /proc/loadavg: 8.29 8.23 8.27 3/200 24200 /proc/meminfo: memFree=31466072/32770624 swapFree=67108860/67108860 [pid=24179] ppid=24176 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24179/stat : 24179 (xcsp3-exec) S 24176 24179 23659 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100020925 9740288 346 33554432000 4194304 5098028 140721188009392 140721188007496 139952640701052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28516352 140721188017253 140721188017463 140721188017463 140721188020203 0 /proc/24179/statm: 2378 346 289 221 0 87 0 [pid=24181] ppid=24179 vsize=25999808 memory=26352 CPUtime=0.12 cores=0-7 /proc/24181/stat : 24181 (java) S 24179 24179 23659 0 -1 1077944320 5493 0 0 0 11 1 0 0 20 0 20 0 100020925 26623803392 6588 33554432000 4194304 4196468 140732951485904 140732951468448 139787346562807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 /proc/24181/statm: 6499952 6588 2866 1 0 6488269 0 [pid=24181/tid=24182] ppid=24179 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/24181/task/24182/stat : 24182 (java) R 24179 24179 23659 0 -1 4202560 3483 0 0 0 8 1 0 0 20 0 20 0 100020925 26623803392 6588 33554432000 4194304 4196468 140732951485904 139787350796080 139787346574742 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24183] ppid=24179 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/24181/task/24183/stat : 24183 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26623803392 6588 33554432000 4194304 4196468 140732951485904 139787299183120 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24184] ppid=24179 vsize=25999808 memory=139879338063488 CPUtime=0 cores=0-7 /proc/24181/task/24184/stat : 24184 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26623803392 6588 33554432000 4194304 4196468 140732951485904 139787298130576 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24185] ppid=24179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24185/stat : 24185 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26623803392 6588 33554432000 4194304 4196468 140732951485904 139787297077520 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24186] ppid=24179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24186/stat : 24186 (java) S 24179 24179 23659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100020926 26623803392 6588 33554432000 4194304 4196468 140732951485904 139787296024976 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24187] ppid=24179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24187/stat : 24187 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786900077584 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24188] ppid=24179 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/24181/task/24188/stat : 24188 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786899025040 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24189] ppid=24179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24189/stat : 24189 (java) S 24179 24179 23659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100020926 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786897971984 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24190] ppid=24179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24190/stat : 24190 (java) S 24179 24179 23659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100020926 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786896919440 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24191] ppid=24179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24191/stat : 24191 (java) S 24179 24179 23659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100020928 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786405738736 139787346573954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24192] ppid=24179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24192/stat : 24192 (java) S 24179 24179 23659 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100020928 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786404684960 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24193] ppid=24179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24193/stat : 24193 (java) S 24179 24179 23659 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100020928 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786403631856 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24194] ppid=24179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24194/stat : 24194 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020931 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786402580432 139787346581403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24195] ppid=24179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24195/stat : 24195 (java) S 24179 24179 23659 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 100020931 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786401528560 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24196] ppid=24179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24196/stat : 24196 (java) S 24179 24179 23659 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 100020931 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786400476016 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24197] ppid=24179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24197/stat : 24197 (java) S 24179 24179 23659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100020931 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786399422960 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24198] ppid=24179 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/24181/task/24198/stat : 24198 (java) R 24179 24179 23659 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 20 0 100020931 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786398370416 139787338799934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24199] ppid=24179 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24199/stat : 24199 (java) S 24179 24179 23659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100020931 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786397317600 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24200] ppid=24179 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/24181/task/24200/stat : 24200 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020931 26623803392 6588 33554432000 4194304 4196468 140732951485904 139786396265136 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27736 KiB [startup+0.210311 s]* /proc/loadavg: 8.29 8.23 8.27 2/200 24200 /proc/meminfo: memFree=31452912/32770624 swapFree=67108860/67108860 [pid=24179] ppid=24176 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24179/stat : 24179 (xcsp3-exec) S 24176 24179 23659 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100020925 9740288 346 33554432000 4194304 5098028 140721188009392 140721188007496 139952640701052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28516352 140721188017253 140721188017463 140721188017463 140721188020203 0 /proc/24179/statm: 2378 346 289 221 0 87 0 [pid=24181] ppid=24179 vsize=26004064 memory=39040 CPUtime=0.34 cores=0-7 /proc/24181/stat : 24181 (java) S 24179 24179 23659 0 -1 1077944320 8400 0 0 0 31 3 0 0 20 0 20 0 100020925 26628161536 9760 33554432000 4194304 4196468 140732951485904 140732951468448 139787346562807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 /proc/24181/statm: 6501016 9760 2987 1 0 6488269 0 [pid=24181/tid=24182] ppid=24179 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/24181/task/24182/stat : 24182 (java) D 24179 24179 23659 0 -1 1077944384 5447 0 0 0 18 2 0 0 20 0 20 0 100020925 26628161536 9760 33554432000 4194304 4196468 140732951485904 139787350764528 139787339242029 0 4 0 16800975 18446744072101707300 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24183] ppid=24179 vsize=26004096 memory=329 CPUtime=0 cores=0-7 /proc/24181/task/24183/stat : 24183 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26628194304 9760 33554432000 4194304 4196468 140732951485904 139787299183120 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24184] ppid=24179 vsize=26004096 memory=139879338486452 CPUtime=0 cores=0-7 /proc/24181/task/24184/stat : 24184 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26628194304 9760 33554432000 4194304 4196468 140732951485904 139787298130576 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24185] ppid=24179 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24181/task/24185/stat : 24185 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 9760 33554432000 4194304 4196468 140732951485904 139787297077520 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24186] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24186/stat : 24186 (java) S 24179 24179 23659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 9760 33554432000 4194304 4196468 140732951485904 139787296024976 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24187] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24187/stat : 24187 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 9760 33554432000 4194304 4196468 140732951485904 139786900077584 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24188] ppid=24179 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24181/task/24188/stat : 24188 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 9760 33554432000 4194304 4196468 140732951485904 139786899025040 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24189] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24189/stat : 24189 (java) S 24179 24179 23659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 9760 33554432000 4194304 4196468 140732951485904 139786897971984 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24190] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24190/stat : 24190 (java) S 24179 24179 23659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 9760 33554432000 4194304 4196468 140732951485904 139786896919440 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24191] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24191/stat : 24191 (java) S 24179 24179 23659 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100020928 26628161536 9760 33554432000 4194304 4196468 140732951485904 139786405738736 139787346573954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24192] ppid=24179 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24192/stat : 24192 (java) S 24179 24179 23659 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100020928 26628194304 9760 33554432000 4194304 4196468 140732951485904 139786404684960 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24193] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24193/stat : 24193 (java) S 24179 24179 23659 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100020928 26628161536 9760 33554432000 4194304 4196468 140732951485904 139786403631856 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24194] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24194/stat : 24194 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020931 26628161536 9760 33554432000 4194304 4196468 140732951485904 139786402580432 139787346581403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24195] ppid=24179 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/24181/task/24195/stat : 24195 (java) S 24179 24179 23659 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 20 0 100020931 26628161536 9760 33554432000 4194304 4196468 140732951485904 139786401528560 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24196] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24196/stat : 24196 (java) S 24179 24179 23659 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 100020931 26628161536 9760 33554432000 4194304 4196468 140732951485904 139786400476016 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24197] ppid=24179 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/24181/task/24197/stat : 24197 (java) S 24179 24179 23659 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 20 0 100020931 26628161536 9760 33554432000 4194304 4196468 140732951485904 139786399422960 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24198] ppid=24179 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/24181/task/24198/stat : 24198 (java) S 24179 24179 23659 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 20 0 100020931 26628161536 9760 33554432000 4194304 4196468 140732951485904 139786398370416 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24199] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24199/stat : 24199 (java) S 24179 24179 23659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100020931 26628161536 9760 33554432000 4194304 4196468 140732951485904 139786397317600 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24200] ppid=24179 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24181/task/24200/stat : 24200 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020931 26628161536 9760 33554432000 4194304 4196468 140732951485904 139786396265136 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40424 KiB [startup+0.310229 s]* /proc/loadavg: 8.29 8.23 8.27 3/200 24200 /proc/meminfo: memFree=31449388/32770624 swapFree=67108860/67108860 [pid=24179] ppid=24176 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24179/stat : 24179 (xcsp3-exec) S 24176 24179 23659 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100020925 9740288 346 33554432000 4194304 5098028 140721188009392 140721188007496 139952640701052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28516352 140721188017253 140721188017463 140721188017463 140721188020203 0 /proc/24179/statm: 2378 346 289 221 0 87 0 [pid=24181] ppid=24179 vsize=26004064 memory=45632 CPUtime=0.5 cores=0-7 /proc/24181/stat : 24181 (java) S 24179 24179 23659 0 -1 1077944320 9178 0 0 0 47 3 0 0 20 0 20 0 100020925 26628161536 11408 33554432000 4194304 4196468 140732951485904 140732951468448 139787346562807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 /proc/24181/statm: 6501016 11408 3048 1 0 6488269 0 [pid=24181/tid=24182] ppid=24179 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/24181/task/24182/stat : 24182 (java) R 24179 24179 23659 0 -1 4202560 6108 0 0 0 27 2 0 0 20 0 20 0 100020925 26628161536 11408 33554432000 4194304 4196468 140732951485904 139787350800624 139787330643294 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24183] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24183/stat : 24183 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 11408 33554432000 4194304 4196468 140732951485904 139787299183120 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24184] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24184/stat : 24184 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 11408 33554432000 4194304 4196468 140732951485904 139787298130576 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24185] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24185/stat : 24185 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 11408 33554432000 4194304 4196468 140732951485904 139787297077520 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24186] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24186/stat : 24186 (java) S 24179 24179 23659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 11408 33554432000 4194304 4196468 140732951485904 139787296024976 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24187] ppid=24179 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/24181/task/24187/stat : 24187 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786900077584 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24188] ppid=24179 vsize=26004064 memory=139879233188783 CPUtime=0 cores=0-7 /proc/24181/task/24188/stat : 24188 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786899025040 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24189] ppid=24179 vsize=26004064 memory=139879233191088 CPUtime=0 cores=0-7 /proc/24181/task/24189/stat : 24189 (java) S 24179 24179 23659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786897971984 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24190] ppid=24179 vsize=26004064 memory=139879233193392 CPUtime=0 cores=0-7 /proc/24181/task/24190/stat : 24190 (java) S 24179 24179 23659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100020926 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786896919440 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24191] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24191/stat : 24191 (java) S 24179 24179 23659 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100020928 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786405738736 139787346573954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24192] ppid=24179 vsize=26004064 memory=279758466393744 CPUtime=0 cores=0-7 /proc/24181/task/24192/stat : 24192 (java) S 24179 24179 23659 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100020928 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786404684960 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24193] ppid=24179 vsize=26004064 memory=279758466400656 CPUtime=0 cores=0-7 /proc/24181/task/24193/stat : 24193 (java) S 24179 24179 23659 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100020928 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786403631856 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24194] ppid=24179 vsize=26004064 memory=279758466341936 CPUtime=0 cores=0-7 /proc/24181/task/24194/stat : 24194 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020931 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786402580432 139787346581403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24195] ppid=24179 vsize=26004064 memory=279758466414480 CPUtime=0.03 cores=0-7 /proc/24181/task/24195/stat : 24195 (java) S 24179 24179 23659 0 -1 1077944384 483 0 0 0 3 0 0 0 20 0 20 0 100020931 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786401528560 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24196] ppid=24179 vsize=26004064 memory=279758466421392 CPUtime=0.01 cores=0-7 /proc/24181/task/24196/stat : 24196 (java) S 24179 24179 23659 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 20 0 100020931 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786400476016 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24197] ppid=24179 vsize=26004064 memory=279758466419088 CPUtime=0.01 cores=0-7 /proc/24181/task/24197/stat : 24197 (java) S 24179 24179 23659 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 20 0 100020931 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786399422960 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24198] ppid=24179 vsize=26004064 memory=279758466435248 CPUtime=0.13 cores=0-7 /proc/24181/task/24198/stat : 24198 (java) R 24179 24179 23659 0 -1 4202560 838 0 0 0 13 0 0 0 20 0 20 0 100020931 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786398367592 139787339659643 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24199] ppid=24179 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24199/stat : 24199 (java) S 24179 24179 23659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100020931 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786397317600 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24200] ppid=24179 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24181/task/24200/stat : 24200 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020931 26628161536 11408 33554432000 4194304 4196468 140732951485904 139786396265136 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47016 KiB [startup+0.700959 s] /proc/loadavg: 8.29 8.23 8.27 3/200 24200 /proc/meminfo: memFree=31433612/32770624 swapFree=67108860/67108860 [pid=24179] ppid=24176 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24179/stat : 24179 (xcsp3-exec) S 24176 24179 23659 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100020925 9740288 346 33554432000 4194304 5098028 140721188009392 140721188007496 139952640701052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28516352 140721188017253 140721188017463 140721188017463 140721188020203 0 /proc/24179/statm: 2378 346 289 221 0 87 0 [pid=24181] ppid=24179 vsize=26006188 memory=72728 CPUtime=1.57 cores=0-7 /proc/24181/stat : 24181 (java) S 24179 24179 23659 0 -1 1077944320 11859 0 0 0 152 5 0 0 20 0 20 0 100020925 26630336512 18182 33554432000 4194304 4196468 140732951485904 140732951468448 139787346562807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 /proc/24181/statm: 6501547 18182 3207 1 0 6488781 0 [pid=24181/tid=24182] ppid=24179 vsize=26006188 memory=279758466793136 CPUtime=0.67 cores=0-7 /proc/24181/task/24182/stat : 24182 (java) R 24179 24179 23659 0 -1 4202560 6866 0 0 0 64 3 0 0 20 0 20 0 100020925 26630336512 18182 33554432000 4194304 4196468 140732951485904 139787350783952 139787346584733 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24183] ppid=24179 vsize=26006188 memory=139879233397616 CPUtime=0 cores=0-7 /proc/24181/task/24183/stat : 24183 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26630336512 18182 33554432000 4194304 4196468 140732951485904 139787299183120 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24184] ppid=24179 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24184/stat : 24184 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26630336512 18182 33554432000 4194304 4196468 140732951485904 139787298130576 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24185] ppid=24179 vsize=26006188 memory=4612 CPUtime=0 cores=0-7 /proc/24181/task/24185/stat : 24185 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100020926 26630336512 18182 33554432000 4194304 4196468 140732951485904 139787297077520 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 ################ # More data... # ################ [pid=24181/tid=24730] ppid=24179 vsize=26608340 memory=1384 CPUtime=436.27 cores=0-7 /proc/24181/task/24730/stat : 24730 (java) R 24179 24179 23659 0 -1 4202560 6665 0 0 0 43622 5 0 0 20 0 28 0 100221120 27246940160 188118 33554432000 4194304 4196468 140732951485904 139786383486560 139786982243507 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 Current children cumulated CPU time: 19418.3 s Current children cumulated vsize: 26617852 KiB Current children cumulated memory: 753856 KiB [startup+2502.3 s] /proc/loadavg: 8.23 8.30 8.30 10/207 24739 /proc/meminfo: memFree=30742668/32770624 swapFree=67108860/67108860 [pid=24179] ppid=24176 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24179/stat : 24179 (xcsp3-exec) S 24176 24179 23659 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100020925 9740288 346 33554432000 4194304 5098028 140721188009392 140721188007496 139952640701052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28516352 140721188017253 140721188017463 140721188017463 140721188020203 0 /proc/24179/statm: 2378 346 289 221 0 87 0 [pid=24181] ppid=24179 vsize=26608340 memory=752452 CPUtime=19896.4 cores=0-7 /proc/24181/stat : 24181 (java) S 24179 24179 23659 0 -1 1077944320 893361 0 0 0 1989023 613 0 0 20 0 28 0 100020925 27246940160 188113 33554432000 4194304 4196468 140732951485904 140732951468448 139787346562807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 /proc/24181/statm: 6652085 188113 3305 1 0 6639319 0 [pid=24181/tid=24182] ppid=24179 vsize=26608340 memory=752452 CPUtime=1.34 cores=0-7 /proc/24181/task/24182/stat : 24182 (java) S 24179 24179 23659 0 -1 1077944384 9870 0 0 0 129 5 0 0 20 0 28 0 100020925 27246940160 188113 33554432000 4194304 4196468 140732951485904 139787350803584 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24183] ppid=24179 vsize=26608340 memory=752452 CPUtime=5.66 cores=0-7 /proc/24181/task/24183/stat : 24183 (java) S 24179 24179 23659 0 -1 1077944384 35293 0 0 0 542 24 0 0 20 0 28 0 100020926 27246940160 188113 33554432000 4194304 4196468 140732951485904 139787299183120 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24184] ppid=24179 vsize=26608340 memory=752964 CPUtime=5.7 cores=0-7 /proc/24181/task/24184/stat : 24184 (java) S 24179 24179 23659 0 -1 1077944384 41230 0 0 0 543 27 0 0 20 0 28 0 100020926 27246940160 188113 33554432000 4194304 4196468 140732951485904 139787298130576 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24185] ppid=24179 vsize=26608340 memory=1384 CPUtime=5.73 cores=0-7 /proc/24181/task/24185/stat : 24185 (java) S 24179 24179 23659 0 -1 1077944384 35428 0 0 0 546 27 0 0 20 0 28 0 100020926 27246940160 188113 33554432000 4194304 4196468 140732951485904 139787297077520 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24186] ppid=24179 vsize=26608340 memory=682408 CPUtime=5.64 cores=0-7 /proc/24181/task/24186/stat : 24186 (java) S 24179 24179 23659 0 -1 1077944384 40304 0 0 0 541 23 0 0 20 0 28 0 100020926 27246940160 188113 33554432000 4194304 4196468 140732951485904 139787296024976 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24187] ppid=24179 vsize=26608340 memory=1384 CPUtime=5.65 cores=0-7 /proc/24181/task/24187/stat : 24187 (java) S 24179 24179 23659 0 -1 1077944384 35587 0 0 0 540 25 0 0 20 0 28 0 100020926 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786900077584 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24188] ppid=24179 vsize=26608340 memory=751444 CPUtime=5.69 cores=0-7 /proc/24181/task/24188/stat : 24188 (java) S 24179 24179 23659 0 -1 1077944384 39133 0 0 0 542 27 0 0 20 0 28 0 100020926 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786899025040 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24189] ppid=24179 vsize=26608340 memory=668936 CPUtime=5.7 cores=0-7 /proc/24181/task/24189/stat : 24189 (java) S 24179 24179 23659 0 -1 1077944384 34596 0 0 0 544 26 0 0 20 0 28 0 100020926 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786897971984 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24190] ppid=24179 vsize=26608340 memory=699200 CPUtime=5.69 cores=0-7 /proc/24181/task/24190/stat : 24190 (java) S 24179 24179 23659 0 -1 1077944384 32091 0 0 0 544 25 0 0 20 0 28 0 100020926 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786896919440 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24191] ppid=24179 vsize=26608340 memory=0 CPUtime=3.25 cores=0-7 /proc/24181/task/24191/stat : 24191 (java) S 24179 24179 23659 0 -1 1077944384 124671 0 0 0 241 84 0 0 20 0 28 0 100020928 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786405738736 139787346573954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24192] ppid=24179 vsize=26608340 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24192/stat : 24192 (java) S 24179 24179 23659 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 100020928 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786404685024 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24193] ppid=24179 vsize=26608340 memory=0 CPUtime=0 cores=0-7 /proc/24181/task/24193/stat : 24193 (java) S 24179 24179 23659 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 100020928 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786403631872 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24194] ppid=24179 vsize=26608340 memory=70 CPUtime=0 cores=0-7 /proc/24181/task/24194/stat : 24194 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100020931 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786402580432 139787346581403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24195] ppid=24179 vsize=26608340 memory=693556 CPUtime=1.9 cores=0-7 /proc/24181/task/24195/stat : 24195 (java) S 24179 24179 23659 0 -1 1077944384 12451 0 0 0 187 3 0 0 20 0 28 0 100020931 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786401528560 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24196] ppid=24179 vsize=26608340 memory=1384 CPUtime=1.89 cores=0-7 /proc/24181/task/24196/stat : 24196 (java) S 24179 24179 23659 0 -1 1077944384 11651 0 0 0 187 2 0 0 20 0 28 0 100020931 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786400476016 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24197] ppid=24179 vsize=26608340 memory=1384 CPUtime=2.17 cores=0-7 /proc/24181/task/24197/stat : 24197 (java) S 24179 24179 23659 0 -1 1077944384 13555 0 0 0 214 3 0 0 20 0 28 0 100020931 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786399422960 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24198] ppid=24179 vsize=26608340 memory=1384 CPUtime=0.95 cores=0-7 /proc/24181/task/24198/stat : 24198 (java) S 24179 24179 23659 0 -1 1077944384 13950 0 0 0 93 2 0 0 20 0 28 0 100020931 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786398370416 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24199] ppid=24179 vsize=26608340 memory=1384 CPUtime=0 cores=0-7 /proc/24181/task/24199/stat : 24199 (java) S 24179 24179 23659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100020931 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786397317600 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24200] ppid=24179 vsize=26608340 memory=751940 CPUtime=0.73 cores=0-7 /proc/24181/task/24200/stat : 24200 (java) S 24179 24179 23659 0 -1 1077944384 8503 0 0 0 20 53 0 0 20 0 28 0 100020931 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786396265136 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24723] ppid=24179 vsize=26608340 memory=1428 CPUtime=495.97 cores=0-7 /proc/24181/task/24723/stat : 24723 (java) R 24179 24179 23659 0 -1 4202560 5858 0 0 0 49592 5 0 0 20 0 28 0 100221120 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786381380016 139786983113851 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24724] ppid=24179 vsize=26608340 memory=1384 CPUtime=496.93 cores=0-7 /proc/24181/task/24724/stat : 24724 (java) R 24179 24179 23659 0 -1 4202560 6528 0 0 0 49687 6 0 0 20 0 28 0 100221120 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786387697944 139786983663921 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24725] ppid=24179 vsize=26608340 memory=1384 CPUtime=496.72 cores=0-7 /proc/24181/task/24725/stat : 24725 (java) R 24179 24179 23659 0 -1 4202560 7042 0 0 0 49667 5 0 0 20 0 28 0 100221120 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786377180056 139786982648439 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24726] ppid=24179 vsize=26608340 memory=753484 CPUtime=495.8 cores=0-7 /proc/24181/task/24726/stat : 24726 (java) R 24179 24179 23659 0 -1 4202560 8583 0 0 0 49575 5 0 0 20 0 28 0 100221120 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786378232136 139786983114094 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24727] ppid=24179 vsize=26608340 memory=1716 CPUtime=495.06 cores=0-7 /proc/24181/task/24727/stat : 24727 (java) R 24179 24179 23659 0 -1 4202560 12007 0 0 0 49501 5 0 0 20 0 28 0 100221120 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786382434512 139786983026225 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24728] ppid=24179 vsize=26608340 memory=1948 CPUtime=496.73 cores=0-7 /proc/24181/task/24728/stat : 24728 (java) R 24179 24179 23659 0 -1 4202560 8342 0 0 0 49668 5 0 0 20 0 28 0 100221120 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786384539984 139786983114527 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24729] ppid=24179 vsize=26608340 memory=8560 CPUtime=494.83 cores=0-7 /proc/24181/task/24729/stat : 24729 (java) R 24179 24179 23659 0 -1 4202560 47974 0 0 0 49430 53 0 0 20 0 28 0 100221120 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786388753216 139786983114364 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24730] ppid=24179 vsize=26608340 memory=1384 CPUtime=495.97 cores=0-7 /proc/24181/task/24730/stat : 24730 (java) R 24179 24179 23659 0 -1 4202560 6686 0 0 0 49592 5 0 0 20 0 28 0 100221120 27246940160 188113 33554432000 4194304 4196468 140732951485904 139786383487488 139786983114319 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 Current children cumulated CPU time: 19896.4 s Current children cumulated vsize: 26617852 KiB Current children cumulated memory: 753836 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.18 8.28 8.30 9/207 24739 /proc/meminfo: memFree=30739004/32770624 swapFree=67108860/67108860 [pid=24179] ppid=24176 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24179/stat : 24179 (xcsp3-exec) S 24176 24179 23659 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 100020925 9740288 346 33554432000 4194304 5098028 140721188009392 140721188007496 139952640701052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28516352 140721188017253 140721188017463 140721188017463 140721188020203 0 /proc/24179/statm: 2378 346 289 221 0 87 0 [pid=24181] ppid=24179 vsize=26608340 memory=756548 CPUtime=20037.4 cores=0-7 /proc/24181/stat : 24181 (java) S 24179 24179 23659 0 -1 1077944320 894752 0 0 0 2003123 615 0 0 20 0 28 0 100020925 27246940160 189137 33554432000 4194304 4196468 140732951485904 140732951468448 139787346562807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 /proc/24181/statm: 6652085 189137 3305 1 0 6639319 0 [pid=24181/tid=24182] ppid=24179 vsize=26608340 memory=6791534058613427641 CPUtime=1.34 cores=0-7 /proc/24181/task/24182/stat : 24182 (java) S 24179 24179 23659 0 -1 1077944384 9870 0 0 0 129 5 0 0 20 0 28 0 100020925 27246940160 189137 33554432000 4194304 4196468 140732951485904 139787350803584 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24183] ppid=24179 vsize=26608340 memory=4872558044660077418 CPUtime=5.73 cores=0-7 /proc/24181/task/24183/stat : 24183 (java) S 24179 24179 23659 0 -1 1077944384 35298 0 0 0 549 24 0 0 20 0 28 0 100020926 27246940160 189137 33554432000 4194304 4196468 140732951485904 139787299183120 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24184] ppid=24179 vsize=26608340 memory=2196 CPUtime=5.76 cores=0-7 /proc/24181/task/24184/stat : 24184 (java) S 24179 24179 23659 0 -1 1077944384 41298 0 0 0 549 27 0 0 20 0 28 0 100020926 27246940160 189137 33554432000 4194304 4196468 140732951485904 139787298130576 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24185] ppid=24179 vsize=26608340 memory=6764 CPUtime=5.8 cores=0-7 /proc/24181/task/24185/stat : 24185 (java) S 24179 24179 23659 0 -1 1077944384 35468 0 0 0 552 28 0 0 20 0 28 0 100020926 27246940160 189137 33554432000 4194304 4196468 140732951485904 139787297077520 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24186] ppid=24179 vsize=26608340 memory=840 CPUtime=5.71 cores=0-7 /proc/24181/task/24186/stat : 24186 (java) S 24179 24179 23659 0 -1 1077944384 40308 0 0 0 547 24 0 0 20 0 28 0 100020926 27246940160 189137 33554432000 4194304 4196468 140732951485904 139787296024976 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24187] ppid=24179 vsize=26608340 memory=4104 CPUtime=5.71 cores=0-7 /proc/24181/task/24187/stat : 24187 (java) S 24179 24179 23659 0 -1 1077944384 35647 0 0 0 546 25 0 0 20 0 28 0 100020926 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786900077584 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24188] ppid=24179 vsize=26608340 memory=1696 CPUtime=5.75 cores=0-7 /proc/24181/task/24188/stat : 24188 (java) S 24179 24179 23659 0 -1 1077944384 39161 0 0 0 548 27 0 0 20 0 28 0 100020926 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786899025040 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24189] ppid=24179 vsize=26608340 memory=6791534058613427641 CPUtime=5.76 cores=0-7 /proc/24181/task/24189/stat : 24189 (java) S 24179 24179 23659 0 -1 1077944384 34635 0 0 0 550 26 0 0 20 0 28 0 100020926 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786897971984 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24190] ppid=24179 vsize=26608340 memory=1228 CPUtime=5.75 cores=0-7 /proc/24181/task/24190/stat : 24190 (java) S 24179 24179 23659 0 -1 1077944384 32114 0 0 0 550 25 0 0 20 0 28 0 100020926 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786896919440 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24191] ppid=24179 vsize=26608340 memory=12028 CPUtime=3.26 cores=0-7 /proc/24181/task/24191/stat : 24191 (java) S 24179 24179 23659 0 -1 1077944384 124835 0 0 0 242 84 0 0 20 0 28 0 100020928 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786405738736 139787346573954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24192] ppid=24179 vsize=26608340 memory=5668 CPUtime=0 cores=0-7 /proc/24181/task/24192/stat : 24192 (java) S 24179 24179 23659 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 100020928 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786404685024 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24193] ppid=24179 vsize=26608340 memory=757568 CPUtime=0 cores=0-7 /proc/24181/task/24193/stat : 24193 (java) S 24179 24179 23659 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 100020928 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786403631872 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24194] ppid=24179 vsize=26608340 memory=4612 CPUtime=0 cores=0-7 /proc/24181/task/24194/stat : 24194 (java) S 24179 24179 23659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 100020931 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786402580432 139787346581403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24195] ppid=24179 vsize=26608340 memory=1428 CPUtime=1.9 cores=0-7 /proc/24181/task/24195/stat : 24195 (java) S 24179 24179 23659 0 -1 1077944384 12453 0 0 0 187 3 0 0 20 0 28 0 100020931 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786401528560 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24196] ppid=24179 vsize=26608340 memory=1204 CPUtime=1.89 cores=0-7 /proc/24181/task/24196/stat : 24196 (java) S 24179 24179 23659 0 -1 1077944384 11654 0 0 0 187 2 0 0 20 0 28 0 100020931 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786400476016 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24197] ppid=24179 vsize=26608340 memory=15876 CPUtime=2.17 cores=0-7 /proc/24181/task/24197/stat : 24197 (java) S 24179 24179 23659 0 -1 1077944384 13558 0 0 0 214 3 0 0 20 0 28 0 100020931 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786399422960 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24198] ppid=24179 vsize=26608340 memory=1384 CPUtime=0.95 cores=0-7 /proc/24181/task/24198/stat : 24198 (java) S 24179 24179 23659 0 -1 1077944384 13952 0 0 0 93 2 0 0 20 0 28 0 100020931 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786398370416 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24199] ppid=24179 vsize=26608340 memory=756548 CPUtime=0 cores=0-7 /proc/24181/task/24199/stat : 24199 (java) S 24179 24179 23659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 100020931 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786397317600 139787346573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24200] ppid=24179 vsize=26608340 memory=796 CPUtime=0.73 cores=0-7 /proc/24181/task/24200/stat : 24200 (java) S 24179 24179 23659 0 -1 1077944384 8516 0 0 0 20 53 0 0 20 0 28 0 100020931 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786396265136 139787346573954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24723] ppid=24179 vsize=26608340 memory=1716 CPUtime=513.56 cores=0-7 /proc/24181/task/24723/stat : 24723 (java) R 24179 24179 23659 0 -1 4202560 5933 0 0 0 51351 5 0 0 20 0 28 0 100221120 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786381380152 139786983115094 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24724] ppid=24179 vsize=26608340 memory=1948 CPUtime=514.55 cores=0-7 /proc/24181/task/24724/stat : 24724 (java) R 24179 24179 23659 0 -1 4202560 6632 0 0 0 51449 6 0 0 20 0 28 0 100221120 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786387697944 139786983113797 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24725] ppid=24179 vsize=26608340 memory=1728 CPUtime=514.23 cores=0-7 /proc/24181/task/24725/stat : 24725 (java) R 24179 24179 23659 0 -1 4202560 7162 0 0 0 51418 5 0 0 20 0 28 0 100221120 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786377182368 139786982648928 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24726] ppid=24179 vsize=26608340 memory=796 CPUtime=513.34 cores=0-7 /proc/24181/task/24726/stat : 24726 (java) R 24179 24179 23659 0 -1 4202560 8721 0 0 0 51329 5 0 0 20 0 28 0 100221120 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786378232200 139786983114368 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24727] ppid=24179 vsize=26608340 memory=1716 CPUtime=512.67 cores=0-7 /proc/24181/task/24727/stat : 24727 (java) R 24179 24179 23659 0 -1 4202560 12210 0 0 0 51262 5 0 0 20 0 28 0 100221120 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786382434360 139786982298512 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24728] ppid=24179 vsize=26608340 memory=1948 CPUtime=514.22 cores=0-7 /proc/24181/task/24728/stat : 24728 (java) R 24179 24179 23659 0 -1 4202560 8467 0 0 0 51417 5 0 0 20 0 28 0 100221120 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786384540440 139786982298762 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24729] ppid=24179 vsize=26608340 memory=1384 CPUtime=512.36 cores=0-7 /proc/24181/task/24729/stat : 24729 (java) R 24179 24179 23659 0 -1 4202560 48075 0 0 0 51183 53 0 0 20 0 28 0 100221120 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786388750856 139786983226193 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 [pid=24181/tid=24730] ppid=24179 vsize=26608340 memory=756548 CPUtime=513.58 cores=0-7 /proc/24181/task/24730/stat : 24730 (java) R 24179 24179 23659 0 -1 4202560 6757 0 0 0 51353 5 0 0 20 0 28 0 100221120 27246940160 189137 33554432000 4194304 4196468 140732951485904 139786383487112 139786983114148 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 34074624 140732951491730 140732951491907 140732951491907 140732951494607 0 Current children cumulated CPU time: 20037.4 s Current children cumulated vsize: 26617852 KiB Current children cumulated memory: 757932 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.05 s] # the end of solver process 24179 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.001939 s [startup+2520.12 s] # the end of solver process 24181 was just reported to runsolver # cumulated CPU time of all completed processes: user=20032 s, system=6.16909 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.12 CPU time (s): 20038.2 CPU user time (s): 20032 CPU system time (s): 6.16909 CPU usage (%): 795.129 Max. virtual memory (cumulated for all children) (KiB): 26617852 Max. memory (cumulated for all children) (KiB): 1552472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20032 system time used= 6.16909 maximum resident set size= 1551088 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 895661 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4056 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 262159 involuntary context switches= 212540 # summary of solver processes directly reported to runsolver: # pid: 24179,24181 # total CPU time (s): 20038.2 # total CPU user time (s): 20032 # total CPU system time (s): 6.16909 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 25.5051 second user time and 25.2299 second system time The end
Begin job on node106 at 2017-08-14 01:54:33 IDJOB=4270799 IDBENCH=115908 IDSOLVER=2662 FILE ID=node106/4270799-1502669331 RUNJOBID= node106-1502668424-23686 PBS_JOBID= 20628969 Free space on /tmp= 61772 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-15.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270799-1502669331/watcher-4270799-1502669331 -o /tmp/evaluation-result-4270799-1502669331/solver-4270799-1502669331 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502668424-23686 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 355523861 HOME/instance-4270799-1502669331.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e301970dbbdacc0ad69519f2afe54420 RANDOM SEED=355523861 node106.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.86 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.86 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.86 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.86 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: 31481416 kB MemAvailable: 31983216 kB Buffers: 130368 kB Cached: 658728 kB SwapCached: 0 kB Active: 437632 kB Inactive: 408320 kB Active(anon): 12344 kB Inactive(anon): 72092 kB Active(file): 425288 kB Inactive(file): 336228 kB Unevictable: 6504 kB Mlocked: 6504 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7988 kB Writeback: 0 kB AnonPages: 78900 kB Mapped: 44236 kB Shmem: 25228 kB Slab: 138228 kB SReclaimable: 112236 kB SUnreclaim: 25992 kB KernelStack: 3568 kB PageTables: 4740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323636 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 26624 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= 61764 MiB End job on node106 at 2017-08-14 02:36:33