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) | 51 | 252.103 | 247.514 |
| Name | LowAutocorrelation/ LowAutocorrelation-023_c18.xml |
| MD5SUM | 1fc64e237e2e479d6d3c5a9de2910321 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 47 |
| Best CPU time to get the best result obtained on this benchmark | 252.011 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 551 |
| Number of constraints | 297 |
| Number of domains | 45 |
| Minimum domain size | 2 |
| Maximum domain size | 45 |
| Distribution of domain sizes | [{"size":2,"count":277},{"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":25,"count":1},{"size":27,"count":1},{"size":29,"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}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 22 |
| Distribution of variable degrees | [{"degree":0,"count":231},{"degree":2,"count":297},{"degree":22,"count":23}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 23 |
| Distribution of constraint arities | [{"arity":2,"count":23},{"arity":3,"count":254},{"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}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 275 |
| Distribution of constraint types | [{"type":"intension","count":275},{"type":"sum","count":22}] |
| 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-4301891-1532886740.xml" -tl '252s' -p 1 0.12/0.17 c Choco e747e1e 0.12/0.17 c [HOME/instance-4301891-1532886740.xml, -tl, 252s, -p, 1] 0.12/0.21 c simple solver 0.34/0.28 c parse instance... 1.31/0.68 c solve instance... 1.57/0.75 o 247 1.57/0.75 o 223 1.57/0.77 o 199 1.57/0.77 o 179 1.57/0.79 o 131 1.92/0.80 o 119 1.92/0.83 o 91 2.56/1.07 o 63 21.88/17.75 o 59 205.25/200.72 o 55 247.87/243.36 o 51 252.07/247.50 s SATISFIABLE 252.07/247.50 v <instantiation> 252.07/247.50 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[18][0] y[18][1] y[18][2] y[18][3] y[19][0] y[19][1] y[19][2] y[20][0] y[20][1] y[21][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] 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] </list> 252.07/247.50 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 0 -1 0 -3 2 1 -2 1 2 1 -2 1 2 1 2 1 -2 1 -2 -1 0 -1 0 1 0 9 4 1 4 1 4 1 4 1 4 1 4 1 4 1 4 1 0 1 </values> 252.07/247.50 v </instantiation> 252.07/247.50 c Unexpected resolution interruption!
OK 51
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 (15099 MiB free)
memory of node 1: 16384 MiB (11441 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301891-1532886740/watcher-4301891-1532886740 -o /tmp/evaluation-result-4301891-1532886740/solver-4301891-1532886740 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312 HOME/xcsp3-exec -seed 530784805 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301891-1532886740.xml
running on 4 cores: 0,2,4,6
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=13392, runsolver pid=13389
Current StackSize limit: 8192 KiB
[startup+0.100131 s]*
/proc/loadavg: 2.06 2.05 1.99 3/217 13408
/proc/meminfo: memFree=27161016/32770624 swapFree=67108496/67108860
[pid=13392] ppid=13389 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13392/stat : 13392 (xcsp3-exec) S 13389 13392 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106237199 115843072 364 33554432000 4194304 5098028 140727170086016 140727170084120 140388900758140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28909568 140727170094145 140727170094345 140727170094345 140727170097098 0
/proc/13392/statm: 28282 364 306 221 0 87 0
[pid=13394] ppid=13392 vsize=14082940 memory=29036 CPUtime=0.12 cores=0,2,4,6
/proc/13394/stat : 13394 (java) S 13392 13392 7585 0 -1 1077944320 5615 0 0 0 11 1 0 0 20 0 15 0 106237199 14420930560 7259 33554432000 4194304 4196468 140728174245952 140728174228496 140520266616567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
/proc/13394/statm: 3520735 7259 3020 1 0 3483012 0
[pid=13394/tid=13395] ppid=13392 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/13394/task/13395/stat : 13395 (java) R 13392 13392 7585 0 -1 4202560 3633 0 0 0 8 0 0 0 20 0 15 0 106237199 14420930560 7259 33554432000 4194304 4196468 140728174245952 140520270835544 140520266628502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13396] ppid=13392 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13396/stat : 13396 (java) S 13392 13392 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106237200 14420930560 7259 33554432000 4194304 4196468 140728174245952 140520196705168 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13397] ppid=13392 vsize=14082940 memory=139993356994176 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13397/stat : 13397 (java) S 13392 13392 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106237200 14420930560 7259 33554432000 4194304 4196468 140728174245952 140520195652368 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13398] ppid=13392 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13398/stat : 13398 (java) S 13392 13392 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106237200 14420930560 7259 33554432000 4194304 4196468 140728174245952 140520194600080 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13399] ppid=13392 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13399/stat : 13399 (java) S 13392 13392 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106237200 14420930560 7259 33554432000 4194304 4196468 140728174245952 140520193547280 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13400] ppid=13392 vsize=14082940 memory=139993356994176 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13400/stat : 13400 (java) S 13392 13392 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106237201 14420930560 7259 33554432000 4194304 4196468 140728174245952 140519740655728 140520266627714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13401] ppid=13392 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13401/stat : 13401 (java) S 13392 13392 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106237202 14420930560 7259 33554432000 4194304 4196468 140728174245952 140519739601696 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13402] ppid=13392 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13402/stat : 13402 (java) S 13392 13392 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106237202 14420930560 7259 33554432000 4194304 4196468 140728174245952 140519738549360 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13403] ppid=13392 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13403/stat : 13403 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237204 14420930560 7259 33554432000 4194304 4196468 140728174245952 140519737497680 140520266635163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13404] ppid=13392 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13404/stat : 13404 (java) S 13392 13392 7585 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 106237204 14420930560 7259 33554432000 4194304 4196468 140728174245952 140519736445552 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13405] ppid=13392 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13405/stat : 13405 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237204 14420930560 7259 33554432000 4194304 4196468 140728174245952 140519735392752 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13406] ppid=13392 vsize=14082940 memory=139993356994176 CPUtime=0.01 cores=0,2,4,6
/proc/13394/task/13406/stat : 13406 (java) R 13392 13392 7585 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 106237204 14420930560 7259 33554432000 4194304 4196468 140728174245952 140519734340464 140520247854128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13407] ppid=13392 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13407/stat : 13407 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237205 14420930560 7259 33554432000 4194304 4196468 140728174245952 140519733287904 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13408] ppid=13392 vsize=14082940 memory=139993356994176 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13408/stat : 13408 (java) S 13392 13392 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106237205 14420930560 7259 33554432000 4194304 4196468 140728174245952 140519732234672 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30492 KiB
[startup+0.210693 s]*
/proc/loadavg: 2.06 2.05 1.99 5/217 13408
/proc/meminfo: memFree=27149604/32770624 swapFree=67108496/67108860
[pid=13392] ppid=13389 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13392/stat : 13392 (xcsp3-exec) S 13389 13392 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106237199 115843072 364 33554432000 4194304 5098028 140727170086016 140727170084120 140388900758140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28909568 140727170094145 140727170094345 140727170094345 140727170097098 0
/proc/13392/statm: 28282 364 306 221 0 87 0
[pid=13394] ppid=13392 vsize=14082940 memory=40956 CPUtime=0.34 cores=0,2,4,6
/proc/13394/stat : 13394 (java) S 13392 13392 7585 0 -1 1077944320 8311 0 0 0 32 2 0 0 20 0 15 0 106237199 14420930560 10239 33554432000 4194304 4196468 140728174245952 140728174228496 140520266616567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
/proc/13394/statm: 3520735 10239 3187 1 0 3483012 0
[pid=13394/tid=13395] ppid=13392 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/13394/task/13395/stat : 13395 (java) D 13392 13392 7585 0 -1 1077944384 5457 0 0 0 18 2 0 0 20 0 15 0 106237199 14420930560 10303 33554432000 4194304 4196468 140728174245952 140520270840736 140520259295789 0 4 0 16800975 18446744072101756452 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13396] ppid=13392 vsize=14082940 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13396/stat : 13396 (java) S 13392 13392 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106237200 14420930560 10303 33554432000 4194304 4196468 140728174245952 140520196705168 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13397] ppid=13392 vsize=14082940 memory=139993357007827 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13397/stat : 13397 (java) S 13392 13392 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106237200 14420930560 10303 33554432000 4194304 4196468 140728174245952 140520195652368 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13398] ppid=13392 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13398/stat : 13398 (java) S 13392 13392 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106237200 14420930560 10303 33554432000 4194304 4196468 140728174245952 140520194600080 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13399] ppid=13392 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13399/stat : 13399 (java) S 13392 13392 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106237200 14420930560 10303 33554432000 4194304 4196468 140728174245952 140520193547280 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13400] ppid=13392 vsize=14082940 memory=139993356994176 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13400/stat : 13400 (java) S 13392 13392 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106237201 14420930560 10303 33554432000 4194304 4196468 140728174245952 140519740655728 140520266627714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13401] ppid=13392 vsize=14082972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13401/stat : 13401 (java) S 13392 13392 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106237202 14420963328 10303 33554432000 4194304 4196468 140728174245952 140519739601696 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13402] ppid=13392 vsize=14082972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13402/stat : 13402 (java) S 13392 13392 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106237202 14420963328 10303 33554432000 4194304 4196468 140728174245952 140519738549360 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13403] ppid=13392 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13403/stat : 13403 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237204 14420930560 10305 33554432000 4194304 4196468 140728174245952 140519737497680 140520266635163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13404] ppid=13392 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13394/task/13404/stat : 13404 (java) S 13392 13392 7585 0 -1 1077944384 687 0 0 0 3 0 0 0 20 0 15 0 106237204 14420930560 10305 33554432000 4194304 4196468 140728174245952 140519736445552 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13405] ppid=13392 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/13394/task/13405/stat : 13405 (java) S 13392 13392 7585 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 15 0 106237204 14420930560 10305 33554432000 4194304 4196468 140728174245952 140519735392752 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13406] ppid=13392 vsize=14082940 memory=139993356994176 CPUtime=0.08 cores=0,2,4,6
/proc/13394/task/13406/stat : 13406 (java) S 13392 13392 7585 0 -1 1077944384 767 0 0 0 8 0 0 0 20 0 15 0 106237204 14420930560 10305 33554432000 4194304 4196468 140728174245952 140519734340464 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13407] ppid=13392 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13407/stat : 13407 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237205 14420930560 10305 33554432000 4194304 4196468 140728174245952 140519733287904 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13408] ppid=13392 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13408/stat : 13408 (java) S 13392 13392 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106237205 14420930560 10305 33554432000 4194304 4196468 140728174245952 140519732234672 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42412 KiB
[startup+0.310542 s]*
/proc/loadavg: 2.06 2.05 1.99 5/217 13408
/proc/meminfo: memFree=27143400/32770624 swapFree=67108496/67108860
[pid=13392] ppid=13389 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13392/stat : 13392 (xcsp3-exec) S 13389 13392 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106237199 115843072 364 33554432000 4194304 5098028 140727170086016 140727170084120 140388900758140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28909568 140727170094145 140727170094345 140727170094345 140727170097098 0
/proc/13392/statm: 28282 364 306 221 0 87 0
[pid=13394] ppid=13392 vsize=14087196 memory=48204 CPUtime=0.52 cores=0,2,4,6
/proc/13394/stat : 13394 (java) S 13392 13392 7585 0 -1 1077944320 9242 0 0 0 49 3 0 0 20 0 15 0 106237199 14425288704 12051 33554432000 4194304 4196468 140728174245952 140728174228496 140520266616567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
/proc/13394/statm: 3521799 12051 3243 1 0 3483012 0
[pid=13394/tid=13395] ppid=13392 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/13394/task/13395/stat : 13395 (java) R 13392 13392 7585 0 -1 4202560 6166 0 0 0 27 2 0 0 20 0 15 0 106237199 14425288704 12051 33554432000 4194304 4196468 140728174245952 140520270848480 140520250697054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13396] ppid=13392 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13396/stat : 13396 (java) S 13392 13392 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106237200 14425288704 12051 33554432000 4194304 4196468 140728174245952 140520196705168 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13397] ppid=13392 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13397/stat : 13397 (java) S 13392 13392 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106237200 14425288704 12051 33554432000 4194304 4196468 140728174245952 140520195652368 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13398] ppid=13392 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13398/stat : 13398 (java) S 13392 13392 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106237200 14425288704 12051 33554432000 4194304 4196468 140728174245952 140520194600080 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13399] ppid=13392 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13399/stat : 13399 (java) S 13392 13392 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106237200 14425288704 12051 33554432000 4194304 4196468 140728174245952 140520193547280 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13400] ppid=13392 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13400/stat : 13400 (java) S 13392 13392 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106237201 14425288704 12051 33554432000 4194304 4196468 140728174245952 140519740655728 140520266627714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13401] ppid=13392 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13401/stat : 13401 (java) S 13392 13392 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106237202 14425288704 12051 33554432000 4194304 4196468 140728174245952 140519739601696 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13402] ppid=13392 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13402/stat : 13402 (java) S 13392 13392 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106237202 14425288704 12051 33554432000 4194304 4196468 140728174245952 140519738549360 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13403] ppid=13392 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13403/stat : 13403 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237204 14425288704 12051 33554432000 4194304 4196468 140728174245952 140519737497680 140520266635163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13404] ppid=13392 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=0,2,4,6
/proc/13394/task/13404/stat : 13404 (java) S 13392 13392 7585 0 -1 1077944384 817 0 0 0 5 0 0 0 20 0 15 0 106237204 14425288704 12051 33554432000 4194304 4196468 140728174245952 140519736445552 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13405] ppid=13392 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13394/task/13405/stat : 13405 (java) S 13392 13392 7585 0 -1 1077944384 115 0 0 0 3 0 0 0 20 0 15 0 106237204 14425288704 12116 33554432000 4194304 4196468 140728174245952 140519735392752 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13406] ppid=13392 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13394/task/13406/stat : 13406 (java) S 13392 13392 7585 0 -1 1077944384 853 0 0 0 12 0 0 0 20 0 15 0 106237204 14425288704 12116 33554432000 4194304 4196468 140728174245952 140519734340464 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13407] ppid=13392 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13407/stat : 13407 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237205 14425288704 12116 33554432000 4194304 4196468 140728174245952 140519733287904 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13408] ppid=13392 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13408/stat : 13408 (java) S 13392 13392 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106237205 14425288704 12116 33554432000 4194304 4196468 140728174245952 140519732234672 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49660 KiB
[startup+0.700775 s]
/proc/loadavg: 2.22 2.08 2.00 4/217 13408
/proc/meminfo: memFree=27130156/32770624 swapFree=67108496/67108860
[pid=13392] ppid=13389 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13392/stat : 13392 (xcsp3-exec) S 13389 13392 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106237199 115843072 364 33554432000 4194304 5098028 140727170086016 140727170084120 140388900758140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28909568 140727170094145 140727170094345 140727170094345 140727170097098 0
/proc/13392/statm: 28282 364 306 221 0 87 0
[pid=13394] ppid=13392 vsize=14089320 memory=83272 CPUtime=1.57 cores=0,2,4,6
/proc/13394/stat : 13394 (java) S 13392 13392 7585 0 -1 1077944320 12949 0 0 0 153 4 0 0 20 0 15 0 106237199 14427463680 20818 33554432000 4194304 4196468 140728174245952 140728174228496 140520266616567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
/proc/13394/statm: 3522330 20818 3359 1 0 3483524 0
[pid=13394/tid=13395] ppid=13392 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/13394/task/13395/stat : 13395 (java) R 13392 13392 7585 0 -1 4202560 7162 0 0 0 64 3 0 0 20 0 15 0 106237199 14427463680 20818 33554432000 4194304 4196468 140728174245952 140520270854400 140519871225779 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13396] ppid=13392 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13396/stat : 13396 (java) S 13392 13392 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106237200 14427463680 20818 33554432000 4194304 4196468 140728174245952 140520196705168 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13397] ppid=13392 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13397/stat : 13397 (java) S 13392 13392 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106237200 14427463680 20818 33554432000 4194304 4196468 140728174245952 140520195652368 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13398] ppid=13392 vsize=14089320 memory=30240 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13398/stat : 13398 (java) S 13392 13392 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106237200 14427463680 20818 33554432000 4194304 4196468 140728174245952 140520194600080 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13399] ppid=13392 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13399/stat : 13399 (java) S 13392 13392 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106237200 14427463680 20818 33554432000 4194304 4196468 140728174245952 140520193547280 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13400] ppid=13392 vsize=14089320 memory=2260 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13400/stat : 13400 (java) S 13392 13392 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106237201 14427463680 20818 33554432000 4194304 4196468 140728174245952 140519740655728 140520266627714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13401] ppid=13392 vsize=14089320 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13401/stat : 13401 (java) S 13392 13392 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106237202 14427463680 20818 33554432000 4194304 4196468 140728174245952 140519739601696 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13402] ppid=13392 vsize=14089320 memory=860 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13402/stat : 13402 (java) S 13392 13392 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106237202 14427463680 20818 33554432000 4194304 4196468 140728174245952 140519738549360 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13403] ppid=13392 vsize=14089320 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13403/stat : 13403 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237204 14427463680 20818 33554432000 4194304 4196468 140728174245952 140519737497680 140520266635163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13404] ppid=13392 vsize=14089320 memory=756 CPUtime=0.25 cores=0,2,4,6
/proc/13394/task/13404/stat : 13404 (java) S 13392 13392 7585 0 -1 1077944384 1502 0 0 0 25 0 0 0 20 0 15 0 106237204 14427463680 20818 33554432000 4194304 4196468 140728174245952 140519736445552 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13405] ppid=13392 vsize=14089320 memory=1616 CPUtime=0.2 cores=0,2,4,6
/proc/13394/task/13405/stat : 13405 (java) S 13392 13392 7585 0 -1 1077944384 791 0 0 0 20 0 0 0 20 0 15 0 106237204 14427463680 20818 33554432000 4194304 4196468 140728174245952 140519735392752 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13406] ppid=13392 vsize=14089320 memory=1836 CPUtime=0.42 cores=0,2,4,6
/proc/13394/task/13406/stat : 13406 (java) R 13392 13392 7585 0 -1 4202560 2185 0 0 0 42 0 0 0 20 0 15 0 106237204 14427463680 20818 33554432000 4194304 4196468 140728174245952 140519734336192 140520266637914 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13407] ppid=13392 vsize=14089320 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13407/stat : 13407 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237205 14427463680 20818 33554432000 4194304 4196468 140728174245952 140519733287904 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13408] ppid=13392 vsize=14089320 memory=6396 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13408/stat : 13408 (java) S 13392 13392 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106237205 14427463680 20818 33554432000 4194304 4196468 140728174245952 140519732234672 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 84728 KiB
[startup+1.5008 s]
/proc/loadavg: 2.22 2.08 2.00 5/217 13408
/proc/meminfo: memFree=27099100/32770624 swapFree=67108496/67108860
[pid=13392] ppid=13389 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13392/stat : 13392 (xcsp3-exec) S 13389 13392 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106237199 115843072 364 33554432000 4194304 5098028 140727170086016 140727170084120 140388900758140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28909568 140727170094145 140727170094345 140727170094345 140727170097098 0
/proc/13392/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
[pid=13394/tid=13400] ppid=13392 vsize=14091368 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/13394/task/13400/stat : 13400 (java) S 13392 13392 7585 0 -1 1077944384 1093 0 0 0 1 0 0 0 20 0 15 0 106237201 14429560832 57365 33554432000 4194304 4196468 140728174245952 140519740655728 140520266627714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13401] ppid=13392 vsize=14091368 memory=225344 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13401/stat : 13401 (java) S 13392 13392 7585 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 106237202 14429560832 57365 33554432000 4194304 4196468 140728174245952 140519739601696 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13402] ppid=13392 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13402/stat : 13402 (java) S 13392 13392 7585 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 106237202 14429560832 57365 33554432000 4194304 4196468 140728174245952 140519738549360 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13403] ppid=13392 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13403/stat : 13403 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237204 14429560832 57365 33554432000 4194304 4196468 140728174245952 140519737497680 140520266635163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13404] ppid=13392 vsize=14091368 memory=1456 CPUtime=1.95 cores=0,2,4,6
/proc/13394/task/13404/stat : 13404 (java) S 13392 13392 7585 0 -1 1077944384 14141 0 0 0 194 1 0 0 20 0 15 0 106237204 14429560832 57365 33554432000 4194304 4196468 140728174245952 140519736445552 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13405] ppid=13392 vsize=14091368 memory=1456 CPUtime=1.84 cores=0,2,4,6
/proc/13394/task/13405/stat : 13405 (java) S 13392 13392 7585 0 -1 1077944384 11624 0 0 0 183 1 0 0 20 0 15 0 106237204 14429560832 57365 33554432000 4194304 4196468 140728174245952 140519735392752 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13406] ppid=13392 vsize=14091368 memory=1456 CPUtime=0.63 cores=0,2,4,6
/proc/13394/task/13406/stat : 13406 (java) S 13392 13392 7585 0 -1 1077944384 8025 0 0 0 62 1 0 0 20 0 15 0 106237204 14429560832 57365 33554432000 4194304 4196468 140728174245952 140519734340464 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13407] ppid=13392 vsize=14091368 memory=229460 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13407/stat : 13407 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237205 14429560832 57365 33554432000 4194304 4196468 140728174245952 140519733287904 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13408] ppid=13392 vsize=14091368 memory=1456 CPUtime=0.03 cores=0,2,4,6
/proc/13394/task/13408/stat : 13408 (java) S 13392 13392 7585 0 -1 1077944384 1291 0 0 0 1 2 0 0 20 0 15 0 106237205 14429560832 57365 33554432000 4194304 4196468 140728174245952 140519732234672 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
Current children cumulated CPU time: 166.82 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 230916 KiB
[startup+222.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/217 13642
/proc/meminfo: memFree=27052164/32770624 swapFree=67108496/67108860
[pid=13392] ppid=13389 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13392/stat : 13392 (xcsp3-exec) S 13389 13392 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106237199 115843072 364 33554432000 4194304 5098028 140727170086016 140727170084120 140388900758140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28909568 140727170094145 140727170094345 140727170094345 140727170097098 0
/proc/13392/statm: 28282 364 306 221 0 87 0
[pid=13394] ppid=13392 vsize=14091368 memory=224848 CPUtime=226.86 cores=0,2,4,6
/proc/13394/stat : 13394 (java) S 13392 13392 7585 0 -1 1077944320 54789 0 0 0 22672 14 0 0 20 0 15 0 106237199 14429560832 56212 33554432000 4194304 4196468 140728174245952 140728174228496 140520266616567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
/proc/13394/statm: 3522842 56212 3409 1 0 3484036 0
[pid=13394/tid=13395] ppid=13392 vsize=14091368 memory=224848 CPUtime=222.22 cores=0,2,4,6
/proc/13394/task/13395/stat : 13395 (java) R 13392 13392 7585 0 -1 4202560 12162 0 0 0 22217 5 0 0 20 0 15 0 106237199 14429560832 56212 33554432000 4194304 4196468 140728174245952 140520270855216 140519876456786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13396] ppid=13392 vsize=14091368 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/13394/task/13396/stat : 13396 (java) S 13392 13392 7585 0 -1 1077944384 1751 0 0 0 1 0 0 0 20 0 15 0 106237200 14429560832 56212 33554432000 4194304 4196468 140728174245952 140520196705168 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13397] ppid=13392 vsize=14091368 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/13394/task/13397/stat : 13397 (java) S 13392 13392 7585 0 -1 1077944384 580 0 0 0 1 0 0 0 20 0 15 0 106237200 14429560832 56212 33554432000 4194304 4196468 140728174245952 140520195652368 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13398] ppid=13392 vsize=14091368 memory=224848 CPUtime=0.01 cores=0,2,4,6
/proc/13394/task/13398/stat : 13398 (java) S 13392 13392 7585 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 15 0 106237200 14429560832 56212 33554432000 4194304 4196468 140728174245952 140520194600080 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13399] ppid=13392 vsize=14091368 memory=224848 CPUtime=0.01 cores=0,2,4,6
/proc/13394/task/13399/stat : 13399 (java) S 13392 13392 7585 0 -1 1077944384 1529 0 0 0 1 0 0 0 20 0 15 0 106237200 14429560832 56212 33554432000 4194304 4196468 140728174245952 140520193547280 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13400] ppid=13392 vsize=14091368 memory=224848 CPUtime=0.01 cores=0,2,4,6
/proc/13394/task/13400/stat : 13400 (java) S 13392 13392 7585 0 -1 1077944384 1108 0 0 0 1 0 0 0 20 0 15 0 106237201 14429560832 56212 33554432000 4194304 4196468 140728174245952 140519740655728 140520266627714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13401] ppid=13392 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13401/stat : 13401 (java) S 13392 13392 7585 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 106237202 14429560832 56212 33554432000 4194304 4196468 140728174245952 140519739601696 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13402] ppid=13392 vsize=14091368 memory=224848 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13402/stat : 13402 (java) S 13392 13392 7585 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 106237202 14429560832 56212 33554432000 4194304 4196468 140728174245952 140519738549360 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13403] ppid=13392 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13403/stat : 13403 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237204 14429560832 56212 33554432000 4194304 4196468 140728174245952 140519737497680 140520266635163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13404] ppid=13392 vsize=14091368 memory=1456 CPUtime=1.95 cores=0,2,4,6
/proc/13394/task/13404/stat : 13404 (java) S 13392 13392 7585 0 -1 1077944384 14254 0 0 0 194 1 0 0 20 0 15 0 106237204 14429560832 56212 33554432000 4194304 4196468 140728174245952 140519736445552 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13405] ppid=13392 vsize=14091368 memory=3872 CPUtime=1.85 cores=0,2,4,6
/proc/13394/task/13405/stat : 13405 (java) S 13392 13392 7585 0 -1 1077944384 12020 0 0 0 184 1 0 0 20 0 15 0 106237204 14429560832 56212 33554432000 4194304 4196468 140728174245952 140519735392752 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13406] ppid=13392 vsize=14091368 memory=932 CPUtime=0.63 cores=0,2,4,6
/proc/13394/task/13406/stat : 13406 (java) S 13392 13392 7585 0 -1 1077944384 8365 0 0 0 62 1 0 0 20 0 15 0 106237204 14429560832 56212 33554432000 4194304 4196468 140728174245952 140519734340464 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13407] ppid=13392 vsize=14091368 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13407/stat : 13407 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237205 14429560832 56212 33554432000 4194304 4196468 140728174245952 140519733287904 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13408] ppid=13392 vsize=14091368 memory=2212 CPUtime=0.05 cores=0,2,4,6
/proc/13394/task/13408/stat : 13408 (java) S 13392 13392 7585 0 -1 1077944384 1298 0 0 0 2 3 0 0 20 0 15 0 106237205 14429560832 56212 33554432000 4194304 4196468 140728174245952 140519732234672 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
Current children cumulated CPU time: 226.86 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 226304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+247.501 s]
/proc/loadavg: 2.04 2.03 2.00 3/217 13642
/proc/meminfo: memFree=27011392/32770624 swapFree=67108496/67108860
[pid=13392] ppid=13389 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13392/stat : 13392 (xcsp3-exec) S 13389 13392 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106237199 115843072 364 33554432000 4194304 5098028 140727170086016 140727170084120 140388900758140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28909568 140727170094145 140727170094345 140727170094345 140727170097098 0
/proc/13392/statm: 28282 364 306 221 0 87 0
[pid=13394] ppid=13392 vsize=14091368 memory=218704 CPUtime=252.07 cores=0,2,4,6
/proc/13394/stat : 13394 (java) S 13392 13392 7585 0 -1 1077944320 56550 0 0 0 25193 14 0 0 20 0 15 0 106237199 14429560832 54676 33554432000 4194304 4196468 140728174245952 140728174228496 140520266616567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
/proc/13394/statm: 3522842 54676 3409 1 0 3484036 0
[pid=13394/tid=13395] ppid=13392 vsize=14091368 memory=1456 CPUtime=247.41 cores=0,2,4,6
/proc/13394/task/13395/stat : 13395 (java) R 13392 13392 7585 0 -1 4202560 12912 0 0 0 24736 5 0 0 20 0 15 0 106237199 14429560832 54676 33554432000 4194304 4196468 140728174245952 140520270856272 140519877920182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13396] ppid=13392 vsize=14091368 memory=218704 CPUtime=0.02 cores=0,2,4,6
/proc/13394/task/13396/stat : 13396 (java) S 13392 13392 7585 0 -1 1077944384 1793 0 0 0 2 0 0 0 20 0 15 0 106237200 14429560832 54676 33554432000 4194304 4196468 140728174245952 140520196705168 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13397] ppid=13392 vsize=14091368 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/13394/task/13397/stat : 13397 (java) S 13392 13392 7585 0 -1 1077944384 645 0 0 0 2 0 0 0 20 0 15 0 106237200 14429560832 54676 33554432000 4194304 4196468 140728174245952 140520195652368 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13398] ppid=13392 vsize=14091368 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/13394/task/13398/stat : 13398 (java) S 13392 13392 7585 0 -1 1077944384 731 0 0 0 2 0 0 0 20 0 15 0 106237200 14429560832 54676 33554432000 4194304 4196468 140728174245952 140520194600080 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13399] ppid=13392 vsize=14091368 memory=1160 CPUtime=0.01 cores=0,2,4,6
/proc/13394/task/13399/stat : 13399 (java) S 13392 13392 7585 0 -1 1077944384 1543 0 0 0 1 0 0 0 20 0 15 0 106237200 14429560832 54676 33554432000 4194304 4196468 140728174245952 140520193547280 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13400] ppid=13392 vsize=14091368 memory=15184 CPUtime=0.01 cores=0,2,4,6
/proc/13394/task/13400/stat : 13400 (java) S 13392 13392 7585 0 -1 1077944384 1345 0 0 0 1 0 0 0 20 0 15 0 106237201 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519740655728 140520266627714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13401] ppid=13392 vsize=14091368 memory=3872 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13401/stat : 13401 (java) S 13392 13392 7585 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 106237202 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519739601696 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13402] ppid=13392 vsize=14091368 memory=30244 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13402/stat : 13402 (java) S 13392 13392 7585 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 106237202 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519738549360 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13403] ppid=13392 vsize=14091368 memory=279986502971776 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13403/stat : 13403 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237204 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519737497680 140520266635163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13404] ppid=13392 vsize=14091368 memory=-1088251628401078322 CPUtime=1.96 cores=0,2,4,6
/proc/13394/task/13404/stat : 13404 (java) S 13392 13392 7585 0 -1 1077944384 14325 0 0 0 195 1 0 0 20 0 15 0 106237204 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519736445552 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13405] ppid=13392 vsize=14091368 memory=12556 CPUtime=1.85 cores=0,2,4,6
/proc/13394/task/13405/stat : 13405 (java) S 13392 13392 7585 0 -1 1077944384 12028 0 0 0 184 1 0 0 20 0 15 0 106237204 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519735392752 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13406] ppid=13392 vsize=14091368 memory=756 CPUtime=0.63 cores=0,2,4,6
/proc/13394/task/13406/stat : 13406 (java) S 13392 13392 7585 0 -1 1077944384 8505 0 0 0 62 1 0 0 20 0 15 0 106237204 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519734340464 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13407] ppid=13392 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13407/stat : 13407 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237205 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519733287904 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13408] ppid=13392 vsize=14091368 memory=1456 CPUtime=0.05 cores=0,2,4,6
/proc/13394/task/13408/stat : 13408 (java) S 13392 13392 7585 0 -1 1077944384 1327 0 0 0 2 3 0 0 20 0 15 0 106237205 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519732234672 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 220160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+247.514 s]
# the end of solver process 13392 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.947 s, system=0.156164 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+247.501 s]
/proc/loadavg: 2.04 2.03 2.00 3/217 13642
/proc/meminfo: memFree=27011392/32770624 swapFree=67108496/67108860
[pid=13392] ppid=13389 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13392/stat : 13392 (xcsp3-exec) S 13389 13392 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106237199 115843072 364 33554432000 4194304 5098028 140727170086016 140727170084120 140388900758140 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28909568 140727170094145 140727170094345 140727170094345 140727170097098 0
/proc/13392/statm: 28282 364 306 221 0 87 0
[pid=13394] ppid=13392 vsize=14091368 memory=218704 CPUtime=252.07 cores=0,2,4,6
/proc/13394/stat : 13394 (java) S 13392 13392 7585 0 -1 1077944320 56550 0 0 0 25193 14 0 0 20 0 15 0 106237199 14429560832 54676 33554432000 4194304 4196468 140728174245952 140728174228496 140520266616567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
/proc/13394/statm: 3522842 54676 3409 1 0 3484036 0
[pid=13394/tid=13395] ppid=13392 vsize=14091368 memory=1456 CPUtime=247.41 cores=0,2,4,6
/proc/13394/task/13395/stat : 13395 (java) R 13392 13392 7585 0 -1 4202560 12912 0 0 0 24736 5 0 0 20 0 15 0 106237199 14429560832 54676 33554432000 4194304 4196468 140728174245952 140520270856272 140519877920182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13396] ppid=13392 vsize=14091368 memory=218704 CPUtime=0.02 cores=0,2,4,6
/proc/13394/task/13396/stat : 13396 (java) S 13392 13392 7585 0 -1 1077944384 1793 0 0 0 2 0 0 0 20 0 15 0 106237200 14429560832 54676 33554432000 4194304 4196468 140728174245952 140520196705168 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13397] ppid=13392 vsize=14091368 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/13394/task/13397/stat : 13397 (java) S 13392 13392 7585 0 -1 1077944384 645 0 0 0 2 0 0 0 20 0 15 0 106237200 14429560832 54676 33554432000 4194304 4196468 140728174245952 140520195652368 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13398] ppid=13392 vsize=14091368 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/13394/task/13398/stat : 13398 (java) S 13392 13392 7585 0 -1 1077944384 731 0 0 0 2 0 0 0 20 0 15 0 106237200 14429560832 54676 33554432000 4194304 4196468 140728174245952 140520194600080 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13399] ppid=13392 vsize=14091368 memory=1160 CPUtime=0.01 cores=0,2,4,6
/proc/13394/task/13399/stat : 13399 (java) S 13392 13392 7585 0 -1 1077944384 1543 0 0 0 1 0 0 0 20 0 15 0 106237200 14429560832 54676 33554432000 4194304 4196468 140728174245952 140520193547280 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13400] ppid=13392 vsize=14091368 memory=15184 CPUtime=0.01 cores=0,2,4,6
/proc/13394/task/13400/stat : 13400 (java) S 13392 13392 7585 0 -1 1077944384 1345 0 0 0 1 0 0 0 20 0 15 0 106237201 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519740655728 140520266627714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13401] ppid=13392 vsize=14091368 memory=3872 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13401/stat : 13401 (java) S 13392 13392 7585 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 106237202 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519739601696 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13402] ppid=13392 vsize=14091368 memory=30244 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13402/stat : 13402 (java) S 13392 13392 7585 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 106237202 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519738549360 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13403] ppid=13392 vsize=14091368 memory=279986502971776 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13403/stat : 13403 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237204 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519737497680 140520266635163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13404] ppid=13392 vsize=14091368 memory=-1088251628401078322 CPUtime=1.96 cores=0,2,4,6
/proc/13394/task/13404/stat : 13404 (java) S 13392 13392 7585 0 -1 1077944384 14325 0 0 0 195 1 0 0 20 0 15 0 106237204 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519736445552 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13405] ppid=13392 vsize=14091368 memory=12556 CPUtime=1.85 cores=0,2,4,6
/proc/13394/task/13405/stat : 13405 (java) S 13392 13392 7585 0 -1 1077944384 12028 0 0 0 184 1 0 0 20 0 15 0 106237204 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519735392752 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13406] ppid=13392 vsize=14091368 memory=756 CPUtime=0.63 cores=0,2,4,6
/proc/13394/task/13406/stat : 13406 (java) S 13392 13392 7585 0 -1 1077944384 8505 0 0 0 62 1 0 0 20 0 15 0 106237204 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519734340464 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13407] ppid=13392 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/13394/task/13407/stat : 13407 (java) S 13392 13392 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106237205 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519733287904 140520266626773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
[pid=13394/tid=13408] ppid=13392 vsize=14091368 memory=1456 CPUtime=0.05 cores=0,2,4,6
/proc/13394/task/13408/stat : 13408 (java) S 13392 13392 7585 0 -1 1077944384 1327 0 0 0 2 3 0 0 20 0 15 0 106237205 14429560832 54676 33554432000 4194304 4196468 140728174245952 140519732234672 140520266627714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 13590528 140728174249100 140728174249270 140728174249270 140728174251983 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 220160 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 247.514
CPU time (s): 252.103
CPU user time (s): 251.947
CPU system time (s): 0.156164
CPU usage (%): 101.854
Max. virtual memory (cumulated for all children) (KiB): 14206492
Max. memory (cumulated for all children) (KiB): 232460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.947
system time used= 0.156164
maximum resident set size= 233556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57590
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8573
involuntary context switches= 322
# summary of solver processes directly reported to runsolver:
# pid: 13392
# total CPU time (s): 252.103
# total CPU user time (s): 251.947
# total CPU system time (s): 0.156164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36625 second user time and 2.33048 second system time
The end
Begin job on node149 at 2018-07-29 19:52:20 IDJOB=4301891 IDBENCH=141434 IDSOLVER=2772 FILE ID=node149/4301891-1532886740 RUNJOBID= node149-1532880125-7616 PBS_JOBID= 21022517 Free space on /tmp= 45724 MiB SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e) BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-023_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-4301891-1532886740/watcher-4301891-1532886740 -o /tmp/evaluation-result-4301891-1532886740/solver-4301891-1532886740 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312 HOME/xcsp3-exec -seed 530784805 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301891-1532886740.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1fc64e237e2e479d6d3c5a9de2910321 RANDOM SEED=530784805 node149.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.60 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.60 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.60 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.60 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: 27178844 kB MemAvailable: 31718284 kB Buffers: 166820 kB Cached: 4596456 kB SwapCached: 60 kB Active: 1853924 kB Inactive: 3175808 kB Active(anon): 216348 kB Inactive(anon): 78000 kB Active(file): 1637576 kB Inactive(file): 3097808 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108496 kB Dirty: 21688 kB Writeback: 0 kB AnonPages: 362604 kB Mapped: 49672 kB Shmem: 25040 kB Slab: 261484 kB SReclaimable: 232516 kB SUnreclaim: 28968 kB KernelStack: 3808 kB PageTables: 6464 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1296592 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 45700 MiB End job on node149 at 2018-07-29 19:56:28