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) | 25 | 2519.6 | 2520.01 |
| Name | PeacableArmies/ PeacableArmies-m1-20_c18.xml |
| MD5SUM | d156824e13565888aa6df857cf60b633 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 46 |
| Best CPU time to get the best result obtained on this benchmark | 2520.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 800 |
| Number of constraints | 25481 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":800}] |
| Minimum variable degree | 59 |
| Maximum variable degree | 78 |
| Distribution of variable degrees | [{"degree":59,"count":76},{"degree":60,"count":76},{"degree":61,"count":68},{"degree":62,"count":68},{"degree":63,"count":60},{"degree":64,"count":60},{"degree":65,"count":52},{"degree":66,"count":52},{"degree":67,"count":44},{"degree":68,"count":44},{"degree":69,"count":36},{"degree":70,"count":36},{"degree":71,"count":28},{"degree":72,"count":28},{"degree":73,"count":20},{"degree":74,"count":20},{"degree":75,"count":12},{"degree":76,"count":12},{"degree":77,"count":4},{"degree":78,"count":4}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 800 |
| Distribution of constraint arities | [{"arity":2,"count":25480},{"arity":800,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 25480 |
| Distribution of constraint types | [{"type":"intension","count":25480},{"type":"sum","count":1}] |
| Optimization problem | YES |
| Type of objective | max SUM |
7.10/7.15 c best=?? lower=0 upper=400 7.49/7.55 c 7.49/7.55 c This is cosoco 1.12 -- 7.49/7.55 c 7.49/7.55 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295172-1532535025.xml 7.49/7.55 c enable optimization 7.49/7.55 c ========================================[ Problem Statistics ]=========================================== 7.49/7.55 c | 7.49/7.55 c | Parse time : 6.96 s 7.49/7.55 c | 7.49/7.55 c | Variables: 800 7.49/7.55 c | Domain Sizes: 2..2 7.49/7.55 c | 7.49/7.55 c | Constraints: 25482 7.49/7.55 c | Arity: 2..800 -- Binary: 25480 7.49/7.55 c | 7.49/7.55 c | Types: 7.49/7.55 c | Intension: 25480 7.49/7.55 c | Sum: 2 7.49/7.55 c | 7.49/7.55 c | Objective: Maximize Sum 7.49/7.55 7.49/7.55 c ========================================================================================================= 7.49/7.55 o 0 7.49/7.55 c 1 calls to solver: best=0 lower=1 upper=400 7.79/7.85 o 1 8.10/8.16 o 2 8.10/8.16 c 3 calls to solver: best=2 lower=3 upper=400 8.39/8.48 o 3 8.79/8.80 o 4 8.79/8.80 c 5 calls to solver: best=4 lower=5 upper=400 9.09/9.12 o 5 9.39/9.44 o 6 9.39/9.44 c 7 calls to solver: best=6 lower=7 upper=400 9.69/9.77 o 7 9.99/10.10 o 8 9.99/10.10 c 9 calls to solver: best=8 lower=9 upper=400 10.39/10.44 o 9 10.69/10.77 o 10 10.69/10.77 c 11 calls to solver: best=10 lower=11 upper=400 11.09/11.13 o 11 11.38/11.46 o 12 11.38/11.46 c 13 calls to solver: best=12 lower=13 upper=400 11.78/11.80 o 13 12.09/12.14 o 14 12.09/12.14 c 15 calls to solver: best=14 lower=15 upper=400 12.38/12.48 o 15 12.78/12.82 o 16 12.78/12.82 c 17 calls to solver: best=16 lower=17 upper=400 13.09/13.16 o 17 13.48/13.50 o 18 13.48/13.50 c 19 calls to solver: best=18 lower=19 upper=400 13.78/13.84 o 19 14.09/14.18 o 20 14.09/14.18 c 21 calls to solver: best=20 lower=21 upper=400 14.48/14.52 o 21 14.78/14.87 o 22 14.78/14.87 c 23 calls to solver: best=22 lower=23 upper=400 15.18/15.25 o 23 115.17/115.21 o 24 115.17/115.21 c 25 calls to solver: best=24 lower=25 upper=400 185.56/185.66 o 25 2519.59/2520.01 2519.59/2520.01 c *** INTERRUPTED *** 2519.59/2520.01 c restarts : 67 2519.59/2520.01 c conflicts : 575127 (228 /sec) 2519.59/2520.01 c decisions : 6195184 (2460 /sec) 2519.59/2520.01 c propagations : 40584024 (16115 /sec) 2519.59/2520.01 c root propagations : 1199 2519.59/2520.01 c filter calls : 1388211571 (551242 /sec) 2519.59/2520.01 c useless filter calls : 1368559796 (98 %) 2519.59/2520.01 c Memory used : 396.21 MB 2519.59/2520.01 c CPU time : 2518.34 s 2519.59/2520.01 2519.59/2520.01 c nb Solutions = 26 2519.59/2520.01 s SATISFIABLE 2519.59/2520.01 c Best value found: 25 2519.59/2520.01 2519.59/2520.01 2519.59/2520.01 v <instantiation type='solution' cost='25'> 2519.59/2520.01 v <list>b[0][0] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[0][15] b[0][16] b[0][17] b[0][18] b[0][19] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[10][0] b[10][10] b[10][11] b[10][12] b[10][13] b[10][14] b[10][15] b[10][16] b[10][17] b[10][18] b[10][19] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[11][0] b[11][10] b[11][11] b[11][12] b[11][13] b[11][14] b[11][15] b[11][16] b[11][17] b[11][18] b[11][19] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[11][6] b[11][7] b[11][8] b[11][9] b[12][0] b[12][10] b[12][11] b[12][12] b[12][13] b[12][14] b[12][15] b[12][16] b[12][17] b[12][18] b[12][19] b[12][1] b[12][2] b[12][3] b[12][4] b[12][5] b[12][6] b[12][7] b[12][8] b[12][9] b[13][0] b[13][10] b[13][11] b[13][12] b[13][13] b[13][14] b[13][15] b[13][16] b[13][17] b[13][18] b[13][19] b[13][1] b[13][2] b[13][3] b[13][4] b[13][5] b[13][6] b[13][7] b[13][8] b[13][9] b[14][0] b[14][10] b[14][11] b[14][12] b[14][13] b[14][14] b[14][15] b[14][16] b[14][17] b[14][18] b[14][19] b[14][1] b[14][2] b[14][3] b[14][4] b[14][5] b[14][6] b[14][7] b[14][8] b[14][9] b[15][0] b[15][10] b[15][11] b[15][12] b[15][13] b[15][14] b[15][15] b[15][16] b[15][17] b[15][18] b[15][19] b[15][1] b[15][2] b[15][3] b[15][4] b[15][5] b[15][6] b[15][7] b[15][8] b[15][9] b[16][0] b[16][10] b[16][11] b[16][12] b[16][13] b[16][14] b[16][15] b[16][16] b[16][17] b[16][18] b[16][19] b[16][1] b[16][2] b[16][3] b[16][4] b[16][5] b[16][6] b[16][7] b[16][8] b[16][9] b[17][0] b[17][10] b[17][11] b[17][12] b[17][13] b[17][14] b[17][15] b[17][16] b[17][17] b[17][18] b[17][19] b[17][1] b[17][2] b[17][3] b[17][4] b[17][5] b[17][6] b[17][7] b[17][8] b[17][9] b[18][0] b[18][10] b[18][11] b[18][12] b[18][13] b[18][14] b[18][15] b[18][16] b[18][17] b[18][18] b[18][19] b[18][1] b[18][2] b[18][3] b[18][4] b[18][5] b[18][6] b[18][7] b[18][8] b[18][9] b[19][0] b[19][10] b[19][11] b[19][12] b[19][13] b[19][14] b[19][15] b[19][16] b[19][17] b[19][18] b[19][19] b[19][1] b[19][2] b[19][3] b[19][4] b[19][5] b[19][6] b[19][7] b[19][8] b[19][9] b[1][0] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[1][15] b[1][16] b[1][17] b[1][18] b[1][19] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[2][0] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[2][15] b[2][16] b[2][17] b[2][18] b[2][19] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[3][0] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[3][15] b[3][16] b[3][17] b[3][18] b[3][19] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[4][0] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[4][15] b[4][16] b[4][17] b[4][18] b[4][19] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[5][0] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[5][15] b[5][16] b[5][17] b[5][18] b[5][19] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[6][0] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[6][15] b[6][16] b[6][17] b[6][18] b[6][19] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[7][0] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[7][15] b[7][16] b[7][17] b[7][18] b[7][19] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[8][0] b[8][10] b[8][11] b[8][12] b[8][13] b[8][14] b[8][15] b[8][16] b[8][17] b[8][18] b[8][19] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[9][0] b[9][10] b[9][11] b[9][12] b[9][13] b[9][14] b[9][15] b[9][16] b[9][17] b[9][18] b[9][19] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] w[0][0] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[10][0] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[11][0] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[12][0] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[13][0] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[14][0] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[15][0] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[16][0] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[17][0] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[18][0] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[19][0] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[1][0] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[2][0] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] </list> 2519.59/2520.01 v <values>0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 </values> 2519.59/2520.01 v </instantiation> 2519.59/2520.01
OK 25
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 (2270 MiB free)
memory of node 1: 16384 MiB (6354 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295172-1532535025/watcher-4295172-1532535025 -o /tmp/evaluation-result-4295172-1532535025/solver-4295172-1532535025 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27478 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295172-1532535025.xml
running on 4 cores: 0,2,4,6
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=27498, runsolver pid=27495
[startup+0.100147 s]*
/proc/loadavg: 1.00 0.99 1.04 3/188 27509
/proc/meminfo: memFree=8827368/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=28840 memory=4992 CPUtime=0.1 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 1428 0 0 0 10 0 0 0 20 0 1 0 71065363 29532160 1248 33554432000 4194304 6142532 140722965852624 140722965847160 139623665888229 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 7210 1248 785 476 0 532 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28840 KiB
Current children cumulated memory: 4992 KiB
[startup+0.209571 s]*
/proc/loadavg: 1.00 0.99 1.04 3/188 27509
/proc/meminfo: memFree=8825780/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=29956 memory=5940 CPUtime=0.21 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 1753 0 0 0 21 0 0 0 20 0 1 0 71065363 30674944 1485 33554432000 4194304 6142532 140722965852624 140722965847160 139623665888229 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 7489 1485 785 476 0 811 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29956 KiB
Current children cumulated memory: 5940 KiB
[startup+0.309102 s]*
/proc/loadavg: 1.00 0.99 1.04 3/188 27509
/proc/meminfo: memFree=8823300/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=31260 memory=7156 CPUtime=0.31 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2133 0 0 0 31 0 0 0 20 0 1 0 71065363 32010240 1789 33554432000 4194304 6142532 140722965852624 140722965847160 5566969 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 7815 1789 785 476 0 1137 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31260 KiB
Current children cumulated memory: 7156 KiB
[startup+0.7003 s]
/proc/loadavg: 1.00 0.99 1.04 3/188 27509
/proc/meminfo: memFree=8814992/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=48156 memory=24052 CPUtime=0.69 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 6407 0 0 0 68 1 0 0 20 0 1 0 71065363 49311744 6013 33554432000 4194304 6142532 140722965852624 140722965847160 139623665888229 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 12039 6013 802 476 0 5361 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48156 KiB
Current children cumulated memory: 24052 KiB
[startup+1.5003 s]
/proc/loadavg: 1.00 0.99 1.04 3/188 27509
/proc/meminfo: memFree=8783512/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=91584 memory=67612 CPUtime=1.49 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 17282 0 0 0 146 3 0 0 20 0 1 0 71065363 93782016 16903 33554432000 4194304 6142532 140722965852624 140722965847096 139623665888229 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 22896 16903 802 476 0 16218 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 91584 KiB
Current children cumulated memory: 67612 KiB
[startup+3.10941 s]
/proc/loadavg: 1.00 0.99 1.04 3/188 27509
/proc/meminfo: memFree=8538308/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=179104 memory=155012 CPUtime=3.1 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 39475 0 0 0 302 8 0 0 20 0 1 0 71065363 183402496 38753 33554432000 4194304 6142532 140722965852624 140722965843224 139623669366927 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 44776 38753 802 476 0 38098 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 179104 KiB
Current children cumulated memory: 155012 KiB
[startup+6.30028 s]
/proc/loadavg: 1.08 1.00 1.05 3/188 27509
/proc/meminfo: memFree=8125972/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=352396 memory=328404 CPUtime=6.29 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 83417 0 0 0 613 16 0 0 20 0 1 0 71065363 360853504 82101 33554432000 4194304 6142532 140722965852624 140722965847240 139623665888229 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 88099 82101 802 476 0 81421 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 352396 KiB
Current children cumulated memory: 328404 KiB
[startup+12.7004 s]
/proc/loadavg: 1.15 1.02 1.05 3/188 27509
/proc/meminfo: memFree=7559144/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405052 memory=381636 CPUtime=12.68 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 240901 0 0 0 1245 23 0 0 20 0 1 0 71065363 414773248 95409 33554432000 4194304 6142532 140722965852624 140722965850152 139623666811753 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101263 95409 873 476 0 94585 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 405052 KiB
Current children cumulated memory: 381636 KiB
[startup+25.5004 s]
/proc/loadavg: 1.34 1.07 1.07 3/188 27509
/proc/meminfo: memFree=6504092/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405184 memory=381788 CPUtime=25.49 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 335347 0 0 0 2521 28 0 0 20 0 1 0 71065363 414908416 95447 33554432000 4194304 6142532 140722965852624 140722965849368 5372387 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101296 95447 873 476 0 94618 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 405184 KiB
Current children cumulated memory: 381788 KiB
[startup+51.1095 s]
/proc/loadavg: 1.56 1.14 1.09 3/188 27509
/proc/meminfo: memFree=6469656/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405316 memory=381900 CPUtime=51.09 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 429815 0 0 0 5077 32 0 0 20 0 1 0 71065363 415043584 95475 33554432000 4194304 6142532 140722965852624 140722965849368 5398530 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101329 95475 873 476 0 94651 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 405316 KiB
Current children cumulated memory: 381900 KiB
[startup+102.3 s]
/proc/loadavg: 1.81 1.27 1.14 3/188 27510
/proc/meminfo: memFree=6468900/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382160 CPUtime=102.27 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 524364 0 0 0 10191 36 0 0 20 0 1 0 71065363 415449088 95540 33554432000 4194304 6142532 140722965852624 140722965849368 5398527 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95540 873 476 0 94750 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382160 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.41 1.19 3/188 27511
/proc/meminfo: memFree=6469072/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382296 CPUtime=162.26 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 618934 0 0 0 16186 40 0 0 20 0 1 0 71065363 415449088 95574 33554432000 4194304 6142532 140722965852624 140722965839896 139623675833176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95574 873 476 0 94750 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382296 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.24 3/188 27512
/proc/meminfo: memFree=6468648/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382296 CPUtime=222.26 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 713454 0 0 0 22182 44 0 0 20 0 1 0 71065363 415449088 95574 33554432000 4194304 6142532 140722965852624 140722965850152 5396984 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95574 873 476 0 94750 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382296 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.60 1.29 3/187 27513
/proc/meminfo: memFree=6468376/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382296 CPUtime=282.25 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 807898 0 0 0 28176 49 0 0 20 0 1 0 71065363 415449088 95574 33554432000 4194304 6142532 140722965852624 140722965850152 5398530 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95574 873 476 0 94750 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382296 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.67 1.33 3/187 27514
/proc/meminfo: memFree=6468348/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382296 CPUtime=342.24 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 902354 0 0 0 34171 53 0 0 20 0 1 0 71065363 415449088 95574 33554432000 4194304 6142532 140722965852624 140722965850152 5396999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95574 873 476 0 94750 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382296 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.73 1.38 3/187 27515
/proc/meminfo: memFree=6468284/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382296 CPUtime=402.24 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 996801 0 0 0 40167 57 0 0 20 0 1 0 71065363 415449088 95574 33554432000 4194304 6142532 140722965852624 140722965850152 5336753 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95574 873 476 0 94750 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382296 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.78 1.42 3/187 27516
/proc/meminfo: memFree=6468044/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382296 CPUtime=462.23 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 1091245 0 0 0 46163 60 0 0 20 0 1 0 71065363 415449088 95574 33554432000 4194304 6142532 140722965852624 140722965850152 5366791 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95574 873 476 0 94750 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382296 KiB
################
# More data... #
################
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 1721.99 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.87 3/188 27564
/proc/meminfo: memFree=6463884/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=1781.98 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2476621 0 0 0 178072 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 5146668 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 1781.98 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/188 27565
/proc/meminfo: memFree=6464320/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=1841.97 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2477063 0 0 0 184071 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 4990698 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 1841.97 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/188 27566
/proc/meminfo: memFree=6464792/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=1901.96 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2477708 0 0 0 190070 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 139623666814355 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 1901.96 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/188 27567
/proc/meminfo: memFree=6464736/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=1961.96 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2478200 0 0 0 196070 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 5047845 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 1961.96 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/188 27568
/proc/meminfo: memFree=6464676/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=2021.95 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2478802 0 0 0 202069 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 5130700 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 2021.95 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/187 27569
/proc/meminfo: memFree=6464520/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=2081.94 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2479253 0 0 0 208068 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 4990698 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 2081.94 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/187 27570
/proc/meminfo: memFree=6464712/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=2141.93 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2479745 0 0 0 214067 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 5146996 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 2141.93 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
[startup+2202.3 s]
/proc/loadavg: 2.05 2.02 1.91 3/187 27571
/proc/meminfo: memFree=6465148/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=2201.92 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2480379 0 0 0 220066 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 2201.92 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/187 27572
/proc/meminfo: memFree=6464984/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=2261.91 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2480866 0 0 0 226065 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 139623666812464 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 2261.91 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/187 27573
/proc/meminfo: memFree=6464560/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=2321.91 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2481313 0 0 0 232065 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 139623666811738 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 2321.91 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/188 27582
/proc/meminfo: memFree=6463600/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=2381.9 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2481947 0 0 0 238064 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 5396981 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 2381.9 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/188 27583
/proc/meminfo: memFree=6464448/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=2441.89 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2482437 0 0 0 244063 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 2441.89 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/188 27584
/proc/meminfo: memFree=6464392/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=2501.88 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2482896 0 0 0 250062 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 5367122 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 2501.88 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.94 3/188 27584
/proc/meminfo: memFree=6464392/32770624 swapFree=67108860/67108860
[pid=27498] ppid=27495 vsize=405712 memory=382376 CPUtime=2519.59 cores=0,2,4,6
/proc/27498/stat : 27498 (cosoco) R 27495 27498 27447 0 -1 4202496 2483351 0 0 0 251833 126 0 0 20 0 1 0 71065363 415449088 95594 33554432000 4194304 6142532 140722965852624 140722965850152 5375766 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 24227840 140722965861510 140722965861640 140722965861640 140722965864398 0
/proc/27498/statm: 101428 95594 873 476 0 94750 0
Current children cumulated CPU time: 2519.59 s
Current children cumulated vsize: 405712 KiB
Current children cumulated memory: 382376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27498 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.34 s, system=1.26483 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): 2519.6
CPU user time (s): 2518.34
CPU system time (s): 1.26483
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 405712
Max. memory (cumulated for all children) (KiB): 382376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.34
system time used= 1.26483
maximum resident set size= 382444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2483400
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= 141
involuntary context switches= 3153
# summary of solver processes directly reported to runsolver:
# pid: 27498
# total CPU time (s): 2519.6
# total CPU user time (s): 2518.34
# total CPU system time (s): 1.26483
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84894 second user time and 20.3005 second system time
The end
Begin job on node106 at 2018-07-25 18:10:25 IDJOB=4295172 IDBENCH=141482 IDSOLVER=2752 FILE ID=node106/4295172-1532535025 RUNJOBID= node106-1532535025-27478 PBS_JOBID= 21021947 Free space on /tmp= 46236 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-20_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295172-1532535025/watcher-4295172-1532535025 -o /tmp/evaluation-result-4295172-1532535025/solver-4295172-1532535025 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27478 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295172-1532535025.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d156824e13565888aa6df857cf60b633 RANDOM SEED=432319388 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 8830664 kB MemAvailable: 31922612 kB Buffers: 283720 kB Cached: 22704176 kB SwapCached: 0 kB Active: 2809744 kB Inactive: 20239948 kB Active(anon): 64260 kB Inactive(anon): 25252 kB Active(file): 2745484 kB Inactive(file): 20214696 kB Unevictable: 6944 kB Mlocked: 6944 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 6356 kB Writeback: 0 kB AnonPages: 63500 kB Mapped: 39576 kB Shmem: 25228 kB Slab: 587028 kB SReclaimable: 560228 kB SUnreclaim: 26800 kB KernelStack: 3168 kB PageTables: 5580 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 334876 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: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 46228 MiB End job on node106 at 2018-07-25 18:52:25