Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco-sat 1.1 | No Cert. | 2400.04 | 2400.21 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml |
MD5SUM | 0094b37350883aa25196a680c59db77a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 64 |
Best CPU time to get the best result obtained on this benchmark | 2400.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1121 |
Number of constraints | 592 |
Number of domains | 65 |
Minimum domain size | 2 |
Maximum domain size | 65 |
Distribution of domain sizes | [{"size":2,"count":562},{"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":27,"count":2},{"size":28,"count":1},{"size":29,"count":2},{"size":30,"count":1},{"size":31,"count":2},{"size":32,"count":1},{"size":33,"count":2},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"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}] |
Minimum variable degree | 0 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":0,"count":496},{"degree":2,"count":592},{"degree":32,"count":33}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 33 |
Distribution of constraint arities | [{"arity":2,"count":33},{"arity":3,"count":529},{"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}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 560 |
Distribution of constraint types | [{"type":"intension","count":560},{"type":"sum","count":32}] |
Optimization problem | YES |
Type of objective | min SUM |
0.67/0.72 c SAT : Variables: 3762 -- Clauses: 31570 0.67/0.72 c best=?? lower=0 upper=11440 0.67/0.73 c 0.67/0.73 c This is cosoco 1.0 -- 0.67/0.73 c 0.67/0.73 c enable optimization 0.67/0.73 c ========================================[ Problem Statistics ]=========================================== 0.67/0.73 c | 0.67/0.73 c | Parse time : 0.69 s 0.67/0.73 c | 0.67/0.73 c | Variables: 1121 0.67/0.73 c | Domain Sizes: 2..65 0.67/0.73 c | 0.67/0.73 c | Constraints: 593 0.67/0.73 c | Arity: 2..33 -- Binary: 33 -- Ternary: 529 0.67/0.73 c | 0.67/0.73 c | Types: 0.67/0.73 c | Intension: 560 0.67/0.73 c | Sum: 33 0.67/0.73 c | 0.67/0.73 c ========================================================================================================= 0.67/0.73 o 3840 0.67/0.73 c 1 calls to solver: best=3840 lower=0 upper=3839 0.67/0.74 o 2372 0.67/0.75 o 1304 0.67/0.75 c 3 calls to solver: best=1304 lower=0 upper=1303 0.67/0.76 o 888 0.77/0.80 o 880 0.77/0.80 c 5 calls to solver: best=880 lower=0 upper=879 0.77/0.81 o 752 0.77/0.82 o 636 0.77/0.82 c 7 calls to solver: best=636 lower=0 upper=635 0.77/0.83 o 552 0.77/0.84 o 480 0.77/0.84 c 9 calls to solver: best=480 lower=0 upper=479 0.96/1.02 o 472 1.07/1.11 o 464 1.07/1.11 c 11 calls to solver: best=464 lower=0 upper=463 1.07/1.12 o 460 1.17/1.22 o 424 1.17/1.22 c 13 calls to solver: best=424 lower=0 upper=423 1.66/1.75 conflict 51lvl : 56 bt51-1927:0(691)X145185 1.76/1.88 o 416 1.76/1.89 o 392 1.76/1.89 c 15 calls to solver: best=392 lower=0 upper=391 1.86/1.90 o 336 1.86/1.94 o 260 1.86/1.94 c 17 calls to solver: best=260 lower=0 upper=259 3.37/3.43 o 252 4.67/4.74 conflict 71lvl : 59 bt59-52:0(595)X215463 5.67/5.76 o 248 5.67/5.76 c 19 calls to solver: best=248 lower=0 upper=247 6.37/6.40 o 232 20.57/20.60 o 212 20.57/20.60 c 21 calls to solver: best=212 lower=0 upper=211 234.65/234.71 o 208 239.65/239.79 o 200 239.65/239.79 c 23 calls to solver: best=200 lower=0 upper=199 337.66/337.79 o 196 351.95/352.05 o 188 351.95/352.05 c 25 calls to solver: best=188 lower=0 upper=187 449.44/449.52 o 176 701.23/701.38 o 172 701.23/701.38 c 27 calls to solver: best=172 lower=0 upper=171 886.01/886.11 o 160 934.71/934.89 o 156 934.71/934.89 c 29 calls to solver: best=156 lower=0 upper=155 1174.70/1174.86 o 148 1563.38/1563.51 o 124 1563.38/1563.51 c 31 calls to solver: best=124 lower=0 upper=123 2400.03/2400.20 2400.03/2400.20 c *** INTERRUPTED *** 2400.03/2400.20 s SATISFIABLE 2400.03/2400.20 c Best value found: 124 2400.03/2400.20 2400.03/2400.20 2400.03/2400.20 v <instantiation type='solution' cost='124'> 2400.03/2400.20 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 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] </list> 2400.03/2400.20 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 * * * * * * * * * * * * * * * * * * * * * * * * *
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-4241573-1500650584/watcher-4241573-1500650584 -o /tmp/evaluation-result-4241573-1500650584/solver-4241573-1500650584 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500648176-9863 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241573-1500650584.xml pid=10090 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: 1.92 2.00 1.86 3/263 10093 /proc/meminfo: memFree=32020884/32770624 swapFree=5952/196660 [pid=10093] ppid=10090 vsize=2036 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) D 10090 10093 9830 0 -1 1077936128 157 0 0 0 0 0 0 0 20 0 1 0 328084 2084864 1 33554432000 4194304 5970956 140736265309360 140736265306600 140314363041479 0 0 4096 0 18446744072101617188 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 509 1 0 434 0 39 0 [startup+0.100132 s] /proc/loadavg: 1.92 2.00 1.86 3/263 10093 /proc/meminfo: memFree=32020884/32770624 swapFree=5952/196660 [pid=10093] ppid=10090 vsize=28168 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 1324 0 0 0 7 0 0 0 20 0 1 0 328084 28844032 1150 33554432000 4194304 5970956 140736265309360 140736265303144 140314356578708 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 7042 1150 784 434 0 406 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 28168 [startup+0.200322 s] /proc/loadavg: 1.92 2.00 1.86 3/263 10093 /proc/meminfo: memFree=32020884/32770624 swapFree=5952/196660 [pid=10093] ppid=10090 vsize=28932 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 1507 0 0 0 17 0 0 0 20 0 1 0 328084 29626368 1341 33554432000 4194304 5970956 140736265309360 140736265302792 140314346937317 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 7233 1341 784 434 0 597 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 28932 [startup+0.300224 s] /proc/loadavg: 1.92 2.00 1.86 3/263 10093 /proc/meminfo: memFree=32020884/32770624 swapFree=5952/196660 [pid=10093] ppid=10090 vsize=29816 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 1740 0 0 0 27 0 0 0 20 0 1 0 328084 30531584 1530 33554432000 4194304 5970956 140736265309360 140736265303192 140314346937317 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 7454 1530 784 434 0 818 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 29816 [startup+0.700185 s] /proc/loadavg: 1.92 2.00 1.86 3/263 10093 /proc/meminfo: memFree=32020884/32770624 swapFree=5952/196660 [pid=10093] ppid=10090 vsize=33768 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 2726 0 0 0 67 0 0 0 20 0 1 0 328084 34578432 2566 33554432000 4194304 5970956 140736265309360 140736265302792 140314347398124 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 8442 2566 798 434 0 1806 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 33768 [startup+1.50018 s] /proc/loadavg: 1.92 2.00 1.86 3/246 10133 /proc/meminfo: memFree=32032208/32770624 swapFree=5952/187072 [pid=10093] ppid=10090 vsize=41880 CPUtime=1.46 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 3763 0 0 0 146 0 0 0 20 0 1 0 328084 42885120 4066 33554432000 4194304 5970956 140736265309360 140736265296664 5038359 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10470 4066 850 434 0 3834 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 41880 [startup+3.10018 s] /proc/loadavg: 1.92 2.00 1.86 3/246 10133 /proc/meminfo: memFree=32019104/32770624 swapFree=5952/187072 [pid=10093] ppid=10090 vsize=41880 CPUtime=3.06 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 5247 0 0 0 306 0 0 0 20 0 1 0 328084 42885120 4125 33554432000 4194304 5970956 140736265309360 140736265296664 5070487 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10470 4125 854 434 0 3834 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 41880 [startup+6.30021 s] /proc/loadavg: 1.93 2.00 1.86 3/246 10133 /proc/meminfo: memFree=32017980/32770624 swapFree=5952/187056 [pid=10093] ppid=10090 vsize=42012 CPUtime=6.27 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 6929 0 0 0 626 1 0 0 20 0 1 0 328084 43020288 4137 33554432000 4194304 5970956 140736265309360 140736265296664 5038388 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4137 854 434 0 3867 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 42012 [startup+12.7002 s] /proc/loadavg: 1.93 2.00 1.86 3/246 10133 /proc/meminfo: memFree=32016568/32770624 swapFree=5952/187060 [pid=10093] ppid=10090 vsize=42012 CPUtime=12.67 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 8374 0 0 0 1266 1 0 0 20 0 1 0 328084 43020288 4139 33554432000 4194304 5970956 140736265309360 140736265306920 4964359 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4139 854 434 0 3867 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 42012 [startup+25.5003 s] /proc/loadavg: 1.95 2.00 1.86 3/246 10133 /proc/meminfo: memFree=32016444/32770624 swapFree=5952/187076 [pid=10093] ppid=10090 vsize=42012 CPUtime=25.47 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 11305 0 0 0 2546 1 0 0 20 0 1 0 328084 43020288 4140 33554432000 4194304 5970956 140736265309360 140736265296664 5069728 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4140 854 434 0 3867 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 42012 [startup+51.1003 s] /proc/loadavg: 1.97 2.00 1.87 3/246 10133 /proc/meminfo: memFree=32016304/32770624 swapFree=5952/187096 [pid=10093] ppid=10090 vsize=42012 CPUtime=51.07 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 12741 0 0 0 5106 1 0 0 20 0 1 0 328084 43020288 4140 33554432000 4194304 5970956 140736265309360 140736265296664 5242784 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4140 854 434 0 3867 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 42012 [startup+102.3 s] /proc/loadavg: 1.99 2.00 1.87 3/246 10134 /proc/meminfo: memFree=32014724/32770624 swapFree=5952/187132 [pid=10093] ppid=10090 vsize=42012 CPUtime=102.27 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 13258 0 0 0 10226 1 0 0 20 0 1 0 328084 43020288 4142 33554432000 4194304 5970956 140736265309360 140736265296664 5243214 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4142 854 434 0 3867 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 42012 [startup+162.3 s] /proc/loadavg: 2.07 2.01 1.88 3/246 10136 /proc/meminfo: memFree=32014636/32770624 swapFree=5952/187168 [pid=10093] ppid=10090 vsize=42012 CPUtime=162.26 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 13779 0 0 0 16225 1 0 0 20 0 1 0 328084 43020288 4142 33554432000 4194304 5970956 140736265309360 140736265296664 4964359 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4142 854 434 0 3867 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 42012 [startup+222.308 s] /proc/loadavg: 2.03 2.01 1.89 3/246 10137 /proc/meminfo: memFree=32014584/32770624 swapFree=5952/187176 [pid=10093] ppid=10090 vsize=42012 CPUtime=222.26 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 14295 0 0 0 22225 1 0 0 20 0 1 0 328084 43020288 4142 33554432000 4194304 5970956 140736265309360 140736265296664 5337497 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4142 854 434 0 3867 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 42012 [startup+282.3 s] /proc/loadavg: 2.01 2.01 1.89 3/246 10138 /proc/meminfo: memFree=32016356/32770624 swapFree=5952/187208 [pid=10093] ppid=10090 vsize=42012 CPUtime=282.25 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 14983 0 0 0 28224 1 0 0 20 0 1 0 328084 43020288 4160 33554432000 4194304 5970956 140736265309360 140736265296664 5337509 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4160 854 434 0 3867 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 42012 [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.90 3/243 10140 /proc/meminfo: memFree=32016076/32770624 swapFree=5952/187240 [pid=10093] ppid=10090 vsize=42012 CPUtime=342.25 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 15585 0 0 0 34224 1 0 0 20 0 1 0 328084 43020288 4160 33554432000 4194304 5970956 140736265309360 140736265306920 5069728 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4160 854 434 0 3867 0 Current children cumulated CPU time (s) 342.25 Current children cumulated vsize (KiB) 42012 [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.91 3/243 10141 /proc/meminfo: memFree=32015916/32770624 swapFree=5952/187288 [pid=10093] ppid=10090 vsize=42012 CPUtime=402.24 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 16126 0 0 0 40223 1 0 0 20 0 1 0 328084 43020288 4160 33554432000 4194304 5970956 140736265309360 140736265296664 5239682 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4160 854 434 0 3867 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 42012 [startup+462.3 s] /proc/loadavg: 2.07 2.03 1.92 3/243 10149 /proc/meminfo: memFree=32016080/32770624 swapFree=5952/187336 [pid=10093] ppid=10090 vsize=42012 CPUtime=462.24 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 16726 0 0 0 46223 1 0 0 20 0 1 0 328084 43020288 4161 33554432000 4194304 5970956 140736265309360 140736265306920 4964389 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4161 854 434 0 3867 0 Current children cumulated CPU time (s) 462.24 Current children cumulated vsize (KiB) 42012 [startup+522.3 s] /proc/loadavg: 2.03 2.02 1.92 3/243 10150 /proc/meminfo: memFree=32015848/32770624 swapFree=5952/187360 [pid=10093] ppid=10090 vsize=42012 CPUtime=522.24 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 17263 0 0 0 52223 1 0 0 20 0 1 0 328084 43020288 4161 33554432000 4194304 5970956 140736265309360 140736265306920 5038183 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4161 854 434 0 3867 0 Current children cumulated CPU time (s) 522.24 Current children cumulated vsize (KiB) 42012 [startup+582.3 s] /proc/loadavg: 2.01 2.02 1.93 3/243 10151 /proc/meminfo: memFree=32015728/32770624 swapFree=5952/187388 [pid=10093] ppid=10090 vsize=42012 CPUtime=582.23 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 17793 0 0 0 58222 1 0 0 20 0 1 0 328084 43020288 4161 33554432000 4194304 5970956 140736265309360 140736265306920 4964310 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4161 854 434 0 3867 0 Current children cumulated CPU time (s) 582.23 Current children cumulated vsize (KiB) 42012 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 1.95 3/243 10173 /proc/meminfo: memFree=32011860/32770624 swapFree=5952/187828 [pid=10093] ppid=10090 vsize=42012 CPUtime=1482.18 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 26057 0 0 0 148217 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265306920 4961411 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 1482.18 Current children cumulated vsize (KiB) 42012 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 1.95 3/243 10174 /proc/meminfo: memFree=32012760/32770624 swapFree=5952/187852 [pid=10093] ppid=10090 vsize=42012 CPUtime=1542.18 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 26596 0 0 0 154217 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265306920 5038522 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 1542.18 Current children cumulated vsize (KiB) 42012 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.95 3/243 10175 /proc/meminfo: memFree=32012384/32770624 swapFree=5952/187892 [pid=10093] ppid=10090 vsize=42012 CPUtime=1602.17 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 27198 0 0 0 160216 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5040624 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 1602.17 Current children cumulated vsize (KiB) 42012 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.95 3/243 10183 /proc/meminfo: memFree=32013560/32770624 swapFree=5952/187928 [pid=10093] ppid=10090 vsize=42012 CPUtime=1662.17 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 27737 0 0 0 166216 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5337501 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 1662.17 Current children cumulated vsize (KiB) 42012 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.95 3/243 10184 /proc/meminfo: memFree=32013564/32770624 swapFree=5952/187952 [pid=10093] ppid=10090 vsize=42012 CPUtime=1722.16 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 28269 0 0 0 172215 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5070791 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 1722.16 Current children cumulated vsize (KiB) 42012 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.95 3/243 10185 /proc/meminfo: memFree=32013188/32770624 swapFree=5952/187980 [pid=10093] ppid=10090 vsize=42012 CPUtime=1782.16 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 28798 0 0 0 178215 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 4908922 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 1782.16 Current children cumulated vsize (KiB) 42012 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 1.95 3/243 10186 /proc/meminfo: memFree=32013144/32770624 swapFree=5952/188004 [pid=10093] ppid=10090 vsize=42012 CPUtime=1842.16 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 29337 0 0 0 184215 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5039178 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 1842.16 Current children cumulated vsize (KiB) 42012 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.95 3/243 10187 /proc/meminfo: memFree=32013016/32770624 swapFree=5952/188032 [pid=10093] ppid=10090 vsize=42012 CPUtime=1902.15 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 29871 0 0 0 190214 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5069728 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 1902.15 Current children cumulated vsize (KiB) 42012 [startup+1962.3 s] /proc/loadavg: 2.08 2.03 1.96 3/243 10189 /proc/meminfo: memFree=32013080/32770624 swapFree=5952/188072 [pid=10093] ppid=10090 vsize=42012 CPUtime=1962.15 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 30401 0 0 0 196214 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5136803 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 1962.15 Current children cumulated vsize (KiB) 42012 [startup+2022.3 s] /proc/loadavg: 2.03 2.03 1.96 3/243 10190 /proc/meminfo: memFree=32012996/32770624 swapFree=5952/188096 [pid=10093] ppid=10090 vsize=42012 CPUtime=2022.15 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 30946 0 0 0 202214 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5093172 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 2022.15 Current children cumulated vsize (KiB) 42012 [startup+2082.3 s] /proc/loadavg: 2.01 2.02 1.96 3/243 10191 /proc/meminfo: memFree=32013332/32770624 swapFree=5952/188120 [pid=10093] ppid=10090 vsize=42012 CPUtime=2082.15 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 31476 0 0 0 208214 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5328066 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 2082.15 Current children cumulated vsize (KiB) 42012 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 1.96 3/243 10193 /proc/meminfo: memFree=32013240/32770624 swapFree=5952/188160 [pid=10093] ppid=10090 vsize=42012 CPUtime=2142.14 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 32006 0 0 0 214213 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5038188 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 2142.14 Current children cumulated vsize (KiB) 42012 [startup+2202.31 s] /proc/loadavg: 2.04 2.03 1.97 3/243 10194 /proc/meminfo: memFree=32013020/32770624 swapFree=5952/188188 [pid=10093] ppid=10090 vsize=42012 CPUtime=2202.14 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 32530 0 0 0 220213 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5038712 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 2202.14 Current children cumulated vsize (KiB) 42012 [startup+2262.3 s] /proc/loadavg: 2.01 2.02 1.97 3/243 10202 /proc/meminfo: memFree=32012564/32770624 swapFree=5952/188232 [pid=10093] ppid=10090 vsize=42012 CPUtime=2262.13 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 33043 0 0 0 226212 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5039183 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 2262.13 Current children cumulated vsize (KiB) 42012 [startup+2322.3 s] /proc/loadavg: 2.08 2.03 1.97 3/243 10225 /proc/meminfo: memFree=32013064/32770624 swapFree=5952/188260 [pid=10093] ppid=10090 vsize=42012 CPUtime=2322.13 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 33559 0 0 0 232212 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5327993 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 2322.13 Current children cumulated vsize (KiB) 42012 [startup+2382.3 s] /proc/loadavg: 2.03 2.03 1.97 3/243 10226 /proc/meminfo: memFree=32011668/32770624 swapFree=5952/188284 [pid=10093] ppid=10090 vsize=42012 CPUtime=2382.12 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 34072 0 0 0 238211 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5038640 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 2382.12 Current children cumulated vsize (KiB) 42012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.02 2.02 1.97 3/243 10226 /proc/meminfo: memFree=32012292/32770624 swapFree=5952/188288 [pid=10093] ppid=10090 vsize=42012 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15 /proc/10093/stat : 10093 (cosoco) R 10090 10093 9830 0 -1 4202496 34571 0 0 0 240002 1 0 0 20 0 1 0 328084 43020288 4163 33554432000 4194304 5970956 140736265309360 140736265296664 5319715 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 34762752 140736265315516 140736265315651 140736265315651 140736265318350 0 /proc/10093/statm: 10503 4163 854 434 0 3867 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 42012 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 10093 sig 9 ??? kill -10093 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.21 CPU time (s): 2400.04 CPU user time (s): 2400.02 CPU system time (s): 0.015999 CPU usage (%): 99.993 Max. virtual memory (cumulated for all children) (KiB): 42012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.02 system time used= 0.015999 maximum resident set size= 16696 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34643 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= 120652 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.16898 second user time and 10.6324 second system time The end
Begin job on node106 at 2017-07-21 17:23:04 IDJOB=4241573 IDBENCH=127005 IDSOLVER=2621 FILE ID=node106/4241573-1500650584 RUNJOBID= node106-1500648176-9863 PBS_JOBID= 20623308 Free space on /tmp= 61960 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-033.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241573-1500650584/watcher-4241573-1500650584 -o /tmp/evaluation-result-4241573-1500650584/solver-4241573-1500650584 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500648176-9863 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241573-1500650584.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 0094b37350883aa25196a680c59db77a RANDOM SEED=2027770235 node106.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.15 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 : 1733.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.15 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.15 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.15 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 : 1733.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.15 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 : 1600.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 : 1600.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.15 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 : 1600.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 : 1733.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.15 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 : 1600.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 : 1867.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.15 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: 32023956 kB MemAvailable: 32005636 kB Buffers: 30396 kB Cached: 261816 kB SwapCached: 0 kB Active: 168644 kB Inactive: 204884 kB Active(anon): 84616 kB Inactive(anon): 8548 kB Active(file): 84028 kB Inactive(file): 196336 kB Unevictable: 5952 kB Mlocked: 5952 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2508 kB Writeback: 0 kB AnonPages: 87728 kB Mapped: 41000 kB Shmem: 8852 kB Slab: 65924 kB SReclaimable: 34304 kB SUnreclaim: 31620 kB KernelStack: 4496 kB PageTables: 5224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1166668 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61956 MiB End job on node106 at 2017-07-21 18:03:04