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 par (e747e1e) | SAT (TO) | 50 | 20060.2 | 2520.12 |
| Name | LowAutocorrelation/ LowAutocorrelation-028_c18.xml |
| MD5SUM | 6d24c16a7684a366ea9600406f2e8dbf |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 50 |
| Best CPU time to get the best result obtained on this benchmark | 20060.2 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 811 |
| Number of constraints | 432 |
| Number of domains | 55 |
| Minimum domain size | 2 |
| Maximum domain size | 55 |
| Distribution of domain sizes | [{"size":2,"count":407},{"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":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}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 27 |
| Distribution of variable degrees | [{"degree":0,"count":351},{"degree":2,"count":432},{"degree":27,"count":28}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 28 |
| Distribution of constraint arities | [{"arity":2,"count":28},{"arity":3,"count":379},{"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}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 405 |
| Distribution of constraint types | [{"type":"intension","count":405},{"type":"sum","count":27}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297613-1532720718.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297613-1532720718.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 3.73/1.22 c solve instance... 4.35/1.32 o 6930 4.35/1.35 o 5526 4.35/1.35 o 5430 4.35/1.36 o 4426 4.35/1.38 o 4330 4.35/1.38 o 4242 4.35/1.38 o 3598 4.99/1.41 o 3334 4.99/1.42 o 3010 4.99/1.42 o 286 4.99/1.43 o 226 4.99/1.47 o 222 11.87/2.30 o 206 11.87/2.34 o 174 12.60/2.40 o 138 18.21/3.17 o 134 24.44/3.95 o 106 25.24/4.05 o 98 52.94/7.56 o 78 137.45/18.13 o 74 155.59/20.41 o 70 293.49/37.78 o 62 1553.81/195.74 o 58 5868.17/737.34 o 50 20059.37/2520.09 s SATISFIABLE 20059.37/2520.09 v <instantiation> 20059.37/2520.09 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[23][0] y[23][1] y[23][2] y[23][3] y[24][0] y[24][1] y[24][2] y[25][0] y[25][1] y[26][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] 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] </list> 20059.37/2520.09 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 -2 1 0 -1 0 -1 2 1 -2 -1 -2 1 -2 -1 -2 1 2 -1 2 1 0 1 0 -1 -2 -1 1 4 1 0 1 0 1 4 1 4 1 4 1 4 1 4 1 4 1 4 1 0 1 0 1 4 1 </values> 20059.37/2520.09 v </instantiation> 20059.37/2520.09 c Unexpected resolution interruption!
OK 50
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 (9039 MiB free)
memory of node 1: 16384 MiB (13941 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297613-1532720718/watcher-4297613-1532720718 -o /tmp/evaluation-result-4297613-1532720718/solver-4297613-1532720718 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532718097-17586 --watchdog 2580 HOME/xcsp3-exec -seed 1624356818 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297613-1532720718.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17937, runsolver pid=17934
[startup+0.100144 s]*
/proc/loadavg: 8.09 8.18 8.21 3/199 17958
/proc/meminfo: memFree=23515600/32770624 swapFree=67108688/67108860
[pid=17937] ppid=17934 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17937/stat : 17937 (xcsp3-exec) S 17934 17937 17559 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89634645 115843072 364 33554432000 4194304 5098028 140720325987408 140720325985512 140369027334780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32923648 140720325993525 140720325993728 140720325993728 140720325996490 0
/proc/17937/statm: 28282 364 306 221 0 87 0
[pid=17939] ppid=17937 vsize=26104152 memory=27772 CPUtime=0.11 cores=0-7
/proc/17939/stat : 17939 (java) S 17937 17937 17559 0 -1 1077944320 5817 0 0 0 10 1 0 0 20 0 20 0 89634646 26730651648 6943 33554432000 4194304 4196468 140725741220528 140725741203072 139667630313207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
/proc/17939/statm: 6526038 6943 3020 1 0 6488315 0
[pid=17939/tid=17940] ppid=17937 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/17939/task/17940/stat : 17940 (java) R 17937 17937 17559 0 -1 4202560 3823 0 0 0 8 0 0 0 20 0 20 0 89634646 26730651648 6943 33554432000 4194304 4196468 140725741220528 139667634532184 139667614356837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17941] ppid=17937 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17939/task/17941/stat : 17941 (java) S 17937 17937 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 6943 33554432000 4194304 4196468 140725741220528 139667582933776 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17942] ppid=17937 vsize=26104152 memory=139821383734912 CPUtime=0 cores=0-7
/proc/17939/task/17942/stat : 17942 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 6943 33554432000 4194304 4196468 140725741220528 139667581881232 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17943] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17943/stat : 17943 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 6943 33554432000 4194304 4196468 140725741220528 139667580828688 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17944] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17944/stat : 17944 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 6943 33554432000 4194304 4196468 140725741220528 139667579776144 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17945] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17945/stat : 17945 (java) S 17937 17937 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 6943 33554432000 4194304 4196468 140725741220528 139667578722576 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17946] ppid=17937 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17939/task/17946/stat : 17946 (java) S 17937 17937 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 6943 33554432000 4194304 4196468 140725741220528 139667577670032 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17947] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17947/stat : 17947 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 6943 33554432000 4194304 4196468 140725741220528 139667576617488 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17948] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17948/stat : 17948 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 6943 33554432000 4194304 4196468 140725741220528 139667575564944 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17949] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17949/stat : 17949 (java) S 17937 17937 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89634648 26730651648 6943 33554432000 4194304 4196468 140725741220528 139665834727920 139667630324354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17950] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17950/stat : 17950 (java) S 17937 17937 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89634649 26730651648 6943 33554432000 4194304 4196468 140725741220528 139665833674144 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17951] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17951/stat : 17951 (java) S 17937 17937 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89634649 26730651648 6943 33554432000 4194304 4196468 140725741220528 139665832621552 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17952] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17952/stat : 17952 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634651 26730651648 6943 33554432000 4194304 4196468 140725741220528 139665831570128 139667630331803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17953] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17953/stat : 17953 (java) S 17937 17937 17559 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 89634651 26730651648 6943 33554432000 4194304 4196468 140725741220528 139665830516720 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17954] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17954/stat : 17954 (java) S 17937 17937 17559 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 89634651 26730651648 6943 33554432000 4194304 4196468 140725741220528 139665829464176 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17955] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17955/stat : 17955 (java) R 17937 17937 17559 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 89634651 26730651648 6943 33554432000 4194304 4196468 140725741220528 139665828411632 139667630324354 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17956] ppid=17937 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17939/task/17956/stat : 17956 (java) R 17937 17937 17559 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 89634651 26730651648 6943 33554432000 4194304 4196468 140725741220528 139665519499632 139667622333475 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17957] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17957/stat : 17957 (java) S 17937 17937 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89634652 26730651648 6943 33554432000 4194304 4196468 140725741220528 139665518447328 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17958] ppid=17937 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17939/task/17958/stat : 17958 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634652 26730651648 6943 33554432000 4194304 4196468 140725741220528 139665517394864 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29228 KiB
[startup+0.210005 s]*
/proc/loadavg: 8.09 8.18 8.21 3/199 17958
/proc/meminfo: memFree=23504776/32770624 swapFree=67108688/67108860
[pid=17937] ppid=17934 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17937/stat : 17937 (xcsp3-exec) S 17934 17937 17559 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89634645 115843072 364 33554432000 4194304 5098028 140720325987408 140720325985512 140369027334780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32923648 140720325993525 140720325993728 140720325993728 140720325996490 0
/proc/17937/statm: 28282 364 306 221 0 87 0
[pid=17939] ppid=17937 vsize=26104152 memory=39828 CPUtime=0.33 cores=0-7
/proc/17939/stat : 17939 (java) S 17937 17937 17559 0 -1 1077944320 8525 0 0 0 31 2 0 0 20 0 20 0 89634646 26730651648 9957 33554432000 4194304 4196468 140725741220528 140725741203072 139667630313207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
/proc/17939/statm: 6526038 9957 3193 1 0 6488315 0
[pid=17939/tid=17940] ppid=17937 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17939/task/17940/stat : 17940 (java) R 17937 17937 17559 0 -1 4202560 5582 0 0 0 18 1 0 0 20 0 20 0 89634646 26730651648 9957 33554432000 4194304 4196468 140725741220528 139667634545120 139667614393694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17941] ppid=17937 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/17939/task/17941/stat : 17941 (java) S 17937 17937 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 9957 33554432000 4194304 4196468 140725741220528 139667582933776 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17942] ppid=17937 vsize=26104152 memory=139821384237276 CPUtime=0 cores=0-7
/proc/17939/task/17942/stat : 17942 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 9957 33554432000 4194304 4196468 140725741220528 139667581881232 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17943] ppid=17937 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17939/task/17943/stat : 17943 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 9957 33554432000 4194304 4196468 140725741220528 139667580828688 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17944] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17944/stat : 17944 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 9957 33554432000 4194304 4196468 140725741220528 139667579776144 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17945] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17945/stat : 17945 (java) S 17937 17937 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 9957 33554432000 4194304 4196468 140725741220528 139667578722576 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17946] ppid=17937 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17939/task/17946/stat : 17946 (java) S 17937 17937 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 9957 33554432000 4194304 4196468 140725741220528 139667577670032 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17947] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17947/stat : 17947 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 9957 33554432000 4194304 4196468 140725741220528 139667576617488 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17948] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17948/stat : 17948 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26730651648 9957 33554432000 4194304 4196468 140725741220528 139667575564944 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17949] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17949/stat : 17949 (java) S 17937 17937 17559 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89634648 26730651648 9957 33554432000 4194304 4196468 140725741220528 139665834727920 139667630324354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17950] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17950/stat : 17950 (java) S 17937 17937 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89634649 26730651648 9957 33554432000 4194304 4196468 140725741220528 139665833674144 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17951] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17951/stat : 17951 (java) S 17937 17937 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89634649 26730651648 9957 33554432000 4194304 4196468 140725741220528 139665832621552 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17952] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17952/stat : 17952 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634651 26730651648 9957 33554432000 4194304 4196468 140725741220528 139665831570128 139667630331803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17953] ppid=17937 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17939/task/17953/stat : 17953 (java) S 17937 17937 17559 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 20 0 89634651 26730651648 9957 33554432000 4194304 4196468 140725741220528 139665830516720 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17954] ppid=17937 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17939/task/17954/stat : 17954 (java) S 17937 17937 17559 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 20 0 89634651 26730651648 9957 33554432000 4194304 4196468 140725741220528 139665829464176 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17955] ppid=17937 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7
/proc/17939/task/17955/stat : 17955 (java) S 17937 17937 17559 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 20 0 89634651 26730651648 9957 33554432000 4194304 4196468 140725741220528 139665828411632 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17956] ppid=17937 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/17939/task/17956/stat : 17956 (java) S 17937 17937 17559 0 -1 1077944384 747 0 0 0 7 0 0 0 20 0 20 0 89634651 26730651648 9957 33554432000 4194304 4196468 140725741220528 139665519499632 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17957] ppid=17937 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17957/stat : 17957 (java) S 17937 17937 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89634652 26730651648 9957 33554432000 4194304 4196468 140725741220528 139665518447328 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17958] ppid=17937 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17939/task/17958/stat : 17958 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634652 26730651648 9957 33554432000 4194304 4196468 140725741220528 139665517394864 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41284 KiB
[startup+0.309339 s]*
/proc/loadavg: 8.09 8.18 8.21 7/199 17958
/proc/meminfo: memFree=23499312/32770624 swapFree=67108688/67108860
[pid=17937] ppid=17934 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17937/stat : 17937 (xcsp3-exec) S 17934 17937 17559 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89634645 115843072 364 33554432000 4194304 5098028 140720325987408 140720325985512 140369027334780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32923648 140720325993525 140720325993728 140720325993728 140720325996490 0
/proc/17937/statm: 28282 364 306 221 0 87 0
[pid=17939] ppid=17937 vsize=26108408 memory=46672 CPUtime=0.5 cores=0-7
/proc/17939/stat : 17939 (java) S 17937 17937 17559 0 -1 1077944320 9361 0 0 0 48 2 0 0 20 0 20 0 89634646 26735009792 11668 33554432000 4194304 4196468 140725741220528 140725741203072 139667630313207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
/proc/17939/statm: 6527102 11668 3259 1 0 6488315 0
[pid=17939/tid=17940] ppid=17937 vsize=26108408 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/17939/task/17940/stat : 17940 (java) R 17937 17937 17559 0 -1 4202560 6255 0 0 0 27 1 0 0 20 0 20 0 89634646 26735009792 11724 33554432000 4194304 4196468 140725741220528 139667634550496 139667630335133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17941] ppid=17937 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17941/stat : 17941 (java) S 17937 17937 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89634647 26735009792 11724 33554432000 4194304 4196468 140725741220528 139667582933776 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17942] ppid=17937 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17942/stat : 17942 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26735009792 11724 33554432000 4194304 4196468 140725741220528 139667581881232 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17943] ppid=17937 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17943/stat : 17943 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26735009792 11724 33554432000 4194304 4196468 140725741220528 139667580828688 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17944] ppid=17937 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17944/stat : 17944 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26735009792 11724 33554432000 4194304 4196468 140725741220528 139667579776144 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17945] ppid=17937 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/17939/task/17945/stat : 17945 (java) S 17937 17937 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89634647 26735009792 11724 33554432000 4194304 4196468 140725741220528 139667578722576 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17946] ppid=17937 vsize=26108408 memory=139821251130287 CPUtime=0 cores=0-7
/proc/17939/task/17946/stat : 17946 (java) S 17937 17937 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89634647 26735009792 11724 33554432000 4194304 4196468 140725741220528 139667577670032 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17947] ppid=17937 vsize=26108408 memory=139821251132592 CPUtime=0 cores=0-7
/proc/17939/task/17947/stat : 17947 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26735009792 11724 33554432000 4194304 4196468 140725741220528 139667576617488 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17948] ppid=17937 vsize=26108408 memory=139821251134896 CPUtime=0 cores=0-7
/proc/17939/task/17948/stat : 17948 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26735009792 11724 33554432000 4194304 4196468 140725741220528 139667575564944 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17949] ppid=17937 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17949/stat : 17949 (java) S 17937 17937 17559 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89634648 26735009792 11724 33554432000 4194304 4196468 140725741220528 139665834727920 139667630324354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17950] ppid=17937 vsize=26108408 memory=279642502276752 CPUtime=0 cores=0-7
/proc/17939/task/17950/stat : 17950 (java) S 17937 17937 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89634649 26735009792 11724 33554432000 4194304 4196468 140725741220528 139665833674144 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17951] ppid=17937 vsize=26108408 memory=279642502283664 CPUtime=0 cores=0-7
/proc/17939/task/17951/stat : 17951 (java) S 17937 17937 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89634649 26735009792 11724 33554432000 4194304 4196468 140725741220528 139665832621552 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17952] ppid=17937 vsize=26108408 memory=279642502224816 CPUtime=0 cores=0-7
/proc/17939/task/17952/stat : 17952 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634651 26735009792 11724 33554432000 4194304 4196468 140725741220528 139665831570128 139667630331803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17953] ppid=17937 vsize=26108408 memory=279642502297488 CPUtime=0.02 cores=0-7
/proc/17939/task/17953/stat : 17953 (java) S 17937 17937 17559 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 20 0 89634651 26735009792 11724 33554432000 4194304 4196468 140725741220528 139665830516720 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17954] ppid=17937 vsize=26108408 memory=279642502304400 CPUtime=0.02 cores=0-7
/proc/17939/task/17954/stat : 17954 (java) R 17937 17937 17559 0 -1 4202560 291 0 0 0 2 0 0 0 20 0 20 0 89634651 26735009792 11724 33554432000 4194304 4196468 140725741220528 139665829445288 139667609557563 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17955] ppid=17937 vsize=26108408 memory=279642502302096 CPUtime=0.03 cores=0-7
/proc/17939/task/17955/stat : 17955 (java) S 17937 17937 17559 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 20 0 89634651 26735009792 11724 33554432000 4194304 4196468 140725741220528 139665828411632 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17956] ppid=17937 vsize=26108408 memory=279642502318256 CPUtime=0.12 cores=0-7
/proc/17939/task/17956/stat : 17956 (java) S 17937 17937 17559 0 -1 1077944384 813 0 0 0 12 0 0 0 20 0 20 0 89634651 26735009792 11724 33554432000 4194304 4196468 140725741220528 139665519499632 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17957] ppid=17937 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17957/stat : 17957 (java) S 17937 17937 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89634652 26735009792 11724 33554432000 4194304 4196468 140725741220528 139665518447328 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17958] ppid=17937 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/17939/task/17958/stat : 17958 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634652 26735009792 11724 33554432000 4194304 4196468 140725741220528 139665517394864 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48128 KiB
[startup+0.700916 s]
/proc/loadavg: 8.09 8.18 8.21 3/199 17958
/proc/meminfo: memFree=23486472/32770624 swapFree=67108688/67108860
[pid=17937] ppid=17934 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17937/stat : 17937 (xcsp3-exec) S 17934 17937 17559 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89634645 115843072 364 33554432000 4194304 5098028 140720325987408 140720325985512 140369027334780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32923648 140720325993525 140720325993728 140720325993728 140720325996490 0
/proc/17937/statm: 28282 364 306 221 0 87 0
[pid=17939] ppid=17937 vsize=26110532 memory=86408 CPUtime=1.59 cores=0-7
/proc/17939/stat : 17939 (java) S 17937 17937 17559 0 -1 1077944320 13247 0 0 0 154 5 0 0 20 0 20 0 89634646 26737184768 21602 33554432000 4194304 4196468 140725741220528 140725741203072 139667630313207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
/proc/17939/statm: 6527633 21602 3358 1 0 6488827 0
[pid=17939/tid=17940] ppid=17937 vsize=26110532 memory=279642502676144 CPUtime=0.67 cores=0-7
/proc/17939/task/17940/stat : 17940 (java) R 17937 17937 17559 0 -1 4202560 7239 0 0 0 64 3 0 0 20 0 20 0 89634646 26737184768 21602 33554432000 4194304 4196468 140725741220528 139667634550016 139667254102646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17941] ppid=17937 vsize=26110532 memory=139821251339120 CPUtime=0 cores=0-7
/proc/17939/task/17941/stat : 17941 (java) S 17937 17937 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89634647 26737184768 21602 33554432000 4194304 4196468 140725741220528 139667582933776 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17942] ppid=17937 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/17939/task/17942/stat : 17942 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26737184768 21602 33554432000 4194304 4196468 140725741220528 139667581881232 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17943] ppid=17937 vsize=26110532 memory=4616 CPUtime=0 cores=0-7
/proc/17939/task/17943/stat : 17943 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89634647 26737184768 21602 33554432000 4194304 4196468 140725741220528 139667580828688 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
################
# More data... #
################
[pid=17939/tid=18164] ppid=17937 vsize=26711656 memory=1456 CPUtime=1693.61 cores=0-7
/proc/17939/task/18164/stat : 18164 (java) R 17937 17937 17559 0 -1 4202560 42520 0 0 0 169340 21 0 0 20 0 28 0 89708380 27352735744 336046 33554432000 4194304 4196468 140725741220528 139665506700976 139667263378741 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
Current children cumulated CPU time: 19441 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 1345640 KiB
[startup+2502.3 s]
/proc/loadavg: 8.22 8.39 8.32 9/207 18209
/proc/meminfo: memFree=22195140/32770624 swapFree=67108688/67108860
[pid=17937] ppid=17934 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17937/stat : 17937 (xcsp3-exec) S 17934 17937 17559 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89634645 115843072 364 33554432000 4194304 5098028 140720325987408 140720325985512 140369027334780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32923648 140720325993525 140720325993728 140720325993728 140720325996490 0
/proc/17937/statm: 28282 364 306 221 0 87 0
[pid=17939] ppid=17937 vsize=26711656 memory=1345684 CPUtime=19918.5 cores=0-7
/proc/17939/stat : 17939 (java) S 17937 17937 17559 0 -1 1077944320 573574 0 0 0 1991320 530 0 0 20 0 28 0 89634646 27352735744 336421 33554432000 4194304 4196468 140725741220528 140725741203072 139667630313207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
/proc/17939/statm: 6677914 336421 3459 1 0 6639108 0
[pid=17939/tid=17940] ppid=17937 vsize=26711656 memory=1345684 CPUtime=1.21 cores=0-7
/proc/17939/task/17940/stat : 17940 (java) S 17937 17937 17559 0 -1 1077944384 9080 0 0 0 116 5 0 0 20 0 28 0 89634646 27352735744 336421 33554432000 4194304 4196468 140725741220528 139667634553984 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17941] ppid=17937 vsize=26711656 memory=1346196 CPUtime=5.79 cores=0-7
/proc/17939/task/17941/stat : 17941 (java) S 17937 17937 17559 0 -1 1077944384 23033 0 0 0 543 36 0 0 20 0 28 0 89634647 27352735744 336421 33554432000 4194304 4196468 140725741220528 139667582933776 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17942] ppid=17937 vsize=26711656 memory=1345684 CPUtime=5.77 cores=0-7
/proc/17939/task/17942/stat : 17942 (java) S 17937 17937 17559 0 -1 1077944384 22073 0 0 0 543 34 0 0 20 0 28 0 89634647 27352735744 336421 33554432000 4194304 4196468 140725741220528 139667581881232 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17943] ppid=17937 vsize=26711656 memory=1456 CPUtime=5.73 cores=0-7
/proc/17939/task/17943/stat : 17943 (java) S 17937 17937 17559 0 -1 1077944384 20671 0 0 0 538 35 0 0 20 0 28 0 89634647 27352735744 336421 33554432000 4194304 4196468 140725741220528 139667580828688 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17944] ppid=17937 vsize=26711656 memory=56 CPUtime=5.75 cores=0-7
/proc/17939/task/17944/stat : 17944 (java) S 17937 17937 17559 0 -1 1077944384 17594 0 0 0 540 35 0 0 20 0 28 0 89634647 27352735744 336421 33554432000 4194304 4196468 140725741220528 139667579776144 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17945] ppid=17937 vsize=26711656 memory=7378961516519319864 CPUtime=5.77 cores=0-7
/proc/17939/task/17945/stat : 17945 (java) S 17937 17937 17559 0 -1 1077944384 19747 0 0 0 542 35 0 0 20 0 28 0 89634647 27352735744 336421 33554432000 4194304 4196468 140725741220528 139667578722576 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17946] ppid=17937 vsize=26711656 memory=1403456 CPUtime=5.76 cores=0-7
/proc/17939/task/17946/stat : 17946 (java) S 17937 17937 17559 0 -1 1077944384 20899 0 0 0 541 35 0 0 20 0 28 0 89634647 27352735744 336421 33554432000 4194304 4196468 140725741220528 139667577670032 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17947] ppid=17937 vsize=26711656 memory=1456 CPUtime=5.77 cores=0-7
/proc/17939/task/17947/stat : 17947 (java) S 17937 17937 17559 0 -1 1077944384 20772 0 0 0 542 35 0 0 20 0 28 0 89634647 27352735744 336421 33554432000 4194304 4196468 140725741220528 139667576617488 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17948] ppid=17937 vsize=26711656 memory=16028 CPUtime=5.74 cores=0-7
/proc/17939/task/17948/stat : 17948 (java) S 17937 17937 17559 0 -1 1077944384 22166 0 0 0 538 36 0 0 20 0 28 0 89634647 27352735744 336421 33554432000 4194304 4196468 140725741220528 139667575564944 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17949] ppid=17937 vsize=26711656 memory=1788 CPUtime=2.03 cores=0-7
/proc/17939/task/17949/stat : 17949 (java) S 17937 17937 17559 0 -1 1077944384 59111 0 0 0 172 31 0 0 20 0 28 0 89634648 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665834727920 139667630324354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17950] ppid=17937 vsize=26711656 memory=1296 CPUtime=0 cores=0-7
/proc/17939/task/17950/stat : 17950 (java) S 17937 17937 17559 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 89634649 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665833674208 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17951] ppid=17937 vsize=26711656 memory=2408 CPUtime=0 cores=0-7
/proc/17939/task/17951/stat : 17951 (java) S 17937 17937 17559 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 89634649 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665832621568 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17952] ppid=17937 vsize=26711656 memory=164 CPUtime=0 cores=0-7
/proc/17939/task/17952/stat : 17952 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89634651 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665831570128 139667630331803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17953] ppid=17937 vsize=26711656 memory=279642503809168 CPUtime=3.05 cores=0-7
/proc/17939/task/17953/stat : 17953 (java) S 17937 17937 17559 0 -1 1077944384 21225 0 0 0 302 3 0 0 20 0 28 0 89634651 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665830516720 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17954] ppid=17937 vsize=26711656 memory=1345688 CPUtime=2.75 cores=0-7
/proc/17939/task/17954/stat : 17954 (java) S 17937 17937 17559 0 -1 1077944384 18137 0 0 0 273 2 0 0 20 0 28 0 89634651 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665829464176 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17955] ppid=17937 vsize=26711656 memory=4140 CPUtime=2.88 cores=0-7
/proc/17939/task/17955/stat : 17955 (java) S 17937 17937 17559 0 -1 1077944384 23731 0 0 0 285 3 0 0 20 0 28 0 89634651 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665828411632 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17956] ppid=17937 vsize=26711656 memory=25912 CPUtime=1.1 cores=0-7
/proc/17939/task/17956/stat : 17956 (java) S 17937 17937 17559 0 -1 1077944384 18541 0 0 0 106 4 0 0 20 0 28 0 89634651 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665519499632 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17957] ppid=17937 vsize=26711656 memory=1456 CPUtime=0 cores=0-7
/proc/17939/task/17957/stat : 17957 (java) S 17937 17937 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89634652 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665518447328 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17958] ppid=17937 vsize=26711656 memory=4140 CPUtime=0.68 cores=0-7
/proc/17939/task/17958/stat : 17958 (java) S 17937 17937 17559 0 -1 1077944384 5602 0 0 0 25 43 0 0 20 0 28 0 89634652 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665517394864 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18157] ppid=17937 vsize=26711656 memory=1456 CPUtime=1748.98 cores=0-7
/proc/17939/task/18157/stat : 18157 (java) R 17937 17937 17559 0 -1 4202560 10207 0 0 0 174891 7 0 0 20 0 28 0 89708380 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665501437240 139667262177100 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18158] ppid=17937 vsize=26711656 memory=6791534058613427641 CPUtime=1747.39 cores=0-7
/proc/17939/task/18158/stat : 18158 (java) R 17937 17937 17559 0 -1 4202560 9340 0 0 0 174733 6 0 0 20 0 28 0 89708380 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665505648784 139667261665132 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18159] ppid=17937 vsize=26711656 memory=4872558044660077418 CPUtime=1750.53 cores=0-7
/proc/17939/task/18159/stat : 18159 (java) R 17937 17937 17559 0 -1 4202560 23664 0 0 0 175041 12 0 0 20 0 28 0 89708380 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665502490808 139667263174208 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18160] ppid=17937 vsize=26711656 memory=18264 CPUtime=1753.19 cores=0-7
/proc/17939/task/18160/stat : 18160 (java) R 17937 17937 17559 0 -1 4202560 36006 0 0 0 175297 22 0 0 20 0 28 0 89708380 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665503543968 139667264642434 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18161] ppid=17937 vsize=26711656 memory=1456 CPUtime=1753.12 cores=0-7
/proc/17939/task/18161/stat : 18161 (java) R 17937 17937 17559 0 -1 4202560 12515 0 0 0 175302 10 0 0 20 0 28 0 89708380 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665504595768 139667256125156 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18162] ppid=17937 vsize=26711656 memory=4140 CPUtime=1747.46 cores=0-7
/proc/17939/task/18162/stat : 18162 (java) R 17937 17937 17559 0 -1 4202560 9276 0 0 0 174738 8 0 0 20 0 28 0 89708380 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665499332456 139667262292733 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18163] ppid=17937 vsize=26711656 memory=25912 CPUtime=1753.94 cores=0-7
/proc/17939/task/18163/stat : 18163 (java) R 17937 17937 17559 0 -1 4202560 22878 0 0 0 175386 8 0 0 20 0 28 0 89708380 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665498282624 139667254102183 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18164] ppid=17937 vsize=26711656 memory=1456 CPUtime=1753.29 cores=0-7
/proc/17939/task/18164/stat : 18164 (java) R 17937 17937 17559 0 -1 4202560 45306 0 0 0 175307 22 0 0 20 0 28 0 89708380 27352735744 336421 33554432000 4194304 4196468 140725741220528 139665506701128 139667263377088 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
Current children cumulated CPU time: 19918.5 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 1347140 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.29 8.39 8.33 9/207 18209
/proc/meminfo: memFree=22196144/32770624 swapFree=67108688/67108860
[pid=17937] ppid=17934 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17937/stat : 17937 (xcsp3-exec) S 17934 17937 17559 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89634645 115843072 364 33554432000 4194304 5098028 140720325987408 140720325985512 140369027334780 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32923648 140720325993525 140720325993728 140720325993728 140720325996490 0
/proc/17937/statm: 28282 364 306 221 0 87 0
[pid=17939] ppid=17937 vsize=26711656 memory=1344140 CPUtime=20059.4 cores=0-7
/proc/17939/stat : 17939 (java) S 17937 17937 17559 0 -1 1077944320 586260 0 0 0 2005402 535 0 0 20 0 28 0 89634646 27352735744 336035 33554432000 4194304 4196468 140725741220528 140725741203072 139667630313207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
/proc/17939/statm: 6677914 336035 3459 1 0 6639108 0
[pid=17939/tid=17940] ppid=17937 vsize=26711656 memory=6791534058613427641 CPUtime=1.21 cores=0-7
/proc/17939/task/17940/stat : 17940 (java) S 17937 17937 17559 0 -1 1077944384 9080 0 0 0 116 5 0 0 20 0 28 0 89634646 27352735744 336035 33554432000 4194304 4196468 140725741220528 139667634553984 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17941] ppid=17937 vsize=26711656 memory=4616 CPUtime=5.84 cores=0-7
/proc/17939/task/17941/stat : 17941 (java) S 17937 17937 17559 0 -1 1077944384 23337 0 0 0 548 36 0 0 20 0 28 0 89634647 27352735744 336035 33554432000 4194304 4196468 140725741220528 139667582933776 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17942] ppid=17937 vsize=26711656 memory=14076 CPUtime=5.82 cores=0-7
/proc/17939/task/17942/stat : 17942 (java) S 17937 17937 17559 0 -1 1077944384 22489 0 0 0 548 34 0 0 20 0 28 0 89634647 27352735744 336035 33554432000 4194304 4196468 140725741220528 139667581881232 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17943] ppid=17937 vsize=26711656 memory=4872558044660077418 CPUtime=5.79 cores=0-7
/proc/17939/task/17943/stat : 17943 (java) S 17937 17937 17559 0 -1 1077944384 20990 0 0 0 543 36 0 0 20 0 28 0 89634647 27352735744 336035 33554432000 4194304 4196468 140725741220528 139667580828688 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17944] ppid=17937 vsize=26711656 memory=14076 CPUtime=5.81 cores=0-7
/proc/17939/task/17944/stat : 17944 (java) S 17937 17937 17559 0 -1 1077944384 18128 0 0 0 545 36 0 0 20 0 28 0 89634647 27352735744 336035 33554432000 4194304 4196468 140725741220528 139667579776144 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17945] ppid=17937 vsize=26711656 memory=1204 CPUtime=5.82 cores=0-7
/proc/17939/task/17945/stat : 17945 (java) S 17937 17937 17559 0 -1 1077944384 20301 0 0 0 547 35 0 0 20 0 28 0 89634647 27352735744 336035 33554432000 4194304 4196468 140725741220528 139667578722576 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17946] ppid=17937 vsize=26711656 memory=1708 CPUtime=5.81 cores=0-7
/proc/17939/task/17946/stat : 17946 (java) S 17937 17937 17559 0 -1 1077944384 22187 0 0 0 545 36 0 0 20 0 28 0 89634647 27352735744 336035 33554432000 4194304 4196468 140725741220528 139667577670032 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17947] ppid=17937 vsize=26711656 memory=792 CPUtime=5.81 cores=0-7
/proc/17939/task/17947/stat : 17947 (java) S 17937 17937 17559 0 -1 1077944384 21577 0 0 0 546 35 0 0 20 0 28 0 89634647 27352735744 336035 33554432000 4194304 4196468 140725741220528 139667576617488 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17948] ppid=17937 vsize=26711656 memory=1228 CPUtime=5.79 cores=0-7
/proc/17939/task/17948/stat : 17948 (java) S 17937 17937 17559 0 -1 1077944384 22610 0 0 0 543 36 0 0 20 0 28 0 89634647 27352735744 336035 33554432000 4194304 4196468 140725741220528 139667575564944 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17949] ppid=17937 vsize=26711656 memory=8548 CPUtime=2.05 cores=0-7
/proc/17939/task/17949/stat : 17949 (java) S 17937 17937 17559 0 -1 1077944384 60668 0 0 0 174 31 0 0 20 0 28 0 89634648 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665834727920 139667630324354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17950] ppid=17937 vsize=26711656 memory=1444 CPUtime=0 cores=0-7
/proc/17939/task/17950/stat : 17950 (java) S 17937 17937 17559 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 89634649 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665833674208 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17951] ppid=17937 vsize=26711656 memory=5668 CPUtime=0 cores=0-7
/proc/17939/task/17951/stat : 17951 (java) S 17937 17937 17559 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 89634649 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665832621568 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17952] ppid=17937 vsize=26711656 memory=4616 CPUtime=0 cores=0-7
/proc/17939/task/17952/stat : 17952 (java) S 17937 17937 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89634651 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665831570128 139667630331803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17953] ppid=17937 vsize=26711656 memory=14076 CPUtime=3.05 cores=0-7
/proc/17939/task/17953/stat : 17953 (java) S 17937 17937 17559 0 -1 1077944384 21231 0 0 0 302 3 0 0 20 0 28 0 89634651 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665830516720 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17954] ppid=17937 vsize=26711656 memory=6791534058613427641 CPUtime=2.75 cores=0-7
/proc/17939/task/17954/stat : 17954 (java) S 17937 17937 17559 0 -1 1077944384 18143 0 0 0 273 2 0 0 20 0 28 0 89634651 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665829464176 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17955] ppid=17937 vsize=26711656 memory=16028 CPUtime=2.88 cores=0-7
/proc/17939/task/17955/stat : 17955 (java) S 17937 17937 17559 0 -1 1077944384 23737 0 0 0 285 3 0 0 20 0 28 0 89634651 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665828411632 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17956] ppid=17937 vsize=26711656 memory=1788 CPUtime=1.1 cores=0-7
/proc/17939/task/17956/stat : 17956 (java) S 17937 17937 17559 0 -1 1077944384 18547 0 0 0 106 4 0 0 20 0 28 0 89634651 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665519499632 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17957] ppid=17937 vsize=26711656 memory=644 CPUtime=0 cores=0-7
/proc/17939/task/17957/stat : 17957 (java) S 17937 17937 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89634652 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665518447328 139667630323413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=17958] ppid=17937 vsize=26711656 memory=952 CPUtime=0.68 cores=0-7
/proc/17939/task/17958/stat : 17958 (java) S 17937 17937 17559 0 -1 1077944384 5692 0 0 0 25 43 0 0 20 0 28 0 89634652 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665517394864 139667630324354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18157] ppid=17937 vsize=26711656 memory=288230574492221466 CPUtime=1766.46 cores=0-7
/proc/17939/task/18157/stat : 18157 (java) R 17937 17937 17559 0 -1 4202560 10409 0 0 0 176639 7 0 0 20 0 28 0 89708380 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665501437080 139667262202546 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18158] ppid=17937 vsize=26711656 memory=288230583166042425 CPUtime=1764.91 cores=0-7
/proc/17939/task/18158/stat : 18158 (java) R 17937 17937 17559 0 -1 4202560 9761 0 0 0 176485 6 0 0 20 0 28 0 89708380 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665505649192 139667262164559 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18159] ppid=17937 vsize=26711656 memory=16104758104558012 CPUtime=1768.13 cores=0-7
/proc/17939/task/18159/stat : 18159 (java) R 17937 17937 17559 0 -1 4202560 24530 0 0 0 176801 12 0 0 20 0 28 0 89708380 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665502490864 139667260694277 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18160] ppid=17937 vsize=26711656 memory=4008 CPUtime=1770.72 cores=0-7
/proc/17939/task/18160/stat : 18160 (java) R 17937 17937 17559 0 -1 4202560 37278 0 0 0 177049 23 0 0 20 0 28 0 89708380 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665503543912 139667264425445 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18161] ppid=17937 vsize=26711656 memory=18264 CPUtime=1770.74 cores=0-7
/proc/17939/task/18161/stat : 18161 (java) R 17937 17937 17559 0 -1 4202560 13034 0 0 0 177064 10 0 0 20 0 28 0 89708380 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665504599200 139667262589693 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18162] ppid=17937 vsize=26711656 memory=16028 CPUtime=1765 cores=0-7
/proc/17939/task/18162/stat : 18162 (java) R 17937 17937 17559 0 -1 4202560 9618 0 0 0 176492 8 0 0 20 0 28 0 89708380 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665499332504 139667260799096 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18163] ppid=17937 vsize=26711656 memory=8328453600958622283 CPUtime=1771.53 cores=0-7
/proc/17939/task/18163/stat : 18163 (java) R 17937 17937 17559 0 -1 4202560 23863 0 0 0 177144 9 0 0 20 0 28 0 89708380 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665498279960 139667260989856 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
[pid=17939/tid=18164] ppid=17937 vsize=26711656 memory=-8412652160765825907 CPUtime=1770.86 cores=0-7
/proc/17939/task/18164/stat : 18164 (java) R 17937 17937 17559 0 -1 4202560 47050 0 0 0 177063 23 0 0 20 0 28 0 89708380 27352735744 336035 33554432000 4194304 4196468 140725741220528 139665506704048 139667263376516 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 33738752 140725741229185 140725741229357 140725741229357 140725741232079 0
Current children cumulated CPU time: 20059.4 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 1345596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.05 s]
# the end of solver process 17937 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001125 s, system=0.001125 s
[startup+2520.12 s]
# the end of solver process 17939 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20054.8 s, system=5.36771 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): 2520.12
CPU time (s): 20060.2
CPU user time (s): 20054.8
CPU system time (s): 5.36771
CPU usage (%): 796.001
Max. virtual memory (cumulated for all children) (KiB): 26824784
Max. memory (cumulated for all children) (KiB): 1550760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20054.8
system time used= 5.36771
maximum resident set size= 1551796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 587170
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 206567
involuntary context switches= 210411
# summary of solver processes directly reported to runsolver:
# pid: 17937,17939
# total CPU time (s): 20060.2
# total CPU user time (s): 20054.8
# total CPU system time (s): 5.36771
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.1513 second user time and 24.5993 second system time
The end
Begin job on node106 at 2018-07-27 21:45:18 IDJOB=4297613 IDBENCH=141432 IDSOLVER=2760 FILE ID=node106/4297613-1532720718 RUNJOBID= node106-1532718097-17586 PBS_JOBID= 21022326 Free space on /tmp= 46168 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-028_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297613-1532720718/watcher-4297613-1532720718 -o /tmp/evaluation-result-4297613-1532720718/solver-4297613-1532720718 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532718097-17586 --watchdog 2580 HOME/xcsp3-exec -seed 1624356818 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297613-1532720718.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6d24c16a7684a366ea9600406f2e8dbf RANDOM SEED=1624356818 node106.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 23533520 kB MemAvailable: 31927316 kB Buffers: 214280 kB Cached: 8342360 kB SwapCached: 0 kB Active: 2533104 kB Inactive: 6080988 kB Active(anon): 4244 kB Inactive(anon): 80696 kB Active(file): 2528860 kB Inactive(file): 6000292 kB Unevictable: 6968 kB Mlocked: 6968 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 22120 kB Writeback: 0 kB AnonPages: 76140 kB Mapped: 42164 kB Shmem: 25056 kB Slab: 320384 kB SReclaimable: 293104 kB SUnreclaim: 27280 kB KernelStack: 3520 kB PageTables: 5204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324484 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 46144 MiB End job on node106 at 2018-07-27 22:27:18