Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | SAT (TO) | 19 | 19990.7 | 2520.1 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t03-4.xml |
MD5SUM | 3320713010bd27ff074c3709fe864950 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 2519.47 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 672 |
Number of constraints | 54 |
Number of domains | 14 |
Minimum domain size | 2 |
Maximum domain size | 19 |
Distribution of domain sizes | [{"size":2,"count":96},{"size":3,"count":32},{"size":6,"count":32},{"size":7,"count":64},{"size":8,"count":32},{"size":9,"count":32},{"size":10,"count":32},{"size":11,"count":64},{"size":12,"count":32},{"size":13,"count":32},{"size":15,"count":32},{"size":16,"count":64},{"size":17,"count":64},{"size":19,"count":64}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":672}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 640 |
Distribution of constraint arities | [{"arity":21,"count":32},{"arity":32,"count":21},{"arity":640,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":52}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404772-1568996944.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404772-1568996944.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.39/0.66 c solve instance... 12.88/2.16 o 32 13.55/2.20 o 28 14.35/2.30 o 27 15.93/2.57 o 26 18.00/2.88 o 25 18.79/2.92 o 24 20.44/3.12 o 23 20.44/3.16 o 22 21.07/3.28 o 21 21.71/3.33 o 20 22.52/3.46 o 19 19990.04/2520.07 s SATISFIABLE 19990.04/2520.07 v <instantiation> 19990.04/2520.07 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] </list> 19990.04/2520.07 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 3 4 0 0 0 1 0 0 0 0 0 0 1 0 0 9 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 6 0 0 1 0 0 0 0 0 0 0 0 0 3 6 0 0 0 0 0 0 6 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 2 0 0 0 3 2 5 0 0 0 1 0 0 0 0 1 1 0 0 0 2 0 0 0 3 2 4 0 0 0 0 3 0 0 0 1 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 1 0 0 4 2 0 0 1 0 2 0 1 0 0 0 0 2 0 0 0 5 0 0 0 0 0 0 1 0 0 0 2 0 4 0 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 1 0 0 4 0 0 0 0 0 0 8 0 0 0 0 0 1 0 0 0 0 6 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 19990.04/2520.07 v </instantiation> 19990.04/2520.07 c Unexpected resolution interruption!
OK 19
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 (12384 MiB free) memory of node 1: 16384 MiB (12784 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404772-1568996944/watcher-4404772-1568996944 -o /var/tmp/evaluation-result-4404772-1568996944/solver-4404772-1568996944 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2065106871 HOME/instance-4404772-1568996944.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=26435, runsolver pid=26432 Current StackSize limit: 8192 KiB [startup+0.100166 s]* /proc/loadavg: 8.23 8.33 8.22 3/213 26456 /proc/meminfo: memFree=25756236/32770624 swapFree=66966844/67108860 [pid=26435] ppid=26432 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26435/stat : 26435 (xcsp3-exec) S 26432 26435 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475630878 115843072 362 33554432000 4194304 5098028 140725072257040 140725072255144 140265901720188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30138368 140725072261969 140725072262229 140725072262229 140725072265158 0 /proc/26435/statm: 28282 362 304 221 0 87 0 [pid=26437] ppid=26435 vsize=28227396 memory=28876 CPUtime=0.12 cores=0-7 /proc/26437/stat : 26437 (java) S 26435 26435 23748 0 -1 1077944320 5715 0 0 0 11 1 0 0 20 0 20 0 475630878 28904853504 7219 33554432000 4194304 4196468 140730532395936 140730532378480 140437504220919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 /proc/26437/statm: 7056849 7219 3122 1 0 7019032 0 [pid=26437/tid=26438] ppid=26435 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/26437/task/26438/stat : 26438 (java) R 26435 26435 23748 0 -1 4202560 3604 0 0 0 8 0 0 0 20 0 20 0 475630878 28904853504 7219 33554432000 4194304 4196468 140730532395936 140437508447392 140437504232854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26439] ppid=26435 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/26437/task/26439/stat : 26439 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 7219 33554432000 4194304 4196468 140730532395936 140437456841232 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26440] ppid=26435 vsize=28227396 memory=139941294741120 CPUtime=0 cores=0-7 /proc/26437/task/26440/stat : 26440 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 7219 33554432000 4194304 4196468 140730532395936 140437455788688 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26441] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26441/stat : 26441 (java) S 26435 26435 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 7219 33554432000 4194304 4196468 140730532395936 140437454735632 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26442] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26442/stat : 26442 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 7219 33554432000 4194304 4196468 140730532395936 140437453683088 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26443] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26443/stat : 26443 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 7219 33554432000 4194304 4196468 140730532395936 140437452631056 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26444] ppid=26435 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26437/task/26444/stat : 26444 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 7219 33554432000 4194304 4196468 140730532395936 140437451578512 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26445] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26445/stat : 26445 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 7219 33554432000 4194304 4196468 140730532395936 140437450525456 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26446] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26446/stat : 26446 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 7219 33554432000 4194304 4196468 140730532395936 140437449472912 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26447] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26447/stat : 26447 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630881 28904853504 7219 33554432000 4194304 4196468 140730532395936 140435901114608 140437504232066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26448] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26448/stat : 26448 (java) S 26435 26435 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475630881 28904853504 7219 33554432000 4194304 4196468 140730532395936 140435900060832 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26449] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26449/stat : 26449 (java) S 26435 26435 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475630881 28904853504 7219 33554432000 4194304 4196468 140730532395936 140435899007728 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26450] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26450/stat : 26450 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475630884 28904853504 7219 33554432000 4194304 4196468 140730532395936 140435897956304 140437504239515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26451] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26451/stat : 26451 (java) S 26435 26435 23748 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 475630884 28904853504 7219 33554432000 4194304 4196468 140730532395936 140435896904432 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26452] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26452/stat : 26452 (java) S 26435 26435 23748 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 475630884 28904853504 7219 33554432000 4194304 4196468 140730532395936 140435895851888 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26453] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26453/stat : 26453 (java) R 26435 26435 23748 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 20 0 475630884 28904853504 7219 33554432000 4194304 4196468 140730532395936 140435894798832 140437487656657 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26454] ppid=26435 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/26437/task/26454/stat : 26454 (java) R 26435 26435 23748 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 20 0 475630884 28904853504 7219 33554432000 4194304 4196468 140730532395936 140435893746288 140437488301406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26455] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26455/stat : 26455 (java) S 26435 26435 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475630884 28904853504 7219 33554432000 4194304 4196468 140730532395936 140435892693472 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26456] ppid=26435 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26437/task/26456/stat : 26456 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475630884 28904853504 7219 33554432000 4194304 4196468 140730532395936 140435891641008 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30324 KiB [startup+0.210839 s]* /proc/loadavg: 8.23 8.33 8.22 3/213 26456 /proc/meminfo: memFree=25743108/32770624 swapFree=66966844/67108860 [pid=26435] ppid=26432 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26435/stat : 26435 (xcsp3-exec) S 26432 26435 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475630878 115843072 362 33554432000 4194304 5098028 140725072257040 140725072255144 140265901720188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30138368 140725072261969 140725072262229 140725072262229 140725072265158 0 /proc/26435/statm: 28282 362 304 221 0 87 0 [pid=26437] ppid=26435 vsize=28227396 memory=40616 CPUtime=0.34 cores=0-7 /proc/26437/stat : 26437 (java) S 26435 26435 23748 0 -1 1077944320 9401 0 0 0 31 3 0 0 20 0 20 0 475630878 28904853504 10154 33554432000 4194304 4196468 140730532395936 140730532378480 140437504220919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 /proc/26437/statm: 7056849 10154 3311 1 0 7019032 0 [pid=26437/tid=26438] ppid=26435 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/26437/task/26438/stat : 26438 (java) R 26435 26435 23748 0 -1 4202560 6625 0 0 0 18 2 0 0 20 0 20 0 475630878 28904853504 10154 33554432000 4194304 4196468 140730532395936 140437508449008 140437488301406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26439] ppid=26435 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/26437/task/26439/stat : 26439 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 10154 33554432000 4194304 4196468 140730532395936 140437456841232 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26440] ppid=26435 vsize=28227396 memory=139941298258929 CPUtime=0 cores=0-7 /proc/26437/task/26440/stat : 26440 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 10154 33554432000 4194304 4196468 140730532395936 140437455788688 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26441] ppid=26435 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26437/task/26441/stat : 26441 (java) S 26435 26435 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 10154 33554432000 4194304 4196468 140730532395936 140437454735632 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26442] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26442/stat : 26442 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 10154 33554432000 4194304 4196468 140730532395936 140437453683088 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26443] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26443/stat : 26443 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 10154 33554432000 4194304 4196468 140730532395936 140437452631056 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26444] ppid=26435 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26437/task/26444/stat : 26444 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 10154 33554432000 4194304 4196468 140730532395936 140437451578512 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26445] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26445/stat : 26445 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 10154 33554432000 4194304 4196468 140730532395936 140437450525456 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26446] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26446/stat : 26446 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28904853504 10154 33554432000 4194304 4196468 140730532395936 140437449472912 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26447] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26447/stat : 26447 (java) S 26435 26435 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475630881 28904853504 10154 33554432000 4194304 4196468 140730532395936 140435901114608 140437504232066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26448] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26448/stat : 26448 (java) S 26435 26435 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475630881 28904853504 10154 33554432000 4194304 4196468 140730532395936 140435900060832 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26449] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26449/stat : 26449 (java) S 26435 26435 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475630881 28904853504 10154 33554432000 4194304 4196468 140730532395936 140435899007728 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26450] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26450/stat : 26450 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475630884 28904853504 10154 33554432000 4194304 4196468 140730532395936 140435897956304 140437504239515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26451] ppid=26435 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/26437/task/26451/stat : 26451 (java) S 26435 26435 23748 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 475630884 28904853504 10154 33554432000 4194304 4196468 140730532395936 140435896904432 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26452] ppid=26435 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/26437/task/26452/stat : 26452 (java) S 26435 26435 23748 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 20 0 475630884 28904853504 10154 33554432000 4194304 4196468 140730532395936 140435895851888 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26453] ppid=26435 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/26437/task/26453/stat : 26453 (java) S 26435 26435 23748 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 475630884 28904853504 10154 33554432000 4194304 4196468 140730532395936 140435894798832 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26454] ppid=26435 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/26437/task/26454/stat : 26454 (java) R 26435 26435 23748 0 -1 4202560 810 0 0 0 7 0 0 0 20 0 20 0 475630884 28904853504 10154 33554432000 4194304 4196468 140730532395936 140435893746288 140437488301406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26455] ppid=26435 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26455/stat : 26455 (java) S 26435 26435 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475630884 28904853504 10154 33554432000 4194304 4196468 140730532395936 140435892693472 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26456] ppid=26435 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26437/task/26456/stat : 26456 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475630884 28904853504 10154 33554432000 4194304 4196468 140730532395936 140435891641008 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42064 KiB [startup+0.310528 s]* /proc/loadavg: 8.23 8.33 8.22 3/213 26456 /proc/meminfo: memFree=25735712/32770624 swapFree=66966844/67108860 [pid=26435] ppid=26432 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26435/stat : 26435 (xcsp3-exec) S 26432 26435 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475630878 115843072 362 33554432000 4194304 5098028 140725072257040 140725072255144 140265901720188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30138368 140725072261969 140725072262229 140725072262229 140725072265158 0 /proc/26435/statm: 28282 362 304 221 0 87 0 [pid=26437] ppid=26435 vsize=28231652 memory=49760 CPUtime=0.52 cores=0-7 /proc/26437/stat : 26437 (java) S 26435 26435 23748 0 -1 1077944320 10763 0 0 0 48 4 0 0 20 0 20 0 475630878 28909211648 12440 33554432000 4194304 4196468 140730532395936 140730532378480 140437504220919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 /proc/26437/statm: 7057913 12440 3359 1 0 7019032 0 [pid=26437/tid=26438] ppid=26435 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/26437/task/26438/stat : 26438 (java) R 26435 26435 23748 0 -1 4202560 7815 0 0 0 28 2 0 0 20 0 20 0 475630878 28909211648 12510 33554432000 4194304 4196468 140730532395936 140437508452032 140437488301406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26439] ppid=26435 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26439/stat : 26439 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475630879 28909211648 12510 33554432000 4194304 4196468 140730532395936 140437456841232 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26440] ppid=26435 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26440/stat : 26440 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28909211648 12510 33554432000 4194304 4196468 140730532395936 140437455788688 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26441] ppid=26435 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26441/stat : 26441 (java) S 26435 26435 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475630879 28909211648 12510 33554432000 4194304 4196468 140730532395936 140437454735632 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26442] ppid=26435 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26442/stat : 26442 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28909211648 12510 33554432000 4194304 4196468 140730532395936 140437453683088 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26443] ppid=26435 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/26437/task/26443/stat : 26443 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28909211648 12510 33554432000 4194304 4196468 140730532395936 140437452631056 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26444] ppid=26435 vsize=28231652 memory=139941174670255 CPUtime=0 cores=0-7 /proc/26437/task/26444/stat : 26444 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475630879 28909211648 12510 33554432000 4194304 4196468 140730532395936 140437451578512 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26445] ppid=26435 vsize=28231652 memory=139941174672560 CPUtime=0 cores=0-7 /proc/26437/task/26445/stat : 26445 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28909211648 12510 33554432000 4194304 4196468 140730532395936 140437450525456 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26446] ppid=26435 vsize=28231652 memory=3472463839355844064 CPUtime=0 cores=0-7 /proc/26437/task/26446/stat : 26446 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475630879 28909211648 12510 33554432000 4194304 4196468 140730532395936 140437449472912 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26447] ppid=26435 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26447/stat : 26447 (java) S 26435 26435 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475630881 28909211648 12510 33554432000 4194304 4196468 140730532395936 140435901114608 140437504232066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26448] ppid=26435 vsize=28231652 memory=279882349356688 CPUtime=0 cores=0-7 /proc/26437/task/26448/stat : 26448 (java) S 26435 26435 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475630881 28909211648 12510 33554432000 4194304 4196468 140730532395936 140435900060832 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26449] ppid=26435 vsize=28231652 memory=279882349363600 CPUtime=0 cores=0-7 /proc/26437/task/26449/stat : 26449 (java) S 26435 26435 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475630881 28909211648 12510 33554432000 4194304 4196468 140730532395936 140435899007728 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26450] ppid=26435 vsize=28231652 memory=279882349304848 CPUtime=0 cores=0-7 /proc/26437/task/26450/stat : 26450 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475630884 28909211648 12510 33554432000 4194304 4196468 140730532395936 140435897956304 140437504239515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26451] ppid=26435 vsize=28231652 memory=279882349377424 CPUtime=0.01 cores=0-7 /proc/26437/task/26451/stat : 26451 (java) S 26435 26435 23748 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 475630884 28909211648 12510 33554432000 4194304 4196468 140730532395936 140435896904432 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26452] ppid=26435 vsize=28231652 memory=279882349384336 CPUtime=0.03 cores=0-7 /proc/26437/task/26452/stat : 26452 (java) S 26435 26435 23748 0 -1 1077944384 257 0 0 0 3 0 0 0 20 0 20 0 475630884 28909211648 12510 33554432000 4194304 4196468 140730532395936 140435895851888 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26453] ppid=26435 vsize=28231652 memory=279882349382032 CPUtime=0.01 cores=0-7 /proc/26437/task/26453/stat : 26453 (java) S 26435 26435 23748 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 20 0 475630884 28909211648 12510 33554432000 4194304 4196468 140730532395936 140435894798832 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26454] ppid=26435 vsize=28231652 memory=279882349398192 CPUtime=0.12 cores=0-7 /proc/26437/task/26454/stat : 26454 (java) S 26435 26435 23748 0 -1 1077944384 972 0 0 0 12 0 0 0 20 0 20 0 475630884 28909211648 12510 33554432000 4194304 4196468 140730532395936 140435893746288 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26455] ppid=26435 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26455/stat : 26455 (java) S 26435 26435 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475630884 28909211648 12510 33554432000 4194304 4196468 140730532395936 140435892693472 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26456] ppid=26435 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/26437/task/26456/stat : 26456 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475630884 28909211648 12510 33554432000 4194304 4196468 140730532395936 140435891641008 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51208 KiB [startup+0.702655 s] /proc/loadavg: 8.23 8.33 8.22 5/213 26456 /proc/meminfo: memFree=25721376/32770624 swapFree=66966844/67108860 [pid=26435] ppid=26432 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26435/stat : 26435 (xcsp3-exec) S 26432 26435 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475630878 115843072 362 33554432000 4194304 5098028 140725072257040 140725072255144 140265901720188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30138368 140725072261969 140725072262229 140725072262229 140725072265158 0 /proc/26435/statm: 28282 362 304 221 0 87 0 [pid=26437] ppid=26435 vsize=28766288 memory=106676 CPUtime=1.87 cores=0-7 /proc/26437/stat : 26437 (java) S 26435 26435 23748 0 -1 1077944320 16068 0 0 0 181 6 0 0 20 0 28 0 475630878 29456678912 26669 33554432000 4194304 4196468 140730532395936 140730532378480 140437504220919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 /proc/26437/statm: 7191572 26669 3468 1 0 7152672 0 [pid=26437/tid=26438] ppid=26435 vsize=28766288 memory=279882349756080 CPUtime=0.66 cores=0-7 /proc/26437/task/26438/stat : 26438 (java) S 26435 26435 23748 0 -1 1077944384 9305 0 0 0 63 3 0 0 20 0 28 0 475630878 29456678912 26669 33554432000 4194304 4196468 140730532395936 140437508461696 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26439] ppid=26435 vsize=28766288 memory=139941174879088 CPUtime=0 cores=0-7 /proc/26437/task/26439/stat : 26439 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475630879 29456678912 26669 33554432000 4194304 4196468 140730532395936 140437456841232 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26440] ppid=26435 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/26437/task/26440/stat : 26440 (java) S 26435 26435 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 475630879 29456678912 26669 33554432000 4194304 4196468 140730532395936 140437455788688 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26441] ppid=26435 vsize=28766288 memory=2832 CPUtime=0 cores=0-7 /proc/26437/task/26441/stat : 26441 (java) S 26435 26435 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475630879 29456678912 26669 33554432000 4194304 4196468 140730532395936 140437454735632 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 ################ # More data... # ################ [pid=26437/tid=26552] ppid=26435 vsize=28768336 memory=6791534058613427641 CPUtime=2411.22 cores=0-7 /proc/26437/task/26552/stat : 26552 (java) R 26435 26435 23748 0 -1 4202560 21175 0 0 0 241099 23 0 0 20 0 28 0 475631225 29458776064 210141 33554432000 4194304 4196468 140730532395936 140435882422264 140437131375544 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 Current children cumulated CPU time: 19373.2 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 842012 KiB [startup+2502.3 s] /proc/loadavg: 8.01 8.16 8.22 10/220 26765 /proc/meminfo: memFree=24816496/32770624 swapFree=66966844/67108860 [pid=26435] ppid=26432 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26435/stat : 26435 (xcsp3-exec) S 26432 26435 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475630878 115843072 362 33554432000 4194304 5098028 140725072257040 140725072255144 140265901720188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30138368 140725072261969 140725072262229 140725072262229 140725072265158 0 /proc/26435/statm: 28282 362 304 221 0 87 0 [pid=26437] ppid=26435 vsize=28768336 memory=961528 CPUtime=19849.5 cores=0-7 /proc/26437/stat : 26437 (java) S 26435 26435 23748 0 -1 1077944320 776742 0 0 0 1984214 739 0 0 20 0 28 0 475630878 29458776064 240382 33554432000 4194304 4196468 140730532395936 140730532378480 140437504220919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 /proc/26437/statm: 7192084 240382 3555 1 0 7153184 0 [pid=26437/tid=26438] ppid=26435 vsize=28768336 memory=961528 CPUtime=0.67 cores=0-7 /proc/26437/task/26438/stat : 26438 (java) S 26435 26435 23748 0 -1 1077944384 9466 0 0 0 64 3 0 0 20 0 28 0 475630878 29458776064 240382 33554432000 4194304 4196468 140730532395936 140437508461696 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26439] ppid=26435 vsize=28768336 memory=1448 CPUtime=9.71 cores=0-7 /proc/26437/task/26439/stat : 26439 (java) S 26435 26435 23748 0 -1 1077944384 29720 0 0 0 938 33 0 0 20 0 28 0 475630879 29458776064 240382 33554432000 4194304 4196468 140730532395936 140437456841232 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26440] ppid=26435 vsize=28768336 memory=1708 CPUtime=9.71 cores=0-7 /proc/26437/task/26440/stat : 26440 (java) S 26435 26435 23748 0 -1 1077944384 30971 0 0 0 938 33 0 0 20 0 28 0 475630879 29458776064 240382 33554432000 4194304 4196468 140730532395936 140437455788688 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26441] ppid=26435 vsize=28768336 memory=1196 CPUtime=9.63 cores=0-7 /proc/26437/task/26441/stat : 26441 (java) S 26435 26435 23748 0 -1 1077944384 26043 0 0 0 934 29 0 0 20 0 28 0 475630879 29458776064 240382 33554432000 4194304 4196468 140730532395936 140437454735632 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26442] ppid=26435 vsize=28768336 memory=279882350783808 CPUtime=9.66 cores=0-7 /proc/26437/task/26442/stat : 26442 (java) S 26435 26435 23748 0 -1 1077944384 30034 0 0 0 936 30 0 0 20 0 28 0 475630879 29458776064 240382 33554432000 4194304 4196468 140730532395936 140437453683088 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26443] ppid=26435 vsize=28768336 memory=7649399397149914674 CPUtime=9.65 cores=0-7 /proc/26437/task/26443/stat : 26443 (java) S 26435 26435 23748 0 -1 1077944384 30314 0 0 0 933 32 0 0 20 0 28 0 475630879 29458776064 240382 33554432000 4194304 4196468 140730532395936 140437452631056 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26444] ppid=26435 vsize=28768336 memory=6791534058613427641 CPUtime=9.63 cores=0-7 /proc/26437/task/26444/stat : 26444 (java) S 26435 26435 23748 0 -1 1077944384 28971 0 0 0 934 29 0 0 20 0 28 0 475630879 29458776064 240382 33554432000 4194304 4196468 140730532395936 140437451578512 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26445] ppid=26435 vsize=28768336 memory=942900 CPUtime=9.67 cores=0-7 /proc/26437/task/26445/stat : 26445 (java) S 26435 26435 23748 0 -1 1077944384 26311 0 0 0 935 32 0 0 20 0 28 0 475630879 29458776064 240382 33554432000 4194304 4196468 140730532395936 140437450525456 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26446] ppid=26435 vsize=28768336 memory=7969853398213107866 CPUtime=9.68 cores=0-7 /proc/26437/task/26446/stat : 26446 (java) S 26435 26435 23748 0 -1 1077944384 31369 0 0 0 937 31 0 0 20 0 28 0 475630879 29458776064 240382 33554432000 4194304 4196468 140730532395936 140437449472912 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26447] ppid=26435 vsize=28768336 memory=945 CPUtime=7.72 cores=0-7 /proc/26437/task/26447/stat : 26447 (java) S 26435 26435 23748 0 -1 1077944384 150388 0 0 0 461 311 0 0 20 0 28 0 475630881 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435901114608 140437504232066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26448] ppid=26435 vsize=28768336 memory=243 CPUtime=0 cores=0-7 /proc/26437/task/26448/stat : 26448 (java) S 26435 26435 23748 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 475630881 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435900060896 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26449] ppid=26435 vsize=28768336 memory=81 CPUtime=0 cores=0-7 /proc/26437/task/26449/stat : 26449 (java) S 26435 26435 23748 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 475630881 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435899007744 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26450] ppid=26435 vsize=28768336 memory=937 CPUtime=0 cores=0-7 /proc/26437/task/26450/stat : 26450 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475630884 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435897956304 140437504239515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26451] ppid=26435 vsize=28768336 memory=941 CPUtime=2.47 cores=0-7 /proc/26437/task/26451/stat : 26451 (java) S 26435 26435 23748 0 -1 1077944384 12608 0 0 0 244 3 0 0 20 0 28 0 475630884 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435896904432 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26452] ppid=26435 vsize=28768336 memory=1044 CPUtime=2.64 cores=0-7 /proc/26437/task/26452/stat : 26452 (java) S 26435 26435 23748 0 -1 1077944384 13485 0 0 0 262 2 0 0 20 0 28 0 475630884 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435895851888 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26453] ppid=26435 vsize=28768336 memory=1448 CPUtime=2.43 cores=0-7 /proc/26437/task/26453/stat : 26453 (java) S 26435 26435 23748 0 -1 1077944384 11765 0 0 0 240 3 0 0 20 0 28 0 475630884 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435894798832 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26454] ppid=26435 vsize=28768336 memory=1448 CPUtime=0.81 cores=0-7 /proc/26437/task/26454/stat : 26454 (java) S 26435 26435 23748 0 -1 1077944384 9132 0 0 0 80 1 0 0 20 0 28 0 475630884 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435893746288 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26455] ppid=26435 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/26437/task/26455/stat : 26455 (java) S 26435 26435 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475630884 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435892693472 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26456] ppid=26435 vsize=28768336 memory=941772 CPUtime=0.56 cores=0-7 /proc/26437/task/26456/stat : 26456 (java) S 26435 26435 23748 0 -1 1077944384 5138 0 0 0 45 11 0 0 20 0 28 0 475630884 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435891641008 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26545] ppid=26435 vsize=28768336 memory=804 CPUtime=2463.03 cores=0-7 /proc/26437/task/26545/stat : 26545 (java) R 26435 26435 23748 0 -1 4202560 76763 0 0 0 246275 28 0 0 20 0 28 0 475631225 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435875051080 140437133812620 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26546] ppid=26435 vsize=28768336 memory=1804 CPUtime=2465.64 cores=0-7 /proc/26437/task/26546/stat : 26546 (java) R 26435 26435 23748 0 -1 4202560 16502 0 0 0 246546 18 0 0 20 0 28 0 475631225 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435879264040 140437131375638 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26547] ppid=26435 vsize=28768336 memory=916 CPUtime=2464.21 cores=0-7 /proc/26437/task/26547/stat : 26547 (java) R 26435 26435 23748 0 -1 4202560 66888 0 0 0 246391 30 0 0 20 0 28 0 475631225 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435880316856 140437126194346 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26548] ppid=26435 vsize=28768336 memory=961464 CPUtime=2468.97 cores=0-7 /proc/26437/task/26548/stat : 26548 (java) R 26435 26435 23748 0 -1 4202560 53634 0 0 0 246859 38 0 0 20 0 28 0 475631225 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435876106784 140437135170046 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26549] ppid=26435 vsize=28768336 memory=1448 CPUtime=2469.58 cores=0-7 /proc/26437/task/26549/stat : 26549 (java) R 26435 26435 23748 0 -1 4202560 37668 0 0 0 246929 29 0 0 20 0 28 0 475631225 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435881369800 140437131375556 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26550] ppid=26435 vsize=28768336 memory=943912 CPUtime=2470.72 cores=0-7 /proc/26437/task/26550/stat : 26550 (java) R 26435 26435 23748 0 -1 4202560 37536 0 0 0 247047 25 0 0 20 0 28 0 475631225 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435877158968 140437132106427 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26551] ppid=26435 vsize=28768336 memory=508 CPUtime=2467.16 cores=0-7 /proc/26437/task/26551/stat : 26551 (java) R 26435 26435 23748 0 -1 4202560 15402 0 0 0 246699 17 0 0 20 0 28 0 475631225 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435878214416 140437132256849 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26552] ppid=26435 vsize=28768336 memory=1560 CPUtime=2470.06 cores=0-7 /proc/26437/task/26552/stat : 26552 (java) R 26435 26435 23748 0 -1 4202560 22198 0 0 0 246981 25 0 0 20 0 28 0 475631225 29458776064 240382 33554432000 4194304 4196468 140730532395936 140435882421920 140437131375544 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 Current children cumulated CPU time: 19849.5 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 962976 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.01 8.15 8.22 9/221 26767 /proc/meminfo: memFree=24800032/32770624 swapFree=66966844/67108860 [pid=26435] ppid=26432 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/26435/stat : 26435 (xcsp3-exec) S 26432 26435 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475630878 115843072 362 33554432000 4194304 5098028 140725072257040 140725072255144 140265901720188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30138368 140725072261969 140725072262229 140725072262229 140725072265158 0 /proc/26435/statm: 28282 362 304 221 0 87 0 [pid=26437] ppid=26435 vsize=28768336 memory=979624 CPUtime=19990 cores=0-7 /proc/26437/stat : 26437 (java) S 26435 26435 23748 0 -1 1077944320 783688 0 0 0 1998256 748 0 0 20 0 28 0 475630878 29458776064 244906 33554432000 4194304 4196468 140730532395936 140730532378480 140437504220919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 /proc/26437/statm: 7192084 244906 3555 1 0 7153184 0 [pid=26437/tid=26438] ppid=26435 vsize=28768336 memory=13996 CPUtime=0.67 cores=0-7 /proc/26437/task/26438/stat : 26438 (java) S 26435 26435 23748 0 -1 1077944384 9466 0 0 0 64 3 0 0 20 0 28 0 475630878 29458776064 244906 33554432000 4194304 4196468 140730532395936 140437508461696 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26439] ppid=26435 vsize=28768336 memory=14080 CPUtime=9.8 cores=0-7 /proc/26437/task/26439/stat : 26439 (java) S 26435 26435 23748 0 -1 1077944384 29856 0 0 0 947 33 0 0 20 0 28 0 475630879 29458776064 244906 33554432000 4194304 4196468 140730532395936 140437456841232 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26440] ppid=26435 vsize=28768336 memory=30492 CPUtime=9.79 cores=0-7 /proc/26437/task/26440/stat : 26440 (java) S 26435 26435 23748 0 -1 1077944384 31081 0 0 0 945 34 0 0 20 0 28 0 475630879 29458776064 244906 33554432000 4194304 4196468 140730532395936 140437455788688 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26441] ppid=26435 vsize=28768336 memory=4872558044660077418 CPUtime=9.71 cores=0-7 /proc/26437/task/26441/stat : 26441 (java) S 26435 26435 23748 0 -1 1077944384 26341 0 0 0 942 29 0 0 20 0 28 0 475630879 29458776064 244906 33554432000 4194304 4196468 140730532395936 140437454735632 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26442] ppid=26435 vsize=28768336 memory=2496 CPUtime=9.75 cores=0-7 /proc/26437/task/26442/stat : 26442 (java) S 26435 26435 23748 0 -1 1077944384 30456 0 0 0 944 31 0 0 20 0 28 0 475630879 29458776064 244906 33554432000 4194304 4196468 140730532395936 140437453683088 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26443] ppid=26435 vsize=28768336 memory=1448 CPUtime=9.74 cores=0-7 /proc/26437/task/26443/stat : 26443 (java) S 26435 26435 23748 0 -1 1077944384 30729 0 0 0 941 33 0 0 20 0 28 0 475630879 29458776064 244906 33554432000 4194304 4196468 140730532395936 140437452631056 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26444] ppid=26435 vsize=28768336 memory=979624 CPUtime=9.72 cores=0-7 /proc/26437/task/26444/stat : 26444 (java) S 26435 26435 23748 0 -1 1077944384 29164 0 0 0 943 29 0 0 20 0 28 0 475630879 29458776064 244906 33554432000 4194304 4196468 140730532395936 140437451578512 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26445] ppid=26435 vsize=28768336 memory=804 CPUtime=9.77 cores=0-7 /proc/26437/task/26445/stat : 26445 (java) S 26435 26435 23748 0 -1 1077944384 26387 0 0 0 944 33 0 0 20 0 28 0 475630879 29458776064 244906 33554432000 4194304 4196468 140730532395936 140437450525456 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26446] ppid=26435 vsize=28768336 memory=1804 CPUtime=9.78 cores=0-7 /proc/26437/task/26446/stat : 26446 (java) S 26435 26435 23748 0 -1 1077944384 31544 0 0 0 947 31 0 0 20 0 28 0 475630879 29458776064 244906 33554432000 4194304 4196468 140730532395936 140437449472912 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26447] ppid=26435 vsize=28768336 memory=916 CPUtime=7.75 cores=0-7 /proc/26437/task/26447/stat : 26447 (java) S 26435 26435 23748 0 -1 1077944384 152021 0 0 0 463 312 0 0 20 0 28 0 475630881 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435901114608 140437504232066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26448] ppid=26435 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/26437/task/26448/stat : 26448 (java) S 26435 26435 23748 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 475630881 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435900060896 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26449] ppid=26435 vsize=28768336 memory=2496 CPUtime=0 cores=0-7 /proc/26437/task/26449/stat : 26449 (java) S 26435 26435 23748 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 475630881 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435899007744 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26450] ppid=26435 vsize=28768336 memory=1760 CPUtime=0 cores=0-7 /proc/26437/task/26450/stat : 26450 (java) S 26435 26435 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475630884 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435897956304 140437504239515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26451] ppid=26435 vsize=28768336 memory=111636 CPUtime=2.47 cores=0-7 /proc/26437/task/26451/stat : 26451 (java) S 26435 26435 23748 0 -1 1077944384 12612 0 0 0 244 3 0 0 20 0 28 0 475630884 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435896904432 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26452] ppid=26435 vsize=28768336 memory=804 CPUtime=2.64 cores=0-7 /proc/26437/task/26452/stat : 26452 (java) S 26435 26435 23748 0 -1 1077944384 13489 0 0 0 262 2 0 0 20 0 28 0 475630884 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435895851888 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26453] ppid=26435 vsize=28768336 memory=1804 CPUtime=2.43 cores=0-7 /proc/26437/task/26453/stat : 26453 (java) S 26435 26435 23748 0 -1 1077944384 11769 0 0 0 240 3 0 0 20 0 28 0 475630884 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435894798832 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26454] ppid=26435 vsize=28768336 memory=916 CPUtime=0.81 cores=0-7 /proc/26437/task/26454/stat : 26454 (java) S 26435 26435 23748 0 -1 1077944384 9136 0 0 0 80 1 0 0 20 0 28 0 475630884 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435893746288 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26455] ppid=26435 vsize=28768336 memory=4144 CPUtime=0 cores=0-7 /proc/26437/task/26455/stat : 26455 (java) S 26435 26435 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475630884 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435892693472 140437504231125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26456] ppid=26435 vsize=28768336 memory=1660 CPUtime=0.56 cores=0-7 /proc/26437/task/26456/stat : 26456 (java) S 26435 26435 23748 0 -1 1077944384 5175 0 0 0 45 11 0 0 20 0 28 0 475630884 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435891641008 140437504232066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26545] ppid=26435 vsize=28768336 memory=864 CPUtime=2480.39 cores=0-7 /proc/26437/task/26545/stat : 26545 (java) R 26435 26435 23748 0 -1 4202560 78187 0 0 0 248010 29 0 0 20 0 28 0 475631225 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435875050896 140437131375925 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26546] ppid=26435 vsize=28768336 memory=1448 CPUtime=2483.04 cores=0-7 /proc/26437/task/26546/stat : 26546 (java) R 26435 26435 23748 0 -1 4202560 16700 0 0 0 248286 18 0 0 20 0 28 0 475631225 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435879264744 140437131375703 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26547] ppid=26435 vsize=28768336 memory=1056 CPUtime=2481.62 cores=0-7 /proc/26437/task/26547/stat : 26547 (java) R 26435 26435 23748 0 -1 4202560 67202 0 0 0 248131 31 0 0 20 0 28 0 475631225 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435880317096 140437135137532 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26548] ppid=26435 vsize=28768336 memory=3616 CPUtime=2486.51 cores=0-7 /proc/26437/task/26548/stat : 26548 (java) R 26435 26435 23748 0 -1 4202560 53845 0 0 0 248612 39 0 0 20 0 28 0 475631225 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435876106824 140437132106427 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26549] ppid=26435 vsize=28768336 memory=1552 CPUtime=2487.08 cores=0-7 /proc/26437/task/26549/stat : 26549 (java) R 26435 26435 23748 0 -1 4202560 38339 0 0 0 248678 30 0 0 20 0 28 0 475631225 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435881369784 140437131928881 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26550] ppid=26435 vsize=28768336 memory=1708 CPUtime=2488.27 cores=0-7 /proc/26437/task/26550/stat : 26550 (java) R 26435 26435 23748 0 -1 4202560 37751 0 0 0 248801 26 0 0 20 0 28 0 475631225 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435877159064 140437131764568 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26551] ppid=26435 vsize=28768336 memory=1196 CPUtime=2484.69 cores=0-7 /proc/26437/task/26551/stat : 26551 (java) R 26435 26435 23748 0 -1 4202560 15562 0 0 0 248451 18 0 0 20 0 28 0 475631225 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435878211624 140437131375565 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 [pid=26437/tid=26552] ppid=26435 vsize=28768336 memory=3608 CPUtime=2487.55 cores=0-7 /proc/26437/task/26552/stat : 26552 (java) R 26435 26435 23748 0 -1 4202560 22440 0 0 0 248730 25 0 0 20 0 28 0 475631225 29458776064 244906 33554432000 4194304 4196468 140730532395936 140435882425168 140437131616780 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 13877248 140730532398038 140730532398214 140730532398214 140730532401103 0 Current children cumulated CPU time: 19990 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 981072 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 26435 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001175 s, system=0.001175 s [startup+2520.1 s] # the end of solver process 26437 was just reported to runsolver # cumulated CPU time of all completed processes: user=19983.2 s, system=7.49741 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.1 CPU time (s): 19990.7 CPU user time (s): 19983.2 CPU system time (s): 7.49741 CPU usage (%): 793.25 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 982104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19983.2 system time used= 7.4974 maximum resident set size= 980656 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 784643 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3512 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 331608 involuntary context switches= 246165 # summary of solver processes directly reported to runsolver: # pid: 26435,26437 # total CPU time (s): 19990.7 # total CPU user time (s): 19983.2 # total CPU system time (s): 7.49741 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 26.6474 second user time and 24.2898 second system time The end
Begin job on node145 at 2019-09-20 18:28:22 IDJOB=4404772 IDBENCH=124144 IDSOLVER=2865 FILE ID=node145/4404772-1568996944 RUNJOBID= node145-1568994215-23775 PBS_JOBID= 21704717 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t03-4.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404772-1568996944/watcher-4404772-1568996944 -o /var/tmp/evaluation-result-4404772-1568996944/solver-4404772-1568996944 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2065106871 HOME/instance-4404772-1568996944.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3320713010bd27ff074c3709fe864950 RANDOM SEED=2065106871 node145.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.59 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.59 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.59 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.59 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: 25773132 kB MemAvailable: 31822448 kB Buffers: 92352 kB Cached: 6118636 kB SwapCached: 32484 kB Active: 3016768 kB Inactive: 3227688 kB Active(anon): 2928 kB Inactive(anon): 79836 kB Active(file): 3013840 kB Inactive(file): 3147852 kB Unevictable: 110664 kB Mlocked: 110664 kB SwapTotal: 67108860 kB SwapFree: 66966844 kB Dirty: 26236 kB Writeback: 0 kB AnonPages: 112244 kB Mapped: 51596 kB Shmem: 40640 kB Slab: 344256 kB SReclaimable: 316084 kB SUnreclaim: 28172 kB KernelStack: 3376 kB PageTables: 5184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505856 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13484 MiB End job on node145 at 2019-09-20 19:10:22