Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco 1.1 | No Cert. | 2400.06 | 2400.6 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml |
MD5SUM | 406abf126875c7059afeaa5170034bef |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 157 |
Best CPU time to get the best result obtained on this benchmark | 20003.6 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1805 |
Number of constraints | 943 |
Number of domains | 83 |
Minimum domain size | 2 |
Maximum domain size | 83 |
Distribution of domain sizes | [{"size":2,"count":904},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":2}, {"size":42,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 41 |
Distribution of variable degrees | [{"degree":0,"count":820},{"degree":2,"count":943},{"degree":41,"count":42}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 42 |
Distribution of constraint arities | [{"arity":2,"count":42},{"arity":3,"count":862},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 902 |
Distribution of constraint types | [{"type":"intension","count":902},{"type":"sum","count":41}] |
Optimization problem | YES |
Type of objective | min SUM |
0.98/1.03 c best=?? lower=0 upper=23821 0.98/1.05 c 0.98/1.05 c This is cosoco 1.0 -- 0.98/1.05 c 0.98/1.05 c enable optimization 0.98/1.05 c ========================================[ Problem Statistics ]=========================================== 0.98/1.05 c | 0.98/1.05 c | Parse time : 1.02 s 0.98/1.05 c | 0.98/1.05 c | Variables: 1805 0.98/1.05 c | Domain Sizes: 2..83 0.98/1.05 c | 0.98/1.05 c | Constraints: 944 0.98/1.05 c | Arity: 2..42 -- Binary: 42 -- Ternary: 862 0.98/1.05 c | 0.98/1.05 c | Types: 0.98/1.05 c | Intension: 902 0.98/1.05 c | Sum: 42 0.98/1.05 c | 0.98/1.05 c ========================================================================================================= 0.98/1.05 o 4925 0.98/1.05 c 1 calls to solver: best=4925 lower=0 upper=4924 0.98/1.07 o 1661 0.98/1.09 o 1653 0.98/1.09 c 3 calls to solver: best=1653 lower=0 upper=1652 1.09/1.16 o 1517 1.09/1.18 o 1485 1.09/1.18 c 5 calls to solver: best=1485 lower=0 upper=1484 1.19/1.26 o 1421 1.28/1.30 o 1285 1.28/1.30 c 7 calls to solver: best=1285 lower=0 upper=1284 1.28/1.34 o 1133 1.38/1.46 o 1077 1.38/1.46 c 9 calls to solver: best=1077 lower=0 upper=1076 1.48/1.59 o 1069 1.68/1.70 o 957 1.68/1.70 c 11 calls to solver: best=957 lower=0 upper=956 1.68/1.72 o 933 1.68/1.74 o 909 1.68/1.74 c 13 calls to solver: best=909 lower=0 upper=908 1.99/2.00 o 885 2.09/2.10 o 837 2.09/2.10 c 15 calls to solver: best=837 lower=0 upper=836 2.39/2.49 o 821 2.49/2.51 o 757 2.49/2.51 c 17 calls to solver: best=757 lower=0 upper=756 2.59/2.60 o 741 2.59/2.63 o 717 2.59/2.63 c 19 calls to solver: best=717 lower=0 upper=716 2.59/2.67 o 709 2.69/2.71 o 685 2.69/2.71 c 21 calls to solver: best=685 lower=0 upper=684 2.69/2.75 o 677 2.79/2.83 o 669 2.79/2.83 c 23 calls to solver: best=669 lower=0 upper=668 2.79/2.87 o 525 2.99/3.01 o 509 2.99/3.01 c 25 calls to solver: best=509 lower=0 upper=508 3.09/3.16 o 437 3.49/3.54 o 317 3.49/3.54 c 27 calls to solver: best=317 lower=0 upper=316 234.23/234.39 o 309 1269.00/1269.40 o 301 1269.00/1269.40 c 29 calls to solver: best=301 lower=0 upper=300 1336.59/1336.90 o 293 1466.95/1467.35 o 285 1466.95/1467.35 c 31 calls to solver: best=285 lower=0 upper=284 1588.93/1589.39 o 277 1591.63/1592.01 o 269 1591.63/1592.01 c 33 calls to solver: best=269 lower=0 upper=268 2400.04/2400.60 2400.04/2400.60 c *** INTERRUPTED *** 2400.04/2400.60 s SATISFIABLE 2400.04/2400.60 c Best value found: 269 2400.04/2400.60 2400.04/2400.60 2400.04/2400.60 v <instantiation type='solution' cost='269'> 2400.04/2400.60 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] </list> 2400.04/2400.60 v <values>-1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 * -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 * * -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 * * * 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 * * * * 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 * * * * * -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 * * * * * * 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 * * * * * * * 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 * * * * * * * * -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 * * * * * * * * * 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 * * * * * * * * * * 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 * * * * * * * * * * * -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 * * * * * * * * * * * * 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 * * * * * * * * * * * * * -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 * * * * * * * * * * * * * * * -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1
ERROR: no instantiation found
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-4241566-1500651193/watcher-4241566-1500651193 -o /tmp/evaluation-result-4241566-1500651193/solver-4241566-1500651193 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500648178-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241566-1500651193.xml pid=10328 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.01 2.01 1.93 3/242 10331 /proc/meminfo: memFree=32031052/32770624 swapFree=6092/186908 [pid=10331] ppid=10328 vsize=27252 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 1000 0 0 0 0 0 0 0 20 0 1 0 389326 27906048 808 33554432000 4194304 5970956 140733295437344 140733295433992 140537327004645 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 6813 808 704 434 0 177 0 [startup+0.100151 s] /proc/loadavg: 2.01 2.01 1.93 3/242 10331 /proc/meminfo: memFree=32031052/32770624 swapFree=6092/186908 [pid=10331] ppid=10328 vsize=28956 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 1524 0 0 0 9 0 0 0 20 0 1 0 389326 29650944 1348 33554432000 4194304 5970956 140733295437344 140733295431176 140537327004645 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 7239 1348 784 434 0 603 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28956 [startup+0.200293 s] /proc/loadavg: 2.01 2.01 1.93 3/242 10331 /proc/meminfo: memFree=32031052/32770624 swapFree=6092/186908 [pid=10331] ppid=10328 vsize=30252 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 1849 0 0 0 19 0 0 0 20 0 1 0 389326 30978048 1672 33554432000 4194304 5970956 140733295437344 140733295431176 140537327052704 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 7563 1672 784 434 0 927 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 30252 [startup+0.30026 s] /proc/loadavg: 2.01 2.01 1.93 3/242 10331 /proc/meminfo: memFree=32031052/32770624 swapFree=6092/186908 [pid=10331] ppid=10328 vsize=31772 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 2222 0 0 0 29 0 0 0 20 0 1 0 389326 32534528 2052 33554432000 4194304 5970956 140733295437344 140733295431128 140537327004645 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 7943 2052 784 434 0 1307 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31772 [startup+0.700206 s] /proc/loadavg: 2.01 2.01 1.93 3/242 10331 /proc/meminfo: memFree=32031052/32770624 swapFree=6092/186908 [pid=10331] ppid=10328 vsize=37676 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 3712 0 0 0 69 0 0 0 20 0 1 0 389326 38580224 3527 33554432000 4194304 5970956 140733295437344 140733295431176 140537327004645 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 9419 3527 784 434 0 2783 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37676 [startup+1.50021 s] /proc/loadavg: 2.01 2.01 1.93 3/243 10332 /proc/meminfo: memFree=32011424/32770624 swapFree=6092/186172 [pid=10331] ppid=10328 vsize=47140 CPUtime=1.48 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 6129 0 0 0 148 0 0 0 20 0 1 0 389326 48271360 5940 33554432000 4194304 5970956 140733295437344 140733295424648 5038183 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11785 5940 843 434 0 5149 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 47140 [startup+3.10023 s] /proc/loadavg: 2.01 2.01 1.93 3/243 10332 /proc/meminfo: memFree=32009420/32770624 swapFree=6092/186172 [pid=10331] ppid=10328 vsize=47672 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 8519 0 0 0 308 1 0 0 20 0 1 0 389326 48816128 6077 33554432000 4194304 5970956 140733295437344 140733295424648 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11918 6077 843 434 0 5282 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47672 [startup+6.30018 s] /proc/loadavg: 2.00 2.01 1.93 3/243 10332 /proc/meminfo: memFree=32009584/32770624 swapFree=6092/186184 [pid=10331] ppid=10328 vsize=47808 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 10568 0 0 0 628 1 0 0 20 0 1 0 389326 48955392 6121 33554432000 4194304 5970956 140733295437344 140733295424648 5038354 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11952 6121 843 434 0 5316 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47808 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 1.93 3/243 10332 /proc/meminfo: memFree=32009212/32770624 swapFree=6092/186188 [pid=10331] ppid=10328 vsize=47808 CPUtime=12.69 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 12589 0 0 0 1268 1 0 0 20 0 1 0 389326 48955392 6121 33554432000 4194304 5970956 140733295437344 140733295424648 5098896 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11952 6121 843 434 0 5316 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47808 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 1.93 3/243 10332 /proc/meminfo: memFree=32009252/32770624 swapFree=6092/186160 [pid=10331] ppid=10328 vsize=47808 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 16603 0 0 0 2547 1 0 0 20 0 1 0 389326 48955392 6121 33554432000 4194304 5970956 140733295437344 140733295424648 5038512 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11952 6121 843 434 0 5316 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47808 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 1.94 3/243 10332 /proc/meminfo: memFree=32008888/32770624 swapFree=6092/186180 [pid=10331] ppid=10328 vsize=47808 CPUtime=51.08 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 18631 0 0 0 5107 1 0 0 20 0 1 0 389326 48955392 6121 33554432000 4194304 5970956 140733295437344 140733295424648 4964366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11952 6121 843 434 0 5316 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 47808 [startup+102.3 s] /proc/loadavg: 2.00 2.01 1.94 3/243 10333 /proc/meminfo: memFree=32007160/32770624 swapFree=6092/186216 [pid=10331] ppid=10328 vsize=47808 CPUtime=102.26 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 20025 0 0 0 10225 1 0 0 20 0 1 0 389326 48955392 6121 33554432000 4194304 5970956 140733295437344 140733295424648 5047532 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11952 6121 843 434 0 5316 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 47808 [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.95 3/243 10334 /proc/meminfo: memFree=32006356/32770624 swapFree=6092/186248 [pid=10331] ppid=10328 vsize=47808 CPUtime=162.24 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 20083 0 0 0 16223 1 0 0 20 0 1 0 389326 48955392 6121 33554432000 4194304 5970956 140733295437344 140733295424648 4964406 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11952 6121 843 434 0 5316 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 47808 [startup+222.308 s] /proc/loadavg: 2.05 2.03 1.96 3/243 10335 /proc/meminfo: memFree=32007404/32770624 swapFree=6092/186276 [pid=10331] ppid=10328 vsize=47808 CPUtime=222.23 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 20136 0 0 0 22222 1 0 0 20 0 1 0 389326 48955392 6121 33554432000 4194304 5970956 140733295437344 140733295424648 5039662 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11952 6121 843 434 0 5316 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 47808 [startup+282.3 s] /proc/loadavg: 2.02 2.02 1.96 3/243 10336 /proc/meminfo: memFree=32007052/32770624 swapFree=6092/186312 [pid=10331] ppid=10328 vsize=47808 CPUtime=282.21 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 20243 0 0 0 28220 1 0 0 20 0 1 0 389326 48955392 6142 33554432000 4194304 5970956 140733295437344 140733295434904 5070875 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11952 6142 843 434 0 5316 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 47808 [startup+342.3 s] /proc/loadavg: 2.01 2.02 1.96 3/243 10337 /proc/meminfo: memFree=32007704/32770624 swapFree=6092/186344 [pid=10331] ppid=10328 vsize=47808 CPUtime=342.2 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 20315 0 0 0 34219 1 0 0 20 0 1 0 389326 48955392 6142 33554432000 4194304 5970956 140733295437344 140733295434904 5337412 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11952 6142 843 434 0 5316 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 47808 [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.96 3/243 10338 /proc/meminfo: memFree=32007768/32770624 swapFree=6092/186380 [pid=10331] ppid=10328 vsize=47808 CPUtime=402.19 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 20387 0 0 0 40218 1 0 0 20 0 1 0 389326 48955392 6142 33554432000 4194304 5970956 140733295437344 140733295434904 5327840 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11952 6142 843 434 0 5316 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 47808 [startup+462.3 s] /proc/loadavg: 2.08 2.03 1.96 3/243 10346 /proc/meminfo: memFree=32007712/32770624 swapFree=6092/186396 [pid=10331] ppid=10328 vsize=47808 CPUtime=462.17 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 20459 0 0 0 46216 1 0 0 20 0 1 0 389326 48955392 6142 33554432000 4194304 5970956 140733295437344 140733295434904 5136570 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11952 6142 843 434 0 5316 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 47808 [startup+522.3 s] /proc/loadavg: 2.03 2.03 1.96 3/243 10347 /proc/meminfo: memFree=32007704/32770624 swapFree=6092/186420 [pid=10331] ppid=10328 vsize=47808 CPUtime=522.16 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 20531 0 0 0 52215 1 0 0 20 0 1 0 389326 48955392 6142 33554432000 4194304 5970956 140733295437344 140733295434904 5320201 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11952 6142 843 434 0 5316 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 47808 [startup+582.3 s] /proc/loadavg: 2.01 2.02 1.96 3/243 10348 /proc/meminfo: memFree=32007848/32770624 swapFree=6092/186444 [pid=10331] ppid=10328 vsize=47808 CPUtime=582.15 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 20603 0 0 0 58214 1 0 0 20 0 1 0 389326 48955392 6142 33554432000 4194304 5970956 140733295437344 140733295434904 4967728 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11952 6142 843 434 0 5316 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 47808 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 1.97 3/243 10371 /proc/meminfo: memFree=32006896/32770624 swapFree=6092/186900 [pid=10331] ppid=10328 vsize=47944 CPUtime=1481.95 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 21827 0 0 0 148193 2 0 0 20 0 1 0 389326 49094656 6165 33554432000 4194304 5970956 140733295437344 140733295424648 5052085 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6165 843 434 0 5350 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 47944 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 1.97 3/243 10373 /proc/meminfo: memFree=32007140/32770624 swapFree=6092/186936 [pid=10331] ppid=10328 vsize=47944 CPUtime=1541.95 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 21915 0 0 0 154193 2 0 0 20 0 1 0 389326 49094656 6165 33554432000 4194304 5970956 140733295437344 140733295424648 5327850 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6165 843 434 0 5350 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 47944 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.97 3/243 10374 /proc/meminfo: memFree=32006476/32770624 swapFree=6092/186976 [pid=10331] ppid=10328 vsize=47944 CPUtime=1601.93 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 22036 0 0 0 160191 2 0 0 20 0 1 0 389326 49094656 6165 33554432000 4194304 5970956 140733295437344 140733295424648 4964340 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6165 843 434 0 5350 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 47944 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.97 3/243 10382 /proc/meminfo: memFree=32007280/32770624 swapFree=6092/187020 [pid=10331] ppid=10328 vsize=47944 CPUtime=1661.91 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 22131 0 0 0 166189 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 5136570 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 47944 [startup+1722.3 s] /proc/loadavg: 2.13 2.04 1.98 3/243 10405 /proc/meminfo: memFree=32006528/32770624 swapFree=6092/187040 [pid=10331] ppid=10328 vsize=47944 CPUtime=1721.9 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 22222 0 0 0 172188 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 5337412 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 47944 [startup+1782.3 s] /proc/loadavg: 2.05 2.04 1.98 3/243 10406 /proc/meminfo: memFree=32005996/32770624 swapFree=6092/187064 [pid=10331] ppid=10328 vsize=47944 CPUtime=1781.89 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 22313 0 0 0 178187 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 5038950 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 47944 [startup+1842.3 s] /proc/loadavg: 2.02 2.03 1.98 3/243 10473 /proc/meminfo: memFree=32018548/32770624 swapFree=6092/187160 [pid=10331] ppid=10328 vsize=47944 CPUtime=1841.87 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 22404 0 0 0 184185 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 1841.87 Current children cumulated vsize (KiB) 47944 [startup+1902.3 s] /proc/loadavg: 2.01 2.03 1.98 3/243 10474 /proc/meminfo: memFree=32018372/32770624 swapFree=6092/187220 [pid=10331] ppid=10328 vsize=47944 CPUtime=1901.86 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 22495 0 0 0 190184 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 5070864 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 1901.86 Current children cumulated vsize (KiB) 47944 [startup+1962.3 s] /proc/loadavg: 1.96 2.01 1.98 3/243 10839 /proc/meminfo: memFree=32016500/32770624 swapFree=6092/187248 [pid=10331] ppid=10328 vsize=47944 CPUtime=1961.85 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 22586 0 0 0 196183 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 5038183 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 1961.85 Current children cumulated vsize (KiB) 47944 [startup+2022.3 s] /proc/loadavg: 2.02 2.02 1.98 3/243 10840 /proc/meminfo: memFree=32016020/32770624 swapFree=6092/187292 [pid=10331] ppid=10328 vsize=47944 CPUtime=2021.83 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 22677 0 0 0 202181 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 2021.83 Current children cumulated vsize (KiB) 47944 [startup+2082.3 s] /proc/loadavg: 2.01 2.01 1.98 3/243 10841 /proc/meminfo: memFree=32015896/32770624 swapFree=6092/187324 [pid=10331] ppid=10328 vsize=47944 CPUtime=2081.82 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 22768 0 0 0 208180 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 5038502 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 2081.82 Current children cumulated vsize (KiB) 47944 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 1.98 3/242 10842 /proc/meminfo: memFree=32017436/32770624 swapFree=6092/187376 [pid=10331] ppid=10328 vsize=47944 CPUtime=2141.8 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 22859 0 0 0 214178 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 5136794 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 2141.8 Current children cumulated vsize (KiB) 47944 [startup+2202.31 s] /proc/loadavg: 2.12 2.04 1.99 3/243 10844 /proc/meminfo: memFree=32016596/32770624 swapFree=6092/187436 [pid=10331] ppid=10328 vsize=47944 CPUtime=2201.8 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 22950 0 0 0 220178 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 2201.8 Current children cumulated vsize (KiB) 47944 [startup+2262.3 s] /proc/loadavg: 2.04 2.04 1.99 3/244 10853 /proc/meminfo: memFree=32014804/32770624 swapFree=6092/187468 [pid=10331] ppid=10328 vsize=47944 CPUtime=2261.78 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 23041 0 0 0 226176 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 4967810 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 2261.78 Current children cumulated vsize (KiB) 47944 [startup+2322.3 s] /proc/loadavg: 2.02 2.03 1.99 3/244 10854 /proc/meminfo: memFree=32015204/32770624 swapFree=6092/187504 [pid=10331] ppid=10328 vsize=47944 CPUtime=2321.76 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 23132 0 0 0 232174 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 2321.76 Current children cumulated vsize (KiB) 47944 [startup+2382.3 s] /proc/loadavg: 2.01 2.03 1.99 3/244 10927 /proc/meminfo: memFree=32008156/32770624 swapFree=6092/187580 [pid=10331] ppid=10328 vsize=47944 CPUtime=2381.75 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 23223 0 0 0 238173 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 4965051 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 2381.75 Current children cumulated vsize (KiB) 47944 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.6 s] /proc/loadavg: 2.00 2.02 1.99 3/244 10927 /proc/meminfo: memFree=32008900/32770624 swapFree=6092/187600 [pid=10331] ppid=10328 vsize=47944 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15 /proc/10331/stat : 10331 (cosoco) R 10328 10331 9819 0 -1 4202496 23314 0 0 0 240002 2 0 0 20 0 1 0 389326 49094656 6172 33554432000 4194304 5970956 140733295437344 140733295424648 4908982 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 35258368 140733295441089 140733295441219 140733295441219 140733295443918 0 /proc/10331/statm: 11986 6172 843 434 0 5350 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 47944 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 10331 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.6 CPU time (s): 2400.06 CPU user time (s): 2400.03 CPU system time (s): 0.028993 CPU usage (%): 99.9774 Max. virtual memory (cumulated for all children) (KiB): 47944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.03 system time used= 0.028993 maximum resident set size= 24736 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23349 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= 16 involuntary context switches= 122017 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.41324 second user time and 11.4032 second system time The end
Begin job on node103 at 2017-07-21 17:33:13 IDJOB=4241566 IDBENCH=126989 IDSOLVER=2620 FILE ID=node103/4241566-1500651193 RUNJOBID= node103-1500648178-9851 PBS_JOBID= 20623311 Free space on /tmp= 62012 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-042.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241566-1500651193/watcher-4241566-1500651193 -o /tmp/evaluation-result-4241566-1500651193/solver-4241566-1500651193 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500648178-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241566-1500651193.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 406abf126875c7059afeaa5170034bef RANDOM SEED=444004874 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32030468 kB MemAvailable: 32014144 kB Buffers: 30156 kB Cached: 263860 kB SwapCached: 0 kB Active: 170768 kB Inactive: 195456 kB Active(anon): 75164 kB Inactive(anon): 8548 kB Active(file): 95604 kB Inactive(file): 186908 kB Unevictable: 6092 kB Mlocked: 6096 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2516 kB Writeback: 0 kB AnonPages: 79900 kB Mapped: 31500 kB Shmem: 8852 kB Slab: 65816 kB SReclaimable: 33996 kB SUnreclaim: 31820 kB KernelStack: 4432 kB PageTables: 4968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 345448 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62008 MiB End job on node103 at 2017-07-21 18:13:14