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) | 107 | 2520.09 | 2512.61 |
| 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 | 2520.05 |
| 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-4306740-1534110460.xml" -tl '2520s' -p 1 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4306740-1534110460.xml, -tl, 2520s, -p, 1] 0.12/0.21 c simple solver 0.34/0.28 c parse instance... 1.59/0.75 c solve instance... 1.92/0.84 o 187 2.26/0.93 o 179 5.32/2.06 o 163 7.86/3.56 o 155 10.14/5.69 o 139 27.15/22.02 o 131 31.56/26.47 o 115 704.61/698.99 o 107 2520.07/2512.60 s SATISFIABLE 2520.07/2512.60 v <instantiation> 2520.07/2512.60 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> 2520.07/2512.60 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 -2 -1 0 -1 2 1 0 1 -2 1 -6 1 2 -1 0 5 0 1 0 1 2 1 0 -1 2 -1 0 1 9 4 1 0 1 4 1 0 1 4 1 36 1 4 1 0 25 0 1 0 1 4 1 0 1 4 1 0 1 </values> 2520.07/2512.60 v </instantiation> 2520.07/2512.60 c Unexpected resolution interruption!
OK 107
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 (1814 MiB free)
memory of node 1: 16384 MiB (7022 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306740-1534110460/watcher-4306740-1534110460 -o /tmp/evaluation-result-4306740-1534110460/solver-4306740-1534110460 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534097780-4445 --watchdog 2580 HOME/xcsp3-exec -seed 337057822 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306740-1534110460.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=6253, runsolver pid=6250
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 1.69 1.57 1.63 3/217 6269
/proc/meminfo: memFree=9031800/32770624 swapFree=67108796/67108860
[pid=6253] ppid=6250 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6253/stat : 6253 (xcsp3-exec) S 6250 6253 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228609218 115843072 363 33554432000 4194304 5098028 140729919614912 140729919613016 140520754893436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37191680 140729919616059 140729919616260 140729919616260 140729919619018 0
/proc/6253/statm: 28282 363 306 221 0 87 0
[pid=6255] ppid=6253 vsize=14082940 memory=29252 CPUtime=0.12 cores=1,3,5,7
/proc/6255/stat : 6255 (java) S 6253 6253 4413 0 -1 1077944320 5669 0 0 0 11 1 0 0 20 0 15 0 228609219 14420930560 7313 33554432000 4194304 4196468 140733555599344 140733555581888 139675221352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
/proc/6255/statm: 3520735 7313 3020 1 0 3483012 0
[pid=6255/tid=6256] ppid=6253 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/6255/task/6256/stat : 6256 (java) R 6253 6253 4413 0 -1 4202560 3682 0 0 0 8 0 0 0 20 0 15 0 228609219 14420930560 7313 33554432000 4194304 4196468 140733555599344 139675225584432 139675205395813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6257] ppid=6253 vsize=14082940 memory=3472468125544826064 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6257/stat : 6257 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609220 14420930560 7313 33554432000 4194304 4196468 140733555599344 139675158952208 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6258] ppid=6253 vsize=14082940 memory=139996649674368 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6258/stat : 6258 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609220 14420930560 7313 33554432000 4194304 4196468 140733555599344 139675157899664 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6259] ppid=6253 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6259/stat : 6259 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609220 14420930560 7313 33554432000 4194304 4196468 140733555599344 139675156847120 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6260] ppid=6253 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6260/stat : 6260 (java) S 6253 6253 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228609220 14420930560 7313 33554432000 4194304 4196468 140733555599344 139674813733520 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6261] ppid=6253 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6261/stat : 6261 (java) S 6253 6253 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228609221 14420930560 7313 33554432000 4194304 4196468 140733555599344 139674133662192 139675221363330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6262] ppid=6253 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6262/stat : 6262 (java) S 6253 6253 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228609222 14420930560 7313 33554432000 4194304 4196468 140733555599344 139674132608416 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6263] ppid=6253 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6263/stat : 6263 (java) S 6253 6253 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228609222 14420930560 7313 33554432000 4194304 4196468 140733555599344 139674131555824 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6264] ppid=6253 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6264/stat : 6264 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609224 14420930560 7313 33554432000 4194304 4196468 140733555599344 139674130504400 139675221370779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6265] ppid=6253 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6265/stat : 6265 (java) S 6253 6253 4413 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 228609224 14420930560 7313 33554432000 4194304 4196468 140733555599344 139674129450992 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6266] ppid=6253 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6266/stat : 6266 (java) S 6253 6253 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228609224 14420930560 7313 33554432000 4194304 4196468 140733555599344 139674128398448 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6267] ppid=6253 vsize=14082940 memory=139996649674368 CPUtime=0.01 cores=1,3,5,7
/proc/6255/task/6267/stat : 6267 (java) S 6253 6253 4413 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 228609224 14420930560 7313 33554432000 4194304 4196468 140733555599344 139674127345904 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6268] ppid=6253 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6268/stat : 6268 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609225 14420930560 7313 33554432000 4194304 4196468 140733555599344 139674126293600 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6269] ppid=6253 vsize=14082940 memory=139996649674368 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6269/stat : 6269 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609225 14420930560 7313 33554432000 4194304 4196468 140733555599344 139674125241136 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30704 KiB
[startup+0.211361 s]*
/proc/loadavg: 1.69 1.57 1.63 5/217 6269
/proc/meminfo: memFree=9020388/32770624 swapFree=67108796/67108860
[pid=6253] ppid=6250 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6253/stat : 6253 (xcsp3-exec) S 6250 6253 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228609218 115843072 363 33554432000 4194304 5098028 140729919614912 140729919613016 140520754893436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37191680 140729919616059 140729919616260 140729919616260 140729919619018 0
/proc/6253/statm: 28282 363 306 221 0 87 0
[pid=6255] ppid=6253 vsize=14082940 memory=40984 CPUtime=0.34 cores=1,3,5,7
/proc/6255/stat : 6255 (java) S 6253 6253 4413 0 -1 1077944320 8329 0 0 0 32 2 0 0 20 0 15 0 228609219 14420930560 10246 33554432000 4194304 4196468 140733555599344 140733555581888 139675221352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
/proc/6255/statm: 3520735 10246 3177 1 0 3483012 0
[pid=6255/tid=6256] ppid=6253 vsize=14082940 memory=4500115623978573208 CPUtime=0.2 cores=1,3,5,7
/proc/6255/task/6256/stat : 6256 (java) R 6253 6253 4413 0 -1 4202560 5462 0 0 0 19 1 0 0 20 0 15 0 228609219 14420930560 10310 33554432000 4194304 4196468 140733555599344 139675225588112 139675221374109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6257] ppid=6253 vsize=14082940 memory=3472468125544826064 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6257/stat : 6257 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609220 14420930560 10310 33554432000 4194304 4196468 140733555599344 139675158952208 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6258] ppid=6253 vsize=14082940 memory=139996649674368 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6258/stat : 6258 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609220 14420930560 10310 33554432000 4194304 4196468 140733555599344 139675157899664 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6259] ppid=6253 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6259/stat : 6259 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609220 14420930560 10310 33554432000 4194304 4196468 140733555599344 139675156847120 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6260] ppid=6253 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6260/stat : 6260 (java) S 6253 6253 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228609220 14420930560 10310 33554432000 4194304 4196468 140733555599344 139674813733520 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6261] ppid=6253 vsize=14082940 memory=139996649674368 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6261/stat : 6261 (java) S 6253 6253 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228609221 14420930560 10310 33554432000 4194304 4196468 140733555599344 139674133662192 139675221363330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6262] ppid=6253 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6262/stat : 6262 (java) S 6253 6253 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228609222 14420930560 10310 33554432000 4194304 4196468 140733555599344 139674132608416 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6263] ppid=6253 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6263/stat : 6263 (java) S 6253 6253 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228609222 14420930560 10310 33554432000 4194304 4196468 140733555599344 139674131555824 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6264] ppid=6253 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6264/stat : 6264 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609224 14420930560 10310 33554432000 4194304 4196468 140733555599344 139674130504400 139675221370779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6265] ppid=6253 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6255/task/6265/stat : 6265 (java) S 6253 6253 4413 0 -1 1077944384 777 0 0 0 3 0 0 0 20 0 15 0 228609224 14420930560 10310 33554432000 4194304 4196468 140733555599344 139674129450992 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6266] ppid=6253 vsize=14082972 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6255/task/6266/stat : 6266 (java) S 6253 6253 4413 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 15 0 228609224 14420963328 10310 33554432000 4194304 4196468 140733555599344 139674128398448 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6267] ppid=6253 vsize=14082972 memory=139996649674368 CPUtime=0.08 cores=1,3,5,7
/proc/6255/task/6267/stat : 6267 (java) S 6253 6253 4413 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 15 0 228609224 14420963328 10310 33554432000 4194304 4196468 140733555599344 139674127345904 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6268] ppid=6253 vsize=14082972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6268/stat : 6268 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609225 14420963328 10313 33554432000 4194304 4196468 140733555599344 139674126293600 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6269] ppid=6253 vsize=14082940 memory=139996649674368 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6269/stat : 6269 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609225 14420930560 10313 33554432000 4194304 4196468 140733555599344 139674125241136 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42436 KiB
[startup+0.310505 s]*
/proc/loadavg: 1.69 1.57 1.63 4/217 6269
/proc/meminfo: memFree=9014184/32770624 swapFree=67108796/67108860
[pid=6253] ppid=6250 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6253/stat : 6253 (xcsp3-exec) S 6250 6253 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228609218 115843072 363 33554432000 4194304 5098028 140729919614912 140729919613016 140520754893436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37191680 140729919616059 140729919616260 140729919616260 140729919619018 0
/proc/6253/statm: 28282 363 306 221 0 87 0
[pid=6255] ppid=6253 vsize=14087196 memory=48448 CPUtime=0.52 cores=1,3,5,7
/proc/6255/stat : 6255 (java) S 6253 6253 4413 0 -1 1077944320 9218 0 0 0 50 2 0 0 20 0 15 0 228609219 14425288704 12112 33554432000 4194304 4196468 140733555599344 140733555581888 139675221352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
/proc/6255/statm: 3521799 12112 3284 1 0 3483012 0
[pid=6255/tid=6256] ppid=6253 vsize=14087196 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/6255/task/6256/stat : 6256 (java) R 6253 6253 4413 0 -1 4202560 6169 0 0 0 28 1 0 0 20 0 15 0 228609219 14425288704 12112 33554432000 4194304 4196468 140733555599344 139675225585968 139675205432670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6257] ppid=6253 vsize=14087196 memory=3472468125544826064 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6257/stat : 6257 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609220 14425288704 12112 33554432000 4194304 4196468 140733555599344 139675158952208 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6258] ppid=6253 vsize=14087196 memory=139996649674368 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6258/stat : 6258 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609220 14425288704 12112 33554432000 4194304 4196468 140733555599344 139675157899664 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6259] ppid=6253 vsize=14087196 memory=9 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6259/stat : 6259 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609220 14425288704 12112 33554432000 4194304 4196468 140733555599344 139675156847120 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6260] ppid=6253 vsize=14087196 memory=139996539529247 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6260/stat : 6260 (java) S 6253 6253 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228609220 14425288704 12112 33554432000 4194304 4196468 140733555599344 139674813733520 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6261] ppid=6253 vsize=14087196 memory=279993079019264 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6261/stat : 6261 (java) S 6253 6253 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228609221 14425288704 12112 33554432000 4194304 4196468 140733555599344 139674133662192 139675221363330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6262] ppid=6253 vsize=14087196 memory=139996539506191 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6262/stat : 6262 (java) S 6253 6253 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228609222 14425288704 12112 33554432000 4194304 4196468 140733555599344 139674132608416 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6263] ppid=6253 vsize=14087196 memory=279993189189728 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6263/stat : 6263 (java) S 6253 6253 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228609222 14425288704 12112 33554432000 4194304 4196468 140733555599344 139674131555824 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6264] ppid=6253 vsize=14087196 memory=139996539510799 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6264/stat : 6264 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609224 14425288704 12112 33554432000 4194304 4196468 140733555599344 139674130504400 139675221370779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6265] ppid=6253 vsize=14087196 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/6255/task/6265/stat : 6265 (java) S 6253 6253 4413 0 -1 1077944384 863 0 0 0 6 0 0 0 20 0 15 0 228609224 14425288704 12112 33554432000 4194304 4196468 140733555599344 139674129450992 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6266] ppid=6253 vsize=14087196 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/6255/task/6266/stat : 6266 (java) S 6253 6253 4413 0 -1 1077944384 68 0 0 0 3 0 0 0 20 0 15 0 228609224 14425288704 12112 33554432000 4194304 4196468 140733555599344 139674128398448 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6267] ppid=6253 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6255/task/6267/stat : 6267 (java) S 6253 6253 4413 0 -1 1077944384 836 0 0 0 12 0 0 0 20 0 15 0 228609224 14425288704 12112 33554432000 4194304 4196468 140733555599344 139674127345904 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6268] ppid=6253 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6268/stat : 6268 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609225 14425288704 12112 33554432000 4194304 4196468 140733555599344 139674126293600 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6269] ppid=6253 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6269/stat : 6269 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609225 14425288704 12112 33554432000 4194304 4196468 140733555599344 139674125241136 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49900 KiB
[startup+0.703229 s]
/proc/loadavg: 1.69 1.57 1.63 5/217 6269
/proc/meminfo: memFree=8998984/32770624 swapFree=67108796/67108860
[pid=6253] ppid=6250 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6253/stat : 6253 (xcsp3-exec) S 6250 6253 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228609218 115843072 363 33554432000 4194304 5098028 140729919614912 140729919613016 140520754893436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37191680 140729919616059 140729919616260 140729919616260 140729919619018 0
/proc/6253/statm: 28282 363 306 221 0 87 0
[pid=6255] ppid=6253 vsize=14089320 memory=88232 CPUtime=1.59 cores=1,3,5,7
/proc/6255/stat : 6255 (java) S 6253 6253 4413 0 -1 1077944320 13257 0 0 0 154 5 0 0 20 0 15 0 228609219 14427463680 22058 33554432000 4194304 4196468 140733555599344 140733555581888 139675221352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
/proc/6255/statm: 3522330 22058 3359 1 0 3483524 0
[pid=6255/tid=6256] ppid=6253 vsize=14089320 memory=6154820267226784105 CPUtime=0.67 cores=1,3,5,7
/proc/6255/task/6256/stat : 6256 (java) R 6253 6253 4413 0 -1 4202560 7031 0 0 0 64 3 0 0 20 0 15 0 228609219 14427463680 22058 33554432000 4194304 4196468 140733555599344 139675225586336 139675205432670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6257] ppid=6253 vsize=14089320 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6257/stat : 6257 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609220 14427463680 22058 33554432000 4194304 4196468 140733555599344 139675158952208 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6258] ppid=6253 vsize=14089320 memory=7228928657758113879 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6258/stat : 6258 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609220 14427463680 22058 33554432000 4194304 4196468 140733555599344 139675157899664 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6259] ppid=6253 vsize=14089320 memory=7747766295893256779 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6259/stat : 6259 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609220 14427463680 22058 33554432000 4194304 4196468 140733555599344 139675156847120 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6260] ppid=6253 vsize=14089320 memory=3054156605267021953 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6260/stat : 6260 (java) S 6253 6253 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228609220 14427463680 22058 33554432000 4194304 4196468 140733555599344 139674813733520 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6261] ppid=6253 vsize=14089320 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6261/stat : 6261 (java) S 6253 6253 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228609221 14427463680 22058 33554432000 4194304 4196468 140733555599344 139674133662192 139675221363330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6262] ppid=6253 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6262/stat : 6262 (java) S 6253 6253 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228609222 14427463680 22058 33554432000 4194304 4196468 140733555599344 139674132608416 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6263] ppid=6253 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6263/stat : 6263 (java) S 6253 6253 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228609222 14427463680 22058 33554432000 4194304 4196468 140733555599344 139674131555824 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6264] ppid=6253 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6264/stat : 6264 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609224 14427463680 22058 33554432000 4194304 4196468 140733555599344 139674130504400 139675221370779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6265] ppid=6253 vsize=14089320 memory=62104 CPUtime=0.26 cores=1,3,5,7
/proc/6255/task/6265/stat : 6265 (java) R 6253 6253 4413 0 -1 1077944384 1666 0 0 0 26 0 0 0 20 0 15 0 228609224 14427463680 22058 33554432000 4194304 4196468 140733555599344 139674129451120 139675221362389 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6266] ppid=6253 vsize=14089320 memory=2056 CPUtime=0.22 cores=1,3,5,7
/proc/6255/task/6266/stat : 6266 (java) R 6253 6253 4413 0 -1 4202560 1066 0 0 0 22 0 0 0 20 0 15 0 228609224 14427463680 22058 33554432000 4194304 4196468 140733555599344 139674128384584 139675201045283 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6267] ppid=6253 vsize=14089320 memory=932 CPUtime=0.41 cores=1,3,5,7
/proc/6255/task/6267/stat : 6267 (java) R 6253 6253 4413 0 -1 4202560 2186 0 0 0 41 0 0 0 20 0 15 0 228609224 14427463680 22058 33554432000 4194304 4196468 140733555599344 139674127343696 139675200307814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6268] ppid=6253 vsize=14089320 memory=7380063209972523600 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6268/stat : 6268 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609225 14427463680 22058 33554432000 4194304 4196468 140733555599344 139674126293600 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6269] ppid=6253 vsize=14089320 memory=8025788831307884116 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6269/stat : 6269 (java) S 6253 6253 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228609225 14427463680 22058 33554432000 4194304 4196468 140733555599344 139674125241136 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 89684 KiB
[startup+1.50086 s]
/proc/loadavg: 1.69 1.57 1.63 5/217 6269
/proc/meminfo: memFree=8956368/32770624 swapFree=67108796/67108860
[pid=6253] ppid=6250 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6253/stat : 6253 (xcsp3-exec) S 6250 6253 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228609218 115843072 363 33554432000 4194304 5098028 140729919614912 140729919613016 140520754893436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37191680 140729919616059 140729919616260 140729919616260 140729919619018 0
/proc/6253/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/6255/task/6263/stat : 6263 (java) S 6253 6253 4413 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 228609222 14429560832 45012 33554432000 4194304 4196468 140733555599344 139674131555824 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6264] ppid=6253 vsize=14091368 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6264/stat : 6264 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609224 14429560832 45012 33554432000 4194304 4196468 140733555599344 139674130504400 139675221370779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6265] ppid=6253 vsize=14091368 memory=7524 CPUtime=2.49 cores=1,3,5,7
/proc/6255/task/6265/stat : 6265 (java) S 6253 6253 4413 0 -1 1077944384 19044 0 0 0 247 2 0 0 20 0 15 0 228609224 14429560832 45012 33554432000 4194304 4196468 140733555599344 139674129450992 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6266] ppid=6253 vsize=14091368 memory=804 CPUtime=2.4 cores=1,3,5,7
/proc/6255/task/6266/stat : 6266 (java) S 6253 6253 4413 0 -1 1077944384 18773 0 0 0 238 2 0 0 20 0 15 0 228609224 14429560832 45012 33554432000 4194304 4196468 140733555599344 139674128398448 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6267] ppid=6253 vsize=14091368 memory=1692 CPUtime=0.71 cores=1,3,5,7
/proc/6255/task/6267/stat : 6267 (java) S 6253 6253 4413 0 -1 1077944384 8514 0 0 0 69 2 0 0 20 0 15 0 228609224 14429560832 45012 33554432000 4194304 4196468 140733555599344 139674127345904 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6268] ppid=6253 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6268/stat : 6268 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609225 14429560832 45012 33554432000 4194304 4196468 140733555599344 139674126293600 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6269] ppid=6253 vsize=14091368 memory=1452 CPUtime=0.48 cores=1,3,5,7
/proc/6255/task/6269/stat : 6269 (java) S 6253 6253 4413 0 -1 1077944384 1486 0 0 0 20 28 0 0 20 0 15 0 228609225 14429560832 45012 33554432000 4194304 4196468 140733555599344 139674125241136 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
Current children cumulated CPU time: 2389.56 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 181500 KiB
[startup+2442.3 s]
/proc/loadavg: 2.13 1.74 1.75 3/217 6463
/proc/meminfo: memFree=16913340/32770624 swapFree=67108796/67108860
[pid=6253] ppid=6250 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6253/stat : 6253 (xcsp3-exec) S 6250 6253 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228609218 115843072 363 33554432000 4194304 5098028 140729919614912 140729919613016 140520754893436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37191680 140729919616059 140729919616260 140729919616260 140729919619018 0
/proc/6253/statm: 28282 363 306 221 0 87 0
[pid=6255] ppid=6253 vsize=14091368 memory=177992 CPUtime=2449.66 cores=1,3,5,7
/proc/6255/stat : 6255 (java) S 6253 6253 4413 0 -1 1077944320 80795 0 0 0 244918 48 0 0 20 0 15 0 228609219 14429560832 44498 33554432000 4194304 4196468 140733555599344 140733555581888 139675221352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
/proc/6255/statm: 3522842 44498 3419 1 0 3484036 0
[pid=6255/tid=6256] ppid=6253 vsize=14091368 memory=179020 CPUtime=2441.2 cores=1,3,5,7
/proc/6255/task/6256/stat : 6256 (java) R 6253 6253 4413 0 -1 4202560 18485 0 0 0 244114 6 0 0 20 0 15 0 228609219 14429560832 44498 33554432000 4194304 4196468 140733555599344 139675225591728 139674842849705 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6257] ppid=6253 vsize=14091368 memory=179532 CPUtime=0.48 cores=1,3,5,7
/proc/6255/task/6257/stat : 6257 (java) S 6253 6253 4413 0 -1 1077944384 1215 0 0 0 46 2 0 0 20 0 15 0 228609220 14429560832 44498 33554432000 4194304 4196468 140733555599344 139675158952208 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6258] ppid=6253 vsize=14091368 memory=179532 CPUtime=0.49 cores=1,3,5,7
/proc/6255/task/6258/stat : 6258 (java) S 6253 6253 4413 0 -1 1077944384 4084 0 0 0 46 3 0 0 20 0 15 0 228609220 14429560832 44498 33554432000 4194304 4196468 140733555599344 139675157899664 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6259] ppid=6253 vsize=14091368 memory=179020 CPUtime=0.49 cores=1,3,5,7
/proc/6255/task/6259/stat : 6259 (java) S 6253 6253 4413 0 -1 1077944384 2546 0 0 0 47 2 0 0 20 0 15 0 228609220 14429560832 44498 33554432000 4194304 4196468 140733555599344 139675156847120 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6260] ppid=6253 vsize=14091368 memory=1452 CPUtime=0.49 cores=1,3,5,7
/proc/6255/task/6260/stat : 6260 (java) S 6253 6253 4413 0 -1 1077944384 2786 0 0 0 46 3 0 0 20 0 15 0 228609220 14429560832 44498 33554432000 4194304 4196468 140733555599344 139674813733520 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6261] ppid=6253 vsize=14091368 memory=179020 CPUtime=0.34 cores=1,3,5,7
/proc/6255/task/6261/stat : 6261 (java) S 6253 6253 4413 0 -1 1077944384 2480 0 0 0 29 5 0 0 20 0 15 0 228609221 14429560832 44498 33554432000 4194304 4196468 140733555599344 139674133662192 139675221363330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6262] ppid=6253 vsize=14091368 memory=177992 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6262/stat : 6262 (java) S 6253 6253 4413 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 228609222 14429560832 44498 33554432000 4194304 4196468 140733555599344 139674132608416 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6263] ppid=6253 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6263/stat : 6263 (java) S 6253 6253 4413 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 228609222 14429560832 44498 33554432000 4194304 4196468 140733555599344 139674131555824 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6264] ppid=6253 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6264/stat : 6264 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609224 14429560832 44498 33554432000 4194304 4196468 140733555599344 139674130504400 139675221370779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6265] ppid=6253 vsize=14091368 memory=179020 CPUtime=2.49 cores=1,3,5,7
/proc/6255/task/6265/stat : 6265 (java) S 6253 6253 4413 0 -1 1077944384 19046 0 0 0 247 2 0 0 20 0 15 0 228609224 14429560832 44498 33554432000 4194304 4196468 140733555599344 139674129450992 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6266] ppid=6253 vsize=14091368 memory=8112282956445269571 CPUtime=2.4 cores=1,3,5,7
/proc/6255/task/6266/stat : 6266 (java) S 6253 6253 4413 0 -1 1077944384 18775 0 0 0 238 2 0 0 20 0 15 0 228609224 14429560832 44498 33554432000 4194304 4196468 140733555599344 139674128398448 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6267] ppid=6253 vsize=14091368 memory=496 CPUtime=0.71 cores=1,3,5,7
/proc/6255/task/6267/stat : 6267 (java) S 6253 6253 4413 0 -1 1077944384 8516 0 0 0 69 2 0 0 20 0 15 0 228609224 14429560832 44498 33554432000 4194304 4196468 140733555599344 139674127345904 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6268] ppid=6253 vsize=14091368 memory=3196 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6268/stat : 6268 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609225 14429560832 44498 33554432000 4194304 4196468 140733555599344 139674126293600 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6269] ppid=6253 vsize=14091368 memory=1452 CPUtime=0.5 cores=1,3,5,7
/proc/6255/task/6269/stat : 6269 (java) S 6253 6253 4413 0 -1 1077944384 1492 0 0 0 21 29 0 0 20 0 15 0 228609225 14429560832 44498 33554432000 4194304 4196468 140733555599344 139674125241136 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
Current children cumulated CPU time: 2449.66 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 179444 KiB
[startup+2502.3 s]
/proc/loadavg: 1.71 1.68 1.73 3/217 6464
/proc/meminfo: memFree=17800296/32770624 swapFree=67108796/67108860
[pid=6253] ppid=6250 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6253/stat : 6253 (xcsp3-exec) S 6250 6253 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228609218 115843072 363 33554432000 4194304 5098028 140729919614912 140729919613016 140520754893436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37191680 140729919616059 140729919616260 140729919616260 140729919619018 0
/proc/6253/statm: 28282 363 306 221 0 87 0
[pid=6255] ppid=6253 vsize=14091368 memory=176448 CPUtime=2509.76 cores=1,3,5,7
/proc/6255/stat : 6255 (java) S 6253 6253 4413 0 -1 1077944320 81032 0 0 0 250926 50 0 0 20 0 15 0 228609219 14429560832 44112 33554432000 4194304 4196468 140733555599344 140733555581888 139675221352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
/proc/6255/statm: 3522842 44112 3419 1 0 3484036 0
[pid=6255/tid=6256] ppid=6253 vsize=14091368 memory=176448 CPUtime=2501.12 cores=1,3,5,7
/proc/6255/task/6256/stat : 6256 (java) R 6253 6253 4413 0 -1 4202560 18625 0 0 0 250106 6 0 0 20 0 15 0 228609219 14429560832 44112 33554432000 4194304 4196468 140733555599344 139675225591616 139674842622458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6257] ppid=6253 vsize=14091368 memory=176448 CPUtime=0.52 cores=1,3,5,7
/proc/6255/task/6257/stat : 6257 (java) S 6253 6253 4413 0 -1 1077944384 1218 0 0 0 50 2 0 0 20 0 15 0 228609220 14429560832 44112 33554432000 4194304 4196468 140733555599344 139675158952208 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6258] ppid=6253 vsize=14091368 memory=176448 CPUtime=0.52 cores=1,3,5,7
/proc/6255/task/6258/stat : 6258 (java) S 6253 6253 4413 0 -1 1077944384 4104 0 0 0 49 3 0 0 20 0 15 0 228609220 14429560832 44112 33554432000 4194304 4196468 140733555599344 139675157899664 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6259] ppid=6253 vsize=14091368 memory=176448 CPUtime=0.52 cores=1,3,5,7
/proc/6255/task/6259/stat : 6259 (java) S 6253 6253 4413 0 -1 1077944384 2557 0 0 0 50 2 0 0 20 0 15 0 228609220 14429560832 44112 33554432000 4194304 4196468 140733555599344 139675156847120 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6260] ppid=6253 vsize=14091368 memory=176448 CPUtime=0.52 cores=1,3,5,7
/proc/6255/task/6260/stat : 6260 (java) S 6253 6253 4413 0 -1 1077944384 2792 0 0 0 49 3 0 0 20 0 15 0 228609220 14429560832 44112 33554432000 4194304 4196468 140733555599344 139674813733520 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6261] ppid=6253 vsize=14091368 memory=176448 CPUtime=0.36 cores=1,3,5,7
/proc/6255/task/6261/stat : 6261 (java) S 6253 6253 4413 0 -1 1077944384 2517 0 0 0 30 6 0 0 20 0 15 0 228609221 14429560832 44112 33554432000 4194304 4196468 140733555599344 139674133662192 139675221363330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6262] ppid=6253 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6262/stat : 6262 (java) S 6253 6253 4413 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 228609222 14429560832 44112 33554432000 4194304 4196468 140733555599344 139674132608416 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6263] ppid=6253 vsize=14091368 memory=176448 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6263/stat : 6263 (java) S 6253 6253 4413 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 228609222 14429560832 44112 33554432000 4194304 4196468 140733555599344 139674131555824 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6264] ppid=6253 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6264/stat : 6264 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609224 14429560832 44112 33554432000 4194304 4196468 140733555599344 139674130504400 139675221370779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6265] ppid=6253 vsize=14091368 memory=1452 CPUtime=2.49 cores=1,3,5,7
/proc/6255/task/6265/stat : 6265 (java) S 6253 6253 4413 0 -1 1077944384 19046 0 0 0 247 2 0 0 20 0 15 0 228609224 14429560832 44112 33554432000 4194304 4196468 140733555599344 139674129450992 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6266] ppid=6253 vsize=14091368 memory=3632 CPUtime=2.4 cores=1,3,5,7
/proc/6255/task/6266/stat : 6266 (java) S 6253 6253 4413 0 -1 1077944384 18775 0 0 0 238 2 0 0 20 0 15 0 228609224 14429560832 44112 33554432000 4194304 4196468 140733555599344 139674128398448 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6267] ppid=6253 vsize=14091368 memory=62192 CPUtime=0.71 cores=1,3,5,7
/proc/6255/task/6267/stat : 6267 (java) S 6253 6253 4413 0 -1 1077944384 8517 0 0 0 69 2 0 0 20 0 15 0 228609224 14429560832 44112 33554432000 4194304 4196468 140733555599344 139674127345904 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6268] ppid=6253 vsize=14091368 memory=2056 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6268/stat : 6268 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609225 14429560832 44112 33554432000 4194304 4196468 140733555599344 139674126293600 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6269] ppid=6253 vsize=14091368 memory=1452 CPUtime=0.51 cores=1,3,5,7
/proc/6255/task/6269/stat : 6269 (java) S 6253 6253 4413 0 -1 1077944384 1511 0 0 0 22 29 0 0 20 0 15 0 228609225 14429560832 44112 33554432000 4194304 4196468 140733555599344 139674125241136 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
Current children cumulated CPU time: 2509.76 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 177900 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.6 s]
/proc/loadavg: 1.75 1.69 1.73 3/217 6465
/proc/meminfo: memFree=18074380/32770624 swapFree=67108796/67108860
[pid=6253] ppid=6250 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6253/stat : 6253 (xcsp3-exec) S 6250 6253 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228609218 115843072 363 33554432000 4194304 5098028 140729919614912 140729919613016 140520754893436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37191680 140729919616059 140729919616260 140729919616260 140729919619018 0
/proc/6253/statm: 28282 363 306 221 0 87 0
[pid=6255] ppid=6253 vsize=14091368 memory=178496 CPUtime=2520.07 cores=1,3,5,7
/proc/6255/stat : 6255 (java) S 6253 6253 4413 0 -1 1077944320 81052 0 0 0 251957 50 0 0 20 0 15 0 228609219 14429560832 44624 33554432000 4194304 4196468 140733555599344 140733555581888 139675221352183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
/proc/6255/statm: 3522842 44624 3419 1 0 3484036 0
[pid=6255/tid=6256] ppid=6253 vsize=14091368 memory=240 CPUtime=2511.41 cores=1,3,5,7
/proc/6255/task/6256/stat : 6256 (java) R 6253 6253 4413 0 -1 4202560 18639 0 0 0 251135 6 0 0 20 0 15 0 228609219 14429560832 44624 33554432000 4194304 4196468 140733555599344 139675225591200 139674841970117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6257] ppid=6253 vsize=14091368 memory=8112282956445269571 CPUtime=0.52 cores=1,3,5,7
/proc/6255/task/6257/stat : 6257 (java) S 6253 6253 4413 0 -1 1077944384 1218 0 0 0 50 2 0 0 20 0 15 0 228609220 14429560832 44624 33554432000 4194304 4196468 140733555599344 139675158952208 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6258] ppid=6253 vsize=14091368 memory=15140 CPUtime=0.53 cores=1,3,5,7
/proc/6255/task/6258/stat : 6258 (java) S 6253 6253 4413 0 -1 1077944384 4106 0 0 0 50 3 0 0 20 0 15 0 228609220 14429560832 44624 33554432000 4194304 4196468 140733555599344 139675157899664 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6259] ppid=6253 vsize=14091368 memory=3160 CPUtime=0.52 cores=1,3,5,7
/proc/6255/task/6259/stat : 6259 (java) S 6253 6253 4413 0 -1 1077944384 2557 0 0 0 50 2 0 0 20 0 15 0 228609220 14429560832 44624 33554432000 4194304 4196468 140733555599344 139675156847120 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6260] ppid=6253 vsize=14091368 memory=496 CPUtime=0.52 cores=1,3,5,7
/proc/6255/task/6260/stat : 6260 (java) S 6253 6253 4413 0 -1 1077944384 2792 0 0 0 49 3 0 0 20 0 15 0 228609220 14429560832 44624 33554432000 4194304 4196468 140733555599344 139674813733520 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6261] ppid=6253 vsize=14091368 memory=1600 CPUtime=0.36 cores=1,3,5,7
/proc/6255/task/6261/stat : 6261 (java) S 6253 6253 4413 0 -1 1077944384 2521 0 0 0 30 6 0 0 20 0 15 0 228609221 14429560832 44624 33554432000 4194304 4196468 140733555599344 139674133662192 139675221363330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6262] ppid=6253 vsize=14091368 memory=932 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6262/stat : 6262 (java) S 6253 6253 4413 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 228609222 14429560832 44624 33554432000 4194304 4196468 140733555599344 139674132608416 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6263] ppid=6253 vsize=14091368 memory=1168 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6263/stat : 6263 (java) S 6253 6253 4413 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 228609222 14429560832 44624 33554432000 4194304 4196468 140733555599344 139674131555824 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6264] ppid=6253 vsize=14091368 memory=3884 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6264/stat : 6264 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609224 14429560832 44624 33554432000 4194304 4196468 140733555599344 139674130504400 139675221370779 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6265] ppid=6253 vsize=14091368 memory=2180 CPUtime=2.49 cores=1,3,5,7
/proc/6255/task/6265/stat : 6265 (java) S 6253 6253 4413 0 -1 1077944384 19046 0 0 0 247 2 0 0 20 0 15 0 228609224 14429560832 44624 33554432000 4194304 4196468 140733555599344 139674129450992 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6266] ppid=6253 vsize=14091368 memory=3980 CPUtime=2.4 cores=1,3,5,7
/proc/6255/task/6266/stat : 6266 (java) S 6253 6253 4413 0 -1 1077944384 18775 0 0 0 238 2 0 0 20 0 15 0 228609224 14429560832 44624 33554432000 4194304 4196468 140733555599344 139674128398448 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6267] ppid=6253 vsize=14091368 memory=752 CPUtime=0.71 cores=1,3,5,7
/proc/6255/task/6267/stat : 6267 (java) S 6253 6253 4413 0 -1 1077944384 8517 0 0 0 69 2 0 0 20 0 15 0 228609224 14429560832 44624 33554432000 4194304 4196468 140733555599344 139674127345904 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6268] ppid=6253 vsize=14091368 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/6255/task/6268/stat : 6268 (java) S 6253 6253 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228609225 14429560832 44624 33554432000 4194304 4196468 140733555599344 139674126293600 139675221362389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
[pid=6255/tid=6269] ppid=6253 vsize=14091368 memory=8628 CPUtime=0.51 cores=1,3,5,7
/proc/6255/task/6269/stat : 6269 (java) S 6253 6253 4413 0 -1 1077944384 1511 0 0 0 22 29 0 0 20 0 15 0 228609225 14429560832 44624 33554432000 4194304 4196468 140733555599344 139674125241136 139675221363330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8560640 140733555606662 140733555606833 140733555606833 140733555609551 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 179948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.61 s]
# the end of solver process 6253 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001119 s, system=0.001119 s
[startup+2512.61 s]
# the end of solver process 6255 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.58 s, system=0.511214 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): 2512.61
CPU time (s): 2520.09
CPU user time (s): 2519.58
CPU system time (s): 0.511214
CPU usage (%): 100.298
Max. virtual memory (cumulated for all children) (KiB): 14206460
Max. memory (cumulated for all children) (KiB): 246120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.58
system time used= 0.511214
maximum resident set size= 248764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65982
involuntary context switches= 1355
# summary of solver processes directly reported to runsolver:
# pid: 6253,6255
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.58
# total CPU system time (s): 0.511214
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9685 second user time and 23.0102 second system time
The end
Begin job on node138 at 2018-08-12 23:47:40 IDJOB=4306740 IDBENCH=141431 IDSOLVER=2787 FILE ID=node138/4306740-1534110460 RUNJOBID= node138-1534097780-4445 PBS_JOBID= 21037001 Free space on /tmp= 24416 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-4306740-1534110460/watcher-4306740-1534110460 -o /tmp/evaluation-result-4306740-1534110460/solver-4306740-1534110460 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534097780-4445 --watchdog 2580 HOME/xcsp3-exec -seed 337057822 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306740-1534110460.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2e7b3311de08b1eac0c79f49a369770d RANDOM SEED=337057822 node138.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.71 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.71 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.71 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.71 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: 9049448 kB MemAvailable: 22411196 kB Buffers: 171284 kB Cached: 13264056 kB SwapCached: 12 kB Active: 15737860 kB Inactive: 7227532 kB Active(anon): 9046508 kB Inactive(anon): 535592 kB Active(file): 6691352 kB Inactive(file): 6691940 kB Unevictable: 7276 kB Mlocked: 7276 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 21976 kB Writeback: 0 kB AnonPages: 9549104 kB Mapped: 63592 kB Shmem: 49740 kB Slab: 435152 kB SReclaimable: 406916 kB SUnreclaim: 28236 kB KernelStack: 3808 kB PageTables: 24120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 10222256 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 9320448 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 24396 MiB End job on node138 at 2018-08-13 00:29:33