Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | SAT (TO) | 19 | 2000.06 | 252.097 |
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 | 2000.06 |
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-4400272-1568710355.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400272-1568710355.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.42/0.66 c solve instance... 12.98/2.11 o 32 12.98/2.16 o 28 13.63/2.29 o 27 14.38/2.30 o 26 15.13/2.46 o 25 16.68/2.63 o 24 16.68/2.69 o 23 18.13/2.83 o 22 20.55/3.15 o 21 20.55/3.19 o 20 21.17/3.23 o 19 1999.44/252.07 s SATISFIABLE 1999.44/252.07 v <instantiation> 1999.44/252.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> 1999.44/252.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 0 0 0 6 4 0 0 5 0 1 0 0 0 1 0 0 0 0 5 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 5 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 4 6 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 4 6 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 3 4 0 0 6 0 1 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 6 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 0 0 1 0 0 0 0 12 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 8 0 0 0 0 0 0 1 0 0 0 0 4 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 3 0 4 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 6 1 0 0 0 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 1999.44/252.07 v </instantiation> 1999.44/252.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 (15320 MiB free) memory of node 1: 16384 MiB (13324 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400272-1568710355/watcher-4400272-1568710355 -o /tmp/evaluation-result-4400272-1568710355/solver-4400272-1568710355 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 455948584 HOME/instance-4400272-1568710355.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=11891, runsolver pid=11888 Current StackSize limit: 8192 KiB [startup+0.10013 s]* /proc/loadavg: 8.09 7.98 8.05 3/212 11912 /proc/meminfo: memFree=29312920/32770624 swapFree=66958320/67108860 [pid=11891] ppid=11888 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/11891/stat : 11891 (xcsp3-exec) S 11888 11891 7356 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446972010 115843072 362 33554432000 4194304 5098028 140723137379184 140723137377288 140441085809276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14917632 140723137381244 140723137381486 140723137381486 140723137384394 0 /proc/11891/statm: 28282 362 304 221 0 87 0 [pid=11893] ppid=11891 vsize=28227396 memory=31712 CPUtime=0.12 cores=0-7 /proc/11893/stat : 11893 (java) S 11891 11891 7356 0 -1 1077944320 5384 0 0 0 10 2 0 0 20 0 20 0 446972011 28904853504 7928 33554432000 4194304 4196468 140734737933696 140734737916240 140079195119351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 /proc/11893/statm: 7056849 7928 3118 1 0 7019032 0 [pid=11893/tid=11894] ppid=11891 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/11893/task/11894/stat : 11894 (java) R 11891 11891 7356 0 -1 4202560 3301 0 0 0 8 1 0 0 20 0 20 0 446972011 28904853504 7928 33554432000 4194304 4196468 140734737933696 140079199353888 140079195131286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11895] ppid=11891 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/11893/task/11895/stat : 11895 (java) S 11891 11891 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 7928 33554432000 4194304 4196468 140734737933696 140079151671824 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11896] ppid=11891 vsize=28227396 memory=139946530117248 CPUtime=0 cores=0-7 /proc/11893/task/11896/stat : 11896 (java) S 11891 11891 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078745770640 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11897] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11897/stat : 11897 (java) S 11891 11891 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078744717584 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11898] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11898/stat : 11898 (java) S 11891 11891 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078743665040 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11899] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11899/stat : 11899 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078742613008 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11900] ppid=11891 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11893/task/11900/stat : 11900 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078741560464 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11901] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11901/stat : 11901 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078740507408 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11902] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11902/stat : 11902 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078739454864 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11903] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11903/stat : 11903 (java) S 11891 11891 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446972013 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078579841264 140079195130498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11904] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11904/stat : 11904 (java) S 11891 11891 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446972014 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078578787488 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11905] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11905/stat : 11905 (java) S 11891 11891 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446972014 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078577734384 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11906] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11906/stat : 11906 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972016 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078576682960 140079195137947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11907] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11907/stat : 11907 (java) S 11891 11891 7356 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 446972016 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078575631088 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11908] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11908/stat : 11908 (java) S 11891 11891 7356 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 446972016 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078574578544 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11909] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11909/stat : 11909 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972016 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078573525488 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11910] ppid=11891 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/11893/task/11910/stat : 11910 (java) S 11891 11891 7356 0 -1 1077944384 337 0 0 0 2 0 0 0 20 0 20 0 446972016 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078572472944 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11911] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11911/stat : 11911 (java) S 11891 11891 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446972017 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078571420128 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11912] ppid=11891 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11893/task/11912/stat : 11912 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972017 28904853504 7928 33554432000 4194304 4196468 140734737933696 140078570367664 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 33160 KiB [startup+0.210706 s]* /proc/loadavg: 8.09 7.98 8.05 3/212 11912 /proc/meminfo: memFree=29300536/32770624 swapFree=66958320/67108860 [pid=11891] ppid=11888 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/11891/stat : 11891 (xcsp3-exec) S 11888 11891 7356 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446972010 115843072 362 33554432000 4194304 5098028 140723137379184 140723137377288 140441085809276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14917632 140723137381244 140723137381486 140723137381486 140723137384394 0 /proc/11891/statm: 28282 362 304 221 0 87 0 [pid=11893] ppid=11891 vsize=28227396 memory=43024 CPUtime=0.34 cores=0-7 /proc/11893/stat : 11893 (java) S 11891 11891 7356 0 -1 1077944320 8936 0 0 0 30 4 0 0 20 0 20 0 446972011 28904853504 10756 33554432000 4194304 4196468 140734737933696 140734737916240 140079195119351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 /proc/11893/statm: 7056849 10756 3284 1 0 7019032 0 [pid=11893/tid=11894] ppid=11891 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/11893/task/11894/stat : 11894 (java) R 11891 11891 7356 0 -1 4202560 6107 0 0 0 17 2 0 0 20 0 20 0 446972011 28904853504 10756 33554432000 4194304 4196468 140734737933696 140079199353232 140079195141277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11895] ppid=11891 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/11893/task/11895/stat : 11895 (java) S 11891 11891 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 10756 33554432000 4194304 4196468 140734737933696 140079151671824 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11896] ppid=11891 vsize=28227396 memory=139946530128603 CPUtime=0 cores=0-7 /proc/11893/task/11896/stat : 11896 (java) S 11891 11891 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078745770640 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11897] ppid=11891 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11893/task/11897/stat : 11897 (java) S 11891 11891 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078744717584 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11898] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11898/stat : 11898 (java) S 11891 11891 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078743665040 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11899] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11899/stat : 11899 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078742613008 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11900] ppid=11891 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11893/task/11900/stat : 11900 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078741560464 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11901] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11901/stat : 11901 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078740507408 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11902] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11902/stat : 11902 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972012 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078739454864 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11903] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11903/stat : 11903 (java) S 11891 11891 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446972013 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078579841264 140079195130498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11904] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11904/stat : 11904 (java) S 11891 11891 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446972014 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078578787488 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11905] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11905/stat : 11905 (java) S 11891 11891 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446972014 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078577734384 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11906] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11906/stat : 11906 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972016 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078576682960 140079195137947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11907] ppid=11891 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/11893/task/11907/stat : 11907 (java) S 11891 11891 7356 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 20 0 446972016 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078575631088 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11908] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11908/stat : 11908 (java) S 11891 11891 7356 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 446972016 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078574578544 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11909] ppid=11891 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/11893/task/11909/stat : 11909 (java) S 11891 11891 7356 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 20 0 446972016 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078573525488 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11910] ppid=11891 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/11893/task/11910/stat : 11910 (java) S 11891 11891 7356 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 20 0 446972016 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078572472944 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11911] ppid=11891 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11911/stat : 11911 (java) S 11891 11891 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446972017 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078571420128 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11912] ppid=11891 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11893/task/11912/stat : 11912 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972017 28904853504 10756 33554432000 4194304 4196468 140734737933696 140078570367664 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 44472 KiB [startup+0.310562 s]* /proc/loadavg: 8.09 7.98 8.05 3/212 11912 /proc/meminfo: memFree=29293884/32770624 swapFree=66958320/67108860 [pid=11891] ppid=11888 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/11891/stat : 11891 (xcsp3-exec) S 11888 11891 7356 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446972010 115843072 362 33554432000 4194304 5098028 140723137379184 140723137377288 140441085809276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14917632 140723137381244 140723137381486 140723137381486 140723137384394 0 /proc/11891/statm: 28282 362 304 221 0 87 0 [pid=11893] ppid=11891 vsize=28231652 memory=51780 CPUtime=0.52 cores=0-7 /proc/11893/stat : 11893 (java) S 11891 11891 7356 0 -1 1077944320 10332 0 0 0 47 5 0 0 20 0 20 0 446972011 28909211648 12945 33554432000 4194304 4196468 140734737933696 140734737916240 140079195119351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 /proc/11893/statm: 7057913 12945 3327 1 0 7019032 0 [pid=11893/tid=11894] ppid=11891 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/11893/task/11894/stat : 11894 (java) R 11891 11891 7356 0 -1 4202560 7254 0 0 0 26 3 0 0 20 0 20 0 446972011 28909211648 12945 33554432000 4194304 4196468 140734737933696 140079199352968 140079195141277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11895] ppid=11891 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11895/stat : 11895 (java) S 11891 11891 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446972012 28909211648 12945 33554432000 4194304 4196468 140734737933696 140079151671824 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11896] ppid=11891 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11896/stat : 11896 (java) S 11891 11891 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446972012 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078745770640 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11897] ppid=11891 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11897/stat : 11897 (java) S 11891 11891 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446972012 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078744717584 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11898] ppid=11891 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11898/stat : 11898 (java) S 11891 11891 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446972012 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078743665040 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11899] ppid=11891 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11899/stat : 11899 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972012 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078742613008 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11900] ppid=11891 vsize=28231652 memory=139946409159343 CPUtime=0 cores=0-7 /proc/11893/task/11900/stat : 11900 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972012 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078741560464 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11901] ppid=11891 vsize=28231652 memory=139946409161648 CPUtime=0 cores=0-7 /proc/11893/task/11901/stat : 11901 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972012 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078740507408 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11902] ppid=11891 vsize=28231652 memory=139946409163952 CPUtime=0 cores=0-7 /proc/11893/task/11902/stat : 11902 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972012 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078739454864 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11903] ppid=11891 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11903/stat : 11903 (java) S 11891 11891 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446972013 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078579841264 140079195130498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11904] ppid=11891 vsize=28231652 memory=279892818341776 CPUtime=0 cores=0-7 /proc/11893/task/11904/stat : 11904 (java) S 11891 11891 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446972014 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078578787488 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11905] ppid=11891 vsize=28231652 memory=279892818339472 CPUtime=0 cores=0-7 /proc/11893/task/11905/stat : 11905 (java) S 11891 11891 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446972014 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078577734384 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11906] ppid=11891 vsize=28231652 memory=279892818346384 CPUtime=0 cores=0-7 /proc/11893/task/11906/stat : 11906 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972016 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078576682960 140079195137947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11907] ppid=11891 vsize=28231652 memory=279892818287632 CPUtime=0.02 cores=0-7 /proc/11893/task/11907/stat : 11907 (java) S 11891 11891 7356 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 20 0 446972016 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078575631088 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11908] ppid=11891 vsize=28231652 memory=279892818360208 CPUtime=0.01 cores=0-7 /proc/11893/task/11908/stat : 11908 (java) S 11891 11891 7356 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 20 0 446972016 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078574578544 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11909] ppid=11891 vsize=28231652 memory=279892818367120 CPUtime=0.04 cores=0-7 /proc/11893/task/11909/stat : 11909 (java) R 11891 11891 7356 0 -1 4202560 388 0 0 0 4 0 0 0 20 0 20 0 446972016 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078573506504 140079172380608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11910] ppid=11891 vsize=28231652 memory=279892818364816 CPUtime=0.12 cores=0-7 /proc/11893/task/11910/stat : 11910 (java) S 11891 11891 7356 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 20 0 446972016 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078572472944 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11911] ppid=11891 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11911/stat : 11911 (java) S 11891 11891 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446972017 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078571420128 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11912] ppid=11891 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/11893/task/11912/stat : 11912 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446972017 28909211648 12945 33554432000 4194304 4196468 140734737933696 140078570367664 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 53228 KiB [startup+0.710056 s] /proc/loadavg: 8.09 7.98 8.05 6/212 11912 /proc/meminfo: memFree=29280832/32770624 swapFree=66958320/67108860 [pid=11891] ppid=11888 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/11891/stat : 11891 (xcsp3-exec) S 11888 11891 7356 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446972010 115843072 362 33554432000 4194304 5098028 140723137379184 140723137377288 140441085809276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14917632 140723137381244 140723137381486 140723137381486 140723137384394 0 /proc/11891/statm: 28282 362 304 221 0 87 0 [pid=11893] ppid=11891 vsize=28766288 memory=112136 CPUtime=1.94 cores=0-7 /proc/11893/stat : 11893 (java) S 11891 11891 7356 0 -1 1077944320 15760 0 0 0 187 7 0 0 20 0 28 0 446972011 29456678912 28034 33554432000 4194304 4196468 140734737933696 140734737916240 140079195119351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 /proc/11893/statm: 7191572 28034 3465 1 0 7152672 0 [pid=11893/tid=11894] ppid=11891 vsize=28766288 memory=0 CPUtime=0.65 cores=0-7 /proc/11893/task/11894/stat : 11894 (java) S 11891 11891 7356 0 -1 1077944384 8615 0 0 0 61 4 0 0 20 0 28 0 446972011 29456678912 28034 33554432000 4194304 4196468 140734737933696 140079199360128 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11895] ppid=11891 vsize=28766288 memory=139946409370480 CPUtime=0 cores=0-7 /proc/11893/task/11895/stat : 11895 (java) S 11891 11891 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446972012 29456678912 28034 33554432000 4194304 4196468 140734737933696 140079151671824 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11896] ppid=11891 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/11893/task/11896/stat : 11896 (java) S 11891 11891 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446972012 29456678912 28034 33554432000 4194304 4196468 140734737933696 140078745770640 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11897] ppid=11891 vsize=28766288 memory=8024 CPUtime=0 cores=0-7 /proc/11893/task/11897/stat : 11897 (java) S 11891 11891 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446972012 29456678912 28034 33554432000 4194304 4196468 140734737933696 140078744717584 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 ################ # More data... # ################ [pid=11893/tid=12008] ppid=11891 vsize=28768336 memory=1448 CPUtime=157.99 cores=0-7 /proc/11893/task/12008/stat : 12008 (java) R 11891 11891 7356 0 -1 4202560 1758 0 0 0 15798 1 0 0 20 0 28 0 446972336 29458776064 46579 33554432000 4194304 4196468 140734737933696 140078555885416 140078837458625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 Current children cumulated CPU time: 1286.32 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 187764 KiB [startup+222.304 s] /proc/loadavg: 8.10 8.03 8.05 9/219 12023 /proc/meminfo: memFree=29119344/32770624 swapFree=66958320/67108860 [pid=11891] ppid=11888 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/11891/stat : 11891 (xcsp3-exec) S 11888 11891 7356 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446972010 115843072 362 33554432000 4194304 5098028 140723137379184 140723137377288 140441085809276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14917632 140723137381244 140723137381486 140723137381486 140723137384394 0 /proc/11891/statm: 28282 362 304 221 0 87 0 [pid=11893] ppid=11891 vsize=28768336 memory=229748 CPUtime=1763.02 cores=0-7 /proc/11893/stat : 11893 (java) S 11891 11891 7356 0 -1 1077944320 99033 0 0 0 176239 63 0 0 20 0 28 0 446972011 29458776064 57437 33554432000 4194304 4196468 140734737933696 140734737916240 140079195119351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 /proc/11893/statm: 7192084 57437 3537 1 0 7153184 0 [pid=11893/tid=11894] ppid=11891 vsize=28768336 memory=223604 CPUtime=0.66 cores=0-7 /proc/11893/task/11894/stat : 11894 (java) S 11891 11891 7356 0 -1 1077944384 8695 0 0 0 62 4 0 0 20 0 28 0 446972011 29458776064 57437 33554432000 4194304 4196468 140734737933696 140079199360128 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11895] ppid=11891 vsize=28768336 memory=225652 CPUtime=0.26 cores=0-7 /proc/11893/task/11895/stat : 11895 (java) S 11891 11891 7356 0 -1 1077944384 3412 0 0 0 23 3 0 0 20 0 28 0 446972012 29458776064 57437 33554432000 4194304 4196468 140734737933696 140079151671824 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11896] ppid=11891 vsize=28768336 memory=229748 CPUtime=0.25 cores=0-7 /proc/11893/task/11896/stat : 11896 (java) S 11891 11891 7356 0 -1 1077944384 2537 0 0 0 22 3 0 0 20 0 28 0 446972012 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078745770640 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11897] ppid=11891 vsize=28768336 memory=0 CPUtime=0.25 cores=0-7 /proc/11893/task/11897/stat : 11897 (java) S 11891 11891 7356 0 -1 1077944384 1866 0 0 0 22 3 0 0 20 0 28 0 446972012 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078744717584 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11898] ppid=11891 vsize=28768336 memory=1448 CPUtime=0.26 cores=0-7 /proc/11893/task/11898/stat : 11898 (java) S 11891 11891 7356 0 -1 1077944384 1777 0 0 0 23 3 0 0 20 0 28 0 446972012 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078743665040 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11899] ppid=11891 vsize=28768336 memory=932 CPUtime=0.26 cores=0-7 /proc/11893/task/11899/stat : 11899 (java) S 11891 11891 7356 0 -1 1077944384 2149 0 0 0 23 3 0 0 20 0 28 0 446972012 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078742613008 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11900] ppid=11891 vsize=28768336 memory=1568 CPUtime=0.26 cores=0-7 /proc/11893/task/11900/stat : 11900 (java) S 11891 11891 7356 0 -1 1077944384 1566 0 0 0 23 3 0 0 20 0 28 0 446972012 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078741560464 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11901] ppid=11891 vsize=28768336 memory=8024 CPUtime=0.26 cores=0-7 /proc/11893/task/11901/stat : 11901 (java) S 11891 11891 7356 0 -1 1077944384 2000 0 0 0 23 3 0 0 20 0 28 0 446972012 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078740507408 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11902] ppid=11891 vsize=28768336 memory=10428 CPUtime=0.26 cores=0-7 /proc/11893/task/11902/stat : 11902 (java) S 11891 11891 7356 0 -1 1077944384 2174 0 0 0 24 2 0 0 20 0 28 0 446972012 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078739454864 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11903] ppid=11891 vsize=28768336 memory=1448 CPUtime=0.3 cores=0-7 /proc/11893/task/11903/stat : 11903 (java) S 11891 11891 7356 0 -1 1077944384 4622 0 0 0 24 6 0 0 20 0 28 0 446972013 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078579841264 140079195130498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11904] ppid=11891 vsize=28768336 memory=217096 CPUtime=0 cores=0-7 /proc/11893/task/11904/stat : 11904 (java) S 11891 11891 7356 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 446972014 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078578787552 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11905] ppid=11891 vsize=28768336 memory=204 CPUtime=0 cores=0-7 /proc/11893/task/11905/stat : 11905 (java) S 11891 11891 7356 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 446972014 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078577734400 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11906] ppid=11891 vsize=28768336 memory=78 CPUtime=0 cores=0-7 /proc/11893/task/11906/stat : 11906 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446972016 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078576682960 140079195137947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11907] ppid=11891 vsize=28768336 memory=2120 CPUtime=2.03 cores=0-7 /proc/11893/task/11907/stat : 11907 (java) S 11891 11891 7356 0 -1 1077944384 14026 0 0 0 201 2 0 0 20 0 28 0 446972016 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078575631088 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11908] ppid=11891 vsize=28768336 memory=508 CPUtime=1.97 cores=0-7 /proc/11893/task/11908/stat : 11908 (java) S 11891 11891 7356 0 -1 1077944384 11114 0 0 0 195 2 0 0 20 0 28 0 446972016 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078574578544 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11909] ppid=11891 vsize=28768336 memory=0 CPUtime=2.05 cores=0-7 /proc/11893/task/11909/stat : 11909 (java) S 11891 11891 7356 0 -1 1077944384 11530 0 0 0 203 2 0 0 20 0 28 0 446972016 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078573525488 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11910] ppid=11891 vsize=28768336 memory=7589218917653439594 CPUtime=0.78 cores=0-7 /proc/11893/task/11910/stat : 11910 (java) S 11891 11891 7356 0 -1 1077944384 7055 0 0 0 77 1 0 0 20 0 28 0 446972016 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078572472944 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11911] ppid=11891 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/11893/task/11911/stat : 11911 (java) S 11891 11891 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446972017 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078571420128 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11912] ppid=11891 vsize=28768336 memory=1448 CPUtime=0.03 cores=0-7 /proc/11893/task/11912/stat : 11912 (java) S 11891 11891 7356 0 -1 1077944384 929 0 0 0 0 3 0 0 20 0 28 0 446972017 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078570367664 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12001] ppid=11891 vsize=28768336 memory=229748 CPUtime=216.79 cores=0-7 /proc/11893/task/12001/stat : 12001 (java) R 11891 11891 7356 0 -1 4202560 5990 0 0 0 21678 1 0 0 20 0 28 0 446972334 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078557989072 140078831970279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12002] ppid=11891 vsize=28768336 memory=103113574866374 CPUtime=216.9 cores=0-7 /proc/11893/task/12002/stat : 12002 (java) R 11891 11891 7356 0 -1 4202560 1395 0 0 0 21689 1 0 0 20 0 28 0 446972334 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078554832632 140078837492688 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12003] ppid=11891 vsize=28768336 memory=8514701219781834910 CPUtime=217.15 cores=0-7 /proc/11893/task/12003/stat : 12003 (java) R 11891 11891 7356 0 -1 4202560 1654 0 0 0 21714 1 0 0 20 0 28 0 446972334 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078559043976 140078838109395 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12004] ppid=11891 vsize=28768336 memory=-6877452294487849808 CPUtime=217.75 cores=0-7 /proc/11893/task/12004/stat : 12004 (java) R 11891 11891 7356 0 -1 4202560 2761 0 0 0 21772 3 0 0 20 0 28 0 446972334 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078561152864 140078837538433 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12005] ppid=11891 vsize=28768336 memory=804 CPUtime=217.71 cores=0-7 /proc/11893/task/12005/stat : 12005 (java) R 11891 11891 7356 0 -1 4202560 2469 0 0 0 21770 1 0 0 20 0 28 0 446972334 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078553783336 140078837458433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12006] ppid=11891 vsize=28768336 memory=1804 CPUtime=217.27 cores=0-7 /proc/11893/task/12006/stat : 12006 (java) R 11891 11891 7356 0 -1 4202560 2019 0 0 0 21726 1 0 0 20 0 28 0 446972334 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078556938352 140078837493148 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12007] ppid=11891 vsize=28768336 memory=916 CPUtime=216.83 cores=0-7 /proc/11893/task/12007/stat : 12007 (java) R 11891 11891 7356 0 -1 4202560 1334 0 0 0 21683 0 0 0 20 0 28 0 446972334 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078560096120 140078837891390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12008] ppid=11891 vsize=28768336 memory=4544 CPUtime=217.68 cores=0-7 /proc/11893/task/12008/stat : 12008 (java) R 11891 11891 7356 0 -1 4202560 1889 0 0 0 21767 1 0 0 20 0 28 0 446972336 29458776064 57437 33554432000 4194304 4196468 140734737933696 140078555885376 140078838298623 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 Current children cumulated CPU time: 1763.02 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 231196 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.39 8.11 8.07 9/219 12023 /proc/meminfo: memFree=29097100/32770624 swapFree=66958320/67108860 [pid=11891] ppid=11888 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/11891/stat : 11891 (xcsp3-exec) S 11888 11891 7356 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446972010 115843072 362 33554432000 4194304 5098028 140723137379184 140723137377288 140441085809276 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14917632 140723137381244 140723137381486 140723137381486 140723137384394 0 /proc/11891/statm: 28282 362 304 221 0 87 0 [pid=11893] ppid=11891 vsize=28768336 memory=250400 CPUtime=1999.44 cores=0-7 /proc/11893/stat : 11893 (java) S 11891 11891 7356 0 -1 1077944320 99338 0 0 0 199877 67 0 0 20 0 28 0 446972011 29458776064 62600 33554432000 4194304 4196468 140734737933696 140734737916240 140079195119351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 /proc/11893/statm: 7192084 62600 3537 1 0 7153184 0 [pid=11893/tid=11894] ppid=11891 vsize=28768336 memory=1398722017469774279 CPUtime=0.66 cores=0-7 /proc/11893/task/11894/stat : 11894 (java) S 11891 11891 7356 0 -1 1077944384 8695 0 0 0 62 4 0 0 20 0 28 0 446972011 29458776064 62600 33554432000 4194304 4196468 140734737933696 140079199360128 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11895] ppid=11891 vsize=28768336 memory=508 CPUtime=0.31 cores=0-7 /proc/11893/task/11895/stat : 11895 (java) S 11891 11891 7356 0 -1 1077944384 3438 0 0 0 27 4 0 0 20 0 28 0 446972012 29458776064 62600 33554432000 4194304 4196468 140734737933696 140079151671824 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11896] ppid=11891 vsize=28768336 memory=1560 CPUtime=0.3 cores=0-7 /proc/11893/task/11896/stat : 11896 (java) S 11891 11891 7356 0 -1 1077944384 2558 0 0 0 27 3 0 0 20 0 28 0 446972012 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078745770640 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11897] ppid=11891 vsize=28768336 memory=0 CPUtime=0.3 cores=0-7 /proc/11893/task/11897/stat : 11897 (java) S 11891 11891 7356 0 -1 1077944384 1885 0 0 0 27 3 0 0 20 0 28 0 446972012 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078744717584 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11898] ppid=11891 vsize=28768336 memory=4872558044660077418 CPUtime=0.31 cores=0-7 /proc/11893/task/11898/stat : 11898 (java) S 11891 11891 7356 0 -1 1077944384 1795 0 0 0 28 3 0 0 20 0 28 0 446972012 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078743665040 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11899] ppid=11891 vsize=28768336 memory=1398722017469774279 CPUtime=0.31 cores=0-7 /proc/11893/task/11899/stat : 11899 (java) S 11891 11891 7356 0 -1 1077944384 2168 0 0 0 28 3 0 0 20 0 28 0 446972012 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078742613008 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11900] ppid=11891 vsize=28768336 memory=4872558044660077418 CPUtime=0.32 cores=0-7 /proc/11893/task/11900/stat : 11900 (java) S 11891 11891 7356 0 -1 1077944384 1601 0 0 0 28 4 0 0 20 0 28 0 446972012 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078741560464 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11901] ppid=11891 vsize=28768336 memory=2020 CPUtime=0.31 cores=0-7 /proc/11893/task/11901/stat : 11901 (java) S 11891 11891 7356 0 -1 1077944384 2018 0 0 0 28 3 0 0 20 0 28 0 446972012 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078740507408 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11902] ppid=11891 vsize=28768336 memory=1432 CPUtime=0.3 cores=0-7 /proc/11893/task/11902/stat : 11902 (java) S 11891 11891 7356 0 -1 1077944384 2200 0 0 0 28 2 0 0 20 0 28 0 446972012 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078739454864 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11903] ppid=11891 vsize=28768336 memory=776 CPUtime=0.34 cores=0-7 /proc/11893/task/11903/stat : 11903 (java) S 11891 11891 7356 0 -1 1077944384 4628 0 0 0 28 6 0 0 20 0 28 0 446972013 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078579841264 140079195130498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11904] ppid=11891 vsize=28768336 memory=1056 CPUtime=0 cores=0-7 /proc/11893/task/11904/stat : 11904 (java) S 11891 11891 7356 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 446972014 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078578787552 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11905] ppid=11891 vsize=28768336 memory=4000 CPUtime=0 cores=0-7 /proc/11893/task/11905/stat : 11905 (java) S 11891 11891 7356 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 446972014 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078577734400 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11906] ppid=11891 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/11893/task/11906/stat : 11906 (java) S 11891 11891 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446972016 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078576682960 140079195137947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11907] ppid=11891 vsize=28768336 memory=250400 CPUtime=2.03 cores=0-7 /proc/11893/task/11907/stat : 11907 (java) S 11891 11891 7356 0 -1 1077944384 14026 0 0 0 201 2 0 0 20 0 28 0 446972016 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078575631088 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11908] ppid=11891 vsize=28768336 memory=14408211662899591 CPUtime=1.97 cores=0-7 /proc/11893/task/11908/stat : 11908 (java) S 11891 11891 7356 0 -1 1077944384 11114 0 0 0 195 2 0 0 20 0 28 0 446972016 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078574578544 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11909] ppid=11891 vsize=28768336 memory=14012 CPUtime=2.05 cores=0-7 /proc/11893/task/11909/stat : 11909 (java) S 11891 11891 7356 0 -1 1077944384 11530 0 0 0 203 2 0 0 20 0 28 0 446972016 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078573525488 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11910] ppid=11891 vsize=28768336 memory=14080 CPUtime=0.78 cores=0-7 /proc/11893/task/11910/stat : 11910 (java) S 11891 11891 7356 0 -1 1077944384 7055 0 0 0 77 1 0 0 20 0 28 0 446972016 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078572472944 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11911] ppid=11891 vsize=28768336 memory=26228 CPUtime=0 cores=0-7 /proc/11893/task/11911/stat : 11911 (java) S 11891 11891 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446972017 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078571420128 140079195129557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=11912] ppid=11891 vsize=28768336 memory=248352 CPUtime=0.06 cores=0-7 /proc/11893/task/11912/stat : 11912 (java) S 11891 11891 7356 0 -1 1077944384 940 0 0 0 3 3 0 0 20 0 28 0 446972017 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078570367664 140079195130498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12001] ppid=11891 vsize=28768336 memory=0 CPUtime=246.15 cores=0-7 /proc/11893/task/12001/stat : 12001 (java) R 11891 11891 7356 0 -1 4202560 6008 0 0 0 24614 1 0 0 20 0 28 0 446972334 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078557988752 140078837493021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12002] ppid=11891 vsize=28768336 memory=14408211662899591 CPUtime=246.35 cores=0-7 /proc/11893/task/12002/stat : 12002 (java) R 11891 11891 7356 0 -1 4202560 1408 0 0 0 24634 1 0 0 20 0 28 0 446972334 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078554832632 140078838110365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12003] ppid=11891 vsize=28768336 memory=5931915179777616490 CPUtime=246.59 cores=0-7 /proc/11893/task/12003/stat : 12003 (java) R 11891 11891 7356 0 -1 4202560 1663 0 0 0 24658 1 0 0 20 0 28 0 446972334 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078559046800 140078837492779 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12004] ppid=11891 vsize=28768336 memory=5931915179777616490 CPUtime=247.32 cores=0-7 /proc/11893/task/12004/stat : 12004 (java) R 11891 11891 7356 0 -1 4202560 2789 0 0 0 24729 3 0 0 20 0 28 0 446972334 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078561149432 140078837538433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12005] ppid=11891 vsize=28768336 memory=5931915179777616490 CPUtime=247.29 cores=0-7 /proc/11893/task/12005/stat : 12005 (java) R 11891 11891 7356 0 -1 4202560 2478 0 0 0 24728 1 0 0 20 0 28 0 446972334 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078553780456 140078837538433 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12006] ppid=11891 vsize=28768336 memory=7307462384227805284 CPUtime=246.84 cores=0-7 /proc/11893/task/12006/stat : 12006 (java) R 11891 11891 7356 0 -1 4202560 2028 0 0 0 24683 1 0 0 20 0 28 0 446972334 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078556938504 140078837538327 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12007] ppid=11891 vsize=28768336 memory=7596003982299451986 CPUtime=246.27 cores=0-7 /proc/11893/task/12007/stat : 12007 (java) R 11891 11891 7356 0 -1 4202560 1341 0 0 0 24626 1 0 0 20 0 28 0 446972334 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078560096232 140078837492779 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 [pid=11893/tid=12008] ppid=11891 vsize=28768336 memory=6946073802579471720 CPUtime=247.25 cores=0-7 /proc/11893/task/12008/stat : 12008 (java) R 11891 11891 7356 0 -1 4202560 1902 0 0 0 24724 1 0 0 20 0 28 0 446972336 29458776064 62600 33554432000 4194304 4196468 140734737933696 140078555886024 140078837458433 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28106752 140734737941488 140734737941659 140734737941659 140734737944527 0 Current children cumulated CPU time: 1999.44 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 251848 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.035 s] # the end of solver process 11891 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000777 s, system=0.001554 s [startup+252.097 s] # the end of solver process 11893 was just reported to runsolver # cumulated CPU time of all completed processes: user=1999.38 s, system=0.682008 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): 252.097 CPU time (s): 2000.06 CPU user time (s): 1999.38 CPU system time (s): 0.682008 CPU usage (%): 793.371 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 251848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1999.38 system time used= 0.682008 maximum resident set size= 251360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100259 page faults= 0 swaps= 0 block input operations= 0 block output operations= 504 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33543 involuntary context switches= 24265 # summary of solver processes directly reported to runsolver: # pid: 11891,11893 # total CPU time (s): 2000.06 # total CPU user time (s): 1999.38 # total CPU system time (s): 0.682008 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.76001 second user time and 2.36241 second system time The end
Begin job on node145 at 2019-09-17 10:51:53 IDJOB=4400272 IDBENCH=124144 IDSOLVER=2855 FILE ID=node145/4400272-1568710355 RUNJOBID= node145-1568701156-7383 PBS_JOBID= 21703915 Free space on /tmp= 59532 MiB SOLVER NAME= choco-solver 2019-09-16 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 /tmp/evaluation-result-4400272-1568710355/watcher-4400272-1568710355 -o /tmp/evaluation-result-4400272-1568710355/solver-4400272-1568710355 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 455948584 HOME/instance-4400272-1568710355.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3320713010bd27ff074c3709fe864950 RANDOM SEED=455948584 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: 29332820 kB MemAvailable: 31849480 kB Buffers: 190160 kB Cached: 2617316 kB SwapCached: 41072 kB Active: 1386720 kB Inactive: 1465380 kB Active(anon): 7300 kB Inactive(anon): 86528 kB Active(file): 1379420 kB Inactive(file): 1378852 kB Unevictable: 109612 kB Mlocked: 109612 kB SwapTotal: 67108860 kB SwapFree: 66958320 kB Dirty: 25988 kB Writeback: 0 kB AnonPages: 170420 kB Mapped: 48916 kB Shmem: 40616 kB Slab: 176892 kB SReclaimable: 148444 kB SUnreclaim: 28448 kB KernelStack: 3728 kB PageTables: 5324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506328 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 124928 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59508 MiB End job on node145 at 2019-09-17 10:56:06