Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 2432 | 2519.99 | 2520 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml |
MD5SUM | 4e8baeb7bdba194b7c2724961347fdb9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 756 |
Best CPU time to get the best result obtained on this benchmark | 2400.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2070 |
Number of constraints | 2024 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":45},{"size":2,"count":1980},{"size":101,"count":44}] |
Minimum variable degree | 0 |
Maximum variable degree | 87 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":45},{"degree":2,"count":88},{"degree":4,"count":1892},{"degree":87,"count":44}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 44 |
Distribution of constraint arities | [{"arity":1,"count":44},{"arity":3,"count":1892},{"arity":44,"count":88}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 44 |
Distribution of constraint types | [{"type":"intension","count":44},{"type":"sum","count":1892},{"type":"count","count":88}] |
Optimization problem | YES |
Type of objective | min SUM |
0.13/0.23 c best=?? lower=-105766 upper=0 1.53/1.63 c 1.53/1.63 c This is cosoco 1.12 -- 1.53/1.63 c 1.53/1.63 c command line: cosoco -lc -model -restarts HOME/instance-4267896-1502522857.xml 1.53/1.63 c enable optimization 1.53/1.63 c ========================================[ Problem Statistics ]=========================================== 1.53/1.63 c | 1.53/1.63 c | Parse time : 0.17 s 1.53/1.63 c | 1.53/1.63 c | Variables: 2070 1.53/1.63 c | Domain Sizes: 1..101 1.53/1.63 c | 1.53/1.63 c | Constraints: 2025 1.53/1.63 c | Arity: 1..1980 -- Unary: 44 -- Ternary: 1892 1.53/1.63 c | 1.53/1.63 c | Types: 1.53/1.63 c | Exactly K: 88 1.53/1.63 c | Intension: 44 1.53/1.63 c | Sum: 1893 1.53/1.63 c | 1.53/1.63 c ========================================================================================================= 1.53/1.63 o -2542 1.53/1.63 c 1 calls to solver: best=-2542 lower=-2541 upper=0 1.93/2.01 o -2444 2.43/2.57 o -2442 2.43/2.57 c 3 calls to solver: best=-2442 lower=-2441 upper=0 3.03/3.13 o -2432 2519.98/2520.00 2519.98/2520.00 c *** INTERRUPTED *** 2519.98/2520.00 c restarts : 61 2519.98/2520.00 c conflicts : 332032 (132 /sec) 2519.98/2520.00 c decisions : 12130231 (4814 /sec) 2519.98/2520.00 c propagations : 221264738 (87805 /sec) 2519.98/2520.00 c root propagations : 486 2519.98/2520.00 c filter calls : 158148297 (62758 /sec) 2519.98/2520.00 c useless filter calls : 129071657 (81 %) 2519.98/2520.00 c Memory used : 66.57 MB 2519.98/2520.00 c CPU time : 2519.96 s 2519.98/2520.00 2519.98/2520.00 c nb Solutions = 4 2519.98/2520.00 s SATISFIABLE 2519.98/2520.00 c Best value found: -2432 2519.98/2520.00 2519.98/2520.00 2519.98/2520.00 v <instantiation type='solution' cost='-2432'> 2519.98/2520.00 v <list>u[0] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[1] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[2] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[3] u[40] u[41] u[42] u[43] u[44] u[4] u[5] u[6] u[7] u[8] u[9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][2] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][3] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][2] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][3] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][2] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][3] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][2] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][3] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][2] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][3] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][2] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][3] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][2] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][3] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][2] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][3] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][2] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][3] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][2] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][3] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][3] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][2] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][3] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][3] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][3] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][3] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][3] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][3] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][3] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][3] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][3] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][1] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][2] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][3] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][1] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][2] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][3] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][2] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][3] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][1] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][2] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][3] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][1] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][2] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][3] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][1] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][2] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][3] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][1] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][2] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][3] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][1] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][2] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][3] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][1] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][2] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][3] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][1] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][2] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][3] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][1] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][2] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][3] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][1] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][2] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][3] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[39][0] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][1] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][2] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][3] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][2] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][3] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[40][0] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][1] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][2] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][3] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[41][0] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][1] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][2] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][3] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[42][0] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][1] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][2] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][3] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[43][0] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][1] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][2] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][3] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[44][0] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][1] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][2] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][3] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][2] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][3] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][2] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][3] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][2] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][3] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][2] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][3] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][2] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][3] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][2] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][3] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list> 2519.98/2520.00 v <values>* 84 95 10 57 84 53 6 1 27 40 43 29 42 71 70 37 96 44 24 25 21 56 27 18 62 100 61 34 13 82 62 93 46 93 3 8 36 62 24 26 11 2 100 64 * 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 1 1 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 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 1 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 0 0 0 0 0 1 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 * 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 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 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 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 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 1 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 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 1 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 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 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 1 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 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 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 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 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 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 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 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 1 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 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 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 * </values> 2519.98/2520.00 v </instantiation> 2519.98/2520.00
OK 2432
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267896-1502522857/watcher-4267896-1502522857 -o /tmp/evaluation-result-4267896-1502522857/solver-4267896-1502522857 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31839 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267896-1502522857.xml pid=6741 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.02 2.03 2.05 2/180 6744 /proc/meminfo: memFree=31518328/32770624 swapFree=0/422544 [pid=6744] ppid=6741 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/6744/stat : 6744 (runsolver) D 6741 6744 31775 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 40626412 24240128 108 18446744073709551615 4194304 4338465 140721715166912 140721715164552 140394023043799 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 33710080 140721715175617 140721715176009 140721715176009 140721715179466 0 /proc/6744/statm: 5918 108 54 36 0 2156 0 [startup+0.100164 s] /proc/loadavg: 2.02 2.03 2.05 2/180 6744 /proc/meminfo: memFree=31518328/32770624 swapFree=0/422544 [pid=6744] ppid=6741 vsize=34116 CPUtime=0.03 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 2774 0 0 0 3 0 0 0 20 0 1 0 40626412 34934784 2562 18446744073709551615 4194304 5972588 140727783013728 140727783010376 139947291855845 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 8529 2562 745 435 0 1892 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 34116 [startup+0.200325 s] /proc/loadavg: 2.02 2.03 2.05 2/180 6744 /proc/meminfo: memFree=31518328/32770624 swapFree=0/422544 [pid=6744] ppid=6741 vsize=46720 CPUtime=0.13 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 5956 0 0 0 12 1 0 0 20 0 1 0 40626412 47841280 5766 18446744073709551615 4194304 5972588 140727783013728 140727783010376 5138756 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 11680 5766 798 435 0 5043 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 46720 [startup+0.300307 s] /proc/loadavg: 2.02 2.03 2.05 2/180 6744 /proc/meminfo: memFree=31518328/32770624 swapFree=0/422544 [pid=6744] ppid=6741 vsize=46984 CPUtime=0.23 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 6089 0 0 0 22 1 0 0 20 0 1 0 40626412 48111616 5898 18446744073709551615 4194304 5972588 140727783013728 140727783010376 139947291855845 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 11746 5898 838 435 0 5109 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 46984 [startup+0.700229 s] /proc/loadavg: 2.02 2.03 2.05 2/180 6744 /proc/meminfo: memFree=31518328/32770624 swapFree=0/422544 [pid=6744] ppid=6741 vsize=55780 CPUtime=0.63 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 8264 0 0 0 62 1 0 0 20 0 1 0 40626412 57118720 8076 18446744073709551615 4194304 5972588 140727783013728 140727783010360 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 13945 8076 838 435 0 7308 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 55780 [startup+1.50022 s] /proc/loadavg: 2.02 2.03 2.05 3/181 6745 /proc/meminfo: memFree=31484104/32770624 swapFree=0/422496 [pid=6744] ppid=6741 vsize=60868 CPUtime=1.43 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 9565 0 0 0 142 1 0 0 20 0 1 0 40626412 62328832 9396 18446744073709551615 4194304 5972588 140727783013728 140727783010360 5338181 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 15217 9396 838 435 0 8580 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 60868 [startup+3.10023 s] /proc/loadavg: 2.02 2.03 2.05 3/181 6745 /proc/meminfo: memFree=31480648/32770624 swapFree=0/422548 [pid=6744] ppid=6741 vsize=65044 CPUtime=3.03 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 16577 0 0 0 302 1 0 0 20 0 1 0 40626412 66605056 10417 18446744073709551615 4194304 5972588 140727783013728 140727783010360 5139264 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 16261 10417 839 435 0 9624 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 65044 [startup+6.30022 s] /proc/loadavg: 2.02 2.03 2.05 3/181 6745 /proc/meminfo: memFree=31477468/32770624 swapFree=0/422548 [pid=6744] ppid=6741 vsize=66808 CPUtime=6.23 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 23565 0 0 0 622 1 0 0 20 0 1 0 40626412 68411392 10877 18446744073709551615 4194304 5972588 140727783013728 140727783010392 5139490 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 16702 10877 839 435 0 10065 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 66808 [startup+12.7002 s] /proc/loadavg: 2.02 2.03 2.05 3/181 6745 /proc/meminfo: memFree=31476080/32770624 swapFree=0/422552 [pid=6744] ppid=6741 vsize=67620 CPUtime=12.62 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 30017 0 0 0 1261 1 0 0 20 0 1 0 40626412 69242880 11068 18446744073709551615 4194304 5972588 140727783013728 140727783010360 5048674 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 16905 11068 839 435 0 10268 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 67620 [startup+25.5003 s] /proc/loadavg: 2.01 2.03 2.05 3/181 6746 /proc/meminfo: memFree=31475816/32770624 swapFree=0/422544 [pid=6744] ppid=6741 vsize=67892 CPUtime=25.43 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 35927 0 0 0 2541 2 0 0 20 0 1 0 40626412 69521408 11130 18446744073709551615 4194304 5972588 140727783013728 140727783010392 5046284 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 16973 11130 839 435 0 10336 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 67892 [startup+51.1003 s] /proc/loadavg: 2.01 2.03 2.05 3/181 6746 /proc/meminfo: memFree=31475680/32770624 swapFree=0/422544 [pid=6744] ppid=6741 vsize=67892 CPUtime=51.02 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 36469 0 0 0 5100 2 0 0 20 0 1 0 40626412 69521408 11151 18446744073709551615 4194304 5972588 140727783013728 140727783010392 5046616 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 16973 11151 839 435 0 10336 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 67892 [startup+102.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 6749 /proc/meminfo: memFree=31475664/32770624 swapFree=0/422560 [pid=6744] ppid=6741 vsize=67892 CPUtime=102.23 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 36847 0 0 0 10221 2 0 0 20 0 1 0 40626412 69521408 11156 18446744073709551615 4194304 5972588 140727783013728 140727783010392 5046712 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 16973 11156 839 435 0 10336 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 67892 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 6751 /proc/meminfo: memFree=31475380/32770624 swapFree=0/422560 [pid=6744] ppid=6741 vsize=68028 CPUtime=162.23 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 37270 0 0 0 16221 2 0 0 20 0 1 0 40626412 69660672 11177 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11177 839 435 0 10370 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 68028 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6753 /proc/meminfo: memFree=31475868/32770624 swapFree=0/422568 [pid=6744] ppid=6741 vsize=68028 CPUtime=222.23 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 37642 0 0 0 22221 2 0 0 20 0 1 0 40626412 69660672 11187 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5032400 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11187 839 435 0 10370 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 68028 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6755 /proc/meminfo: memFree=31475868/32770624 swapFree=0/422564 [pid=6744] ppid=6741 vsize=68028 CPUtime=282.23 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 38019 0 0 0 28221 2 0 0 20 0 1 0 40626412 69660672 11190 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5139264 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11190 839 435 0 10370 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 68028 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6757 /proc/meminfo: memFree=31476092/32770624 swapFree=0/422576 [pid=6744] ppid=6741 vsize=68028 CPUtime=342.23 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 38368 0 0 0 34221 2 0 0 20 0 1 0 40626412 69660672 11190 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046712 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11190 839 435 0 10370 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 68028 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 6774 /proc/meminfo: memFree=31470416/32770624 swapFree=0/422600 [pid=6744] ppid=6741 vsize=68028 CPUtime=402.23 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 38714 0 0 0 40221 2 0 0 20 0 1 0 40626412 69660672 11190 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046280 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11190 839 435 0 10370 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 68028 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 6776 /proc/meminfo: memFree=31471600/32770624 swapFree=0/422624 [pid=6744] ppid=6741 vsize=68028 CPUtime=462.23 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 39057 0 0 0 46221 2 0 0 20 0 1 0 40626412 69660672 11190 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046712 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11190 839 435 0 10370 0 Current children cumulated CPU time (s) 462.23 Current children cumulated vsize (KiB) 68028 [startup+522.3 s] /proc/loadavg: 2.06 2.03 2.05 3/182 6778 /proc/meminfo: memFree=31475276/32770624 swapFree=0/422632 [pid=6744] ppid=6741 vsize=68028 CPUtime=522.23 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 39403 0 0 0 52221 2 0 0 20 0 1 0 40626412 69660672 11197 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046292 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11197 839 435 0 10370 0 Current children cumulated CPU time (s) 522.23 Current children cumulated vsize (KiB) 68028 [startup+582.3 s] /proc/loadavg: 2.02 2.02 2.05 3/182 6780 /proc/meminfo: memFree=31475288/32770624 swapFree=0/422648 [pid=6744] ppid=6741 vsize=68028 CPUtime=582.24 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 39526 0 0 0 58222 2 0 0 20 0 1 0 40626412 69660672 11197 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5048024 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11197 839 435 0 10370 0 Current children cumulated CPU time (s) 582.24 Current children cumulated vsize (KiB) 68028 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 6844 /proc/meminfo: memFree=31471612/32770624 swapFree=0/422928 [pid=6744] ppid=6741 vsize=68028 CPUtime=1602.26 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 43509 0 0 0 160224 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5139300 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 1602.26 Current children cumulated vsize (KiB) 68028 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 6846 /proc/meminfo: memFree=31471908/32770624 swapFree=0/422948 [pid=6744] ppid=6741 vsize=68028 CPUtime=1662.26 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 43605 0 0 0 166224 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046712 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 1662.26 Current children cumulated vsize (KiB) 68028 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6848 /proc/meminfo: memFree=31473940/32770624 swapFree=0/422952 [pid=6744] ppid=6741 vsize=68028 CPUtime=1722.26 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 43966 0 0 0 172224 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046712 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 1722.26 Current children cumulated vsize (KiB) 68028 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6850 /proc/meminfo: memFree=31473924/32770624 swapFree=0/422980 [pid=6744] ppid=6741 vsize=68028 CPUtime=1782.26 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 44080 0 0 0 178224 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046292 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 1782.26 Current children cumulated vsize (KiB) 68028 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6852 /proc/meminfo: memFree=31473924/32770624 swapFree=0/422988 [pid=6744] ppid=6741 vsize=68028 CPUtime=1842.26 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 44374 0 0 0 184224 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5048024 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 1842.26 Current children cumulated vsize (KiB) 68028 [startup+1902.3 s] /proc/loadavg: 2.08 2.03 2.05 3/181 6854 /proc/meminfo: memFree=31474652/32770624 swapFree=0/423000 [pid=6744] ppid=6741 vsize=68028 CPUtime=1902.26 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 44478 0 0 0 190224 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046712 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 1902.26 Current children cumulated vsize (KiB) 68028 [startup+1962.3 s] /proc/loadavg: 2.03 2.02 2.05 3/181 6917 /proc/meminfo: memFree=31417264/32770624 swapFree=0/423036 [pid=6744] ppid=6741 vsize=68028 CPUtime=1962.26 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 44787 0 0 0 196224 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 1962.26 Current children cumulated vsize (KiB) 68028 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 6919 /proc/meminfo: memFree=31416052/32770624 swapFree=0/423056 [pid=6744] ppid=6741 vsize=68028 CPUtime=2022.27 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 44900 0 0 0 202225 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046712 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 2022.27 Current children cumulated vsize (KiB) 68028 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6921 /proc/meminfo: memFree=31414340/32770624 swapFree=0/423072 [pid=6744] ppid=6741 vsize=68028 CPUtime=2082.27 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 45004 0 0 0 208225 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5139324 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 2082.27 Current children cumulated vsize (KiB) 68028 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6923 /proc/meminfo: memFree=31414092/32770624 swapFree=0/423096 [pid=6744] ppid=6741 vsize=68028 CPUtime=2142.27 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 45312 0 0 0 214225 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046284 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 2142.27 Current children cumulated vsize (KiB) 68028 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/184 6939 /proc/meminfo: memFree=31408720/32770624 swapFree=0/423112 [pid=6744] ppid=6741 vsize=68028 CPUtime=2202.27 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 45393 0 0 0 220225 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046284 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 2202.27 Current children cumulated vsize (KiB) 68028 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 6941 /proc/meminfo: memFree=31409656/32770624 swapFree=0/423148 [pid=6744] ppid=6741 vsize=68028 CPUtime=2262.27 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 45480 0 0 0 226225 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 4965382 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 2262.27 Current children cumulated vsize (KiB) 68028 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6943 /proc/meminfo: memFree=31413416/32770624 swapFree=0/423168 [pid=6744] ppid=6741 vsize=68028 CPUtime=2322.27 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 45565 0 0 0 232225 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5139312 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 2322.27 Current children cumulated vsize (KiB) 68028 [startup+2382.3 s] /proc/loadavg: 2.07 2.04 2.05 3/180 6945 /proc/meminfo: memFree=31414288/32770624 swapFree=0/423200 [pid=6744] ppid=6741 vsize=68028 CPUtime=2382.27 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 45650 0 0 0 238225 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046284 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 2382.27 Current children cumulated vsize (KiB) 68028 [startup+2442.3 s] /proc/loadavg: 2.11 2.06 2.06 3/181 6948 /proc/meminfo: memFree=31413528/32770624 swapFree=0/423212 [pid=6744] ppid=6741 vsize=68028 CPUtime=2442.27 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 45735 0 0 0 244225 2 0 0 20 0 1 0 40626412 69660672 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046600 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17007 11201 839 435 0 10370 0 Current children cumulated CPU time (s) 2442.27 Current children cumulated vsize (KiB) 68028 [startup+2502.3 s] /proc/loadavg: 2.15 2.08 2.06 3/181 6951 /proc/meminfo: memFree=31413032/32770624 swapFree=0/423236 [pid=6744] ppid=6741 vsize=68168 CPUtime=2502.28 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 46097 0 0 0 250226 2 0 0 20 0 1 0 40626412 69804032 11201 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5338173 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17042 11201 839 435 0 10405 0 Current children cumulated CPU time (s) 2502.28 Current children cumulated vsize (KiB) 68168 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 2.17 2.09 2.06 3/181 6951 /proc/meminfo: memFree=31413156/32770624 swapFree=0/423232 [pid=6744] ppid=6741 vsize=68168 CPUtime=2519.98 cores=1,3,5,7 /proc/6744/stat : 6744 (cosoco) R 6741 6744 31775 0 -1 4202496 46198 0 0 0 251996 2 0 0 20 0 1 0 40626412 69804032 11204 18446744073709551615 4194304 5972588 140727783013728 140727783010488 5046712 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14098432 140727783014894 140727783014989 140727783014989 140727783018446 0 /proc/6744/statm: 17042 11204 839 435 0 10405 0 Current children cumulated CPU time (s) 2519.98 Current children cumulated vsize (KiB) 68168 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6744 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520 CPU time (s): 2519.99 CPU user time (s): 2519.96 CPU system time (s): 0.025 CPU usage (%): 99.9995 Max. virtual memory (cumulated for all children) (KiB): 68168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.96 system time used= 0.025 maximum resident set size= 44884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46251 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= 25 involuntary context switches= 693 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.13033 second user time and 7.90096 second system time The end
Begin job on node124 at 2017-08-12 09:13:21 IDJOB=4267896 IDBENCH=124419 IDSOLVER=2658 FILE ID=node124/4267896-1502522857 RUNJOBID= node124-1502500286-31839 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-k5.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267896-1502522857/watcher-4267896-1502522857 -o /tmp/evaluation-result-4267896-1502522857/solver-4267896-1502522857 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31839 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267896-1502522857.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4e8baeb7bdba194b7c2724961347fdb9 RANDOM SEED=1889054891 node124.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: 31518868 kB MemAvailable: 31964676 kB Buffers: 232936 kB Cached: 506836 kB SwapCached: 0 kB Active: 387580 kB Inactive: 447504 kB Active(anon): 95664 kB Inactive(anon): 24960 kB Active(file): 291916 kB Inactive(file): 422544 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2372 kB Writeback: 4 kB AnonPages: 95236 kB Mapped: 41520 kB Shmem: 25320 kB Slab: 119684 kB SReclaimable: 94364 kB SUnreclaim: 25320 kB KernelStack: 3200 kB PageTables: 4496 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 360336 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 43008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62028 MiB End job on node124 at 2017-08-12 09:55:22