Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Parallel with EPS 2018-07-02 | Wrong Cert. | 20032 | 2520.33 |
| Name | NurseRostering/ NurseRostering-04_c18.xml |
| MD5SUM | 3e14d2a5b30f836b117ab38c1a042f13 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2619 |
| Best CPU time to get the best result obtained on this benchmark | 20008.7 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 589 |
| Number of constraints | 1410 |
| Number of domains | 13 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":30},{"size":2,"count":111},{"size":3,"count":280},{"size":11,"count":140},{"size":29,"count":28}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 21 |
| Distribution of variable degrees | [{"degree":2,"count":269},{"degree":3,"count":40},{"degree":11,"count":9},{"degree":12,"count":11},{"degree":14,"count":8},{"degree":15,"count":10},{"degree":16,"count":15},{"degree":17,"count":23},{"degree":18,"count":18},{"degree":19,"count":79},{"degree":20,"count":85},{"degree":21,"count":22}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 29 |
| Distribution of constraint arities | [{"arity":2,"count":525},{"arity":3,"count":530},{"arity":4,"count":10},{"arity":6,"count":230},{"arity":11,"count":84},{"arity":20,"count":1},{"arity":29,"count":30}] |
| Number of extensional constraints | 354 |
| Number of intensional constraints | 171 |
| Distribution of constraint types | [{"type":"extension","count":354},{"type":"intension","count":171},{"type":"regular","count":520},{"type":"sum","count":20},{"type":"count","count":344},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.67/0.55 c version: 2018-07-02 0.67/0.56 c seed: 1650898051 0.67/0.56 c timeout: 20160 0.67/0.56 c memlimit: 22000 0.67/0.56 c nbcore: 8 0.67/0.59 c Parsing instance... 2.32/1.29 c Parsing done, starting search... 11688.44/1473.55 o 5425 11688.44/1473.55 o 5325 11688.44/1473.56 o 5323 11688.44/1473.58 o 5322 11689.29/1473.68 o 5224 11689.29/1473.69 o 5223 11689.29/1473.69 o 5222 11689.29/1473.69 o 5221 11690.01/1473.74 o 5123 11690.01/1473.74 o 5122 11690.01/1473.76 o 5022 11690.01/1473.76 o 5021 11690.01/1473.77 o 5020 11690.01/1473.77 o 5019 11694.00/1474.21 o 4921 11694.00/1474.23 o 4920 11694.00/1474.23 o 4820 11694.00/1474.23 o 4819 11694.00/1474.26 o 4818 11694.00/1474.26 o 4817 11695.59/1474.43 o 4719 11695.59/1474.44 o 4718 11695.59/1474.44 o 4620 11695.59/1474.44 o 4619 11958.57/1507.48 o 4522 11958.57/1507.49 o 4521 12007.85/1513.68 o 4520 12007.85/1513.69 o 4519 12007.85/1513.69 o 4518 12007.85/1513.69 o 4421 12007.85/1513.70 o 4420 12007.85/1513.70 o 4419 12007.85/1513.70 o 4418 12007.85/1513.70 o 4417 12007.85/1513.70 o 4416 12007.85/1513.70 o 4318 12007.85/1513.70 o 4317 12036.59/1517.24 o 4316 12036.59/1517.25 o 4315 20029.79/2520.09 s SATISFIABLE 20029.79/2520.09 v <instantiation> 20029.79/2520.09 v <list> 20029.79/2520.09 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] ds[14][0] ds[14][1] ds[14][2] ds[15][0] ds[15][1] ds[15][2] ds[16][0] ds[16][1] ds[16][2] ds[17][0] ds[17][1] ds[17][2] ds[18][0] ds[18][1] ds[18][2] ds[19][0] ds[19][1] ds[19][2] ds[20][0] ds[20][1] ds[20][2] ds[21][0] ds[21][1] ds[21][2] ds[22][0] ds[22][1] ds[22][2] ds[23][0] ds[23][1] ds[23][2] ds[24][0] ds[24][1] ds[24][2] ds[25][0] ds[25][1] ds[25][2] ds[26][0] ds[26][1] ds[26][2] ds[27][0] ds[27][1] ds[27][2] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] cc[14][0] cc[14][1] cc[14][2] cc[15][0] cc[15][1] cc[15][2] cc[16][0] cc[16][1] cc[16][2] cc[17][0] cc[17][1] cc[17][2] cc[18][0] cc[18][1] cc[18][2] cc[19][0] cc[19][1] cc[19][2] cc[20][0] cc[20][1] cc[20][2] cc[21][0] cc[21][1] cc[21][2] cc[22][0] cc[22][1] cc[22][2] cc[23][0] cc[23][1] cc[23][2] cc[24][0] cc[24][1] cc[24][2] cc[25][0] cc[25][1] cc[25][2] cc[26][0] cc[26][1] cc[26][2] cc[27][0] cc[27][1] cc[27][2] 20029.79/2520.09 v </list> 20029.79/2520.09 v <values> 20029.79/2520.09 v 1 2 2 1 0 2 1 1 1 1 1 2 2 1 0 2 1 1 1 1 2 0 2 2 1 2 2 2 1 1 2 0 1 0 1 1 2 2 2 1 2 0 1 0 2 1 2 2 2 1 2 2 2 0 2 1 1 0 2 2 2 2 2 0 0 1 1 1 2 2 2 0 2 2 0 2 2 1 1 0 2 0 1 2 0 2 2 1 1 0 0 0 1 2 0 1 1 2 2 0 0 0 1 2 0 1 1 2 2 0 0 2 1 2 2 1 1 2 0 2 0 2 1 2 2 1 2 0 1 2 2 2 2 2 2 2 2 1 2 0 1 2 2 0 0 1 1 1 2 0 1 2 0 0 0 1 1 1 0 0 1 2 0 0 0 1 1 1 0 2 1 0 1 0 0 2 1 2 0 2 1 0 1 0 0 2 2 2 1 0 2 0 1 2 2 2 2 2 2 0 2 0 2 2 2 2 1 2 2 2 0 2 2 1 0 1 1 0 0 2 0 2 1 1 0 1 1 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 1 1 2 1 1 0 0 2 1 0 1 1 2 1 2 1 1 2 2 0 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 8 8 12 16 0 12 2 14 12 9 7 12 14 2 12 0 16 12 0 16 12 6 10 12 8 8 12 11 5 12 1 6 3 1 6 3 1 3 6 2 4 4 2 3 5 2 2 6 2 3 5 3 2 5 3 3 4 4 3 3 4 3 3 2 3 5 2 3 5 1 1 8 3 4 3 5 4 1 4 4 2 4 3 3 4 3 3 2 1 7 1 1 8 4 3 3 5 4 1 5 4 1 4 4 2 1 6 3 1 0 9 1 0 9 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 2 2 1 0 0 0 0 3 3 3 3 3 2 0 2 2 2 2 2 2 2 1 1 1 1 1 3 3 3 3 3 0 0 0 3 3 0 0 0 3 3 3 2 2 2 2 2 0 2 0 0 0 3 3 0 0 0 0 0 1 1 1 1 0 2 0 0 0 0 0 0 100 3 0 200 3 0 300 100 0 0 1 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 1 1 0 2 0 0 200 0 0 0 0 0 400 200 0 0 0 0 0 0 0 0 0 0 1 1 0 2 0 0 400 300 0 100 100 0 0 100 0 2 2 0 0 1 0 0 0 0 300 0 0 300 400 0 300 100 0 20029.79/2520.09 v </values> 20029.79/2520.09 v </instantiation>
INVALID Solution! (3 errors) Violated Constraint c_1007 : regular() list() : [x[12][0], x[13][0], x[14][0]] transitions() : [q0, 0, q1, q0, 1, q1, q0, 2, q3, q1, 0, q3, q1, 1, q3, q1, 2, q2, q2, 2, q3, q3, 0, q3, q3, 1, q3, q3, 2, q3] start() : q0 FINAL() : [q3]
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 (9519 MiB free)
memory of node 1: 16384 MiB (12926 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291108-1532628833/watcher-4291108-1532628833 -o /tmp/evaluation-result-4291108-1532628833/solver-4291108-1532628833 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532623784-9548 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1650898051 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291108-1532628833.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=10028, runsolver pid=10025
[startup+0.100125 s]*
/proc/loadavg: 8.73 8.46 8.44 3/203 10048
/proc/meminfo: memFree=22968320/32770624 swapFree=67108860/67108860
[pid=10028] ppid=10025 vsize=26103424 memory=29736 CPUtime=0.11 cores=0-7
/proc/10028/stat : 10028 (java) S 10025 10028 9521 0 -1 1077944320 6906 0 0 0 10 1 0 0 20 0 20 0 80446449 26729906176 7434 33554432000 4194304 4196468 140735176269760 140735176252304 140680577072887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
/proc/10028/statm: 6525856 7434 3136 1 0 6487932 0
[pid=10028/tid=10030] ppid=10025 vsize=26103424 memory=7679933072689504665 CPUtime=0.08 cores=0-7
/proc/10028/task/10030/stat : 10030 (java) R 10025 10028 9521 0 -1 4202560 4978 0 0 0 8 0 0 0 20 0 20 0 80446450 26729906176 7434 33554432000 4194304 4196468 140735176269760 140680581276016 140680561153374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10031] ppid=10025 vsize=26103424 memory=732370223930842085 CPUtime=0 cores=0-7
/proc/10028/task/10031/stat : 10031 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 7434 33554432000 4194304 4196468 140735176269760 140680529693328 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10032] ppid=10025 vsize=26103424 memory=140085593388672 CPUtime=0 cores=0-7
/proc/10028/task/10032/stat : 10032 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 7434 33554432000 4194304 4196468 140735176269760 140680528640528 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10033] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10033/stat : 10033 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 7434 33554432000 4194304 4196468 140735176269760 140680527587728 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10034] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10034/stat : 10034 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 7434 33554432000 4194304 4196468 140735176269760 140680526534928 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10035] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10035/stat : 10035 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 7434 33554432000 4194304 4196468 140735176269760 140680525483152 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10036] ppid=10025 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/10028/task/10036/stat : 10036 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 7434 33554432000 4194304 4196468 140735176269760 140680524430352 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10037] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10037/stat : 10037 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 7434 33554432000 4194304 4196468 140735176269760 140680523377552 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10038] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10038/stat : 10038 (java) S 10025 10028 9521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 7434 33554432000 4194304 4196468 140735176269760 140680522324752 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10039] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10039/stat : 10039 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446452 26729906176 7434 33554432000 4194304 4196468 140735176269760 140678782237040 140680577084034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10040] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10040/stat : 10040 (java) S 10025 10028 9521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80446453 26729906176 7434 33554432000 4194304 4196468 140735176269760 140678781183008 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10041] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10041/stat : 10041 (java) S 10025 10028 9521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80446453 26729906176 7434 33554432000 4194304 4196468 140735176269760 140678780130160 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10042] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10042/stat : 10042 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446455 26729906176 7434 33554432000 4194304 4196468 140735176269760 140678779078480 140680577091483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10043] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10043/stat : 10043 (java) S 10025 10028 9521 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 80446455 26729906176 7434 33554432000 4194304 4196468 140735176269760 140678778026864 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10044] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10044/stat : 10044 (java) S 10025 10028 9521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446455 26729906176 7434 33554432000 4194304 4196468 140735176269760 140678776974064 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10045] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10045/stat : 10045 (java) S 10025 10028 9521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446455 26729906176 7434 33554432000 4194304 4196468 140735176269760 140678775921264 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10046] ppid=10025 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/10028/task/10046/stat : 10046 (java) S 10025 10028 9521 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 80446455 26729906176 7434 33554432000 4194304 4196468 140735176269760 140678774868464 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10047] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10047/stat : 10047 (java) S 10025 10028 9521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446456 26729906176 7434 33554432000 4194304 4196468 140735176269760 140678773815904 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10048] ppid=10025 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/10028/task/10048/stat : 10048 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446456 26729906176 7434 33554432000 4194304 4196468 140735176269760 140678772763184 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 29736 KiB
[startup+0.209836 s]*
/proc/loadavg: 8.73 8.46 8.44 4/203 10048
/proc/meminfo: memFree=22954328/32770624 swapFree=67108860/67108860
[pid=10028] ppid=10025 vsize=26103424 memory=43344 CPUtime=0.29 cores=0-7
/proc/10028/stat : 10028 (java) S 10025 10028 9521 0 -1 1077944320 10485 0 0 0 27 2 0 0 20 0 20 0 80446449 26729906176 10836 33554432000 4194304 4196468 140735176269760 140735176252304 140680577072887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
/proc/10028/statm: 6525856 10836 3346 1 0 6487932 0
[pid=10028/tid=10030] ppid=10025 vsize=26103424 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/10028/task/10030/stat : 10030 (java) R 10025 10028 9521 0 -1 4202560 8272 0 0 0 18 1 0 0 20 0 20 0 80446450 26729906176 10836 33554432000 4194304 4196468 140735176269760 140680581298864 140680577094234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10031] ppid=10025 vsize=26103424 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/10028/task/10031/stat : 10031 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 10836 33554432000 4194304 4196468 140735176269760 140680529693328 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10032] ppid=10025 vsize=26103424 memory=14273440941618840 CPUtime=0 cores=0-7
/proc/10028/task/10032/stat : 10032 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 10836 33554432000 4194304 4196468 140735176269760 140680528640528 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10033] ppid=10025 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/10028/task/10033/stat : 10033 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 10836 33554432000 4194304 4196468 140735176269760 140680527587728 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10034] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10034/stat : 10034 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 10836 33554432000 4194304 4196468 140735176269760 140680526534928 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10035] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10035/stat : 10035 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 10836 33554432000 4194304 4196468 140735176269760 140680525483152 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10036] ppid=10025 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/10028/task/10036/stat : 10036 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 10836 33554432000 4194304 4196468 140735176269760 140680524430352 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10037] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10037/stat : 10037 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 10836 33554432000 4194304 4196468 140735176269760 140680523377552 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10038] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10038/stat : 10038 (java) S 10025 10028 9521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 10836 33554432000 4194304 4196468 140735176269760 140680522324752 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10039] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10039/stat : 10039 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446452 26729906176 10836 33554432000 4194304 4196468 140735176269760 140678782237040 140680577084034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10040] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10040/stat : 10040 (java) S 10025 10028 9521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80446453 26729906176 10836 33554432000 4194304 4196468 140735176269760 140678781183008 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10041] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10041/stat : 10041 (java) S 10025 10028 9521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80446453 26729906176 10836 33554432000 4194304 4196468 140735176269760 140678780130160 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10042] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10042/stat : 10042 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446455 26729906176 10836 33554432000 4194304 4196468 140735176269760 140678779078480 140680577091483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10043] ppid=10025 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/10028/task/10043/stat : 10043 (java) R 10025 10028 9521 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 20 0 80446455 26729906176 10836 33554432000 4194304 4196468 140735176269760 140678778026864 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10044] ppid=10025 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/10028/task/10044/stat : 10044 (java) R 10025 10028 9521 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 20 0 80446455 26729906176 10836 33554432000 4194304 4196468 140735176269760 140678776974064 140680577084822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10045] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10045/stat : 10045 (java) R 10025 10028 9521 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 80446455 26729906176 10836 33554432000 4194304 4196468 140735176269760 140678775921264 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10046] ppid=10025 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/10028/task/10046/stat : 10046 (java) R 10025 10028 9521 0 -1 4202560 297 0 0 0 6 0 0 0 20 0 20 0 80446455 26729906176 10836 33554432000 4194304 4196468 140735176269760 140678774864224 140680577094234 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10047] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10047/stat : 10047 (java) S 10025 10028 9521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446456 26729906176 10836 33554432000 4194304 4196468 140735176269760 140678773815904 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10048] ppid=10025 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/10028/task/10048/stat : 10048 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446456 26729906176 10836 33554432000 4194304 4196468 140735176269760 140678772763184 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43344 KiB
[startup+0.309791 s]*
/proc/loadavg: 8.73 8.46 8.44 2/203 10048
/proc/meminfo: memFree=22951188/32770624 swapFree=67108860/67108860
[pid=10028] ppid=10025 vsize=26103424 memory=46896 CPUtime=0.42 cores=0-7
/proc/10028/stat : 10028 (java) S 10025 10028 9521 0 -1 1077944320 10917 0 0 0 40 2 0 0 20 0 20 0 80446449 26729906176 11724 33554432000 4194304 4196468 140735176269760 140735176252304 140680577072887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
/proc/10028/statm: 6525856 11724 3373 1 0 6487932 0
[pid=10028/tid=10030] ppid=10025 vsize=26103424 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10028/task/10030/stat : 10030 (java) R 10025 10028 9521 0 -1 4202560 8606 0 0 0 28 1 0 0 20 0 20 0 80446450 26729906176 11724 33554432000 4194304 4196468 140735176269760 140680581294024 140680557348190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10031] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10031/stat : 10031 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 11724 33554432000 4194304 4196468 140735176269760 140680529693328 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10032] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10032/stat : 10032 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 11724 33554432000 4194304 4196468 140735176269760 140680528640528 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10033] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10033/stat : 10033 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 11724 33554432000 4194304 4196468 140735176269760 140680527587728 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10034] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10034/stat : 10034 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 11724 33554432000 4194304 4196468 140735176269760 140680526534928 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10035] ppid=10025 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/10028/task/10035/stat : 10035 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 11724 33554432000 4194304 4196468 140735176269760 140680525483152 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10036] ppid=10025 vsize=26103424 memory=140085458727855 CPUtime=0 cores=0-7
/proc/10028/task/10036/stat : 10036 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 11724 33554432000 4194304 4196468 140735176269760 140680524430352 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10037] ppid=10025 vsize=26103424 memory=140085458730160 CPUtime=0 cores=0-7
/proc/10028/task/10037/stat : 10037 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 11724 33554432000 4194304 4196468 140735176269760 140680523377552 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10038] ppid=10025 vsize=26103424 memory=140085458732464 CPUtime=0 cores=0-7
/proc/10028/task/10038/stat : 10038 (java) S 10025 10028 9521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446451 26729906176 11724 33554432000 4194304 4196468 140735176269760 140680522324752 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10039] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10039/stat : 10039 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446452 26729906176 11724 33554432000 4194304 4196468 140735176269760 140678782237040 140680577084034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10040] ppid=10025 vsize=26103424 memory=280170917471888 CPUtime=0 cores=0-7
/proc/10028/task/10040/stat : 10040 (java) S 10025 10028 9521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80446453 26729906176 11724 33554432000 4194304 4196468 140735176269760 140678781183008 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10041] ppid=10025 vsize=26103424 memory=280170917478800 CPUtime=0 cores=0-7
/proc/10028/task/10041/stat : 10041 (java) S 10025 10028 9521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80446453 26729906176 11724 33554432000 4194304 4196468 140735176269760 140678780130160 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10042] ppid=10025 vsize=26103424 memory=280170917420080 CPUtime=0 cores=0-7
/proc/10028/task/10042/stat : 10042 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446455 26729906176 11724 33554432000 4194304 4196468 140735176269760 140678779078480 140680577091483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10043] ppid=10025 vsize=26103424 memory=280170917492624 CPUtime=0.01 cores=0-7
/proc/10028/task/10043/stat : 10043 (java) S 10025 10028 9521 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 20 0 80446455 26729906176 11724 33554432000 4194304 4196468 140735176269760 140678778026864 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10044] ppid=10025 vsize=26103424 memory=280170917499536 CPUtime=0.01 cores=0-7
/proc/10028/task/10044/stat : 10044 (java) S 10025 10028 9521 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 80446455 26729906176 11724 33554432000 4194304 4196468 140735176269760 140678776974064 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10045] ppid=10025 vsize=26103424 memory=280170917497232 CPUtime=0.01 cores=0-7
/proc/10028/task/10045/stat : 10045 (java) S 10025 10028 9521 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 80446455 26729906176 11724 33554432000 4194304 4196468 140735176269760 140678775921264 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10046] ppid=10025 vsize=26103424 memory=280170917513792 CPUtime=0.07 cores=0-7
/proc/10028/task/10046/stat : 10046 (java) S 10025 10028 9521 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 20 0 80446455 26729906176 11724 33554432000 4194304 4196468 140735176269760 140678774868464 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10047] ppid=10025 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10047/stat : 10047 (java) S 10025 10028 9521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446456 26729906176 11724 33554432000 4194304 4196468 140735176269760 140678773815904 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10048] ppid=10025 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/10028/task/10048/stat : 10048 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446456 26729906176 11724 33554432000 4194304 4196468 140735176269760 140678772763184 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46896 KiB
[startup+0.700866 s]
/proc/loadavg: 8.73 8.46 8.44 2/203 10048
/proc/meminfo: memFree=22927500/32770624 swapFree=67108860/67108860
[pid=10028] ppid=10025 vsize=26105492 memory=85472 CPUtime=0.99 cores=0-7
/proc/10028/stat : 10028 (java) S 10025 10028 9521 0 -1 1077944320 17846 0 0 0 94 5 0 0 20 0 20 0 80446449 26732023808 21368 33554432000 4194304 4196468 140735176269760 140735176252304 140680577072887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
/proc/10028/statm: 6526373 21368 3498 1 0 6488444 0
[pid=10028/tid=10030] ppid=10025 vsize=26105492 memory=4639930699739720298 CPUtime=0.67 cores=0-7
/proc/10028/task/10030/stat : 10030 (java) R 10025 10028 9521 0 -1 4202560 15042 0 0 0 64 3 0 0 20 0 20 0 80446450 26732023808 21368 33554432000 4194304 4196468 140735176269760 140680581287856 140680544668556 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10031] ppid=10025 vsize=26105492 memory=43151536443006 CPUtime=0 cores=0-7
/proc/10028/task/10031/stat : 10031 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26732023808 21368 33554432000 4194304 4196468 140735176269760 140680529693328 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10032] ppid=10025 vsize=26105492 memory=140085458740069 CPUtime=0 cores=0-7
/proc/10028/task/10032/stat : 10032 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446451 26732023808 21368 33554432000 4194304 4196468 140735176269760 140680528640528 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10033] ppid=10025 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10033/stat : 10033 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446451 26732023808 21368 33554432000 4194304 4196468 140735176269760 140680527587728 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10034] ppid=10025 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10034/stat : 10034 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26732023808 21368 33554432000 4194304 4196468 140735176269760 140680526534928 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10035] ppid=10025 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10035/stat : 10035 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26732023808 21368 33554432000 4194304 4196468 140735176269760 140680525483152 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10036] ppid=10025 vsize=26105492 memory=2353 CPUtime=0 cores=0-7
/proc/10028/task/10036/stat : 10036 (java) S 10025 10028 9521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446451 26732023808 21368 33554432000 4194304 4196468 140735176269760 140680524430352 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10037] ppid=10025 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/10028/task/10037/stat : 10037 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446451 26732023808 21368 33554432000 4194304 4196468 140735176269760 140680523377552 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10038] ppid=10025 vsize=26105492 memory=1728 CPUtime=0 cores=0-7
/proc/10028/task/10038/stat : 10038 (java) S 10025 10028 9521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446451 26732023808 21368 33554432000 4194304 4196468 140735176269760 140680522324752 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10039] ppid=10025 vsize=26105492 memory=792 CPUtime=0 cores=0-7
/proc/10028/task/10039/stat : 10039 (java) S 10025 10028 9521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446452 26732023808 21368 33554432000 4194304 4196468 140735176269760 140678782237040 140680577084034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
################
# More data... #
################
[pid=10028/tid=10056] ppid=10025 vsize=27852576 memory=7814429249891215927 CPUtime=2495.85 cores=0-7
/proc/10028/task/10056/stat : 10056 (java) R 10025 10028 9521 0 -1 4202560 303858 0 0 0 249424 161 0 0 20 0 46 0 80446803 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140678437590840 140680201182131 0 4 0 16800975 0 0 0 -1 4 0 0 37 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10057] ppid=10025 vsize=27852576 memory=7883950270603864631 CPUtime=0.54 cores=0-7
/proc/10028/task/10057/stat : 10057 (java) S 10025 10028 9521 0 -1 1077944384 168 0 0 0 54 0 0 0 20 0 46 0 80446803 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140678436545424 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10058] ppid=10025 vsize=27852576 memory=4195447490462202311 CPUtime=0.12 cores=0-7
/proc/10028/task/10058/stat : 10058 (java) S 10025 10028 9521 0 -1 1077944384 178 0 0 0 12 0 0 0 20 0 46 0 80446803 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140678435492624 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10059] ppid=10025 vsize=27852576 memory=4126316290023845779 CPUtime=0.25 cores=0-7
/proc/10028/task/10059/stat : 10059 (java) S 10025 10028 9521 0 -1 1077944384 128 0 0 0 25 0 0 0 20 0 46 0 80446803 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140678434440848 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10060] ppid=10025 vsize=27852576 memory=6119932 CPUtime=0.23 cores=0-7
/proc/10028/task/10060/stat : 10060 (java) S 10025 10028 9521 0 -1 1077944384 324 0 0 0 23 0 0 0 20 0 46 0 80446803 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677291697600 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10061] ppid=10025 vsize=27852576 memory=952 CPUtime=0.25 cores=0-7
/proc/10028/task/10061/stat : 10061 (java) S 10025 10028 9521 0 -1 1077944384 201 0 0 0 25 0 0 0 20 0 46 0 80446803 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677290644880 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10062] ppid=10025 vsize=27852576 memory=2340 CPUtime=2490.55 cores=0-7
/proc/10028/task/10062/stat : 10062 (java) R 10025 10028 9521 0 -1 4202560 310415 0 0 0 248888 167 0 0 20 0 46 0 80446860 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677289584424 140680210461508 0 4 0 16800975 0 0 0 -1 3 0 0 41 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10063] ppid=10025 vsize=27852576 memory=1572 CPUtime=0.07 cores=0-7
/proc/10028/task/10063/stat : 10063 (java) S 10025 10028 9521 0 -1 1077944384 44 0 0 0 7 0 0 0 20 0 46 0 80446861 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677286405264 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10064] ppid=10025 vsize=27852576 memory=6119932 CPUtime=2492.62 cores=0-7
/proc/10028/task/10064/stat : 10064 (java) R 10025 10028 9521 0 -1 4202560 363558 0 0 0 249093 169 0 0 20 0 46 0 80446861 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677285344568 140680211046035 0 4 0 16800975 0 0 0 -1 7 0 0 42 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10065] ppid=10025 vsize=27852576 memory=2244 CPUtime=0.16 cores=0-7
/proc/10028/task/10065/stat : 10065 (java) S 10025 10028 9521 0 -1 1077944384 94 0 0 0 16 0 0 0 20 0 46 0 80446861 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677284299664 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10066] ppid=10025 vsize=27852576 memory=23956 CPUtime=0.92 cores=0-7
/proc/10028/task/10066/stat : 10066 (java) S 10025 10028 9521 0 -1 1077944384 469 0 0 0 91 1 0 0 20 0 46 0 80446861 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677283246864 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10067] ppid=10025 vsize=27852576 memory=1296 CPUtime=0.28 cores=0-7
/proc/10028/task/10067/stat : 10067 (java) S 10025 10028 9521 0 -1 1077944384 71 0 0 0 28 0 0 0 20 0 46 0 80446871 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677282195088 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10068] ppid=10025 vsize=27852576 memory=2448 CPUtime=2496.93 cores=0-7
/proc/10028/task/10068/stat : 10068 (java) R 10025 10028 9521 0 -1 4202560 398597 0 0 0 249504 189 0 0 20 0 46 0 80446873 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677281134632 140680211034527 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10069] ppid=10025 vsize=27852576 memory=1728 CPUtime=2500.71 cores=0-7
/proc/10028/task/10069/stat : 10069 (java) R 10025 10028 9521 0 -1 4202560 399101 0 0 0 249879 192 0 0 20 0 46 0 80446873 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677280082008 140680206212699 0 4 0 16800975 0 0 0 -1 6 0 0 37 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10070] ppid=10025 vsize=27852576 memory=6217600 CPUtime=0.08 cores=0-7
/proc/10028/task/10070/stat : 10070 (java) S 10025 10028 9521 0 -1 1077944384 81 0 0 0 8 0 0 0 20 0 46 0 80446884 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677279036688 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10071] ppid=10025 vsize=27852576 memory=6791534058613427641 CPUtime=0.16 cores=0-7
/proc/10028/task/10071/stat : 10071 (java) S 10025 10028 9521 0 -1 1077944384 78 0 0 0 16 0 0 0 20 0 46 0 80446884 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677277983888 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10072] ppid=10025 vsize=27852576 memory=1444 CPUtime=2493.15 cores=0-7
/proc/10028/task/10072/stat : 10072 (java) R 10025 10028 9521 0 -1 4202560 383607 0 0 0 249132 183 0 0 20 0 46 0 80446894 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677276922560 140680201636260 0 4 0 16800975 0 0 0 -1 0 0 0 42 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10073] ppid=10025 vsize=27852576 memory=1200 CPUtime=2491.86 cores=0-7
/proc/10028/task/10073/stat : 10073 (java) R 10025 10028 9521 0 -1 4202560 386380 0 0 0 248998 188 0 0 20 0 46 0 80446896 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677275873120 140680206107632 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10074] ppid=10025 vsize=27852576 memory=1008 CPUtime=0 cores=0-7
/proc/10028/task/10074/stat : 10074 (java) S 10025 10028 9521 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 46 0 80446898 28521037824 1568452 33554432000 4194304 4196468 140735176269760 140677274825488 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
Current children cumulated CPU time: 20029.8 s
Current children cumulated vsize: 27852576 KiB
Current children cumulated memory: 6273808 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.33 s]
# the end of solver process 10028 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20012.3 s, system=19.7268 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.2 s]
/proc/loadavg: 8.64 8.88 8.83 9/229 10127
/proc/meminfo: memFree=16713388/32770624 swapFree=67108860/67108860
[pid=10028] ppid=10025 vsize=28052268 memory=6267760 CPUtime=20031.3 cores=0-7
/proc/10028/stat : 10028 (java) S 10025 10028 9521 0 -1 1077944320 3856086 0 0 0 2001163 1967 0 0 20 0 48 0 80446449 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140735176252304 140680577072887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
/proc/10028/statm: 7013067 1566940 3634 1 0 6974617 0
[pid=10028/tid=10030] ppid=10025 vsize=28052268 memory=1696 CPUtime=3.38 cores=0-7
/proc/10028/task/10030/stat : 10030 (java) S 10025 10028 9521 0 -1 1077944384 20806 0 0 0 331 7 0 0 20 0 48 0 80446450 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140680581310352 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10031] ppid=10025 vsize=28052268 memory=8532 CPUtime=6.59 cores=0-7
/proc/10028/task/10031/stat : 10031 (java) S 10025 10028 9521 0 -1 1077944384 85373 0 0 0 600 59 0 0 20 0 48 0 80446451 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140680529693328 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10032] ppid=10025 vsize=28052268 memory=4616 CPUtime=6.65 cores=0-7
/proc/10028/task/10032/stat : 10032 (java) S 10025 10028 9521 0 -1 1077944384 100557 0 0 0 602 63 0 0 20 0 48 0 80446451 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140680528640528 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10033] ppid=10025 vsize=28052268 memory=15868 CPUtime=6.63 cores=0-7
/proc/10028/task/10033/stat : 10033 (java) S 10025 10028 9521 0 -1 1077944384 97027 0 0 0 603 60 0 0 20 0 48 0 80446451 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140680527587728 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10034] ppid=10025 vsize=28052268 memory=4012 CPUtime=6.7 cores=0-7
/proc/10028/task/10034/stat : 10034 (java) S 10025 10028 9521 0 -1 1077944384 78481 0 0 0 608 62 0 0 20 0 48 0 80446451 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140680526534928 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10035] ppid=10025 vsize=28052268 memory=14696 CPUtime=6.65 cores=0-7
/proc/10028/task/10035/stat : 10035 (java) S 10025 10028 9521 0 -1 1077944384 91971 0 0 0 602 63 0 0 20 0 48 0 80446451 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140680525483152 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10036] ppid=10025 vsize=28052268 memory=18292 CPUtime=6.64 cores=0-7
/proc/10028/task/10036/stat : 10036 (java) S 10025 10028 9521 0 -1 1077944384 91116 0 0 0 603 61 0 0 20 0 48 0 80446451 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140680524430352 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10037] ppid=10025 vsize=28052268 memory=1792 CPUtime=6.66 cores=0-7
/proc/10028/task/10037/stat : 10037 (java) S 10025 10028 9521 0 -1 1077944384 79439 0 0 0 602 64 0 0 20 0 48 0 80446451 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140680523377552 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10038] ppid=10025 vsize=28052268 memory=6273808 CPUtime=6.67 cores=0-7
/proc/10028/task/10038/stat : 10038 (java) S 10025 10028 9521 0 -1 1077944384 93385 0 0 0 605 62 0 0 20 0 48 0 80446451 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140680522324752 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10039] ppid=10025 vsize=28052268 memory=1008 CPUtime=2.85 cores=0-7
/proc/10028/task/10039/stat : 10039 (java) S 10025 10028 9521 0 -1 1077944384 144972 0 0 0 243 42 0 0 20 0 48 0 80446452 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678782237040 140680577084034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10040] ppid=10025 vsize=28052268 memory=12040 CPUtime=0 cores=0-7
/proc/10028/task/10040/stat : 10040 (java) S 10025 10028 9521 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 48 0 80446453 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678781183072 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10041] ppid=10025 vsize=28052268 memory=1696 CPUtime=0 cores=0-7
/proc/10028/task/10041/stat : 10041 (java) S 10025 10028 9521 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 48 0 80446453 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678780130176 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10042] ppid=10025 vsize=28052268 memory=8532 CPUtime=0 cores=0-7
/proc/10028/task/10042/stat : 10042 (java) S 10025 10028 9521 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 48 0 80446455 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678779078480 140680577091483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10043] ppid=10025 vsize=28052268 memory=4616 CPUtime=3.27 cores=0-7
/proc/10028/task/10043/stat : 10043 (java) S 10025 10028 9521 0 -1 1077944384 11059 0 0 0 324 3 0 0 20 0 48 0 80446455 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678778026864 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10044] ppid=10025 vsize=28052268 memory=15868 CPUtime=3.34 cores=0-7
/proc/10028/task/10044/stat : 10044 (java) S 10025 10028 9521 0 -1 1077944384 12413 0 0 0 330 4 0 0 20 0 48 0 80446455 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678776974064 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10045] ppid=10025 vsize=28052268 memory=4012 CPUtime=3.55 cores=0-7
/proc/10028/task/10045/stat : 10045 (java) S 10025 10028 9521 0 -1 1077944384 10897 0 0 0 352 3 0 0 20 0 48 0 80446455 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678775921264 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10046] ppid=10025 vsize=28052268 memory=14696 CPUtime=1.67 cores=0-7
/proc/10028/task/10046/stat : 10046 (java) R 10025 10028 9521 0 -1 4202560 23668 0 0 0 161 6 0 0 20 0 48 0 80446455 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678774867648 140680562753585 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10047] ppid=10025 vsize=28052268 memory=18292 CPUtime=0 cores=0-7
/proc/10028/task/10047/stat : 10047 (java) S 10025 10028 9521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 80446456 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678773815904 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10048] ppid=10025 vsize=28052268 memory=1792 CPUtime=0.83 cores=0-7
/proc/10028/task/10048/stat : 10048 (java) S 10025 10028 9521 0 -1 1077944384 6738 0 0 0 42 41 0 0 20 0 48 0 80446456 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678772763184 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10049] ppid=10025 vsize=28052268 memory=1232 CPUtime=0.01 cores=0-7
/proc/10028/task/10049/stat : 10049 (java) S 10025 10028 9521 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 48 0 80446766 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678769803824 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10050] ppid=10025 vsize=28052268 memory=644 CPUtime=4.33 cores=0-7
/proc/10028/task/10050/stat : 10050 (java) S 10025 10028 9521 0 -1 1077944384 16701 0 0 0 199 234 0 0 20 0 48 0 80446783 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678448108320 140680577084034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10051] ppid=10025 vsize=28052268 memory=952 CPUtime=0.72 cores=0-7
/proc/10028/task/10051/stat : 10051 (java) S 10025 10028 9521 0 -1 1077944384 241 0 0 0 72 0 0 0 20 0 48 0 80446795 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678444959296 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10052] ppid=10025 vsize=28052268 memory=2340 CPUtime=0.35 cores=0-7
/proc/10028/task/10052/stat : 10052 (java) S 10025 10028 9521 0 -1 1077944384 219 0 0 0 35 0 0 0 20 0 48 0 80446796 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678443906496 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10053] ppid=10025 vsize=28052268 memory=1572 CPUtime=0.33 cores=0-7
/proc/10028/task/10053/stat : 10053 (java) S 10025 10028 9521 0 -1 1077944384 98 0 0 0 33 0 0 0 20 0 48 0 80446796 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678442853776 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10054] ppid=10025 vsize=28052268 memory=928 CPUtime=2486.85 cores=0-7
/proc/10028/task/10054/stat : 10054 (java) R 10025 10028 9521 0 -1 4202560 338967 0 0 0 248522 163 0 0 20 0 48 0 80446803 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678439696440 140680198179361 0 4 0 16800975 0 0 0 -1 2 0 0 47 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10055] ppid=10025 vsize=28052268 memory=2244 CPUtime=0.27 cores=0-7
/proc/10028/task/10055/stat : 10055 (java) S 10025 10028 9521 0 -1 1077944384 101 0 0 0 27 0 0 0 20 0 48 0 80446803 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678438651024 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10056] ppid=10025 vsize=28052268 memory=4132 CPUtime=2496.04 cores=0-7
/proc/10028/task/10056/stat : 10056 (java) R 10025 10028 9521 0 -1 4202560 303866 0 0 0 249443 161 0 0 20 0 48 0 80446803 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678437590840 140680210609056 0 4 0 16800975 0 0 0 -1 4 0 0 37 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10057] ppid=10025 vsize=28052268 memory=2196 CPUtime=0.54 cores=0-7
/proc/10028/task/10057/stat : 10057 (java) S 10025 10028 9521 0 -1 1077944384 168 0 0 0 54 0 0 0 20 0 48 0 80446803 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678436545424 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10058] ppid=10025 vsize=28052268 memory=7528 CPUtime=0.12 cores=0-7
/proc/10028/task/10058/stat : 10058 (java) S 10025 10028 9521 0 -1 1077944384 178 0 0 0 12 0 0 0 20 0 48 0 80446803 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678435492624 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10059] ppid=10025 vsize=28052268 memory=832 CPUtime=0.25 cores=0-7
/proc/10028/task/10059/stat : 10059 (java) S 10025 10028 9521 0 -1 1077944384 128 0 0 0 25 0 0 0 20 0 48 0 80446803 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140678434440848 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10060] ppid=10025 vsize=28052268 memory=1696 CPUtime=0.23 cores=0-7
/proc/10028/task/10060/stat : 10060 (java) S 10025 10028 9521 0 -1 1077944384 324 0 0 0 23 0 0 0 20 0 48 0 80446803 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677291697600 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10061] ppid=10025 vsize=28052268 memory=916 CPUtime=0.25 cores=0-7
/proc/10028/task/10061/stat : 10061 (java) S 10025 10028 9521 0 -1 1077944384 201 0 0 0 25 0 0 0 20 0 48 0 80446803 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677290644880 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10062] ppid=10025 vsize=28052268 memory=4144 CPUtime=2490.73 cores=0-7
/proc/10028/task/10062/stat : 10062 (java) R 10025 10028 9521 0 -1 4202560 310423 0 0 0 248906 167 0 0 20 0 48 0 80446860 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677289584424 140680210461474 0 4 0 16800975 0 0 0 -1 3 0 0 41 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10063] ppid=10025 vsize=28052268 memory=1408 CPUtime=0.07 cores=0-7
/proc/10028/task/10063/stat : 10063 (java) S 10025 10028 9521 0 -1 1077944384 44 0 0 0 7 0 0 0 20 0 48 0 80446861 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677286405264 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10064] ppid=10025 vsize=28052268 memory=4512 CPUtime=2492.8 cores=0-7
/proc/10028/task/10064/stat : 10064 (java) R 10025 10028 9521 0 -1 4202560 363569 0 0 0 249111 169 0 0 20 0 48 0 80446861 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677285344568 140680206213298 0 4 0 16800975 0 0 0 -1 7 0 0 42 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10065] ppid=10025 vsize=28052268 memory=304274648164728858 CPUtime=0.16 cores=0-7
/proc/10028/task/10065/stat : 10065 (java) S 10025 10028 9521 0 -1 1077944384 94 0 0 0 16 0 0 0 20 0 48 0 80446861 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677284299664 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10066] ppid=10025 vsize=28052268 memory=288230596050944315 CPUtime=0.92 cores=0-7
/proc/10028/task/10066/stat : 10066 (java) S 10025 10028 9521 0 -1 1077944384 469 0 0 0 91 1 0 0 20 0 48 0 80446861 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677283246864 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10067] ppid=10025 vsize=28052268 memory=14128944282601028 CPUtime=0.28 cores=0-7
/proc/10028/task/10067/stat : 10067 (java) S 10025 10028 9521 0 -1 1077944384 71 0 0 0 28 0 0 0 20 0 48 0 80446871 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677282195088 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10068] ppid=10025 vsize=28052268 memory=6265280 CPUtime=2497.12 cores=0-7
/proc/10028/task/10068/stat : 10068 (java) R 10025 10028 9521 0 -1 4202560 398608 0 0 0 249523 189 0 0 20 0 48 0 80446873 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677281134632 140680210681683 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10069] ppid=10025 vsize=28052268 memory=6265280 CPUtime=2500.89 cores=0-7
/proc/10028/task/10069/stat : 10069 (java) R 10025 10028 9521 0 -1 4202560 399110 0 0 0 249897 192 0 0 20 0 48 0 80446873 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677280082008 140680200948652 0 4 0 16800975 0 0 0 -1 6 0 0 37 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10070] ppid=10025 vsize=28052268 memory=280170918214368 CPUtime=0.08 cores=0-7
/proc/10028/task/10070/stat : 10070 (java) R 10025 10028 9521 0 -1 1077944384 396 0 0 0 8 0 0 0 20 0 48 0 80446884 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677279034560 140680577083093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10071] ppid=10025 vsize=28052268 memory=8313631583307159289 CPUtime=0.16 cores=0-7
/proc/10028/task/10071/stat : 10071 (java) S 10025 10028 9521 0 -1 1077944384 78 0 0 0 16 0 0 0 20 0 48 0 80446884 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677277983888 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10072] ppid=10025 vsize=28052268 memory=6944656592455097440 CPUtime=2493.32 cores=0-7
/proc/10028/task/10072/stat : 10072 (java) R 10025 10028 9521 0 -1 4202560 383617 0 0 0 249149 183 0 0 20 0 48 0 80446894 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677276922560 140680200585734 0 4 0 16800975 0 0 0 -1 0 0 0 42 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10073] ppid=10025 vsize=28052268 memory=6944656592387989600 CPUtime=2492.05 cores=0-7
/proc/10028/task/10073/stat : 10073 (java) R 10025 10028 9521 0 -1 4202560 386387 0 0 0 249017 188 0 0 20 0 48 0 80446896 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677275873120 140680211046271 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
[pid=10028/tid=10074] ppid=10025 vsize=28052268 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/10028/task/10074/stat : 10074 (java) S 10025 10028 9521 0 -1 1077944384 532 0 0 0 0 0 0 0 20 0 48 0 80446898 28725522432 1566940 33554432000 4194304 4196468 140735176269760 140677274812560 140680577083093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24895488 140735176275021 140735176275205 140735176275205 140735176277967 0
Current children cumulated CPU time: 20031.3 s
Current children cumulated vsize: 28052268 KiB
Current children cumulated memory: 6267760 KiB
[startup+2520.31 s]*
/proc/loadavg: 8.64 8.88 8.83 2/185 10130
/proc/meminfo: memFree=21544640/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2520.33
CPU time (s): 20032
CPU user time (s): 20012.3
CPU system time (s): 19.7268
CPU usage (%): 794.815
Max. virtual memory (cumulated for all children) (KiB): 28052268
Max. memory (cumulated for all children) (KiB): 6274228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20012.3
system time used= 19.7268
maximum resident set size= 6274352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3858123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 437488
involuntary context switches= 441754
# summary of solver processes directly reported to runsolver:
# pid: 10028
# total CPU time (s): 20032
# total CPU user time (s): 20012.3
# total CPU system time (s): 19.7268
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.5239 second user time and 39.8107 second system time
The end
Begin job on node135 at 2018-07-26 20:13:53 IDJOB=4291108 IDBENCH=141042 IDSOLVER=2745 FILE ID=node135/4291108-1532628833 RUNJOBID= node135-1532623784-9548 PBS_JOBID= 21022026 Free space on /tmp= 48368 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/NurseRostering/NurseRostering-04_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291108-1532628833/watcher-4291108-1532628833 -o /tmp/evaluation-result-4291108-1532628833/solver-4291108-1532628833 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532623784-9548 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1650898051 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291108-1532628833.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3e14d2a5b30f836b117ab38c1a042f13 RANDOM SEED=1650898051 node135.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.50 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.50 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.50 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.50 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: 22985388 kB MemAvailable: 31928116 kB Buffers: 210608 kB Cached: 8912788 kB SwapCached: 0 kB Active: 2590048 kB Inactive: 6587132 kB Active(anon): 3564 kB Inactive(anon): 78288 kB Active(file): 2586484 kB Inactive(file): 6508844 kB Unevictable: 7220 kB Mlocked: 7220 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 36096 kB Writeback: 164 kB AnonPages: 60620 kB Mapped: 40880 kB Shmem: 25248 kB Slab: 303996 kB SReclaimable: 275860 kB SUnreclaim: 28136 kB KernelStack: 3264 kB PageTables: 5168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324068 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 48332 MiB End job on node135 at 2018-07-26 20:55:53