Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: cosoco-sat 1.1 | No Cert. | 2400.04 | 2400.6 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml |
| MD5SUM | 4e9e0842de773da2d9de44121d9bf85e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 136 |
| Best CPU time to get the best result obtained on this benchmark | 19993 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1639 |
| Number of constraints | 858 |
| Number of domains | 79 |
| Minimum domain size | 2 |
| Maximum domain size | 79 |
| Distribution of domain sizes | [{"size":2,"count":821},{"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":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":2}, {"size":40,"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}, {"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}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 39 |
| Distribution of variable degrees | [{"degree":0,"count":741},{"degree":2,"count":858},{"degree":39,"count":40}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 40 |
| Distribution of constraint arities | [{"arity":2,"count":40},{"arity":3,"count":781},{"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}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 819 |
| Distribution of constraint types | [{"type":"intension","count":819},{"type":"sum","count":39}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.89/0.97 c SAT : Variables: 5540 -- Clauses: 55720 0.89/0.97 c best=?? lower=0 upper=20540 0.89/0.99 c 0.89/0.99 c This is cosoco 1.0 -- 0.89/0.99 c 0.89/0.99 c enable optimization 0.89/0.99 c ========================================[ Problem Statistics ]=========================================== 0.89/0.99 c | 0.89/0.99 c | Parse time : 0.97 s 0.89/0.99 c | 0.89/0.99 c | Variables: 1639 0.89/0.99 c | Domain Sizes: 2..79 0.89/0.99 c | 0.89/0.99 c | Constraints: 859 0.89/0.99 c | Arity: 2..40 -- Binary: 40 -- Ternary: 781 0.89/0.99 c | 0.89/0.99 c | Types: 0.89/0.99 c | Intension: 819 0.89/0.99 c | Sum: 40 0.89/0.99 c | 0.89/0.99 c ========================================================================================================= 0.89/0.99 o 9900 0.89/0.99 c 1 calls to solver: best=9900 lower=0 upper=9899 0.99/1.00 o 5756 0.99/1.02 o 5576 0.99/1.02 c 3 calls to solver: best=5576 lower=0 upper=5575 0.99/1.03 o 3068 0.99/1.05 o 1332 0.99/1.05 c 5 calls to solver: best=1332 lower=0 upper=1331 0.99/1.06 o 1324 0.99/1.08 o 900 0.99/1.08 c 7 calls to solver: best=900 lower=0 upper=899 2.39/2.46 conflict 30lvl : 38 bt37-671:0(683)X244053 3.59/3.70 conflict 34lvl : 42 bt33-659:0(752)X279632 3.79/3.82 o 828 3.89/3.96 o 740 3.89/3.96 c 9 calls to solver: best=740 lower=0 upper=739 5.89/5.92 conflict 63lvl : 87 bt87-1875:0(2071)X306385 5.99/6.06 o 712 8.58/8.67 o 700 8.58/8.67 c 11 calls to solver: best=700 lower=0 upper=699 31.78/31.82 o 660 32.98/33.02 o 624 32.98/33.02 c 13 calls to solver: best=624 lower=0 upper=623 34.68/34.71 o 552 35.18/35.26 o 492 35.18/35.26 c 15 calls to solver: best=492 lower=0 upper=491 37.28/37.38 o 488 40.87/40.98 o 448 40.87/40.98 c 17 calls to solver: best=448 lower=0 upper=447 41.17/41.29 o 412 43.47/43.58 o 392 43.47/43.58 c 19 calls to solver: best=392 lower=0 upper=391 44.77/44.85 o 368 48.17/48.21 o 360 48.17/48.21 c 21 calls to solver: best=360 lower=0 upper=359 55.76/55.87 o 356 294.41/294.52 conflict 24lvl : 24 bt24-49:0(414)X348234 2400.03/2400.60 2400.03/2400.60 c *** INTERRUPTED *** 2400.03/2400.60 s SATISFIABLE 2400.03/2400.60 c Best value found: 356 2400.03/2400.60 2400.03/2400.60 2400.03/2400.60 v <instantiation type='solution' cost='356'> 2400.03/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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 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] </list> 2400.03/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 * * * * *
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-4241591-1500650586/watcher-4241591-1500650586 -o /tmp/evaluation-result-4241591-1500650586/solver-4241591-1500650586 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500648175-2493 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241591-1500650586.xml pid=2884 running on 8 cores: 0,2,4,6,8,10,12,14 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.00 2.01 1.87 2/238 2887 /proc/meminfo: memFree=32059220/32770624 swapFree=6096/208088 [pid=2887] ppid=2884 vsize=27384 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 1053 0 0 0 0 0 0 0 20 0 1 0 327006 28041216 873 33554432000 4194304 5970956 140723997626928 140723997626120 140118386953189 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 6846 873 704 434 0 210 0 [startup+0.100124 s] /proc/loadavg: 2.00 2.01 1.87 2/238 2887 /proc/meminfo: memFree=32059220/32770624 swapFree=6096/208088 [pid=2887] ppid=2884 vsize=28828 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 1499 0 0 0 9 0 0 0 20 0 1 0 327006 29519872 1318 33554432000 4194304 5970956 140723997626928 140723997620360 140118396611965 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 7207 1318 784 434 0 571 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28828 [startup+0.200312 s] /proc/loadavg: 2.00 2.01 1.87 2/238 2887 /proc/meminfo: memFree=32059220/32770624 swapFree=6096/208088 [pid=2887] ppid=2884 vsize=30012 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 1780 0 0 0 19 0 0 0 20 0 1 0 327006 30732288 1612 33554432000 4194304 5970956 140723997626928 140723997620760 140118386953189 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 7503 1612 784 434 0 867 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 30012 [startup+0.300262 s] /proc/loadavg: 2.00 2.01 1.87 2/238 2887 /proc/meminfo: memFree=32059220/32770624 swapFree=6096/208088 [pid=2887] ppid=2884 vsize=31320 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 2115 0 0 0 29 0 0 0 20 0 1 0 327006 32071680 1940 33554432000 4194304 5970956 140723997626928 140723997620360 5170636 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 7830 1940 784 434 0 1194 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31320 [startup+0.700274 s] /proc/loadavg: 2.00 2.01 1.87 2/238 2887 /proc/meminfo: memFree=32059220/32770624 swapFree=6096/208088 [pid=2887] ppid=2884 vsize=36688 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 3453 0 0 0 69 0 0 0 20 0 1 0 327006 37568512 3248 33554432000 4194304 5970956 140723997626928 140723997620360 140118396593005 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 9172 3248 784 434 0 2536 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36688 [startup+1.50028 s] /proc/loadavg: 1.84 1.98 1.86 3/245 2903 /proc/meminfo: memFree=32026576/32770624 swapFree=6096/208148 [pid=2887] ppid=2884 vsize=51088 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 6003 0 0 0 149 0 0 0 20 0 1 0 327006 52314112 6336 33554432000 4194304 5970956 140723997626928 140723997614232 5038781 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12772 6336 850 434 0 6136 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 51088 [startup+3.10029 s] /proc/loadavg: 1.84 1.98 1.86 3/245 2903 /proc/meminfo: memFree=31998644/32770624 swapFree=6096/208148 [pid=2887] ppid=2884 vsize=51088 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 8068 0 0 0 309 0 0 0 20 0 1 0 327006 52314112 6357 33554432000 4194304 5970956 140723997626928 140723997624264 5052093 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12772 6357 853 434 0 6136 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 51088 [startup+6.30028 s] /proc/loadavg: 1.84 1.98 1.86 3/245 2903 /proc/meminfo: memFree=31962308/32770624 swapFree=6096/208116 [pid=2887] ppid=2884 vsize=51484 CPUtime=6.29 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 10764 0 0 0 629 0 0 0 20 0 1 0 327006 52719616 6447 33554432000 4194304 5970956 140723997626928 140723997624488 5319627 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12871 6447 854 434 0 6235 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51484 [startup+12.7003 s] /proc/loadavg: 1.87 1.98 1.86 3/245 2903 /proc/meminfo: memFree=31959828/32770624 swapFree=6096/208124 [pid=2887] ppid=2884 vsize=51484 CPUtime=12.68 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 13141 0 0 0 1268 0 0 0 20 0 1 0 327006 52719616 6451 33554432000 4194304 5970956 140723997626928 140723997614232 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12871 6451 854 434 0 6235 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 51484 [startup+25.5004 s] /proc/loadavg: 1.89 1.98 1.86 3/245 2903 /proc/meminfo: memFree=31958960/32770624 swapFree=6096/208132 [pid=2887] ppid=2884 vsize=51484 CPUtime=25.48 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 17434 0 0 0 2548 0 0 0 20 0 1 0 327006 52719616 6456 33554432000 4194304 5970956 140723997626928 140723997614232 5039178 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12871 6456 854 434 0 6235 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51484 [startup+51.1003 s] /proc/loadavg: 1.93 1.99 1.86 3/245 2903 /proc/meminfo: memFree=31956980/32770624 swapFree=6096/208152 [pid=2887] ppid=2884 vsize=51616 CPUtime=51.07 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 19941 0 0 0 5107 0 0 0 20 0 1 0 327006 52854784 6503 33554432000 4194304 5970956 140723997626928 140723997614232 4964777 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6503 854 434 0 6268 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 51616 [startup+102.3 s] /proc/loadavg: 2.06 2.02 1.88 3/245 2904 /proc/meminfo: memFree=31956452/32770624 swapFree=6096/208204 [pid=2887] ppid=2884 vsize=51616 CPUtime=102.26 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 20626 0 0 0 10226 0 0 0 20 0 1 0 327006 52854784 6511 33554432000 4194304 5970956 140723997626928 140723997624488 4964400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6511 854 434 0 6268 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 51616 [startup+162.3 s] /proc/loadavg: 2.02 2.01 1.89 3/245 2906 /proc/meminfo: memFree=31956492/32770624 swapFree=6096/208244 [pid=2887] ppid=2884 vsize=51616 CPUtime=162.24 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 21294 0 0 0 16224 0 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624488 5070768 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 51616 [startup+222.308 s] /proc/loadavg: 2.01 2.01 1.89 3/245 2907 /proc/meminfo: memFree=31956608/32770624 swapFree=6096/208272 [pid=2887] ppid=2884 vsize=51616 CPUtime=222.23 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 21956 0 0 0 22223 0 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624488 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 51616 [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.90 3/245 2908 /proc/meminfo: memFree=31956864/32770624 swapFree=6096/208304 [pid=2887] ppid=2884 vsize=51616 CPUtime=282.21 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 22619 0 0 0 28221 0 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624488 4964373 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 51616 [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.90 3/243 2910 /proc/meminfo: memFree=31957196/32770624 swapFree=6096/208348 [pid=2887] ppid=2884 vsize=51616 CPUtime=342.2 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 23287 0 0 0 34220 0 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 4967872 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 51616 [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.91 3/243 2911 /proc/meminfo: memFree=31957280/32770624 swapFree=6096/208380 [pid=2887] ppid=2884 vsize=51616 CPUtime=402.19 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 23950 0 0 0 40219 0 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5136623 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 51616 [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.92 3/243 2919 /proc/meminfo: memFree=31956676/32770624 swapFree=6096/208416 [pid=2887] ppid=2884 vsize=51616 CPUtime=462.17 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 24612 0 0 0 46217 0 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 4908985 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 51616 [startup+522.3 s] /proc/loadavg: 2.00 2.01 1.92 3/243 2920 /proc/meminfo: memFree=31957084/32770624 swapFree=6096/208440 [pid=2887] ppid=2884 vsize=51616 CPUtime=522.16 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 25276 0 0 0 52216 0 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5098944 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 51616 [startup+582.3 s] /proc/loadavg: 2.06 2.03 1.93 3/243 2921 /proc/meminfo: memFree=31956936/32770624 swapFree=6096/208468 [pid=2887] ppid=2884 vsize=51616 CPUtime=582.14 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 25933 0 0 0 58214 0 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5337497 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 51616 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 1.96 3/243 2943 /proc/meminfo: memFree=31955172/32770624 swapFree=6096/208908 [pid=2887] ppid=2884 vsize=51616 CPUtime=1481.94 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 35805 0 0 0 148193 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 4961400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 51616 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 1.96 3/243 2944 /proc/meminfo: memFree=31954556/32770624 swapFree=6096/208936 [pid=2887] ppid=2884 vsize=51616 CPUtime=1541.93 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 36459 0 0 0 154192 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5136786 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 51616 [startup+1602.3 s] /proc/loadavg: 2.10 2.04 1.97 3/243 2945 /proc/meminfo: memFree=31955672/32770624 swapFree=6096/208976 [pid=2887] ppid=2884 vsize=51616 CPUtime=1601.91 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 37108 0 0 0 160190 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5040624 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 51616 [startup+1662.3 s] /proc/loadavg: 2.04 2.04 1.97 3/243 2953 /proc/meminfo: memFree=31955448/32770624 swapFree=6096/209004 [pid=2887] ppid=2884 vsize=51616 CPUtime=1661.9 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 37774 0 0 0 166189 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5327113 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 51616 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 1.97 3/243 2954 /proc/meminfo: memFree=31956584/32770624 swapFree=6096/209032 [pid=2887] ppid=2884 vsize=51616 CPUtime=1721.88 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 38416 0 0 0 172187 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 51616 [startup+1782.3 s] /proc/loadavg: 2.01 2.03 1.97 3/243 2955 /proc/meminfo: memFree=31956564/32770624 swapFree=6096/209056 [pid=2887] ppid=2884 vsize=51616 CPUtime=1781.87 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 39064 0 0 0 178186 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5136620 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 51616 [startup+1842.3 s] /proc/loadavg: 2.00 2.02 1.97 3/243 2956 /proc/meminfo: memFree=31956796/32770624 swapFree=6096/209088 [pid=2887] ppid=2884 vsize=51616 CPUtime=1841.85 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 39706 0 0 0 184184 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 4964452 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 1841.85 Current children cumulated vsize (KiB) 51616 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.97 3/243 2957 /proc/meminfo: memFree=31955656/32770624 swapFree=6096/209104 [pid=2887] ppid=2884 vsize=51616 CPUtime=1901.84 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 40366 0 0 0 190183 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5070548 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 1901.84 Current children cumulated vsize (KiB) 51616 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 1.97 3/243 2959 /proc/meminfo: memFree=31956120/32770624 swapFree=6096/209148 [pid=2887] ppid=2884 vsize=51616 CPUtime=1961.83 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 41034 0 0 0 196182 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5039181 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 1961.83 Current children cumulated vsize (KiB) 51616 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.97 3/243 2960 /proc/meminfo: memFree=31955832/32770624 swapFree=6096/209176 [pid=2887] ppid=2884 vsize=51616 CPUtime=2021.81 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 41691 0 0 0 202180 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 4964948 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 2021.81 Current children cumulated vsize (KiB) 51616 [startup+2082.3 s] /proc/loadavg: 2.11 2.04 1.98 3/243 2961 /proc/meminfo: memFree=31955836/32770624 swapFree=6096/209208 [pid=2887] ppid=2884 vsize=51616 CPUtime=2081.81 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 42346 0 0 0 208180 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 2081.81 Current children cumulated vsize (KiB) 51616 [startup+2142.3 s] /proc/loadavg: 2.04 2.04 1.98 3/243 2963 /proc/meminfo: memFree=31955840/32770624 swapFree=6096/209232 [pid=2887] ppid=2884 vsize=51616 CPUtime=2141.78 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 42997 0 0 0 214177 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5136623 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 2141.78 Current children cumulated vsize (KiB) 51616 [startup+2202.31 s] /proc/loadavg: 2.02 2.03 1.98 3/243 2964 /proc/meminfo: memFree=31956188/32770624 swapFree=6096/209256 [pid=2887] ppid=2884 vsize=51616 CPUtime=2201.78 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 43663 0 0 0 220177 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5070525 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 2201.78 Current children cumulated vsize (KiB) 51616 [startup+2262.3 s] /proc/loadavg: 2.01 2.03 1.98 3/243 2972 /proc/meminfo: memFree=31954968/32770624 swapFree=6096/209304 [pid=2887] ppid=2884 vsize=51616 CPUtime=2261.76 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 44304 0 0 0 226175 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5040196 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 2261.76 Current children cumulated vsize (KiB) 51616 [startup+2322.3 s] /proc/loadavg: 2.00 2.02 1.98 3/244 2996 /proc/meminfo: memFree=31954684/32770624 swapFree=6096/209340 [pid=2887] ppid=2884 vsize=51616 CPUtime=2321.74 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 44962 0 0 0 232173 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5052080 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 2321.74 Current children cumulated vsize (KiB) 51616 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 1.98 3/244 2997 /proc/meminfo: memFree=31954020/32770624 swapFree=6096/209364 [pid=2887] ppid=2884 vsize=51616 CPUtime=2381.73 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 45615 0 0 0 238172 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 2381.73 Current children cumulated vsize (KiB) 51616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.6 s] /proc/loadavg: 2.00 2.01 1.98 3/244 2997 /proc/meminfo: memFree=31954268/32770624 swapFree=6096/209368 [pid=2887] ppid=2884 vsize=51616 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14 /proc/2887/stat : 2887 (cosoco) R 2884 2887 2461 0 -1 4202496 46250 0 0 0 240002 1 0 0 20 0 1 0 327006 52854784 6512 33554432000 4194304 5970956 140723997626928 140723997624264 4964948 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 19316736 140723997631676 140723997631811 140723997631811 140723997634510 0 /proc/2887/statm: 12904 6512 854 434 0 6268 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 51616 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 2887 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.04 CPU user time (s): 2400.02 CPU system time (s): 0.015996 CPU usage (%): 99.9765 Max. virtual memory (cumulated for all children) (KiB): 51616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.02 system time used= 0.015996 maximum resident set size= 26092 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46354 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= 14 involuntary context switches= 120647 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.18837 second user time and 10.8505 second system time The end
Begin job on node121 at 2017-07-21 17:23:06 IDJOB=4241591 IDBENCH=127041 IDSOLVER=2621 FILE ID=node121/4241591-1500650586 RUNJOBID= node121-1500648175-2493 PBS_JOBID= 20623298 Free space on /tmp= 61984 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-040.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241591-1500650586/watcher-4241591-1500650586 -o /tmp/evaluation-result-4241591-1500650586/solver-4241591-1500650586 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500648175-2493 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241591-1500650586.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 4e9e0842de773da2d9de44121d9bf85e RANDOM SEED=685423641 node121.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 : 5334.00 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 : 1733.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 : 5334.00 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 : 2000.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 : 1867.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 : 5334.00 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 : 1733.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 : 2400.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 : 5334.00 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 : 2133.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 : 5334.00 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 : 2133.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 : 5334.00 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 : 2267.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 : 1867.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 : 5334.00 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 : 2533.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 : 1733.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 : 5334.00 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 : 2533.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: 32059460 kB MemAvailable: 32037328 kB Buffers: 28544 kB Cached: 261288 kB SwapCached: 0 kB Active: 126020 kB Inactive: 216628 kB Active(anon): 55276 kB Inactive(anon): 8544 kB Active(file): 70744 kB Inactive(file): 208084 kB Unevictable: 6096 kB Mlocked: 6096 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2324 kB Writeback: 0 kB AnonPages: 51940 kB Mapped: 28520 kB Shmem: 8840 kB Slab: 60932 kB SReclaimable: 29752 kB SUnreclaim: 31180 kB KernelStack: 4336 kB PageTables: 4756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 308704 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61980 MiB End job on node121 at 2017-07-21 18:03:07