Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | SAT (TO) | 19 | 2005.78 | 252.086 |
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-4407472-1569346947.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407472-1569346947.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.37/0.67 c solve instance... 12.91/2.16 o 32 12.91/2.19 o 28 15.88/2.59 o 26 17.40/2.73 o 25 18.19/2.88 o 24 19.83/3.11 o 23 20.63/3.14 o 22 21.34/3.24 o 21 21.34/3.25 o 20 25.25/3.76 o 19 2005.20/252.07 s SATISFIABLE 2005.20/252.07 v <instantiation> 2005.20/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> 2005.20/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 1 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 5 2 2 1 0 0 0 2 0 0 0 0 1 0 0 0 0 7 1 0 0 0 0 1 0 0 0 0 0 0 0 5 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 7 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 1 0 0 0 0 1 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 4 0 0 0 0 8 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 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 7 0 2 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 1 3 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 5 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 </values> 2005.20/252.07 v </instantiation> 2005.20/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 (13219 MiB free) memory of node 1: 16384 MiB (11600 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407472-1569346947/watcher-4407472-1569346947 -o /tmp/evaluation-result-4407472-1569346947/solver-4407472-1569346947 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1301745985 HOME/instance-4407472-1569346947.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=13092, runsolver pid=13089 Current StackSize limit: 8192 KiB [startup+0.100144 s]* /proc/loadavg: 8.20 8.24 8.21 5/210 13113 /proc/meminfo: memFree=25399444/32770624 swapFree=66941040/67108860 [pid=13092] ppid=13089 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/13092/stat : 13092 (xcsp3-exec) S 13089 13092 9857 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510965460 115843072 362 33554432000 4194304 5098028 140729459426224 140729459424328 139855836537468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26230784 140729459430267 140729459430510 140729459430510 140729459433418 0 /proc/13092/statm: 28282 362 304 221 0 87 0 [pid=13094] ppid=13092 vsize=28227396 memory=30292 CPUtime=0.12 cores=0-7 /proc/13094/stat : 13094 (java) S 13092 13092 9857 0 -1 1077944320 5985 0 0 0 11 1 0 0 20 0 20 0 510965460 28904853504 7573 33554432000 4194304 4196468 140731163028976 140731163011520 139672323256055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 /proc/13094/statm: 7056849 7573 3157 1 0 7019032 0 [pid=13094/tid=13095] ppid=13092 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/13094/task/13095/stat : 13095 (java) R 13092 13092 9857 0 -1 4202560 3897 0 0 0 8 1 0 0 20 0 20 0 510965461 28904853504 7573 33554432000 4194304 4196468 140731163028976 139672327487984 139672323277981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13096] ppid=13092 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/13094/task/13096/stat : 13096 (java) S 13092 13092 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 7573 33554432000 4194304 4196468 140731163028976 139672275876240 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13097] ppid=13092 vsize=28227396 memory=139799346439808 CPUtime=0 cores=0-7 /proc/13094/task/13097/stat : 13097 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 7573 33554432000 4194304 4196468 140731163028976 139672274823440 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13098] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13098/stat : 13098 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 7573 33554432000 4194304 4196468 140731163028976 139672273771152 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13099] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13099/stat : 13099 (java) S 13092 13092 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 7573 33554432000 4194304 4196468 140731163028976 139672272718352 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13100] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13100/stat : 13100 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 7573 33554432000 4194304 4196468 140731163028976 139672271666064 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13101] ppid=13092 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13094/task/13101/stat : 13101 (java) S 13092 13092 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 7573 33554432000 4194304 4196468 140731163028976 139672270613264 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13102] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13102/stat : 13102 (java) S 13092 13092 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 7573 33554432000 4194304 4196468 140731163028976 139671868660880 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13103] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13103/stat : 13103 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 7573 33554432000 4194304 4196468 140731163028976 139671867608080 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13104] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13104/stat : 13104 (java) S 13092 13092 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510965463 28904853504 7573 33554432000 4194304 4196468 140731163028976 139670518204528 139672323267202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13105] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13105/stat : 13105 (java) S 13092 13092 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510965463 28904853504 7573 33554432000 4194304 4196468 140731163028976 139670517150496 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13106] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13106/stat : 13106 (java) S 13092 13092 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510965464 28904853504 7573 33554432000 4194304 4196468 140731163028976 139670516098160 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13107] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13107/stat : 13107 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965466 28904853504 7573 33554432000 4194304 4196468 140731163028976 139670515046480 139672323274651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13108] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13108/stat : 13108 (java) S 13092 13092 9857 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 510965466 28904853504 7573 33554432000 4194304 4196468 140731163028976 139670513994352 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13109] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13109/stat : 13109 (java) S 13092 13092 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510965466 28904853504 7573 33554432000 4194304 4196468 140731163028976 139670512941552 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13110] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13110/stat : 13110 (java) S 13092 13092 9857 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 510965466 28904853504 7573 33554432000 4194304 4196468 140731163028976 139670511889264 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13111] ppid=13092 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13094/task/13111/stat : 13111 (java) S 13092 13092 9857 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 510965466 28904853504 7573 33554432000 4194304 4196468 140731163028976 139670510836464 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13112] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13112/stat : 13112 (java) S 13092 13092 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510965466 28904853504 7573 33554432000 4194304 4196468 140731163028976 139670509783392 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13113] ppid=13092 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13094/task/13113/stat : 13113 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965467 28904853504 7573 33554432000 4194304 4196468 140731163028976 139670508730672 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31740 KiB [startup+0.210834 s]* /proc/loadavg: 8.20 8.24 8.21 3/210 13113 /proc/meminfo: memFree=25386840/32770624 swapFree=66941040/67108860 [pid=13092] ppid=13089 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/13092/stat : 13092 (xcsp3-exec) S 13089 13092 9857 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510965460 115843072 362 33554432000 4194304 5098028 140729459426224 140729459424328 139855836537468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26230784 140729459430267 140729459430510 140729459430510 140729459433418 0 /proc/13092/statm: 28282 362 304 221 0 87 0 [pid=13094] ppid=13092 vsize=28227396 memory=41272 CPUtime=0.34 cores=0-7 /proc/13094/stat : 13094 (java) S 13092 13092 9857 0 -1 1077944320 9543 0 0 0 31 3 0 0 20 0 20 0 510965460 28904853504 10318 33554432000 4194304 4196468 140731163028976 140731163011520 139672323256055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 /proc/13094/statm: 7056849 10318 3270 1 0 7019032 0 [pid=13094/tid=13095] ppid=13092 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/13094/task/13095/stat : 13095 (java) R 13092 13092 9857 0 -1 4202560 6722 0 0 0 18 2 0 0 20 0 20 0 510965461 28904853504 10318 33554432000 4194304 4196468 140731163028976 139672327493664 139672323267990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13096] ppid=13092 vsize=28227396 memory=288230587528118625 CPUtime=0 cores=0-7 /proc/13094/task/13096/stat : 13096 (java) S 13092 13092 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 10318 33554432000 4194304 4196468 140731163028976 139672275876240 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13097] ppid=13092 vsize=28227396 memory=139799346452195 CPUtime=0 cores=0-7 /proc/13094/task/13097/stat : 13097 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 10318 33554432000 4194304 4196468 140731163028976 139672274823440 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13098] ppid=13092 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13094/task/13098/stat : 13098 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 10318 33554432000 4194304 4196468 140731163028976 139672273771152 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13099] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13099/stat : 13099 (java) S 13092 13092 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 10318 33554432000 4194304 4196468 140731163028976 139672272718352 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13100] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13100/stat : 13100 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 10318 33554432000 4194304 4196468 140731163028976 139672271666064 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13101] ppid=13092 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13094/task/13101/stat : 13101 (java) S 13092 13092 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 10318 33554432000 4194304 4196468 140731163028976 139672270613264 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13102] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13102/stat : 13102 (java) S 13092 13092 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 10318 33554432000 4194304 4196468 140731163028976 139671868660880 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13103] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13103/stat : 13103 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965462 28904853504 10318 33554432000 4194304 4196468 140731163028976 139671867608080 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13104] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13104/stat : 13104 (java) S 13092 13092 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510965463 28904853504 10318 33554432000 4194304 4196468 140731163028976 139670518204528 139672323267202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13105] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13105/stat : 13105 (java) S 13092 13092 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510965463 28904853504 10318 33554432000 4194304 4196468 140731163028976 139670517150496 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13106] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13106/stat : 13106 (java) S 13092 13092 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510965464 28904853504 10318 33554432000 4194304 4196468 140731163028976 139670516098160 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13107] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13107/stat : 13107 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965466 28904853504 10318 33554432000 4194304 4196468 140731163028976 139670515046480 139672323274651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13108] ppid=13092 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13094/task/13108/stat : 13108 (java) S 13092 13092 9857 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 510965466 28904853504 10318 33554432000 4194304 4196468 140731163028976 139670513994352 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13109] ppid=13092 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13094/task/13109/stat : 13109 (java) S 13092 13092 9857 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 20 0 510965466 28904853504 10318 33554432000 4194304 4196468 140731163028976 139670512941552 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13110] ppid=13092 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13094/task/13110/stat : 13110 (java) S 13092 13092 9857 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 20 0 510965466 28904853504 10318 33554432000 4194304 4196468 140731163028976 139670511889264 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13111] ppid=13092 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/13094/task/13111/stat : 13111 (java) R 13092 13092 9857 0 -1 4202560 747 0 0 0 7 0 0 0 20 0 20 0 510965466 28904853504 10318 33554432000 4194304 4196468 140731163028976 139670510836464 139672323267990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13112] ppid=13092 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13112/stat : 13112 (java) S 13092 13092 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510965466 28904853504 10318 33554432000 4194304 4196468 140731163028976 139670509783392 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13113] ppid=13092 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13094/task/13113/stat : 13113 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965467 28904853504 10318 33554432000 4194304 4196468 140731163028976 139670508730672 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42720 KiB [startup+0.310481 s]* /proc/loadavg: 8.20 8.24 8.21 4/210 13113 /proc/meminfo: memFree=25379580/32770624 swapFree=66941040/67108860 [pid=13092] ppid=13089 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/13092/stat : 13092 (xcsp3-exec) S 13089 13092 9857 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510965460 115843072 362 33554432000 4194304 5098028 140729459426224 140729459424328 139855836537468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26230784 140729459430267 140729459430510 140729459430510 140729459433418 0 /proc/13092/statm: 28282 362 304 221 0 87 0 [pid=13094] ppid=13092 vsize=28231652 memory=50132 CPUtime=0.52 cores=0-7 /proc/13094/stat : 13094 (java) S 13092 13092 9857 0 -1 1077944320 10886 0 0 0 49 3 0 0 20 0 20 0 510965460 28909211648 12533 33554432000 4194304 4196468 140731163028976 140731163011520 139672323256055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 /proc/13094/statm: 7057913 12533 3367 1 0 7019032 0 [pid=13094/tid=13095] ppid=13092 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/13094/task/13095/stat : 13095 (java) R 13092 13092 9857 0 -1 4202560 7830 0 0 0 27 2 0 0 20 0 20 0 510965461 28909211648 12533 33554432000 4194304 4196468 140731163028976 139672327487168 139672307336542 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13096] ppid=13092 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13096/stat : 13096 (java) S 13092 13092 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510965462 28909211648 12533 33554432000 4194304 4196468 140731163028976 139672275876240 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13097] ppid=13092 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13097/stat : 13097 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965462 28909211648 12533 33554432000 4194304 4196468 140731163028976 139672274823440 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13098] ppid=13092 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13098/stat : 13098 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965462 28909211648 12533 33554432000 4194304 4196468 140731163028976 139672273771152 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13099] ppid=13092 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13099/stat : 13099 (java) S 13092 13092 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510965462 28909211648 12533 33554432000 4194304 4196468 140731163028976 139672272718352 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13100] ppid=13092 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13100/stat : 13100 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965462 28909211648 12533 33554432000 4194304 4196468 140731163028976 139672271666064 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13101] ppid=13092 vsize=28231652 memory=139799239420591 CPUtime=0 cores=0-7 /proc/13094/task/13101/stat : 13101 (java) S 13092 13092 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510965462 28909211648 12533 33554432000 4194304 4196468 140731163028976 139672270613264 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13102] ppid=13092 vsize=28231652 memory=139799239422896 CPUtime=0 cores=0-7 /proc/13094/task/13102/stat : 13102 (java) S 13092 13092 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510965462 28909211648 12533 33554432000 4194304 4196468 140731163028976 139671868660880 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13103] ppid=13092 vsize=28231652 memory=139799239425200 CPUtime=0 cores=0-7 /proc/13094/task/13103/stat : 13103 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965462 28909211648 12533 33554432000 4194304 4196468 140731163028976 139671867608080 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13104] ppid=13092 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13104/stat : 13104 (java) S 13092 13092 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510965463 28909211648 12533 33554432000 4194304 4196468 140731163028976 139670518204528 139672323267202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13105] ppid=13092 vsize=28231652 memory=279598478864272 CPUtime=0 cores=0-7 /proc/13094/task/13105/stat : 13105 (java) S 13092 13092 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510965463 28909211648 12533 33554432000 4194304 4196468 140731163028976 139670517150496 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13106] ppid=13092 vsize=28231652 memory=279598478861968 CPUtime=0 cores=0-7 /proc/13094/task/13106/stat : 13106 (java) S 13092 13092 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510965464 28909211648 12533 33554432000 4194304 4196468 140731163028976 139670516098160 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13107] ppid=13092 vsize=28231652 memory=279598478868880 CPUtime=0 cores=0-7 /proc/13094/task/13107/stat : 13107 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965466 28909211648 12533 33554432000 4194304 4196468 140731163028976 139670515046480 139672323274651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13108] ppid=13092 vsize=28231652 memory=279598478810160 CPUtime=0.02 cores=0-7 /proc/13094/task/13108/stat : 13108 (java) S 13092 13092 9857 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 20 0 510965466 28909211648 12533 33554432000 4194304 4196468 140731163028976 139670513994352 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13109] ppid=13092 vsize=28231652 memory=279598478882704 CPUtime=0.03 cores=0-7 /proc/13094/task/13109/stat : 13109 (java) R 13092 13092 9857 0 -1 4202560 297 0 0 0 3 0 0 0 20 0 20 0 510965466 28909211648 12533 33554432000 4194304 4196468 140731163028976 139670512922568 139672304800592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13110] ppid=13092 vsize=28231652 memory=279598478889616 CPUtime=0.02 cores=0-7 /proc/13094/task/13110/stat : 13110 (java) S 13092 13092 9857 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 20 0 510965466 28909211648 12533 33554432000 4194304 4196468 140731163028976 139670511889264 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13111] ppid=13092 vsize=28231652 memory=279598478887312 CPUtime=0.12 cores=0-7 /proc/13094/task/13111/stat : 13111 (java) S 13092 13092 9857 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 20 0 510965466 28909211648 12533 33554432000 4194304 4196468 140731163028976 139670510836464 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13112] ppid=13092 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13112/stat : 13112 (java) S 13092 13092 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510965466 28909211648 12533 33554432000 4194304 4196468 140731163028976 139670509783392 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13113] ppid=13092 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/13094/task/13113/stat : 13113 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510965467 28909211648 12533 33554432000 4194304 4196468 140731163028976 139670508730672 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51580 KiB [startup+0.70821 s] /proc/loadavg: 8.20 8.24 8.21 5/210 13113 /proc/meminfo: memFree=25365200/32770624 swapFree=66941040/67108860 [pid=13092] ppid=13089 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/13092/stat : 13092 (xcsp3-exec) S 13089 13092 9857 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510965460 115843072 362 33554432000 4194304 5098028 140729459426224 140729459424328 139855836537468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26230784 140729459430267 140729459430510 140729459430510 140729459433418 0 /proc/13092/statm: 28282 362 304 221 0 87 0 [pid=13094] ppid=13092 vsize=28766288 memory=118492 CPUtime=1.85 cores=0-7 /proc/13094/stat : 13094 (java) S 13092 13092 9857 0 -1 1077944320 16851 0 0 0 178 7 0 0 20 0 28 0 510965460 29456678912 29623 33554432000 4194304 4196468 140731163028976 140731163011520 139672323256055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 /proc/13094/statm: 7191572 29623 3464 1 0 7152672 0 [pid=13094/tid=13095] ppid=13092 vsize=28766288 memory=0 CPUtime=0.66 cores=0-7 /proc/13094/task/13095/stat : 13095 (java) S 13092 13092 9857 0 -1 1077944384 9227 0 0 0 62 4 0 0 20 0 28 0 510965461 29456678912 29623 33554432000 4194304 4196468 140731163028976 139672327496832 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13096] ppid=13092 vsize=28766288 memory=2353 CPUtime=0 cores=0-7 /proc/13094/task/13096/stat : 13096 (java) S 13092 13092 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510965462 29456678912 29623 33554432000 4194304 4196468 140731163028976 139672275876240 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13097] ppid=13092 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/13094/task/13097/stat : 13097 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510965462 29456678912 29623 33554432000 4194304 4196468 140731163028976 139672274823440 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13098] ppid=13092 vsize=28766288 memory=1416 CPUtime=0 cores=0-7 /proc/13094/task/13098/stat : 13098 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510965462 29456678912 29623 33554432000 4194304 4196468 140731163028976 139672273771152 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 ################ # More data... # ################ [pid=13094/tid=13201] ppid=13092 vsize=28769364 memory=306604 CPUtime=156.95 cores=0-7 /proc/13094/task/13201/stat : 13201 (java) R 13092 13092 9857 0 -1 4202560 1193 0 0 0 15695 0 0 0 20 0 28 0 510965837 29459828736 75373 33554432000 4194304 4196468 140731163028976 139670498696512 139671956617583 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 Current children cumulated CPU time: 1289.9 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 302940 KiB [startup+222.301 s] /proc/loadavg: 8.17 8.35 8.28 9/217 13215 /proc/meminfo: memFree=25159184/32770624 swapFree=66941040/67108860 [pid=13092] ppid=13089 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/13092/stat : 13092 (xcsp3-exec) S 13089 13092 9857 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510965460 115843072 362 33554432000 4194304 5098028 140729459426224 140729459424328 139855836537468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26230784 140729459430267 140729459430510 140729459430510 140729459433418 0 /proc/13092/statm: 28282 362 304 221 0 87 0 [pid=13094] ppid=13092 vsize=28769364 memory=269344 CPUtime=1768.33 cores=0-7 /proc/13094/stat : 13094 (java) S 13092 13092 9857 0 -1 1077944320 97660 0 0 0 176776 57 0 0 20 0 28 0 510965460 29459828736 67336 33554432000 4194304 4196468 140731163028976 140731163011520 139672323256055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 /proc/13094/statm: 7192341 67336 3539 1 0 7153441 0 [pid=13094/tid=13095] ppid=13092 vsize=28769364 memory=269344 CPUtime=0.67 cores=0-7 /proc/13094/task/13095/stat : 13095 (java) S 13092 13092 9857 0 -1 1077944384 9339 0 0 0 63 4 0 0 20 0 28 0 510965461 29459828736 67336 33554432000 4194304 4196468 140731163028976 139672327496832 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13096] ppid=13092 vsize=28769364 memory=269344 CPUtime=0.07 cores=0-7 /proc/13094/task/13096/stat : 13096 (java) S 13092 13092 9857 0 -1 1077944384 1783 0 0 0 5 2 0 0 20 0 28 0 510965462 29459828736 67336 33554432000 4194304 4196468 140731163028976 139672275876240 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13097] ppid=13092 vsize=28769364 memory=269344 CPUtime=0.07 cores=0-7 /proc/13094/task/13097/stat : 13097 (java) S 13092 13092 9857 0 -1 1077944384 1504 0 0 0 5 2 0 0 20 0 28 0 510965462 29459828736 67336 33554432000 4194304 4196468 140731163028976 139672274823440 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13098] ppid=13092 vsize=28769364 memory=1448 CPUtime=0.07 cores=0-7 /proc/13094/task/13098/stat : 13098 (java) S 13092 13092 9857 0 -1 1077944384 1490 0 0 0 6 1 0 0 20 0 28 0 510965462 29459828736 67336 33554432000 4194304 4196468 140731163028976 139672273771152 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13099] ppid=13092 vsize=28769364 memory=3620 CPUtime=0.08 cores=0-7 /proc/13094/task/13099/stat : 13099 (java) S 13092 13092 9857 0 -1 1077944384 768 0 0 0 7 1 0 0 20 0 28 0 510965462 29459828736 67336 33554432000 4194304 4196468 140731163028976 139672272718352 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13100] ppid=13092 vsize=28769364 memory=6140 CPUtime=0.09 cores=0-7 /proc/13094/task/13100/stat : 13100 (java) S 13092 13092 9857 0 -1 1077944384 1343 0 0 0 8 1 0 0 20 0 28 0 510965462 29459828736 67336 33554432000 4194304 4196468 140731163028976 139672271666064 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13101] ppid=13092 vsize=28769364 memory=780 CPUtime=0.08 cores=0-7 /proc/13094/task/13101/stat : 13101 (java) S 13092 13092 9857 0 -1 1077944384 1344 0 0 0 7 1 0 0 20 0 28 0 510965462 29459828736 67336 33554432000 4194304 4196468 140731163028976 139672270613264 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13102] ppid=13092 vsize=28769364 memory=284736 CPUtime=0.07 cores=0-7 /proc/13094/task/13102/stat : 13102 (java) S 13092 13092 9857 0 -1 1077944384 2491 0 0 0 6 1 0 0 20 0 28 0 510965462 29459828736 67336 33554432000 4194304 4196468 140731163028976 139671868660880 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13103] ppid=13092 vsize=28769364 memory=3620 CPUtime=0.08 cores=0-7 /proc/13094/task/13103/stat : 13103 (java) S 13092 13092 9857 0 -1 1077944384 540 0 0 0 7 1 0 0 20 0 28 0 510965462 29459828736 67336 33554432000 4194304 4196468 140731163028976 139671867608080 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13104] ppid=13092 vsize=28769364 memory=1448 CPUtime=0.06 cores=0-7 /proc/13094/task/13104/stat : 13104 (java) S 13092 13092 9857 0 -1 1077944384 3993 0 0 0 4 2 0 0 20 0 28 0 510965463 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670518204528 139672323267202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13105] ppid=13092 vsize=28769364 memory=290376 CPUtime=0 cores=0-7 /proc/13094/task/13105/stat : 13105 (java) S 13092 13092 9857 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 510965463 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670517150560 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13106] ppid=13092 vsize=28769364 memory=274472 CPUtime=0 cores=0-7 /proc/13094/task/13106/stat : 13106 (java) S 13092 13092 9857 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 510965464 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670516098176 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13107] ppid=13092 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/13094/task/13107/stat : 13107 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510965466 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670515046480 139672323274651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13108] ppid=13092 vsize=28769364 memory=1448 CPUtime=2.68 cores=0-7 /proc/13094/task/13108/stat : 13108 (java) S 13092 13092 9857 0 -1 1077944384 10497 0 0 0 266 2 0 0 20 0 28 0 510965466 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670513994352 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13109] ppid=13092 vsize=28769364 memory=1448 CPUtime=2.58 cores=0-7 /proc/13094/task/13109/stat : 13109 (java) S 13092 13092 9857 0 -1 1077944384 13338 0 0 0 256 2 0 0 20 0 28 0 510965466 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670512941552 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13110] ppid=13092 vsize=28769364 memory=3620 CPUtime=2.46 cores=0-7 /proc/13094/task/13110/stat : 13110 (java) S 13092 13092 9857 0 -1 1077944384 11251 0 0 0 244 2 0 0 20 0 28 0 510965466 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670511889264 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13111] ppid=13092 vsize=28769364 memory=1448 CPUtime=0.82 cores=0-7 /proc/13094/task/13111/stat : 13111 (java) S 13092 13092 9857 0 -1 1077944384 12672 0 0 0 79 3 0 0 20 0 28 0 510965466 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670510836464 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13112] ppid=13092 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/13094/task/13112/stat : 13112 (java) S 13092 13092 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510965466 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670509783392 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13113] ppid=13092 vsize=28769364 memory=269344 CPUtime=0.02 cores=0-7 /proc/13094/task/13113/stat : 13113 (java) S 13092 13092 9857 0 -1 1077944384 1146 0 0 0 1 1 0 0 20 0 28 0 510965467 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670508730672 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13194] ppid=13092 vsize=28769364 memory=1448 CPUtime=218.18 cores=0-7 /proc/13094/task/13194/stat : 13194 (java) R 13092 13092 9857 0 -1 4202560 1408 0 0 0 21818 0 0 0 20 0 28 0 510965836 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670496590664 139671956684279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13195] ppid=13092 vsize=28769364 memory=3620 CPUtime=217.62 cores=0-7 /proc/13094/task/13195/stat : 13195 (java) R 13092 13092 9857 0 -1 4202560 1237 0 0 0 21762 0 0 0 20 0 28 0 510965836 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670494486536 139671956684373 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13196] ppid=13092 vsize=28769364 memory=1448 CPUtime=216.94 cores=0-7 /proc/13094/task/13196/stat : 13196 (java) R 13092 13092 9857 0 -1 4202560 6306 0 0 0 21693 1 0 0 20 0 28 0 510965836 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670495539384 139671957020468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13197] ppid=13092 vsize=28769364 memory=1448 CPUtime=217.13 cores=0-7 /proc/13094/task/13197/stat : 13197 (java) R 13092 13092 9857 0 -1 4202560 3494 0 0 0 21706 7 0 0 20 0 28 0 510965836 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670499752928 139671956445516 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13198] ppid=13092 vsize=28769364 memory=269344 CPUtime=218.1 cores=0-7 /proc/13094/task/13198/stat : 13198 (java) R 13092 13092 9857 0 -1 4202560 2465 0 0 0 21807 3 0 0 20 0 28 0 510965836 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670493434408 139671956684373 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13199] ppid=13092 vsize=28769364 memory=7013094456695629460 CPUtime=218.22 cores=0-7 /proc/13094/task/13199/stat : 13199 (java) R 13092 13092 9857 0 -1 4202560 2168 0 0 0 21820 2 0 0 20 0 28 0 510965836 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670491328576 139671956617583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13200] ppid=13092 vsize=28769364 memory=1448 CPUtime=217.4 cores=0-7 /proc/13094/task/13200/stat : 13200 (java) R 13092 13092 9857 0 -1 4202560 1758 0 0 0 21739 1 0 0 20 0 28 0 510965837 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670497644184 139671956684095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13201] ppid=13092 vsize=28769364 memory=269344 CPUtime=216.85 cores=0-7 /proc/13094/task/13201/stat : 13201 (java) R 13092 13092 9857 0 -1 4202560 1311 0 0 0 21684 1 0 0 20 0 28 0 510965837 29459828736 67336 33554432000 4194304 4196468 140731163028976 139670498696760 139671956684095 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 Current children cumulated CPU time: 1768.33 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 270792 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.10 8.32 8.27 9/217 13216 /proc/meminfo: memFree=25178704/32770624 swapFree=66941040/67108860 [pid=13092] ppid=13089 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/13092/stat : 13092 (xcsp3-exec) S 13089 13092 9857 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510965460 115843072 362 33554432000 4194304 5098028 140729459426224 140729459424328 139855836537468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26230784 140729459430267 140729459430510 140729459430510 140729459433418 0 /proc/13092/statm: 28282 362 304 221 0 87 0 [pid=13094] ppid=13092 vsize=28769364 memory=250372 CPUtime=2005.2 cores=0-7 /proc/13094/stat : 13094 (java) S 13092 13092 9857 0 -1 1077944320 98845 0 0 0 200461 59 0 0 20 0 28 0 510965460 29459828736 62593 33554432000 4194304 4196468 140731163028976 140731163011520 139672323256055 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 /proc/13094/statm: 7192341 62593 3539 1 0 7153441 0 [pid=13094/tid=13095] ppid=13092 vsize=28769364 memory=6791534058613427641 CPUtime=0.67 cores=0-7 /proc/13094/task/13095/stat : 13095 (java) S 13092 13092 9857 0 -1 1077944384 9339 0 0 0 63 4 0 0 20 0 28 0 510965461 29459828736 62593 33554432000 4194304 4196468 140731163028976 139672327496832 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13096] ppid=13092 vsize=28769364 memory=4126316290023845779 CPUtime=0.09 cores=0-7 /proc/13094/task/13096/stat : 13096 (java) S 13092 13092 9857 0 -1 1077944384 1788 0 0 0 7 2 0 0 20 0 28 0 510965462 29459828736 62593 33554432000 4194304 4196468 140731163028976 139672275876240 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13097] ppid=13092 vsize=28769364 memory=1804 CPUtime=0.09 cores=0-7 /proc/13094/task/13097/stat : 13097 (java) S 13092 13092 9857 0 -1 1077944384 1523 0 0 0 7 2 0 0 20 0 28 0 510965462 29459828736 62593 33554432000 4194304 4196468 140731163028976 139672274823440 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13098] ppid=13092 vsize=28769364 memory=916 CPUtime=0.08 cores=0-7 /proc/13094/task/13098/stat : 13098 (java) S 13092 13092 9857 0 -1 1077944384 1564 0 0 0 7 1 0 0 20 0 28 0 510965462 29459828736 62593 33554432000 4194304 4196468 140731163028976 139672273771152 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13099] ppid=13092 vsize=28769364 memory=1416 CPUtime=0.09 cores=0-7 /proc/13094/task/13099/stat : 13099 (java) S 13092 13092 9857 0 -1 1077944384 774 0 0 0 8 1 0 0 20 0 28 0 510965462 29459828736 62593 33554432000 4194304 4196468 140731163028976 139672272718352 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13100] ppid=13092 vsize=28769364 memory=10728 CPUtime=0.1 cores=0-7 /proc/13094/task/13100/stat : 13100 (java) S 13092 13092 9857 0 -1 1077944384 1352 0 0 0 9 1 0 0 20 0 28 0 510965462 29459828736 62593 33554432000 4194304 4196468 140731163028976 139672271666064 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13101] ppid=13092 vsize=28769364 memory=1552 CPUtime=0.09 cores=0-7 /proc/13094/task/13101/stat : 13101 (java) S 13092 13092 9857 0 -1 1077944384 1348 0 0 0 8 1 0 0 20 0 28 0 510965462 29459828736 62593 33554432000 4194304 4196468 140731163028976 139672270613264 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13102] ppid=13092 vsize=28769364 memory=3984 CPUtime=0.08 cores=0-7 /proc/13094/task/13102/stat : 13102 (java) S 13092 13092 9857 0 -1 1077944384 2494 0 0 0 7 1 0 0 20 0 28 0 510965462 29459828736 62593 33554432000 4194304 4196468 140731163028976 139671868660880 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13103] ppid=13092 vsize=28769364 memory=2832 CPUtime=0.1 cores=0-7 /proc/13094/task/13103/stat : 13103 (java) S 13092 13092 9857 0 -1 1077944384 809 0 0 0 8 2 0 0 20 0 28 0 510965462 29459828736 62593 33554432000 4194304 4196468 140731163028976 139671867608080 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13104] ppid=13092 vsize=28769364 memory=2016 CPUtime=0.07 cores=0-7 /proc/13094/task/13104/stat : 13104 (java) S 13092 13092 9857 0 -1 1077944384 4024 0 0 0 5 2 0 0 20 0 28 0 510965463 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670518204528 139672323267202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13105] ppid=13092 vsize=28769364 memory=1416 CPUtime=0 cores=0-7 /proc/13094/task/13105/stat : 13105 (java) S 13092 13092 9857 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 510965463 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670517150560 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13106] ppid=13092 vsize=28769364 memory=988 CPUtime=0 cores=0-7 /proc/13094/task/13106/stat : 13106 (java) S 13092 13092 9857 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 510965464 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670516098176 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13107] ppid=13092 vsize=28769364 memory=139799239327929 CPUtime=0 cores=0-7 /proc/13094/task/13107/stat : 13107 (java) S 13092 13092 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510965466 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670515046480 139672323274651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13108] ppid=13092 vsize=28769364 memory=1416 CPUtime=2.68 cores=0-7 /proc/13094/task/13108/stat : 13108 (java) S 13092 13092 9857 0 -1 1077944384 10716 0 0 0 266 2 0 0 20 0 28 0 510965466 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670513994352 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13109] ppid=13092 vsize=28769364 memory=10728 CPUtime=2.6 cores=0-7 /proc/13094/task/13109/stat : 13109 (java) S 13092 13092 9857 0 -1 1077944384 13534 0 0 0 258 2 0 0 20 0 28 0 510965466 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670512941552 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13110] ppid=13092 vsize=28769364 memory=1552 CPUtime=2.46 cores=0-7 /proc/13094/task/13110/stat : 13110 (java) S 13092 13092 9857 0 -1 1077944384 11253 0 0 0 244 2 0 0 20 0 28 0 510965466 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670511889264 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13111] ppid=13092 vsize=28769364 memory=3984 CPUtime=0.82 cores=0-7 /proc/13094/task/13111/stat : 13111 (java) S 13092 13092 9857 0 -1 1077944384 12674 0 0 0 79 3 0 0 20 0 28 0 510965466 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670510836464 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13112] ppid=13092 vsize=28769364 memory=4096 CPUtime=0 cores=0-7 /proc/13094/task/13112/stat : 13112 (java) S 13092 13092 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510965466 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670509783392 139672323266261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13113] ppid=13092 vsize=28769364 memory=1412 CPUtime=0.02 cores=0-7 /proc/13094/task/13113/stat : 13113 (java) S 13092 13092 9857 0 -1 1077944384 1150 0 0 0 1 1 0 0 20 0 28 0 510965467 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670508730672 139672323267202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13194] ppid=13092 vsize=28769364 memory=3612 CPUtime=247.78 cores=0-7 /proc/13094/task/13194/stat : 13194 (java) R 13092 13092 9857 0 -1 4202560 1436 0 0 0 24778 0 0 0 20 0 28 0 510965836 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670496590664 139671951738764 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13195] ppid=13092 vsize=28769364 memory=1448 CPUtime=247.29 cores=0-7 /proc/13094/task/13195/stat : 13195 (java) R 13092 13092 9857 0 -1 4202560 1264 0 0 0 24729 0 0 0 20 0 28 0 510965836 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670494486456 139671956684256 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13196] ppid=13092 vsize=28769364 memory=253968 CPUtime=246.43 cores=0-7 /proc/13094/task/13196/stat : 13196 (java) R 13092 13092 9857 0 -1 4202560 6434 0 0 0 24642 1 0 0 20 0 28 0 510965836 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670495539384 139671956390819 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13197] ppid=13092 vsize=28769364 memory=784 CPUtime=246.53 cores=0-7 /proc/13094/task/13197/stat : 13197 (java) R 13092 13092 9857 0 -1 4202560 3546 0 0 0 24646 7 0 0 20 0 28 0 510965836 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670499750432 139671956684095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13198] ppid=13092 vsize=28769364 memory=1060 CPUtime=247.68 cores=0-7 /proc/13094/task/13198/stat : 13198 (java) R 13092 13092 9857 0 -1 4202560 2498 0 0 0 24765 3 0 0 20 0 28 0 510965836 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670493434296 139671956617245 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13199] ppid=13092 vsize=28769364 memory=1724 CPUtime=247.9 cores=0-7 /proc/13094/task/13199/stat : 13199 (java) R 13092 13092 9857 0 -1 4202560 2190 0 0 0 24788 2 0 0 20 0 28 0 510965836 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670491328688 139671956617245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13200] ppid=13092 vsize=28769364 memory=1228 CPUtime=247.08 cores=0-7 /proc/13094/task/13200/stat : 13200 (java) R 13092 13092 9857 0 -1 4202560 1785 0 0 0 24707 1 0 0 20 0 28 0 510965837 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670497644288 139671957020304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 [pid=13094/tid=13201] ppid=13092 vsize=28769364 memory=6140 CPUtime=246.52 cores=0-7 /proc/13094/task/13201/stat : 13201 (java) R 13092 13092 9857 0 -1 4202560 1336 0 0 0 24651 1 0 0 20 0 28 0 510965837 29459828736 62593 33554432000 4194304 4196468 140731163028976 139670498696832 139671957345174 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731163034608 140731163034779 140731163034779 140731163037647 0 Current children cumulated CPU time: 2005.2 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 251820 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.037 s] # the end of solver process 13092 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001174 s, system=0.001174 s [startup+252.086 s] # the end of solver process 13094 was just reported to runsolver # cumulated CPU time of all completed processes: user=2005.18 s, system=0.60155 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.086 CPU time (s): 2005.78 CPU user time (s): 2005.18 CPU system time (s): 0.60155 CPU usage (%): 795.672 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 386716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2005.18 system time used= 0.60155 maximum resident set size= 390900 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99804 page faults= 0 swaps= 0 block input operations= 0 block output operations= 472 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13884 involuntary context switches= 21417 # summary of solver processes directly reported to runsolver: # pid: 13092,13094 # total CPU time (s): 2005.78 # total CPU user time (s): 2005.18 # total CPU system time (s): 0.60155 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.1501 second user time and 2.73178 second system time The end
Begin job on node139 at 2019-09-24 19:44:40 IDJOB=4407472 IDBENCH=124144 IDSOLVER=2872 FILE ID=node139/4407472-1569346947 RUNJOBID= node139-1569336112-9884 PBS_JOBID= 21705055 Free space on /tmp= 5144 MiB SOLVER NAME= choco-solver 2019-09-24 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-4407472-1569346947/watcher-4407472-1569346947 -o /tmp/evaluation-result-4407472-1569346947/solver-4407472-1569346947 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1301745985 HOME/instance-4407472-1569346947.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3320713010bd27ff074c3709fe864950 RANDOM SEED=1301745985 node139.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.57 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.57 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.57 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.57 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: 25416424 kB MemAvailable: 31781708 kB Buffers: 105308 kB Cached: 6348388 kB SwapCached: 64832 kB Active: 3226372 kB Inactive: 3297512 kB Active(anon): 4432 kB Inactive(anon): 121752 kB Active(file): 3221940 kB Inactive(file): 3175760 kB Unevictable: 107100 kB Mlocked: 107100 kB SwapTotal: 67108860 kB SwapFree: 66941040 kB Dirty: 26092 kB Writeback: 0 kB AnonPages: 45316 kB Mapped: 57316 kB Shmem: 47380 kB Slab: 425240 kB SReclaimable: 396044 kB SUnreclaim: 29196 kB KernelStack: 3696 kB PageTables: 5288 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505052 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 5120 MiB End job on node139 at 2019-09-24 19:48:52