Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-24 | SAT (TO) | 71 | 2400.04 | 2392.32 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-031.xml |
| MD5SUM | 0f1289c6216c2035de546c3b2133ae29 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 67 |
| Best CPU time to get the best result obtained on this benchmark | 2400.3 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 991 |
| Number of constraints | 525 |
| Number of domains | 61 |
| Minimum domain size | 2 |
| Maximum domain size | 61 |
| Distribution of domain sizes | [{"size":2,"count":497},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":2},{"size":28,"count":1},{"size":29,"count":2},{"size":30,"count":1},{"size":31,"count":2},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1},{"size":53,"count":1},{"size":55,"count":1},{"size":57,"count":1},{"size":59,"count":1},{"size":61,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 30 |
| Distribution of variable degrees | [{"degree":0,"count":435},{"degree":2,"count":525},{"degree":30,"count":31}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":31},{"arity":3,"count":466},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 495 |
| Distribution of constraint types | [{"type":"intension","count":495},{"type":"sum","count":30}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406621-1569399198.xml" -tl '2400s' -p 1 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406621-1569399198.xml, -tl, 2400s, -p, 1] 0.34/0.22 c simple solver 0.34/0.29 c parse instance... 1.58/0.78 c solve instance... 1.96/0.85 o 287 2.26/0.93 o 235 2.26/0.97 o 207 2.91/1.19 o 203 3.19/1.25 o 199 3.19/1.25 o 187 3.19/1.25 o 171 3.19/1.26 o 147 4.41/1.84 o 143 6.71/3.56 o 135 7.55/4.37 o 131 9.46/6.21 o 127 9.76/6.50 o 111 29.99/26.62 o 99 85.16/81.64 o 83 2283.03/2275.54 o 71 2400.01/2392.30 s SATISFIABLE 2400.01/2392.30 v <instantiation> 2400.01/2392.30 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[26][0] y[26][1] y[26][2] y[26][3] y[27][0] y[27][1] y[27][2] y[28][0] y[28][1] y[29][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] </list> 2400.01/2392.30 v <values>1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -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 2 -1 -2 -1 0 -1 2 1 0 -1 0 1 -2 1 -2 -1 0 -1 2 1 0 -1 4 -3 0 1 -2 1 4 1 4 1 4 1 0 1 4 1 0 1 0 1 4 1 4 1 0 1 4 1 0 1 16 9 0 1 4 1 </values> 2400.01/2392.30 v </instantiation> 2400.01/2392.30 c Unexpected resolution interruption!
OK 71
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 (10849 MiB free)
memory of node 1: 16384 MiB (14087 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406621-1569399198/watcher-4406621-1569399198 -o /tmp/evaluation-result-4406621-1569399198/solver-4406621-1569399198 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569396630-2592 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406621-1569399198.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
solver pid=3430, runsolver pid=3427
[startup+0.100292 s]*
/proc/loadavg: 1.60 1.68 1.59 4/230 3446
/proc/meminfo: memFree=25518164/32770624 swapFree=66999840/67108860
[pid=3430] ppid=3427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3430/stat : 3430 (xcsp3-exec) S 3427 3430 2561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516184591 115843072 363 33554432000 4194304 5098028 140732993399136 140732993397240 140684055286396 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24002560 140732993405818 140732993406061 140732993406061 140732993408970 0
/proc/3430/statm: 28282 363 304 221 0 87 0
[pid=3432] ppid=3430 vsize=15144776 memory=30176 CPUtime=0.12 cores=0,2,4,6
/proc/3432/stat : 3432 (java) S 3430 3430 2561 0 -1 1077944320 5947 0 0 0 11 1 0 0 20 0 15 0 516184592 15508250624 7544 33554432000 4194304 4196468 140732214481296 140732214463840 139747639967479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
/proc/3432/statm: 3786194 7544 3156 1 0 3748377 0
[pid=3432/tid=3433] ppid=3430 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=0,2,4,6
/proc/3432/task/3433/stat : 3433 (java) R 3430 3430 2561 0 -1 4202560 3868 0 0 0 8 1 0 0 20 0 15 0 516184592 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747644202704 139747639979414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3434] ppid=3430 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3434/stat : 3434 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184593 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747568008336 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3435] ppid=3430 vsize=15144776 memory=139692712183424 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3435/stat : 3435 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184593 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747566955536 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3436] ppid=3430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3436/stat : 3436 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184593 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747230346128 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3437] ppid=3430 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3437/stat : 3437 (java) S 3430 3430 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516184593 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747229293328 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3438] ppid=3430 vsize=15144776 memory=139692712183424 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3438/stat : 3438 (java) S 3430 3430 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516184594 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747175831920 139747639978626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3439] ppid=3430 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3439/stat : 3439 (java) S 3430 3430 2561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516184594 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747174777888 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3440] ppid=3430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3440/stat : 3440 (java) S 3430 3430 2561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516184595 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747173725040 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3441] ppid=3430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3441/stat : 3441 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747172673360 139747639986075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3442] ppid=3430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3442/stat : 3442 (java) S 3430 3430 2561 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 516184597 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747171621744 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3443] ppid=3430 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3443/stat : 3443 (java) R 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184597 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747170568944 139747639978626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3444] ppid=3430 vsize=15144776 memory=139692712183424 CPUtime=0.02 cores=0,2,4,6
/proc/3432/task/3444/stat : 3444 (java) R 3430 3430 2561 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 516184597 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747169513680 139747632204606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3445] ppid=3430 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3445/stat : 3445 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747168463584 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3446] ppid=3430 vsize=15144776 memory=139692712183424 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3446/stat : 3446 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184598 15508250624 7544 33554432000 4194304 4196468 140732214481296 139747167410864 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31628 KiB
[startup+0.210822 s]*
/proc/loadavg: 1.60 1.68 1.59 3/230 3446
/proc/meminfo: memFree=25504572/32770624 swapFree=66999840/67108860
[pid=3430] ppid=3427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3430/stat : 3430 (xcsp3-exec) S 3427 3430 2561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516184591 115843072 363 33554432000 4194304 5098028 140732993399136 140732993397240 140684055286396 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24002560 140732993405818 140732993406061 140732993406061 140732993408970 0
/proc/3430/statm: 28282 363 304 221 0 87 0
[pid=3432] ppid=3430 vsize=15144776 memory=41228 CPUtime=0.34 cores=0,2,4,6
/proc/3432/stat : 3432 (java) S 3430 3430 2561 0 -1 1077944320 9523 0 0 0 31 3 0 0 20 0 15 0 516184592 15508250624 10307 33554432000 4194304 4196468 140732214481296 140732214463840 139747639967479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
/proc/3432/statm: 3786194 10307 3310 1 0 3748377 0
[pid=3432/tid=3433] ppid=3430 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/3432/task/3433/stat : 3433 (java) S 3430 3430 2561 0 -1 1077944384 6680 0 0 0 17 2 0 0 20 0 15 0 516184592 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747644201360 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3434] ppid=3430 vsize=15144776 memory=9780 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3434/stat : 3434 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184593 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747568008336 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3435] ppid=3430 vsize=15144776 memory=288370068863895168 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3435/stat : 3435 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184593 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747566955536 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3436] ppid=3430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3436/stat : 3436 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184593 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747230346128 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3437] ppid=3430 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3437/stat : 3437 (java) S 3430 3430 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516184593 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747229293328 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3438] ppid=3430 vsize=15144776 memory=139692712183424 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3438/stat : 3438 (java) S 3430 3430 2561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516184594 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747175831920 139747639978626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3439] ppid=3430 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3439/stat : 3439 (java) S 3430 3430 2561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516184594 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747174777888 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3440] ppid=3430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3440/stat : 3440 (java) S 3430 3430 2561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516184595 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747173725040 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3441] ppid=3430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3441/stat : 3441 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747172673360 139747639986075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3442] ppid=3430 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3432/task/3442/stat : 3442 (java) S 3430 3430 2561 0 -1 1077944384 729 0 0 0 3 0 0 0 20 0 15 0 516184597 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747171621744 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3443] ppid=3430 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3432/task/3443/stat : 3443 (java) R 3430 3430 2561 0 -1 1077944384 84 0 0 0 2 0 0 0 20 0 15 0 516184597 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747170568944 139747639978626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3444] ppid=3430 vsize=15144776 memory=139692712183424 CPUtime=0.08 cores=0,2,4,6
/proc/3432/task/3444/stat : 3444 (java) R 3430 3430 2561 0 -1 4202560 724 0 0 0 8 0 0 0 20 0 15 0 516184597 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747169515952 139747619926721 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3445] ppid=3430 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3445/stat : 3445 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747168463584 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3446] ppid=3430 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3446/stat : 3446 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184598 15508250624 10307 33554432000 4194304 4196468 140732214481296 139747167410864 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42680 KiB
[startup+0.310802 s]*
/proc/loadavg: 1.60 1.68 1.59 6/230 3446
/proc/meminfo: memFree=25500104/32770624 swapFree=66999840/67108860
[pid=3430] ppid=3427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3430/stat : 3430 (xcsp3-exec) S 3427 3430 2561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516184591 115843072 363 33554432000 4194304 5098028 140732993399136 140732993397240 140684055286396 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24002560 140732993405818 140732993406061 140732993406061 140732993408970 0
/proc/3430/statm: 28282 363 304 221 0 87 0
[pid=3432] ppid=3430 vsize=15149032 memory=50144 CPUtime=0.53 cores=0,2,4,6
/proc/3432/stat : 3432 (java) S 3430 3430 2561 0 -1 1077944320 10816 0 0 0 49 4 0 0 20 0 15 0 516184592 15512608768 12536 33554432000 4194304 4196468 140732214481296 140732214463840 139747639967479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
/proc/3432/statm: 3787258 12536 3364 1 0 3748377 0
[pid=3432/tid=3433] ppid=3430 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/3432/task/3433/stat : 3433 (java) R 3430 3430 2561 0 -1 4202560 7762 0 0 0 27 3 0 0 20 0 15 0 516184592 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747644194096 139747624047966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3434] ppid=3430 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3434/stat : 3434 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184593 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747568008336 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3435] ppid=3430 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3435/stat : 3435 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184593 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747566955536 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3436] ppid=3430 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3436/stat : 3436 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184593 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747230346128 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3437] ppid=3430 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3437/stat : 3437 (java) S 3430 3430 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516184593 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747229293328 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3438] ppid=3430 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3438/stat : 3438 (java) S 3430 3430 2561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516184594 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747175831920 139747639978626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3439] ppid=3430 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3439/stat : 3439 (java) S 3430 3430 2561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516184594 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747174777888 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3440] ppid=3430 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3440/stat : 3440 (java) S 3430 3430 2561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516184595 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747173725040 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3441] ppid=3430 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3441/stat : 3441 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747172673360 139747639986075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3442] ppid=3430 vsize=15149032 memory=-8412660965215072671 CPUtime=0.04 cores=0,2,4,6
/proc/3432/task/3442/stat : 3442 (java) S 3430 3430 2561 0 -1 1077944384 750 0 0 0 4 0 0 0 20 0 15 0 516184597 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747171621744 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3443] ppid=3430 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3432/task/3443/stat : 3443 (java) R 3430 3430 2561 0 -1 4202560 219 0 0 0 4 0 0 0 20 0 15 0 516184597 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747170549960 139747623184029 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3444] ppid=3430 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3432/task/3444/stat : 3444 (java) S 3430 3430 2561 0 -1 1077944384 804 0 0 0 12 0 0 0 20 0 15 0 516184597 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747169516144 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3445] ppid=3430 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3445/stat : 3445 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747168463584 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3446] ppid=3430 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3446/stat : 3446 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184598 15512608768 12565 33554432000 4194304 4196468 140732214481296 139747167410864 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51596 KiB
[startup+0.701258 s]
/proc/loadavg: 1.60 1.68 1.59 5/230 3446
/proc/meminfo: memFree=25487072/32770624 swapFree=66999840/67108860
[pid=3430] ppid=3427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3430/stat : 3430 (xcsp3-exec) S 3427 3430 2561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516184591 115843072 363 33554432000 4194304 5098028 140732993399136 140732993397240 140684055286396 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24002560 140732993405818 140732993406061 140732993406061 140732993408970 0
/proc/3430/statm: 28282 363 304 221 0 87 0
[pid=3432] ppid=3430 vsize=15151156 memory=87908 CPUtime=1.58 cores=0,2,4,6
/proc/3432/stat : 3432 (java) S 3430 3430 2561 0 -1 1077944320 15042 0 0 0 152 6 0 0 20 0 15 0 516184592 15514783744 21977 33554432000 4194304 4196468 140732214481296 140732214463840 139747639967479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
/proc/3432/statm: 3787789 21977 3453 1 0 3748889 0
[pid=3432/tid=3433] ppid=3430 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3432/task/3433/stat : 3433 (java) R 3430 3430 2561 0 -1 4202560 9075 0 0 0 63 4 0 0 20 0 15 0 516184592 15514783744 21977 33554432000 4194304 4196468 140732214481296 139747644202528 139747250803139 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3434] ppid=3430 vsize=15151156 memory=64608 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3434/stat : 3434 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184593 15514783744 21977 33554432000 4194304 4196468 140732214481296 139747568008336 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3435] ppid=3430 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3435/stat : 3435 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184593 15514783744 21977 33554432000 4194304 4196468 140732214481296 139747566955536 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3436] ppid=3430 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3436/stat : 3436 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184593 15514783744 21977 33554432000 4194304 4196468 140732214481296 139747230346128 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3437] ppid=3430 vsize=15151156 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3437/stat : 3437 (java) S 3430 3430 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516184593 15514783744 21977 33554432000 4194304 4196468 140732214481296 139747229293328 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3438] ppid=3430 vsize=15151156 memory=9396 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3438/stat : 3438 (java) S 3430 3430 2561 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516184594 15514783744 21977 33554432000 4194304 4196468 140732214481296 139747175831920 139747639978626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3439] ppid=3430 vsize=15151156 memory=656 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3439/stat : 3439 (java) S 3430 3430 2561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516184594 15514783744 21977 33554432000 4194304 4196468 140732214481296 139747174777888 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3440] ppid=3430 vsize=15151156 memory=3612 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3440/stat : 3440 (java) S 3430 3430 2561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516184595 15514783744 21977 33554432000 4194304 4196468 140732214481296 139747173725040 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3441] ppid=3430 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3441/stat : 3441 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15514783744 21977 33554432000 4194304 4196468 140732214481296 139747172673360 139747639986075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3442] ppid=3430 vsize=15151156 memory=1712 CPUtime=0.22 cores=0,2,4,6
/proc/3432/task/3442/stat : 3442 (java) R 3430 3430 2561 0 -1 4202560 1562 0 0 0 22 0 0 0 20 0 15 0 516184597 15514783744 21977 33554432000 4194304 4196468 140732214481296 139747171602760 139747623378370 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3443] ppid=3430 vsize=15151156 memory=1204 CPUtime=0.25 cores=0,2,4,6
/proc/3432/task/3443/stat : 3443 (java) S 3430 3430 2561 0 -1 1077944384 992 0 0 0 25 0 0 0 20 0 15 0 516184597 15514783744 21977 33554432000 4194304 4196468 140732214481296 139747170568944 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3444] ppid=3430 vsize=15151156 memory=1072 CPUtime=0.41 cores=0,2,4,6
/proc/3432/task/3444/stat : 3444 (java) R 3430 3430 2561 0 -1 4202560 2105 0 0 0 41 0 0 0 20 0 15 0 516184597 15514783744 22489 33554432000 4194304 4196468 140732214481296 139747169516144 139747621531008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3445] ppid=3430 vsize=15151156 memory=6100 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3445/stat : 3445 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15514783744 22489 33554432000 4194304 4196468 140732214481296 139747168463584 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3446] ppid=3430 vsize=15151156 memory=1544 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3446/stat : 3446 (java) S 3430 3430 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516184598 15514783744 22489 33554432000 4194304 4196468 140732214481296 139747167410864 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 89360 KiB
[startup+1.50088 s]
/proc/loadavg: 1.60 1.68 1.59 5/230 3446
/proc/meminfo: memFree=25441156/32770624 swapFree=66999840/67108860
[pid=3430] ppid=3427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3430/stat : 3430 (xcsp3-exec) S 3427 3430 2561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516184591 115843072 363 33554432000 4194304 5098028 140732993399136 140732993397240 140684055286396 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24002560 140732993405818 140732993406061 140732993406061 140732993408970 0
/proc/3430/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/3432/task/3440/stat : 3440 (java) S 3430 3430 2561 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 516184595 15516880896 752219 33554432000 4194304 4196468 140732214481296 139747173725056 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3441] ppid=3430 vsize=15153204 memory=2957472 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3441/stat : 3441 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15516880896 752219 33554432000 4194304 4196468 140732214481296 139747172673360 139747639986075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3442] ppid=3430 vsize=15153204 memory=1452 CPUtime=1.41 cores=0,2,4,6
/proc/3432/task/3442/stat : 3442 (java) S 3430 3430 2561 0 -1 1077944384 9703 0 0 0 140 1 0 0 20 0 15 0 516184597 15516880896 752219 33554432000 4194304 4196468 140732214481296 139747171621744 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3443] ppid=3430 vsize=15153204 memory=1452 CPUtime=1.56 cores=0,2,4,6
/proc/3432/task/3443/stat : 3443 (java) S 3430 3430 2561 0 -1 1077944384 8530 0 0 0 155 1 0 0 20 0 15 0 516184597 15516880896 752219 33554432000 4194304 4196468 140732214481296 139747170568944 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3444] ppid=3430 vsize=15153204 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/3432/task/3444/stat : 3444 (java) S 3430 3430 2561 0 -1 1077944384 9002 0 0 0 69 2 0 0 20 0 15 0 516184597 15516880896 752219 33554432000 4194304 4196468 140732214481296 139747169516144 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3445] ppid=3430 vsize=15153204 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3445/stat : 3445 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15516880896 752219 33554432000 4194304 4196468 140732214481296 139747168463584 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3446] ppid=3430 vsize=15153204 memory=34900 CPUtime=0.63 cores=0,2,4,6
/proc/3432/task/3446/stat : 3446 (java) S 3430 3430 2561 0 -1 1077944384 1268 0 0 0 28 35 0 0 20 0 15 0 516184598 15516880896 752219 33554432000 4194304 4196468 140732214481296 139747167410864 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
Current children cumulated CPU time: 2329.94 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3010328 KiB
[startup+2382.3 s]
/proc/loadavg: 1.75 1.80 1.78 3/229 3743
/proc/meminfo: memFree=22463968/32770624 swapFree=66999844/67108860
[pid=3430] ppid=3427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3430/stat : 3430 (xcsp3-exec) S 3427 3430 2561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516184591 115843072 363 33554432000 4194304 5098028 140732993399136 140732993397240 140684055286396 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24002560 140732993405818 140732993406061 140732993406061 140732993408970 0
/proc/3430/statm: 28282 363 304 221 0 87 0
[pid=3432] ppid=3430 vsize=15153204 memory=3035600 CPUtime=2390 cores=0,2,4,6
/proc/3432/stat : 3432 (java) S 3430 3430 2561 0 -1 1077944320 93354 0 0 0 238810 190 0 0 20 0 15 0 516184592 15516880896 758900 33554432000 4194304 4196468 140732214481296 140732214463840 139747639967479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
/proc/3432/statm: 3788301 758900 3524 1 0 3749401 0
[pid=3432/tid=3433] ppid=3430 vsize=15153204 memory=3035600 CPUtime=2379.94 cores=0,2,4,6
/proc/3432/task/3433/stat : 3433 (java) R 3430 3430 2561 0 -1 4202560 40989 0 0 0 237859 135 0 0 20 0 15 0 516184592 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747644206576 139747253927711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3434] ppid=3430 vsize=15153204 memory=3035600 CPUtime=1.26 cores=0,2,4,6
/proc/3432/task/3434/stat : 3434 (java) S 3430 3430 2561 0 -1 1077944384 4566 0 0 0 122 4 0 0 20 0 15 0 516184593 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747568008336 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3435] ppid=3430 vsize=15153204 memory=1452 CPUtime=1.25 cores=0,2,4,6
/proc/3432/task/3435/stat : 3435 (java) S 3430 3430 2561 0 -1 1077944384 4594 0 0 0 120 5 0 0 20 0 15 0 516184593 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747566955536 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3436] ppid=3430 vsize=15153204 memory=1452 CPUtime=1.26 cores=0,2,4,6
/proc/3432/task/3436/stat : 3436 (java) S 3430 3430 2561 0 -1 1077944384 4004 0 0 0 122 4 0 0 20 0 15 0 516184593 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747230346128 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3437] ppid=3430 vsize=15153204 memory=55 CPUtime=1.26 cores=0,2,4,6
/proc/3432/task/3437/stat : 3437 (java) S 3430 3430 2561 0 -1 1077944384 2910 0 0 0 122 4 0 0 20 0 15 0 516184593 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747229293328 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3438] ppid=3430 vsize=15153204 memory=3035600 CPUtime=0.61 cores=0,2,4,6
/proc/3432/task/3438/stat : 3438 (java) S 3430 3430 2561 0 -1 1077944384 6364 0 0 0 52 9 0 0 20 0 15 0 516184594 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747175831920 139747639978626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3439] ppid=3430 vsize=15153204 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3439/stat : 3439 (java) S 3430 3430 2561 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516184594 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747174777952 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3440] ppid=3430 vsize=15153204 memory=3035600 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3440/stat : 3440 (java) S 3430 3430 2561 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 516184595 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747173725056 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3441] ppid=3430 vsize=15153204 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3441/stat : 3441 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747172673360 139747639986075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3442] ppid=3430 vsize=15153204 memory=3035600 CPUtime=1.41 cores=0,2,4,6
/proc/3432/task/3442/stat : 3442 (java) S 3430 3430 2561 0 -1 1077944384 9703 0 0 0 140 1 0 0 20 0 15 0 516184597 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747171621744 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3443] ppid=3430 vsize=15153204 memory=3580 CPUtime=1.56 cores=0,2,4,6
/proc/3432/task/3443/stat : 3443 (java) S 3430 3430 2561 0 -1 1077944384 8530 0 0 0 155 1 0 0 20 0 15 0 516184597 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747170568944 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3444] ppid=3430 vsize=15153204 memory=64676 CPUtime=0.71 cores=0,2,4,6
/proc/3432/task/3444/stat : 3444 (java) S 3430 3430 2561 0 -1 1077944384 9002 0 0 0 69 2 0 0 20 0 15 0 516184597 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747169516144 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3445] ppid=3430 vsize=15153204 memory=988 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3445/stat : 3445 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747168463584 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3446] ppid=3430 vsize=15153204 memory=2020 CPUtime=0.64 cores=0,2,4,6
/proc/3432/task/3446/stat : 3446 (java) S 3430 3430 2561 0 -1 1077944384 1272 0 0 0 29 35 0 0 20 0 15 0 516184598 15516880896 758900 33554432000 4194304 4196468 140732214481296 139747167410864 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
Current children cumulated CPU time: 2390 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3037052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2392.3 s]
/proc/loadavg: 1.79 1.81 1.78 3/230 3744
/proc/meminfo: memFree=21763312/32770624 swapFree=66999844/67108860
[pid=3430] ppid=3427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3430/stat : 3430 (xcsp3-exec) S 3427 3430 2561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516184591 115843072 363 33554432000 4194304 5098028 140732993399136 140732993397240 140684055286396 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24002560 140732993405818 140732993406061 140732993406061 140732993408970 0
/proc/3430/statm: 28282 363 304 221 0 87 0
[pid=3432] ppid=3430 vsize=15153204 memory=3788136 CPUtime=2400.01 cores=0,2,4,6
/proc/3432/stat : 3432 (java) S 3430 3430 2561 0 -1 1077944320 94462 0 0 0 239799 202 0 0 20 0 15 0 516184592 15516880896 947034 33554432000 4194304 4196468 140732214481296 140732214463840 139747639967479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
/proc/3432/statm: 3788301 947034 3524 1 0 3749401 0
[pid=3432/tid=3433] ppid=3430 vsize=15153204 memory=3411872 CPUtime=2389.93 cores=0,2,4,6
/proc/3432/task/3433/stat : 3433 (java) R 3430 3430 2561 0 -1 4202560 42097 0 0 0 238847 146 0 0 20 0 15 0 516184592 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747644207208 139747253248908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3434] ppid=3430 vsize=15153204 memory=3611376 CPUtime=1.26 cores=0,2,4,6
/proc/3432/task/3434/stat : 3434 (java) S 3430 3430 2561 0 -1 1077944384 4566 0 0 0 122 4 0 0 20 0 15 0 516184593 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747568008336 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3435] ppid=3430 vsize=15153204 memory=3652440 CPUtime=1.25 cores=0,2,4,6
/proc/3432/task/3435/stat : 3435 (java) S 3430 3430 2561 0 -1 1077944384 4594 0 0 0 120 5 0 0 20 0 15 0 516184593 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747566955536 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3436] ppid=3430 vsize=15153204 memory=3761408 CPUtime=1.26 cores=0,2,4,6
/proc/3432/task/3436/stat : 3436 (java) S 3430 3430 2561 0 -1 1077944384 4004 0 0 0 122 4 0 0 20 0 15 0 516184593 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747230346128 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3437] ppid=3430 vsize=15153204 memory=1452 CPUtime=1.26 cores=0,2,4,6
/proc/3432/task/3437/stat : 3437 (java) S 3430 3430 2561 0 -1 1077944384 2910 0 0 0 122 4 0 0 20 0 15 0 516184593 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747229293328 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3438] ppid=3430 vsize=15153204 memory=55 CPUtime=0.61 cores=0,2,4,6
/proc/3432/task/3438/stat : 3438 (java) S 3430 3430 2561 0 -1 1077944384 6364 0 0 0 52 9 0 0 20 0 15 0 516184594 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747175831920 139747639978626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3439] ppid=3430 vsize=15153204 memory=776 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3439/stat : 3439 (java) S 3430 3430 2561 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516184594 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747174777952 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3440] ppid=3430 vsize=15153204 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3440/stat : 3440 (java) S 3430 3430 2561 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 516184595 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747173725056 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3441] ppid=3430 vsize=15153204 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3441/stat : 3441 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747172673360 139747639986075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3442] ppid=3430 vsize=15153204 memory=3518792 CPUtime=1.41 cores=0,2,4,6
/proc/3432/task/3442/stat : 3442 (java) S 3430 3430 2561 0 -1 1077944384 9703 0 0 0 140 1 0 0 20 0 15 0 516184597 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747171621744 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3443] ppid=3430 vsize=15153204 memory=8112282956445269571 CPUtime=1.56 cores=0,2,4,6
/proc/3432/task/3443/stat : 3443 (java) S 3430 3430 2561 0 -1 1077944384 8530 0 0 0 155 1 0 0 20 0 15 0 516184597 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747170568944 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3444] ppid=3430 vsize=15153204 memory=892 CPUtime=0.71 cores=0,2,4,6
/proc/3432/task/3444/stat : 3444 (java) S 3430 3430 2561 0 -1 1077944384 9002 0 0 0 69 2 0 0 20 0 15 0 516184597 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747169516144 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3445] ppid=3430 vsize=15153204 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3445/stat : 3445 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747168463584 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3446] ppid=3430 vsize=15153204 memory=1452 CPUtime=0.64 cores=0,2,4,6
/proc/3432/task/3446/stat : 3446 (java) S 3430 3430 2561 0 -1 1077944384 1272 0 0 0 29 35 0 0 20 0 15 0 516184598 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747167410864 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3789588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2392.31 s]
# the end of solver process 3430 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001176 s, system=0.001176 s
[startup+2392.32 s]
# the end of solver process 3432 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398 s, system=2.03864 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
[startup+2392.3 s]
/proc/loadavg: 1.79 1.81 1.78 3/230 3744
/proc/meminfo: memFree=21763312/32770624 swapFree=66999844/67108860
[pid=3430] ppid=3427 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3430/stat : 3430 (xcsp3-exec) S 3427 3430 2561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516184591 115843072 363 33554432000 4194304 5098028 140732993399136 140732993397240 140684055286396 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24002560 140732993405818 140732993406061 140732993406061 140732993408970 0
/proc/3430/statm: 28282 363 304 221 0 87 0
[pid=3432] ppid=3430 vsize=15153204 memory=3788136 CPUtime=2400.01 cores=0,2,4,6
/proc/3432/stat : 3432 (java) S 3430 3430 2561 0 -1 1077944320 94462 0 0 0 239799 202 0 0 20 0 15 0 516184592 15516880896 947034 33554432000 4194304 4196468 140732214481296 140732214463840 139747639967479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
/proc/3432/statm: 3788301 947034 3524 1 0 3749401 0
[pid=3432/tid=3433] ppid=3430 vsize=15153204 memory=3411872 CPUtime=2389.93 cores=0,2,4,6
/proc/3432/task/3433/stat : 3433 (java) R 3430 3430 2561 0 -1 4202560 42097 0 0 0 238847 146 0 0 20 0 15 0 516184592 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747644207208 139747253248908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3434] ppid=3430 vsize=15153204 memory=3611376 CPUtime=1.26 cores=0,2,4,6
/proc/3432/task/3434/stat : 3434 (java) S 3430 3430 2561 0 -1 1077944384 4566 0 0 0 122 4 0 0 20 0 15 0 516184593 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747568008336 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3435] ppid=3430 vsize=15153204 memory=3652440 CPUtime=1.25 cores=0,2,4,6
/proc/3432/task/3435/stat : 3435 (java) S 3430 3430 2561 0 -1 1077944384 4594 0 0 0 120 5 0 0 20 0 15 0 516184593 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747566955536 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3436] ppid=3430 vsize=15153204 memory=3761408 CPUtime=1.26 cores=0,2,4,6
/proc/3432/task/3436/stat : 3436 (java) S 3430 3430 2561 0 -1 1077944384 4004 0 0 0 122 4 0 0 20 0 15 0 516184593 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747230346128 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3437] ppid=3430 vsize=15153204 memory=1452 CPUtime=1.26 cores=0,2,4,6
/proc/3432/task/3437/stat : 3437 (java) S 3430 3430 2561 0 -1 1077944384 2910 0 0 0 122 4 0 0 20 0 15 0 516184593 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747229293328 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3438] ppid=3430 vsize=15153204 memory=55 CPUtime=0.61 cores=0,2,4,6
/proc/3432/task/3438/stat : 3438 (java) S 3430 3430 2561 0 -1 1077944384 6364 0 0 0 52 9 0 0 20 0 15 0 516184594 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747175831920 139747639978626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3439] ppid=3430 vsize=15153204 memory=776 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3439/stat : 3439 (java) S 3430 3430 2561 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516184594 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747174777952 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3440] ppid=3430 vsize=15153204 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3440/stat : 3440 (java) S 3430 3430 2561 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 516184595 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747173725056 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3441] ppid=3430 vsize=15153204 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3441/stat : 3441 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747172673360 139747639986075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3442] ppid=3430 vsize=15153204 memory=3518792 CPUtime=1.41 cores=0,2,4,6
/proc/3432/task/3442/stat : 3442 (java) S 3430 3430 2561 0 -1 1077944384 9703 0 0 0 140 1 0 0 20 0 15 0 516184597 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747171621744 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3443] ppid=3430 vsize=15153204 memory=8112282956445269571 CPUtime=1.56 cores=0,2,4,6
/proc/3432/task/3443/stat : 3443 (java) S 3430 3430 2561 0 -1 1077944384 8530 0 0 0 155 1 0 0 20 0 15 0 516184597 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747170568944 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3444] ppid=3430 vsize=15153204 memory=892 CPUtime=0.71 cores=0,2,4,6
/proc/3432/task/3444/stat : 3444 (java) S 3430 3430 2561 0 -1 1077944384 9002 0 0 0 69 2 0 0 20 0 15 0 516184597 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747169516144 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3445] ppid=3430 vsize=15153204 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3432/task/3445/stat : 3445 (java) S 3430 3430 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516184597 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747168463584 139747639977685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
[pid=3432/tid=3446] ppid=3430 vsize=15153204 memory=1452 CPUtime=0.64 cores=0,2,4,6
/proc/3432/task/3446/stat : 3446 (java) S 3430 3430 2561 0 -1 1077944384 1272 0 0 0 29 35 0 0 20 0 15 0 516184598 15516880896 947034 33554432000 4194304 4196468 140732214481296 139747167410864 139747639978626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19656704 140732214485999 140732214486170 140732214486170 140732214489039 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3789588 KiB
Child status: 143
Real time (s): 2392.32
CPU time (s): 2400.04
CPU user time (s): 2398
CPU system time (s): 2.03864
CPU usage (%): 100.323
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 3789588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398
system time used= 2.03864
maximum resident set size= 3788464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95244
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67186
involuntary context switches= 3465
# summary of solver processes directly reported to runsolver:
# pid: 3430,3432
# total CPU time (s): 2400.04
# total CPU user time (s): 2398
# total CPU system time (s): 2.03864
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.039 second user time and 21.5522 second system time
The end
Begin job on node123 at 2019-09-25 10:12:38 IDJOB=4406621 IDBENCH=127027 IDSOLVER=2870 FILE ID=node123/4406621-1569399198 RUNJOBID= node123-1569396630-2592 PBS_JOBID= 21705690 Free space on /tmp= 25896 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-031.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406621-1569399198/watcher-4406621-1569399198 -o /tmp/evaluation-result-4406621-1569399198/solver-4406621-1569399198 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569396630-2592 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406621-1569399198.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0f1289c6216c2035de546c3b2133ae29 RANDOM SEED=1860271512 node123.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.49 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.49 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.49 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.49 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: 25535688 kB MemAvailable: 31678240 kB Buffers: 114056 kB Cached: 6189324 kB SwapCached: 6588 kB Active: 3451416 kB Inactive: 3025124 kB Active(anon): 165924 kB Inactive(anon): 63868 kB Active(file): 3285492 kB Inactive(file): 2961256 kB Unevictable: 107776 kB Mlocked: 107776 kB SwapTotal: 67108860 kB SwapFree: 66999840 kB Dirty: 25916 kB Writeback: 16 kB AnonPages: 274944 kB Mapped: 70760 kB Shmem: 47972 kB Slab: 354324 kB SReclaimable: 324264 kB SUnreclaim: 30060 kB KernelStack: 3760 kB PageTables: 6480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1393080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 25868 MiB End job on node123 at 2019-09-25 10:52:31