Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 2979 | 2520.07 | 2520.01 |
| 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 | 2070 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| 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.09/0.12 c best=?? lower=0 upper=18360 0.09/0.20 c 0.09/0.20 c This is cosoco 1.12 -- 0.09/0.20 c 0.09/0.20 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4292939-1532299930.xml 0.09/0.20 c enable optimization 0.09/0.20 c ========================================[ Problem Statistics ]=========================================== 0.09/0.20 c | 0.09/0.20 c | Parse time : 0.11 s 0.09/0.20 c | 0.09/0.20 c | Variables: 589 0.09/0.20 c | Domain Sizes: 1..29 0.09/0.20 c | 0.09/0.20 c | Constraints: 1440 0.09/0.20 c | Arity: 1..155 -- Unary: 20 -- Binary: 545 -- Ternary: 520 0.09/0.20 c | 0.09/0.20 c | Types: 0.09/0.20 c | At least: 230 0.09/0.20 c | Exactly K variable: 114 0.09/0.20 c | Extension: 354 (nb tuples: 0..11) -- (shared: 337) 0.09/0.20 c | Intension: 171 0.09/0.20 c | MDD: 520 0.09/0.20 c | Sum: 31 0.09/0.20 c | Unary: 20 0.09/0.20 c | 0.09/0.20 c | Objective: Minimize Sum 0.09/0.20 0.09/0.20 c ========================================================================================================= 0.09/0.20 o 6213 0.09/0.20 c 1 calls to solver: best=6213 lower=0 upper=6212 0.09/0.21 o 6121 0.30/0.35 o 5305 0.30/0.35 c 3 calls to solver: best=5305 lower=0 upper=5304 0.30/0.36 o 5300 0.30/0.40 o 5197 0.30/0.40 c 5 calls to solver: best=5197 lower=0 upper=5196 0.50/0.56 o 5117 0.50/0.57 o 5110 0.50/0.57 c 7 calls to solver: best=5110 lower=0 upper=5109 0.50/0.59 o 5108 0.59/0.61 o 5106 0.59/0.61 c 9 calls to solver: best=5106 lower=0 upper=5105 0.59/0.62 o 5010 0.59/0.64 o 5009 0.59/0.64 c 11 calls to solver: best=5009 lower=0 upper=5008 0.59/0.66 o 4909 0.59/0.68 o 4703 0.59/0.68 c 13 calls to solver: best=4703 lower=0 upper=4702 0.68/0.70 o 4700 0.68/0.75 o 4612 0.68/0.75 c 15 calls to solver: best=4612 lower=0 upper=4611 0.68/0.79 o 4611 0.78/0.88 o 4604 0.78/0.88 c 17 calls to solver: best=4604 lower=0 upper=4603 0.88/0.90 o 4507 0.88/0.92 o 4501 0.88/0.92 c 19 calls to solver: best=4501 lower=0 upper=4500 4.09/4.12 o 4493 4.28/4.38 o 4492 4.28/4.38 c 21 calls to solver: best=4492 lower=0 upper=4491 5.99/6.04 o 3774 11.38/11.49 o 3702 11.38/11.49 c 23 calls to solver: best=3702 lower=0 upper=3701 49.19/49.25 o 3673 75.19/75.23 o 3671 75.19/75.23 c 25 calls to solver: best=3671 lower=0 upper=3670 97.89/97.98 o 3581 98.19/98.28 o 3576 98.19/98.28 c 27 calls to solver: best=3576 lower=0 upper=3575 98.49/98.51 o 3574 99.79/99.82 o 3573 99.79/99.82 c 29 calls to solver: best=3573 lower=0 upper=3572 105.10/105.16 o 3563 183.10/183.19 o 3484 183.10/183.19 c 31 calls to solver: best=3484 lower=0 upper=3483 183.39/183.49 o 3482 184.10/184.15 o 3385 184.10/184.15 c 33 calls to solver: best=3385 lower=0 upper=3384 184.10/184.19 o 3384 185.49/185.54 o 3382 185.49/185.54 c 35 calls to solver: best=3382 lower=0 upper=3381 185.49/185.56 o 3376 185.49/185.59 o 3375 185.49/185.59 c 37 calls to solver: best=3375 lower=0 upper=3374 185.79/185.85 o 3374 186.19/186.22 o 3284 186.19/186.22 c 39 calls to solver: best=3284 lower=0 upper=3283 186.19/186.27 o 3278 186.29/186.31 o 3277 186.29/186.31 c 41 calls to solver: best=3277 lower=0 upper=3276 186.29/186.39 o 3275 186.39/186.47 o 3274 186.39/186.47 c 43 calls to solver: best=3274 lower=0 upper=3273 187.00/187.01 o 3177 187.49/187.56 o 3176 187.49/187.56 c 45 calls to solver: best=3176 lower=0 upper=3175 188.10/188.17 o 3079 188.29/188.33 o 3078 188.29/188.33 c 47 calls to solver: best=3078 lower=0 upper=3077 188.59/188.60 o 2982 188.69/188.72 o 2981 188.69/188.72 c 49 calls to solver: best=2981 lower=0 upper=2980 192.10/192.15 o 2979 2520.06/2520.00 2520.06/2520.00 c *** INTERRUPTED *** 2520.06/2520.00 c restarts : 97 2520.06/2520.00 c conflicts : 10146557 (4026 /sec) 2520.06/2520.00 c decisions : 55865940 (22169 /sec) 2520.06/2520.00 c propagations : 1816343032 (720756 /sec) 2520.06/2520.00 c root propagations : 520 2520.06/2520.00 c filter calls : 2976446813 (1181105 /sec) 2520.06/2520.00 c useless filter calls : 2127316402 (71 %) 2520.06/2520.00 c Memory used : 34.82 MB 2520.06/2520.00 c CPU time : 2520.05 s 2520.06/2520.00 2520.06/2520.00 c nb Solutions = 50 2520.06/2520.00 s SATISFIABLE 2520.06/2520.00 c Best value found: 2979 2520.06/2520.00 2520.06/2520.00 2520.06/2520.00 v <instantiation type='solution' cost='2979'> 2520.06/2520.00 v <list>cc[0][0] cc[0][1] cc[0][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[1][0] cc[1][1] cc[1][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] 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] cf[0] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cn[0] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[1] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[2] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[3] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[4] cn[50] cn[51] cn[5] cn[6] cn[7] cn[8] cn[9] ds[0][0] ds[0][1] ds[0][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[1][0] ds[1][1] ds[1][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] 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] 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] 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] 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[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[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[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] 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] </list> 2520.06/2520.00 v <values>0 0 0 2 0 0 1 0 0 0 100 0 300 200 0 0 0 0 0 100 0 0 200 0 0 0 0 1 0 0 300 400 0 1 0 0 0 100 0 0 300 0 1 0 0 0 100 0 1 100 0 2 300 0 100 100 0 200 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 1 2 3 3 0 0 0 2 2 2 0 2 2 2 0 0 0 1 1 0 0 0 3 0 3 0 0 3 0 0 3 3 3 3 0 3 3 0 0 0 2 2 2 2 0 0 0 0 0 0 0 0 3 2 3 5 4 3 3 5 3 2 2 2 6 2 1 7 3 4 3 5 3 2 4 2 4 3 2 5 3 3 4 3 0 7 4 3 3 2 1 7 4 1 5 4 2 4 5 2 3 5 3 2 6 3 1 3 3 4 2 1 7 5 4 1 3 3 4 3 3 4 2 3 5 2 3 5 3 3 4 4 3 3 5 2 3 9 8 11 16 0 12 8 9 11 10 6 12 12 5 11 0 16 12 7 10 11 7 9 12 12 6 10 17 0 11 0 0 1 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 1 2 0 2 1 2 1 1 2 0 2 0 0 1 1 0 1 2 2 2 0 0 2 1 1 0 1 0 2 0 0 2 2 1 2 2 2 0 1 0 2 2 2 2 2 2 2 0 1 0 2 2 0 2 1 0 1 1 2 1 0 0 0 0 1 0 1 1 2 2 0 0 2 1 2 0 1 2 0 2 0 0 2 1 2 2 2 2 1 0 0 0 2 1 0 2 2 2 1 1 0 0 2 2 0 0 2 2 2 2 2 2 0 0 1 2 1 1 2 0 0 2 2 2 0 1 2 0 2 2 2 2 2 0 0 1 2 0 2 0 2 1 0 0 2 2 1 0 2 0 2 1 0 0 2 2 1 0 0 0 2 1 0 0 0 2 1 1 0 0 2 1 0 0 0 1 1 2 0 0 0 1 0 2 2 1 1 2 0 2 0 2 2 2 2 1 2 2 0 2 0 1 0 0 2 0 1 1 1 0 0 1 0 2 2 0 2 1 1 2 0 1 2 2 0 0 2 1 1 2 0 2 2 1 0 2 1 2 2 1 0 2 0 1 0 2 1 2 2 1 2 2 0 1 2 0 2 1 0 1 2 0 0 2 2 0 2 1 1 1 0 0 0 2 0 0 1 2 1 2 0 </values> 2520.06/2520.00 v </instantiation> 2520.06/2520.00
OK 2979
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 (5292 MiB free)
memory of node 1: 16384 MiB (10519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292939-1532299930/watcher-4292939-1532299930 -o /tmp/evaluation-result-4292939-1532299930/solver-4292939-1532299930 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532294888-5352 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292939-1532299930.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5829, runsolver pid=5826
[startup+0.100551 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 5830
/proc/meminfo: memFree=16184960/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=33284 memory=9708 CPUtime=0.09 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 2642 0 0 0 9 0 0 0 20 0 1 0 47556164 34082816 2427 33554432000 4194304 6142532 140733694613296 140733694604312 140243746991077 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8321 2427 856 476 0 1643 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33284 KiB
Current children cumulated memory: 9708 KiB
[startup+0.209688 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 5830
/proc/meminfo: memFree=16182728/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35520 memory=12204 CPUtime=0.2 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 3223 0 0 0 20 0 0 0 20 0 1 0 47556164 36372480 3051 33554432000 4194304 6142532 140733694613296 140733694604312 4991065 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8880 3051 899 476 0 2202 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35520 KiB
Current children cumulated memory: 12204 KiB
[startup+0.309266 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 5830
/proc/meminfo: memFree=16182356/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35520 memory=12204 CPUtime=0.3 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 3243 0 0 0 30 0 0 0 20 0 1 0 47556164 36372480 3051 33554432000 4194304 6142532 140733694613296 140733694604312 5138256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8880 3051 899 476 0 2202 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35520 KiB
Current children cumulated memory: 12204 KiB
[startup+0.70028 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5830
/proc/meminfo: memFree=16182356/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12204 CPUtime=0.68 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 3266 0 0 0 68 0 0 0 20 0 1 0 47556164 36507648 3051 33554432000 4194304 6142532 140733694613296 140733694604312 5335934 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3051 899 476 0 2235 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12204 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5830
/proc/meminfo: memFree=16182356/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12204 CPUtime=1.48 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 3266 0 0 0 148 0 0 0 20 0 1 0 47556164 36507648 3051 33554432000 4194304 6142532 140733694613296 140733694600568 5139128 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3051 899 476 0 2235 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12204 KiB
[startup+3.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5830
/proc/meminfo: memFree=16181984/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12440 CPUtime=3.09 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 5390 0 0 0 309 0 0 0 20 0 1 0 47556164 36507648 3110 33554432000 4194304 6142532 140733694613296 140733694600568 4990603 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3110 900 476 0 2235 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12440 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5830
/proc/meminfo: memFree=16182128/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12444 CPUtime=6.28 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 7534 0 0 0 628 0 0 0 20 0 1 0 47556164 36507648 3111 33554432000 4194304 6142532 140733694613296 140733694600568 4991027 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3111 900 476 0 2235 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12444 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5830
/proc/meminfo: memFree=16182112/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12472 CPUtime=12.68 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 9680 0 0 0 1268 0 0 0 20 0 1 0 47556164 36507648 3118 33554432000 4194304 6142532 140733694613296 140733694610824 5140510 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3118 900 476 0 2235 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12472 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5830
/proc/meminfo: memFree=16182376/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12472 CPUtime=25.49 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 13849 0 0 0 2548 1 0 0 20 0 1 0 47556164 36507648 3118 33554432000 4194304 6142532 140733694613296 140733694600568 140243747911587 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3118 900 476 0 2235 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12472 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5830
/proc/meminfo: memFree=16172828/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12476 CPUtime=51.1 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 16068 0 0 0 5109 1 0 0 20 0 1 0 47556164 36507648 3119 33554432000 4194304 6142532 140733694613296 140733694610824 5138259 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3119 900 476 0 2235 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12476 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5831
/proc/meminfo: memFree=16173948/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12496 CPUtime=102.29 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 18220 0 0 0 10228 1 0 0 20 0 1 0 47556164 36507648 3124 33554432000 4194304 6142532 140733694613296 140733694600568 5138259 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3124 900 476 0 2235 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12496 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5832
/proc/meminfo: memFree=16174048/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=162.29 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 20351 0 0 0 16228 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5363630 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5834
/proc/meminfo: memFree=16168420/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=222.29 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 22505 0 0 0 22228 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5138362 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5835
/proc/meminfo: memFree=16166068/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=282.29 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 23104 0 0 0 28228 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5215653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5836
/proc/meminfo: memFree=16166320/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=342.29 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 23710 0 0 0 34228 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5838
/proc/meminfo: memFree=16166212/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=402.29 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 24311 0 0 0 40228 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5215639 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5839
/proc/meminfo: memFree=16166528/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=462.3 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 24917 0 0 0 46229 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5215632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
################
# More data... #
################
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 5910
/proc/meminfo: memFree=16166528/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=1782.33 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 36735 0 0 0 178232 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5138322 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 5911
/proc/meminfo: memFree=16166408/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=1842.33 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 37348 0 0 0 184232 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5215647 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5912
/proc/meminfo: memFree=16166476/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=1902.33 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 37785 0 0 0 190232 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5335561 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5973
/proc/meminfo: memFree=16720884/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=1962.34 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 38194 0 0 0 196233 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5329952 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5975
/proc/meminfo: memFree=16721256/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=2022.34 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 38619 0 0 0 202233 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5124056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5976
/proc/meminfo: memFree=16720772/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=2082.34 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 39221 0 0 0 208233 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5977
/proc/meminfo: memFree=16721256/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=2142.34 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 39675 0 0 0 214233 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5336586 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5979
/proc/meminfo: memFree=16721144/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=2202.34 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 40123 0 0 0 220233 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5140193 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5980
/proc/meminfo: memFree=16720900/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=2262.34 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 40721 0 0 0 226233 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5140241 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5988
/proc/meminfo: memFree=16720856/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=2322.34 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 41153 0 0 0 232233 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5001204 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5989
/proc/meminfo: memFree=16721256/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=2382.35 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 41593 0 0 0 238234 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5138352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5990
/proc/meminfo: memFree=16721260/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=2442.35 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 42036 0 0 0 244234 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5001204 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5991
/proc/meminfo: memFree=16721016/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=2502.35 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 42624 0 0 0 250234 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5215647 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 5992
/proc/meminfo: memFree=16720928/32770624 swapFree=67108860/67108860
[pid=5829] ppid=5826 vsize=35652 memory=12500 CPUtime=2520.06 cores=1,3,5,7
/proc/5829/stat : 5829 (cosoco) R 5826 5829 5320 0 -1 4202496 43065 0 0 0 252005 1 0 0 20 0 1 0 47556164 36507648 3125 33554432000 4194304 6142532 140733694613296 140733694610824 5138259 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 21659648 140733694616710 140733694616840 140733694616840 140733694619598 0
/proc/5829/statm: 8913 3125 900 476 0 2235 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 5829 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.05 s, system=0.02 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.07
CPU user time (s): 2520.05
CPU system time (s): 0.02
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 35652
Max. memory (cumulated for all children) (KiB): 12500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.02
maximum resident set size= 12564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 655
# summary of solver processes directly reported to runsolver:
# pid: 5829
# total CPU time (s): 2520.07
# total CPU user time (s): 2520.05
# total CPU system time (s): 0.02
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.19854 second user time and 16.2359 second system time
The end
Begin job on node102 at 2018-07-23 00:52:10 IDJOB=4292939 IDBENCH=141042 IDSOLVER=2752 FILE ID=node102/4292939-1532299930 RUNJOBID= node102-1532294888-5352 PBS_JOBID= 21018982 Free space on /tmp= 53244 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/NurseRostering/NurseRostering-04_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292939-1532299930/watcher-4292939-1532299930 -o /tmp/evaluation-result-4292939-1532299930/solver-4292939-1532299930 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532294888-5352 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292939-1532299930.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e14d2a5b30f836b117ab38c1a042f13 RANDOM SEED=1996205153 node102.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.51 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.51 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.51 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.51 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: 16192116 kB MemAvailable: 31372144 kB Buffers: 245168 kB Cached: 15023020 kB SwapCached: 0 kB Active: 2069768 kB Inactive: 13819084 kB Active(anon): 623108 kB Inactive(anon): 16892 kB Active(file): 1446660 kB Inactive(file): 13802192 kB Unevictable: 6604 kB Mlocked: 6604 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 629080 kB Mapped: 38236 kB Shmem: 17036 kB Slab: 387276 kB SReclaimable: 359636 kB SUnreclaim: 27640 kB KernelStack: 3376 kB PageTables: 5924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 908180 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 563200 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= 53240 MiB End job on node102 at 2018-07-23 01:34:10