Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7b seq (e747e1e) | SAT (TO) | 115 | 252.111 | 247.024 |
| Name | LowAutocorrelation/ LowAutocorrelation-030_c18.xml |
| MD5SUM | 2e7b3311de08b1eac0c79f49a369770d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 67 |
| Best CPU time to get the best result obtained on this benchmark | 252.092 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 929 |
| Number of constraints | 493 |
| Number of domains | 59 |
| Minimum domain size | 2 |
| Maximum domain size | 59 |
| Distribution of domain sizes | [{"size":2,"count":466},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":2},{"size":28,"count":1},{"size":29,"count":2},{"size":30,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1},{"size":53,"count":1},{"size":55,"count":1},{"size":57,"count":1},{"size":59,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 29 |
| Distribution of variable degrees | [{"degree":0,"count":406},{"degree":2,"count":493},{"degree":29,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":2,"count":30},{"arity":3,"count":436},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 464 |
| Distribution of constraint types | [{"type":"intension","count":464},{"type":"sum","count":29}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4301882-1532886609.xml" -tl '252s' -p 1 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4301882-1532886609.xml, -tl, 252s, -p, 1] 0.11/0.21 c simple solver 0.34/0.28 c parse instance... 1.58/0.75 c solve instance... 1.92/0.84 o 187 2.26/0.93 o 179 4.96/2.03 o 163 7.67/3.55 o 155 10.03/5.69 o 139 26.57/21.98 o 131 31.08/26.42 o 115 252.08/247.01 s SATISFIABLE 252.08/247.01 v <instantiation> 252.08/247.01 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[25][0] y[25][1] y[25][2] y[25][3] y[26][0] y[26][1] y[26][2] y[27][0] y[27][1] y[28][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] </list> 252.08/247.01 v <values>-1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -3 0 1 -2 1 2 1 4 1 0 1 -2 -3 -2 1 -4 1 0 -3 -2 1 2 -3 0 -3 0 1 2 1 9 0 1 4 1 4 1 16 1 0 1 4 9 4 1 16 1 0 9 4 1 4 9 0 9 0 1 4 1 </values> 252.08/247.01 v </instantiation> 252.08/247.01 c Unexpected resolution interruption!
OK 115
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 (10486 MiB free)
memory of node 1: 16384 MiB (12659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301882-1532886609/watcher-4301882-1532886609 -o /tmp/evaluation-result-4301882-1532886609/solver-4301882-1532886609 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312 HOME/xcsp3-exec -seed 250858118 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301882-1532886609.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13455, runsolver pid=13452
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 1.96 1.90 1.89 4/218 13471
/proc/meminfo: memFree=23684004/32770624 swapFree=67108860/67108860
[pid=13455] ppid=13452 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13455/stat : 13455 (xcsp3-exec) S 13452 13455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106224097 115843072 364 33554432000 4194304 5098028 140733112833792 140733112831896 140494677652092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27013120 140733112837185 140733112837385 140733112837385 140733112840138 0
/proc/13455/statm: 28282 364 306 221 0 87 0
[pid=13457] ppid=13455 vsize=14082940 memory=28572 CPUtime=0.11 cores=1,3,5,7
/proc/13457/stat : 13457 (java) S 13455 13455 6396 0 -1 1077944320 5571 0 0 0 10 1 0 0 20 0 15 0 106224097 14420930560 7143 33554432000 4194304 4196468 140721549290848 140721549273392 140232412892919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
/proc/13457/statm: 3520735 7143 2998 1 0 3483012 0
[pid=13457/tid=13458] ppid=13455 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/13457/task/13458/stat : 13458 (java) R 13455 13455 6396 0 -1 4202560 3580 0 0 0 8 1 0 0 20 0 15 0 106224097 14420930560 7143 33554432000 4194304 4196468 140721549290848 140232417122096 140232412904854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13459] ppid=13455 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13459/stat : 13459 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224098 14420930560 7143 33554432000 4194304 4196468 140721549290848 140232365513744 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13460] ppid=13455 vsize=14082940 memory=140016648783488 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13460/stat : 13460 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224098 14420930560 7143 33554432000 4194304 4196468 140721549290848 140232364461200 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13461] ppid=13455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13461/stat : 13461 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224098 14420930560 7143 33554432000 4194304 4196468 140721549290848 140232363408144 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13462] ppid=13455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13462/stat : 13462 (java) S 13455 13455 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106224098 14420930560 7143 33554432000 4194304 4196468 140721549290848 140232362355600 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13463] ppid=13455 vsize=14082940 memory=140016648783488 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13463/stat : 13463 (java) S 13455 13455 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106224099 14420930560 7143 33554432000 4194304 4196468 140721549290848 140231752792304 140232412904066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13464] ppid=13455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13464/stat : 13464 (java) S 13455 13455 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106224100 14420930560 7143 33554432000 4194304 4196468 140721549290848 140231751738528 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13465] ppid=13455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13465/stat : 13465 (java) S 13455 13455 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106224100 14420930560 7143 33554432000 4194304 4196468 140721549290848 140231750685424 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13466] ppid=13455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13466/stat : 13466 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224102 14420930560 7143 33554432000 4194304 4196468 140721549290848 140231749634000 140232412911515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13467] ppid=13455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13467/stat : 13467 (java) S 13455 13455 6396 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 106224103 14420930560 7143 33554432000 4194304 4196468 140721549290848 140231748582128 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13468] ppid=13455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13468/stat : 13468 (java) S 13455 13455 6396 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 106224103 14420930560 7143 33554432000 4194304 4196468 140721549290848 140231747529584 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13469] ppid=13455 vsize=14082940 memory=140016648783488 CPUtime=0.01 cores=1,3,5,7
/proc/13457/task/13469/stat : 13469 (java) R 13455 13455 6396 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 106224103 14420930560 7208 33554432000 4194304 4196468 140721549290848 140231746476528 140232391913331 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13470] ppid=13455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13470/stat : 13470 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224103 14420930560 7208 33554432000 4194304 4196468 140721549290848 140231745424224 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13471] ppid=13455 vsize=14082940 memory=140016648783488 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13471/stat : 13471 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224103 14420930560 7208 33554432000 4194304 4196468 140721549290848 140231744371248 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30028 KiB
[startup+0.210783 s]*
/proc/loadavg: 1.96 1.90 1.89 4/218 13471
/proc/meminfo: memFree=23672220/32770624 swapFree=67108860/67108860
[pid=13455] ppid=13452 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13455/stat : 13455 (xcsp3-exec) S 13452 13455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106224097 115843072 364 33554432000 4194304 5098028 140733112833792 140733112831896 140494677652092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27013120 140733112837185 140733112837385 140733112837385 140733112840138 0
/proc/13455/statm: 28282 364 306 221 0 87 0
[pid=13457] ppid=13455 vsize=14082940 memory=41188 CPUtime=0.34 cores=1,3,5,7
/proc/13457/stat : 13457 (java) S 13455 13455 6396 0 -1 1077944320 8345 0 0 0 31 3 0 0 20 0 15 0 106224097 14420930560 10297 33554432000 4194304 4196468 140721549290848 140721549273392 140232412892919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
/proc/13457/statm: 3520735 10297 3208 1 0 3483012 0
[pid=13457/tid=13458] ppid=13455 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/13457/task/13458/stat : 13458 (java) R 13455 13455 6396 0 -1 4202560 5442 0 0 0 18 2 0 0 20 0 15 0 106224097 14420930560 10297 33554432000 4194304 4196468 140721549290848 140232417127904 140232396973406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13459] ppid=13455 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13459/stat : 13459 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224098 14420930560 10297 33554432000 4194304 4196468 140721549290848 140232365513744 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13460] ppid=13455 vsize=14082940 memory=3475003799588898464 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13460/stat : 13460 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224098 14420930560 10297 33554432000 4194304 4196468 140721549290848 140232364461200 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13461] ppid=13455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13461/stat : 13461 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224098 14420930560 10297 33554432000 4194304 4196468 140721549290848 140232363408144 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13462] ppid=13455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13462/stat : 13462 (java) S 13455 13455 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106224098 14420930560 10297 33554432000 4194304 4196468 140721549290848 140232362355600 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13463] ppid=13455 vsize=14082940 memory=140016648783488 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13463/stat : 13463 (java) S 13455 13455 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106224099 14420930560 10297 33554432000 4194304 4196468 140721549290848 140231752792304 140232412904066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13464] ppid=13455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13464/stat : 13464 (java) S 13455 13455 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106224100 14420930560 10297 33554432000 4194304 4196468 140721549290848 140231751738528 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13465] ppid=13455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13465/stat : 13465 (java) S 13455 13455 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106224100 14420930560 10297 33554432000 4194304 4196468 140721549290848 140231750685424 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13466] ppid=13455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13466/stat : 13466 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224102 14420930560 10297 33554432000 4194304 4196468 140721549290848 140231749634000 140232412911515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13467] ppid=13455 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13457/task/13467/stat : 13467 (java) S 13455 13455 6396 0 -1 1077944384 619 0 0 0 2 0 0 0 20 0 15 0 106224103 14420930560 10297 33554432000 4194304 4196468 140721549290848 140231748582128 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13468] ppid=13455 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13457/task/13468/stat : 13468 (java) S 13455 13455 6396 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 15 0 106224103 14420930560 10297 33554432000 4194304 4196468 140721549290848 140231747529584 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13469] ppid=13455 vsize=14082940 memory=140016648783488 CPUtime=0.08 cores=1,3,5,7
/proc/13457/task/13469/stat : 13469 (java) S 13455 13455 6396 0 -1 1077944384 771 0 0 0 8 0 0 0 20 0 15 0 106224103 14420930560 10361 33554432000 4194304 4196468 140721549290848 140231746476528 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13470] ppid=13455 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13470/stat : 13470 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224103 14420930560 10361 33554432000 4194304 4196468 140721549290848 140231745424224 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13471] ppid=13455 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13471/stat : 13471 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224103 14420930560 10361 33554432000 4194304 4196468 140721549290848 140231744371248 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42644 KiB
[startup+0.316212 s]*
/proc/loadavg: 1.96 1.90 1.89 4/218 13471
/proc/meminfo: memFree=23665396/32770624 swapFree=67108860/67108860
[pid=13455] ppid=13452 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13455/stat : 13455 (xcsp3-exec) S 13452 13455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106224097 115843072 364 33554432000 4194304 5098028 140733112833792 140733112831896 140494677652092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27013120 140733112837185 140733112837385 140733112837385 140733112840138 0
/proc/13455/statm: 28282 364 306 221 0 87 0
[pid=13457] ppid=13455 vsize=14087196 memory=48432 CPUtime=0.54 cores=1,3,5,7
/proc/13457/stat : 13457 (java) S 13455 13455 6396 0 -1 1077944320 9313 0 0 0 50 4 0 0 20 0 15 0 106224097 14425288704 12108 33554432000 4194304 4196468 140721549290848 140721549273392 140232412892919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
/proc/13457/statm: 3521799 12108 3253 1 0 3483012 0
[pid=13457/tid=13458] ppid=13455 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/13457/task/13458/stat : 13458 (java) R 13455 13455 6396 0 -1 4202560 6228 0 0 0 28 2 0 0 20 0 15 0 106224097 14425288704 12108 33554432000 4194304 4196468 140721549290848 140232417126976 140232396973406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13459] ppid=13455 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13459/stat : 13459 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224098 14425288704 12173 33554432000 4194304 4196468 140721549290848 140232365513744 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13460] ppid=13455 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13460/stat : 13460 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224098 14425288704 12173 33554432000 4194304 4196468 140721549290848 140232364461200 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13461] ppid=13455 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13461/stat : 13461 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224098 14425288704 12173 33554432000 4194304 4196468 140721549290848 140232363408144 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13462] ppid=13455 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13462/stat : 13462 (java) S 13455 13455 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106224098 14425288704 12173 33554432000 4194304 4196468 140721549290848 140232362355600 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13463] ppid=13455 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13463/stat : 13463 (java) S 13455 13455 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106224099 14425288704 12173 33554432000 4194304 4196468 140721549290848 140231752792304 140232412904066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13464] ppid=13455 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13464/stat : 13464 (java) S 13455 13455 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106224100 14425288704 12173 33554432000 4194304 4196468 140721549290848 140231751738528 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13465] ppid=13455 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13465/stat : 13465 (java) S 13455 13455 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106224100 14425288704 12173 33554432000 4194304 4196468 140721549290848 140231750685424 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13466] ppid=13455 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13466/stat : 13466 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224102 14425288704 12173 33554432000 4194304 4196468 140721549290848 140231749634000 140232412911515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13467] ppid=13455 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=1,3,5,7
/proc/13457/task/13467/stat : 13467 (java) S 13455 13455 6396 0 -1 1077944384 711 0 0 0 5 0 0 0 20 0 15 0 106224103 14425288704 12173 33554432000 4194304 4196468 140721549290848 140231748582128 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13468] ppid=13455 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13457/task/13468/stat : 13468 (java) S 13455 13455 6396 0 -1 1077944384 234 0 0 0 3 0 0 0 20 0 15 0 106224103 14425288704 12173 33554432000 4194304 4196468 140721549290848 140231747529584 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13469] ppid=13455 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/13457/task/13469/stat : 13469 (java) S 13455 13455 6396 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 106224103 14425288704 12173 33554432000 4194304 4196468 140721549290848 140231746476528 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13470] ppid=13455 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13470/stat : 13470 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224103 14425288704 12173 33554432000 4194304 4196468 140721549290848 140231745424224 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13471] ppid=13455 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13471/stat : 13471 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224103 14425288704 12173 33554432000 4194304 4196468 140721549290848 140231744371248 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49888 KiB
[startup+0.701254 s]
/proc/loadavg: 1.96 1.90 1.89 6/218 13471
/proc/meminfo: memFree=23652740/32770624 swapFree=67108860/67108860
[pid=13455] ppid=13452 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13455/stat : 13455 (xcsp3-exec) S 13452 13455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106224097 115843072 364 33554432000 4194304 5098028 140733112833792 140733112831896 140494677652092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27013120 140733112837185 140733112837385 140733112837385 140733112840138 0
/proc/13455/statm: 28282 364 306 221 0 87 0
[pid=13457] ppid=13455 vsize=14089320 memory=85736 CPUtime=1.58 cores=1,3,5,7
/proc/13457/stat : 13457 (java) S 13455 13455 6396 0 -1 1077944320 13053 0 0 0 152 6 0 0 20 0 15 0 106224097 14427463680 21434 33554432000 4194304 4196468 140721549290848 140721549273392 140232412892919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
/proc/13457/statm: 3522330 21434 3359 1 0 3483524 0
[pid=13457/tid=13458] ppid=13455 vsize=14089320 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/13457/task/13458/stat : 13458 (java) R 13455 13455 6396 0 -1 4202560 7063 0 0 0 63 3 0 0 20 0 15 0 106224097 14427463680 21434 33554432000 4194304 4196468 140721549290848 140232417127424 140232397422629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13459] ppid=13455 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13459/stat : 13459 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224098 14427463680 21434 33554432000 4194304 4196468 140721549290848 140232365513744 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13460] ppid=13455 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13460/stat : 13460 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224098 14427463680 21434 33554432000 4194304 4196468 140721549290848 140232364461200 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13461] ppid=13455 vsize=14089320 memory=30232 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13461/stat : 13461 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224098 14427463680 21434 33554432000 4194304 4196468 140721549290848 140232363408144 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13462] ppid=13455 vsize=14089320 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13462/stat : 13462 (java) S 13455 13455 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106224098 14427463680 21434 33554432000 4194304 4196468 140721549290848 140232362355600 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13463] ppid=13455 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13463/stat : 13463 (java) S 13455 13455 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106224099 14427463680 21434 33554432000 4194304 4196468 140721549290848 140231752792304 140232412904066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13464] ppid=13455 vsize=14089320 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13464/stat : 13464 (java) S 13455 13455 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106224100 14427463680 21434 33554432000 4194304 4196468 140721549290848 140231751738528 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13465] ppid=13455 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13465/stat : 13465 (java) S 13455 13455 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106224100 14427463680 21434 33554432000 4194304 4196468 140721549290848 140231750685424 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13466] ppid=13455 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13466/stat : 13466 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224102 14427463680 21434 33554432000 4194304 4196468 140721549290848 140231749634000 140232412911515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13467] ppid=13455 vsize=14089320 memory=5408 CPUtime=0.24 cores=1,3,5,7
/proc/13457/task/13467/stat : 13467 (java) R 13455 13455 6396 0 -1 4202560 1513 0 0 0 24 0 0 0 20 0 15 0 106224103 14427463680 21434 33554432000 4194304 4196468 140721549290848 140231748568312 140232392150544 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13468] ppid=13455 vsize=14089320 memory=1008 CPUtime=0.22 cores=1,3,5,7
/proc/13457/task/13468/stat : 13468 (java) R 13455 13455 6396 0 -1 4202560 1056 0 0 0 22 0 0 0 20 0 15 0 106224103 14427463680 21434 33554432000 4194304 4196468 140721549290848 140231747521040 140232392226160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13469] ppid=13455 vsize=14089320 memory=9992 CPUtime=0.41 cores=1,3,5,7
/proc/13457/task/13469/stat : 13469 (java) R 13455 13455 6396 0 -1 4202560 2112 0 0 0 41 0 0 0 20 0 15 0 106224103 14427463680 21434 33554432000 4194304 4196468 140721549290848 140231746476528 140232412914266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13470] ppid=13455 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13470/stat : 13470 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224103 14427463680 21434 33554432000 4194304 4196468 140721549290848 140231745424224 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13471] ppid=13455 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13471/stat : 13471 (java) S 13455 13455 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106224103 14427463680 21434 33554432000 4194304 4196468 140721549290848 140231744371248 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 87192 KiB
[startup+1.50088 s]
/proc/loadavg: 1.96 1.90 1.89 5/218 13471
/proc/meminfo: memFree=23609320/32770624 swapFree=67108860/67108860
[pid=13455] ppid=13452 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13455/stat : 13455 (xcsp3-exec) S 13452 13455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106224097 115843072 364 33554432000 4194304 5098028 140733112833792 140733112831896 140494677652092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27013120 140733112837185 140733112837385 140733112837385 140733112840138 0
/proc/13455/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/13457/task/13465/stat : 13465 (java) S 13455 13455 6396 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106224100 14429560832 55329 33554432000 4194304 4196468 140721549290848 140231750685424 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13466] ppid=13455 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13466/stat : 13466 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224102 14429560832 55329 33554432000 4194304 4196468 140721549290848 140231749634000 140232412911515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13467] ppid=13455 vsize=14091368 memory=10249 CPUtime=1.93 cores=1,3,5,7
/proc/13457/task/13467/stat : 13467 (java) S 13455 13455 6396 0 -1 1077944384 14981 0 0 0 192 1 0 0 20 0 15 0 106224103 14429560832 55329 33554432000 4194304 4196468 140721549290848 140231748582128 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13468] ppid=13455 vsize=14091368 memory=1456 CPUtime=2.24 cores=1,3,5,7
/proc/13457/task/13468/stat : 13468 (java) S 13455 13455 6396 0 -1 1077944384 16887 0 0 0 222 2 0 0 20 0 15 0 106224103 14429560832 55329 33554432000 4194304 4196468 140721549290848 140231747529584 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13469] ppid=13455 vsize=14091368 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/13457/task/13469/stat : 13469 (java) S 13455 13455 6396 0 -1 1077944384 8522 0 0 0 67 2 0 0 20 0 15 0 106224103 14429560832 55329 33554432000 4194304 4196468 140721549290848 140231746476528 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13470] ppid=13455 vsize=14091368 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13470/stat : 13470 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224103 14429560832 55329 33554432000 4194304 4196468 140721549290848 140231745424224 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13471] ppid=13455 vsize=14091368 memory=30232 CPUtime=0.02 cores=1,3,5,7
/proc/13457/task/13471/stat : 13471 (java) S 13455 13455 6396 0 -1 1077944384 1001 0 0 0 1 1 0 0 20 0 15 0 106224103 14429560832 55329 33554432000 4194304 4196468 140721549290848 140231744371248 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
Current children cumulated CPU time: 107.19 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 222772 KiB
[startup+162.301 s]
/proc/loadavg: 1.99 1.94 1.91 3/217 13473
/proc/meminfo: memFree=23490200/32770624 swapFree=67108860/67108860
[pid=13455] ppid=13452 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13455/stat : 13455 (xcsp3-exec) S 13452 13455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106224097 115843072 364 33554432000 4194304 5098028 140733112833792 140733112831896 140494677652092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27013120 140733112837185 140733112837385 140733112837385 140733112840138 0
/proc/13455/statm: 28282 364 306 221 0 87 0
[pid=13457] ppid=13455 vsize=14091368 memory=227704 CPUtime=167.34 cores=1,3,5,7
/proc/13457/stat : 13457 (java) S 13455 13455 6396 0 -1 1077944320 61214 0 0 0 16720 14 0 0 20 0 15 0 106224097 14429560832 56926 33554432000 4194304 4196468 140721549290848 140721549273392 140232412892919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
/proc/13457/statm: 3522842 56926 3411 1 0 3484036 0
[pid=13457/tid=13458] ppid=13455 vsize=14091368 memory=1456 CPUtime=162.24 cores=1,3,5,7
/proc/13457/task/13458/stat : 13458 (java) R 13455 13455 6396 0 -1 4202560 13132 0 0 0 16219 5 0 0 20 0 15 0 106224097 14429560832 56926 33554432000 4194304 4196468 140721549290848 140232417129464 140232046661673 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13459] ppid=13455 vsize=14091368 memory=227704 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13459/stat : 13459 (java) S 13455 13455 6396 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 106224098 14429560832 56926 33554432000 4194304 4196468 140721549290848 140232365513744 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13460] ppid=13455 vsize=14091368 memory=227704 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13460/stat : 13460 (java) S 13455 13455 6396 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 15 0 106224098 14429560832 56926 33554432000 4194304 4196468 140721549290848 140232364461200 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13461] ppid=13455 vsize=14091368 memory=227704 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13461/stat : 13461 (java) S 13455 13455 6396 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 106224098 14429560832 56926 33554432000 4194304 4196468 140721549290848 140232363408144 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13462] ppid=13455 vsize=14091368 memory=227704 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13462/stat : 13462 (java) S 13455 13455 6396 0 -1 1077944384 1127 0 0 0 0 0 0 0 20 0 15 0 106224098 14429560832 56926 33554432000 4194304 4196468 140721549290848 140232362355600 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13463] ppid=13455 vsize=14091368 memory=227704 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13463/stat : 13463 (java) S 13455 13455 6396 0 -1 1077944384 682 0 0 0 0 0 0 0 20 0 15 0 106224099 14429560832 56926 33554432000 4194304 4196468 140721549290848 140231752792304 140232412904066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13464] ppid=13455 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13464/stat : 13464 (java) S 13455 13455 6396 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 106224100 14429560832 56926 33554432000 4194304 4196468 140721549290848 140231751738528 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13465] ppid=13455 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13465/stat : 13465 (java) S 13455 13455 6396 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106224100 14429560832 56926 33554432000 4194304 4196468 140721549290848 140231750685424 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13466] ppid=13455 vsize=14091368 memory=280033076287456 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13466/stat : 13466 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224102 14429560832 56926 33554432000 4194304 4196468 140721549290848 140231749634000 140232412911515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13467] ppid=13455 vsize=14091368 memory=1456 CPUtime=1.99 cores=1,3,5,7
/proc/13457/task/13467/stat : 13467 (java) S 13455 13455 6396 0 -1 1077944384 16023 0 0 0 198 1 0 0 20 0 15 0 106224103 14429560832 56926 33554432000 4194304 4196468 140721549290848 140231748582128 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13468] ppid=13455 vsize=14091368 memory=227704 CPUtime=2.3 cores=1,3,5,7
/proc/13457/task/13468/stat : 13468 (java) S 13455 13455 6396 0 -1 1077944384 18642 0 0 0 228 2 0 0 20 0 15 0 106224103 14429560832 56926 33554432000 4194304 4196468 140721549290848 140231747529584 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13469] ppid=13455 vsize=14091368 memory=1456 CPUtime=0.69 cores=1,3,5,7
/proc/13457/task/13469/stat : 13469 (java) S 13455 13455 6396 0 -1 1077944384 8649 0 0 0 67 2 0 0 20 0 15 0 106224103 14429560832 56926 33554432000 4194304 4196468 140721549290848 140231746476528 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13470] ppid=13455 vsize=14091368 memory=227704 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13470/stat : 13470 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224103 14429560832 56926 33554432000 4194304 4196468 140721549290848 140231745424224 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13471] ppid=13455 vsize=14091368 memory=227704 CPUtime=0.02 cores=1,3,5,7
/proc/13457/task/13471/stat : 13471 (java) S 13455 13455 6396 0 -1 1077944384 1043 0 0 0 1 1 0 0 20 0 15 0 106224103 14429560832 56926 33554432000 4194304 4196468 140721549290848 140231744371248 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
Current children cumulated CPU time: 167.34 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 229160 KiB
[startup+222.301 s]
/proc/loadavg: 2.03 1.96 1.92 3/217 13551
/proc/meminfo: memFree=23485672/32770624 swapFree=67108860/67108860
[pid=13455] ppid=13452 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13455/stat : 13455 (xcsp3-exec) S 13452 13455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106224097 115843072 364 33554432000 4194304 5098028 140733112833792 140733112831896 140494677652092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27013120 140733112837185 140733112837385 140733112837385 140733112840138 0
/proc/13455/statm: 28282 364 306 221 0 87 0
[pid=13457] ppid=13455 vsize=14091368 memory=227744 CPUtime=227.37 cores=1,3,5,7
/proc/13457/stat : 13457 (java) S 13455 13455 6396 0 -1 1077944320 62626 0 0 0 22723 14 0 0 20 0 15 0 106224097 14429560832 56936 33554432000 4194304 4196468 140721549290848 140721549273392 140232412892919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
/proc/13457/statm: 3522842 56936 3411 1 0 3484036 0
[pid=13457/tid=13458] ppid=13455 vsize=14091368 memory=227704 CPUtime=222.22 cores=1,3,5,7
/proc/13457/task/13458/stat : 13458 (java) R 13455 13455 6396 0 -1 4202560 13144 0 0 0 22217 5 0 0 20 0 15 0 106224097 14429560832 56936 33554432000 4194304 4196468 140721549290848 140232417132480 140232047795753 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13459] ppid=13455 vsize=14091368 memory=227744 CPUtime=0.01 cores=1,3,5,7
/proc/13457/task/13459/stat : 13459 (java) S 13455 13455 6396 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 15 0 106224098 14429560832 56936 33554432000 4194304 4196468 140721549290848 140232365513744 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13460] ppid=13455 vsize=14091368 memory=227744 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13460/stat : 13460 (java) S 13455 13455 6396 0 -1 1077944384 1016 0 0 0 0 0 0 0 20 0 15 0 106224098 14429560832 56936 33554432000 4194304 4196468 140721549290848 140232364461200 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13461] ppid=13455 vsize=14091368 memory=227744 CPUtime=0.01 cores=1,3,5,7
/proc/13457/task/13461/stat : 13461 (java) S 13455 13455 6396 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 15 0 106224098 14429560832 56936 33554432000 4194304 4196468 140721549290848 140232363408144 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13462] ppid=13455 vsize=14091368 memory=227744 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13462/stat : 13462 (java) S 13455 13455 6396 0 -1 1077944384 1132 0 0 0 0 0 0 0 20 0 15 0 106224098 14429560832 56936 33554432000 4194304 4196468 140721549290848 140232362355600 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13463] ppid=13455 vsize=14091368 memory=280033076287456 CPUtime=0.01 cores=1,3,5,7
/proc/13457/task/13463/stat : 13463 (java) S 13455 13455 6396 0 -1 1077944384 870 0 0 0 1 0 0 0 20 0 15 0 106224099 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231752792304 140232412904066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13464] ppid=13455 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13464/stat : 13464 (java) S 13455 13455 6396 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 106224100 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231751738528 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13465] ppid=13455 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13465/stat : 13465 (java) S 13455 13455 6396 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106224100 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231750685424 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13466] ppid=13455 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13466/stat : 13466 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224102 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231749634000 140232412911515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13467] ppid=13455 vsize=14091368 memory=227744 CPUtime=1.99 cores=1,3,5,7
/proc/13457/task/13467/stat : 13467 (java) S 13455 13455 6396 0 -1 1077944384 16089 0 0 0 198 1 0 0 20 0 15 0 106224103 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231748582128 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13468] ppid=13455 vsize=14091368 memory=2200 CPUtime=2.3 cores=1,3,5,7
/proc/13457/task/13468/stat : 13468 (java) S 13455 13455 6396 0 -1 1077944384 18642 0 0 0 228 2 0 0 20 0 15 0 106224103 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231747529584 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13469] ppid=13455 vsize=14091368 memory=7528 CPUtime=0.69 cores=1,3,5,7
/proc/13457/task/13469/stat : 13469 (java) S 13455 13455 6396 0 -1 1077944384 8746 0 0 0 67 2 0 0 20 0 15 0 106224103 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231746476528 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13470] ppid=13455 vsize=14091368 memory=227744 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13470/stat : 13470 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224103 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231745424224 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13471] ppid=13455 vsize=14091368 memory=4128 CPUtime=0.04 cores=1,3,5,7
/proc/13457/task/13471/stat : 13471 (java) S 13455 13455 6396 0 -1 1077944384 1047 0 0 0 2 2 0 0 20 0 15 0 106224103 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231744371248 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
Current children cumulated CPU time: 227.37 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 229200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+247.001 s]*
/proc/loadavg: 2.02 1.97 1.92 3/217 13552
/proc/meminfo: memFree=23485284/32770624 swapFree=67108860/67108860
[pid=13455] ppid=13452 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13455/stat : 13455 (xcsp3-exec) S 13452 13455 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106224097 115843072 364 33554432000 4194304 5098028 140733112833792 140733112831896 140494677652092 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27013120 140733112837185 140733112837385 140733112837385 140733112840138 0
/proc/13455/statm: 28282 364 306 221 0 87 0
[pid=13457] ppid=13455 vsize=14091368 memory=227744 CPUtime=252.08 cores=1,3,5,7
/proc/13457/stat : 13457 (java) S 13455 13455 6396 0 -1 1077944320 63030 0 0 0 25193 15 0 0 20 0 15 0 106224097 14429560832 56936 33554432000 4194304 4196468 140721549290848 140721549273392 140232412892919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
/proc/13457/statm: 3522842 56936 3411 1 0 3484036 0
[pid=13457/tid=13458] ppid=13455 vsize=14091368 memory=6791534058613427641 CPUtime=246.93 cores=1,3,5,7
/proc/13457/task/13458/stat : 13458 (java) R 13455 13455 6396 0 -1 4202560 13360 0 0 0 24688 5 0 0 20 0 15 0 106224097 14429560832 56936 33554432000 4194304 4196468 140721549290848 140232417132296 140232046897191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13459] ppid=13455 vsize=14091368 memory=4872558044660077418 CPUtime=0.01 cores=1,3,5,7
/proc/13457/task/13459/stat : 13459 (java) S 13455 13455 6396 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 15 0 106224098 14429560832 56936 33554432000 4194304 4196468 140721549290848 140232365513744 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13460] ppid=13455 vsize=14091368 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13460/stat : 13460 (java) S 13455 13455 6396 0 -1 1077944384 1016 0 0 0 0 0 0 0 20 0 15 0 106224098 14429560832 56936 33554432000 4194304 4196468 140721549290848 140232364461200 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13461] ppid=13455 vsize=14091368 memory=916 CPUtime=0.01 cores=1,3,5,7
/proc/13457/task/13461/stat : 13461 (java) S 13455 13455 6396 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 15 0 106224098 14429560832 56936 33554432000 4194304 4196468 140721549290848 140232363408144 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13462] ppid=13455 vsize=14091368 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13462/stat : 13462 (java) S 13455 13455 6396 0 -1 1077944384 1132 0 0 0 0 0 0 0 20 0 15 0 106224098 14429560832 56936 33554432000 4194304 4196468 140721549290848 140232362355600 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13463] ppid=13455 vsize=14091368 memory=932 CPUtime=0.01 cores=1,3,5,7
/proc/13457/task/13463/stat : 13463 (java) S 13455 13455 6396 0 -1 1077944384 872 0 0 0 1 0 0 0 20 0 15 0 106224099 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231752792304 140232412904066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13464] ppid=13455 vsize=14091368 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13464/stat : 13464 (java) S 13455 13455 6396 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 106224100 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231751738528 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13465] ppid=13455 vsize=14091368 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13465/stat : 13465 (java) S 13455 13455 6396 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106224100 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231750685424 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13466] ppid=13455 vsize=14091368 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13466/stat : 13466 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224102 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231749634000 140232412911515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13467] ppid=13455 vsize=14091368 memory=0 CPUtime=1.99 cores=1,3,5,7
/proc/13457/task/13467/stat : 13467 (java) S 13455 13455 6396 0 -1 1077944384 16091 0 0 0 198 1 0 0 20 0 15 0 106224103 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231748582128 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13468] ppid=13455 vsize=14091368 memory=24347 CPUtime=2.3 cores=1,3,5,7
/proc/13457/task/13468/stat : 13468 (java) S 13455 13455 6396 0 -1 1077944384 18644 0 0 0 228 2 0 0 20 0 15 0 106224103 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231747529584 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13469] ppid=13455 vsize=14091368 memory=23832 CPUtime=0.69 cores=1,3,5,7
/proc/13457/task/13469/stat : 13469 (java) S 13455 13455 6396 0 -1 1077944384 8924 0 0 0 67 2 0 0 20 0 15 0 106224103 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231746476528 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13470] ppid=13455 vsize=14091368 memory=1 CPUtime=0 cores=1,3,5,7
/proc/13457/task/13470/stat : 13470 (java) S 13455 13455 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106224103 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231745424224 140232412903125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
[pid=13457/tid=13471] ppid=13455 vsize=14091368 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/13457/task/13471/stat : 13471 (java) S 13455 13455 6396 0 -1 1077944384 1051 0 0 0 2 2 0 0 20 0 15 0 106224103 14429560832 56936 33554432000 4194304 4196468 140721549290848 140231744371248 140232412904066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 33890304 140721549296780 140721549296950 140721549296950 140721549299663 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 229200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+247.019 s]
# the end of solver process 13455 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002218 s, system=0 s
[startup+247.024 s]
# the end of solver process 13457 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.949 s, system=0.162075 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): 247.024
CPU time (s): 252.111
CPU user time (s): 251.949
CPU system time (s): 0.162075
CPU usage (%): 102.059
Max. virtual memory (cumulated for all children) (KiB): 14208292
Max. memory (cumulated for all children) (KiB): 229200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.949
system time used= 0.162075
maximum resident set size= 228352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8314
involuntary context switches= 167
# summary of solver processes directly reported to runsolver:
# pid: 13455,13457
# total CPU time (s): 252.111
# total CPU user time (s): 251.949
# total CPU system time (s): 0.162075
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58493 second user time and 2.05825 second system time
The end
Begin job on node139 at 2018-07-29 19:50:09 IDJOB=4301882 IDBENCH=141431 IDSOLVER=2772 FILE ID=node139/4301882-1532886609 RUNJOBID= node139-1532878307-6428 PBS_JOBID= 21022510 Free space on /tmp= 45028 MiB SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e) BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-030_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301882-1532886609/watcher-4301882-1532886609 -o /tmp/evaluation-result-4301882-1532886609/solver-4301882-1532886609 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312 HOME/xcsp3-exec -seed 250858118 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301882-1532886609.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2e7b3311de08b1eac0c79f49a369770d RANDOM SEED=250858118 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.80 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.80 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.80 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.80 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: 23701772 kB MemAvailable: 31717320 kB Buffers: 250912 kB Cached: 7878576 kB SwapCached: 0 kB Active: 3253460 kB Inactive: 5142860 kB Active(anon): 220820 kB Inactive(anon): 73544 kB Active(file): 3032640 kB Inactive(file): 5069316 kB Unevictable: 7308 kB Mlocked: 7308 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 22020 kB Writeback: 0 kB AnonPages: 273492 kB Mapped: 57564 kB Shmem: 25228 kB Slab: 371384 kB SReclaimable: 342052 kB SUnreclaim: 29332 kB KernelStack: 3584 kB PageTables: 5888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1296748 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 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= 45004 MiB End job on node139 at 2018-07-29 19:54:16