Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.1 | SAT (TO) | 503 | 251.923 | 252.00999 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml |
MD5SUM | 5c46c59146557e02d06c9ff3e1746190 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 127 |
Best CPU time to get the best result obtained on this benchmark | 1921.35 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1481 |
Number of constraints | 777 |
Number of domains | 75 |
Minimum domain size | 2 |
Maximum domain size | 75 |
Distribution of domain sizes | [{"size":2,"count":742},{"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":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"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}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":0,"count":666},{"degree":2,"count":777},{"degree":37,"count":38}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 38 |
Distribution of constraint arities | [{"arity":2,"count":38},{"arity":3,"count":704},{"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}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 740 |
Distribution of constraint types | [{"type":"intension","count":740},{"type":"sum","count":37}] |
Optimization problem | YES |
Type of objective | min SUM |
0.82/0.90 c best=?? lower=-17575 upper=0 0.82/0.92 c 0.82/0.92 c This is cosoco 1.1 -- 0.82/0.92 c 0.82/0.92 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4258558-1502647725.xml 0.82/0.92 c enable optimization 0.82/0.92 c ========================================[ Problem Statistics ]=========================================== 0.82/0.92 c | 0.82/0.92 c | Parse time : 0.83 s 0.82/0.92 c | 0.82/0.92 c | Variables: 1481 0.82/0.92 c | Domain Sizes: 2..75 0.82/0.92 c | 0.82/0.92 c | Constraints: 778 0.82/0.92 c | Arity: 2..38 -- Binary: 38 -- Ternary: 704 0.82/0.92 c | 0.82/0.92 c | Types: 0.82/0.92 c | Intension: 740 0.82/0.92 c | Sum: 38 0.82/0.92 c | 0.82/0.92 c ========================================================================================================= 0.82/0.92 o -5695 0.82/0.92 c 1 calls to solver: best=-5695 lower=-5694 upper=0 0.82/0.93 o -5255 0.82/0.94 o -951 0.82/0.94 c 3 calls to solver: best=-951 lower=-950 upper=0 0.82/0.96 o -831 0.82/0.98 o -815 0.82/0.98 c 5 calls to solver: best=-815 lower=-814 upper=0 0.92/1.02 o -527 69.02/69.19 o -503 69.02/69.19 c 7 calls to solver: best=-503 lower=-502 upper=0 251.91/252.00 251.91/252.00 c *** INTERRUPTED *** 251.91/252.00 c restarts : 51 251.91/252.00 c conflicts : 129833 (515 /sec) 251.91/252.00 c decisions : 674340 (2677 /sec) 251.91/252.00 c propagations : 169476691 (672761 /sec) 251.91/252.00 c root propagations : 3622 251.91/252.00 c filter calls : 244423744 (970273 /sec) 251.91/252.00 c useless filter calls : 135857148 (55 %) 251.91/252.00 c Memory used : 40.50 MB 251.91/252.00 c CPU time : 251.912 s 251.91/252.00 251.91/252.00 c nb Solutions = 7 251.91/252.00 s SATISFIABLE 251.91/252.00 c Best value found: -503 251.91/252.00 251.91/252.00 251.91/252.00 v <instantiation type='solution' cost='-503'> 251.91/252.00 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[3] c[4] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[3] s[4] s[5] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] 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][1] 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][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] 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][1] 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][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] 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][1] 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][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] 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][1] 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][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] 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][1] 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][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] 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][1] 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][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] 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][1] 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][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] 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][1] 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][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] 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][1] 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][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] 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][1] 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][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] 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][1] 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][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] 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][1] 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][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] 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][1] 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][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] 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][1] 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][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] 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][1] 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][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] 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][1] 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][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] 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][1] 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][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] 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][1] 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][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] 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][1] 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][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] 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][1] 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][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] 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][1] 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][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] 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][1] 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][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] 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][1] 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][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] 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][1] 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][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] 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][1] 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][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] 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][1] 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][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[33][0] 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][1] 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][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[34][0] 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][1] 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][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[35][0] 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][1] 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][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[36][0] 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][1] 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][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[3][0] 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][1] 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][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] 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][1] 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][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] 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][1] 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][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] 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][1] 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][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] 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][1] 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][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] 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][1] 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][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] 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][1] 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][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 251.91/252.00 v <values>-11 -3 2 -1 -6 5 -4 1 4 -3 2 8 -3 2 -3 0 -1 0 1 -2 1 -2 -5 3 -4 5 -4 3 -2 1 2 5 -2 -1 -4 -3 0 121 9 4 1 36 25 16 1 16 9 4 64 9 4 9 0 1 0 1 4 1 4 25 9 16 25 16 9 4 1 4 25 4 1 16 9 0 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 * * * -1 * * * * * * * 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 * * * * -1 * * * * * * * -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 * * * * * 1 * * * * * * * 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 * * * * * * -1 * * * * * * * -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 * * * * * * * 1 * * * * * * * -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 * * * * * * * * 1 * * * * * * * 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 * * * * * * * * * -1 * * * * * * * -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 * * * * * * * * * * 1 * * * * * * * -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 * -1 * * * * * * * * * * 1 * * * * * * * -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 * * -1 * * * * * * * * * * 1 * * * * * * * 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 * 1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 * * * -1 * * * * * * * * * * -1 * * * * * * * 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 * * * * * * -1 * * * * * * * * * * 1 * * * * * * * -1 -1 1 1 1 1 -1 1 -1 1 -1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * 1 -1 -1 -1 -1 1 1 1 1 -1 * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * 1 1 1 1 -1 -1 -1 1 -1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * -1 -1 -1 1 1 1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * 1 1 -1 -1 -1 -1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * -1 1 1 1 1 1 * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * -1 -1 -1 -1 -1 * * -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 * * -1 -1 -1 -1 1 -1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * 1 1 1 1 * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * -1 -1 -1 * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * 1 1 * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * -1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 * * * 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 * * * * -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 * * * * * 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 * * * * * * 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 * * * * * * * 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 * -1 * * * * * * * 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 * * -1 * * * * * * * 1 -1 -1 -1 -1 1 1 </values> 251.91/252.00 v </instantiation> 251.91/252.00
OK 503
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15245 MiB free) memory of node 1: 16384 MiB (15596 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258558-1502647725/watcher-4258558-1502647725 -o /tmp/evaluation-result-4258558-1502647725/solver-4258558-1502647725 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502644570-29825 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258558-1502647725.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=31095, runsolver pid=31092 [startup+0.100727 s]* /proc/loadavg: 1.95 2.00 2.04 3/187 31096 /proc/meminfo: memFree=31577604/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=28312 memory=4832 CPUtime=0.03 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 1366 0 0 0 3 0 0 0 20 0 1 0 164425257 28991488 1208 18446744073709551615 4194304 5972556 140728255308384 140728255300688 5211160 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 7078 1208 787 435 0 441 0 Current children cumulated CPU time: 0.03 s Current children cumulated vsize: 28312 KiB Current children cumulated memory: 4832 KiB [startup+0.209569 s]* /proc/loadavg: 1.95 2.00 2.04 3/187 31096 /proc/meminfo: memFree=31572368/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=29632 memory=5932 CPUtime=0.14 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 1695 0 0 0 14 0 0 0 20 0 1 0 164425257 30343168 1483 18446744073709551615 4194304 5972556 140728255308384 140728255301784 140128171148622 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 7408 1483 787 435 0 771 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 29632 KiB Current children cumulated memory: 5932 KiB [startup+0.309075 s]* /proc/loadavg: 1.95 2.00 2.04 3/187 31096 /proc/meminfo: memFree=31567904/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=30828 memory=7252 CPUtime=0.24 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 2001 0 0 0 24 0 0 0 20 0 1 0 164425257 31567872 1813 18446744073709551615 4194304 5972556 140728255308384 140728255301784 140128170272672 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 7707 1813 787 435 0 1070 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 30828 KiB Current children cumulated memory: 7252 KiB [startup+0.700272 s] /proc/loadavg: 1.95 2.00 2.04 3/187 31096 /proc/meminfo: memFree=31558232/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=35556 memory=12004 CPUtime=0.62 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 3166 0 0 0 62 0 0 0 20 0 1 0 164425257 36409344 3001 18446744073709551615 4194304 5972556 140728255308384 140728255302184 140128170224613 0 0 1 0 0 0 0 17 3 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 8889 3001 787 435 0 2252 0 Current children cumulated CPU time: 0.62 s Current children cumulated vsize: 35556 KiB Current children cumulated memory: 12004 KiB [startup+1.50035 s] /proc/loadavg: 1.95 2.00 2.04 3/187 31096 /proc/meminfo: memFree=31530828/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=41340 memory=17884 CPUtime=1.41 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 4669 0 0 0 141 0 0 0 20 0 1 0 164425257 42332160 4471 18446744073709551615 4194304 5972556 140728255308384 140728255305832 5053053 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 10335 4471 846 435 0 3698 0 Current children cumulated CPU time: 1.41 s Current children cumulated vsize: 41340 KiB Current children cumulated memory: 17884 KiB [startup+3.10925 s] /proc/loadavg: 1.88 1.98 2.03 3/187 31096 /proc/meminfo: memFree=31504080/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=41340 memory=18056 CPUtime=3.02 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 6255 0 0 0 302 0 0 0 20 0 1 0 164425257 42332160 4514 18446744073709551615 4194304 5972556 140728255308384 140728255305832 5071748 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 10335 4514 846 435 0 3698 0 Current children cumulated CPU time: 3.02 s Current children cumulated vsize: 41340 KiB Current children cumulated memory: 18056 KiB [startup+6.30026 s] /proc/loadavg: 1.88 1.98 2.03 3/187 31096 /proc/meminfo: memFree=31504328/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=41340 memory=18056 CPUtime=6.21 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 7841 0 0 0 621 0 0 0 20 0 1 0 164425257 42332160 4514 18446744073709551615 4194304 5972556 140728255308384 140728255305832 5099600 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 10335 4514 846 435 0 3698 0 Current children cumulated CPU time: 6.21 s Current children cumulated vsize: 41340 KiB Current children cumulated memory: 18056 KiB [startup+12.7003 s] /proc/loadavg: 1.90 1.98 2.03 3/187 31096 /proc/meminfo: memFree=31503848/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=41340 memory=18056 CPUtime=12.61 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 9427 0 0 0 1261 0 0 0 20 0 1 0 164425257 42332160 4514 18446744073709551615 4194304 5972556 140728255308384 140728255305832 5139248 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 10335 4514 846 435 0 3698 0 Current children cumulated CPU time: 12.61 s Current children cumulated vsize: 41340 KiB Current children cumulated memory: 18056 KiB [startup+25.5003 s] /proc/loadavg: 1.91 1.98 2.03 3/187 31096 /proc/meminfo: memFree=31503956/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=41340 memory=18056 CPUtime=25.41 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 12603 0 0 0 2541 0 0 0 20 0 1 0 164425257 42332160 4514 18446744073709551615 4194304 5972556 140728255308384 140728255305832 5139311 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 10335 4514 846 435 0 3698 0 Current children cumulated CPU time: 25.41 s Current children cumulated vsize: 41340 KiB Current children cumulated memory: 18056 KiB [startup+51.1092 s] /proc/loadavg: 1.94 1.99 2.03 3/186 31097 /proc/meminfo: memFree=31500924/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=41340 memory=18056 CPUtime=51.02 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 14189 0 0 0 5102 0 0 0 20 0 1 0 164425257 42332160 4514 18446744073709551615 4194304 5972556 140728255308384 140728255305832 5039148 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 10335 4514 846 435 0 3698 0 Current children cumulated CPU time: 51.02 s Current children cumulated vsize: 41340 KiB Current children cumulated memory: 18056 KiB [startup+102.3 s] /proc/loadavg: 1.98 1.99 2.03 3/186 31099 /proc/meminfo: memFree=31499356/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=41472 memory=18244 CPUtime=102.2 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 15981 0 0 0 10220 0 0 0 20 0 1 0 164425257 42467328 4561 18446744073709551615 4194304 5972556 140728255308384 140728255295576 5039294 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 10368 4561 846 435 0 3731 0 Current children cumulated CPU time: 102.2 s Current children cumulated vsize: 41472 KiB Current children cumulated memory: 18244 KiB [startup+162.3 s] /proc/loadavg: 1.99 1.99 2.03 3/186 31101 /proc/meminfo: memFree=31498980/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=41472 memory=18244 CPUtime=162.2 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 16485 0 0 0 16220 0 0 0 20 0 1 0 164425257 42467328 4561 18446744073709551615 4194304 5972556 140728255308384 140728255295576 5039672 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 10368 4561 846 435 0 3731 0 Current children cumulated CPU time: 162.2 s Current children cumulated vsize: 41472 KiB Current children cumulated memory: 18244 KiB [startup+222.3 s] /proc/loadavg: 2.00 1.99 2.03 3/185 31104 /proc/meminfo: memFree=31498584/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=41472 memory=18244 CPUtime=222.2 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 16989 0 0 0 22220 0 0 0 20 0 1 0 164425257 42467328 4561 18446744073709551615 4194304 5972556 140728255308384 140728255295576 5039310 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 10368 4561 846 435 0 3731 0 Current children cumulated CPU time: 222.2 s Current children cumulated vsize: 41472 KiB Current children cumulated memory: 18244 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.16 2.02 2.05 2/180 31144 /proc/meminfo: memFree=31630196/32770624 swapFree=67108776/67108860 [pid=31095] ppid=31092 vsize=41472 memory=18244 CPUtime=251.91 cores=1,3,5,7 /proc/31095/stat : 31095 (cosoco) R 31092 31095 7084 0 -1 4202496 17493 0 0 0 25191 0 0 0 20 0 1 0 164425257 42467328 4561 18446744073709551615 4194304 5972556 140728255308384 140728255295576 5071751 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 39096320 140728255316395 140728255316525 140728255316525 140728255320014 0 /proc/31095/statm: 10368 4561 846 435 0 3731 0 Current children cumulated CPU time: 251.91 s Current children cumulated vsize: 41472 KiB Current children cumulated memory: 18244 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 31095 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.912 s, system=0.010999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.01 CPU time (s): 251.923 CPU user time (s): 251.912 CPU system time (s): 0.010999 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 41472 Max. memory (cumulated for all children) (KiB): 18244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.912 system time used= 0.010999 maximum resident set size= 18312 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17549 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= 12 involuntary context switches= 75 # summary of solver processes directly reported to runsolver: # pid: 31095 # total CPU time (s): 251.923 # total CPU user time (s): 251.912 # total CPU system time (s): 0.010999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.975246 second user time and 1.58341 second system time The end
Begin job on node132 at 2017-08-13 19:54:20 IDJOB=4258558 IDBENCH=127025 IDSOLVER=2644 FILE ID=node132/4258558-1502647725 RUNJOBID= node132-1502644570-29825 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-038.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258558-1502647725/watcher-4258558-1502647725 -o /tmp/evaluation-result-4258558-1502647725/solver-4258558-1502647725 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502644570-29825 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258558-1502647725.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c46c59146557e02d06c9ff3e1746190 RANDOM SEED=517567641 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31583516 kB MemAvailable: 31922752 kB Buffers: 231732 kB Cached: 432284 kB SwapCached: 84 kB Active: 579728 kB Inactive: 201856 kB Active(anon): 65084 kB Inactive(anon): 101868 kB Active(file): 514644 kB Inactive(file): 99988 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108776 kB Dirty: 5040 kB Writeback: 12 kB AnonPages: 116936 kB Mapped: 66628 kB Shmem: 49768 kB Slab: 107988 kB SReclaimable: 80880 kB SUnreclaim: 27108 kB KernelStack: 3296 kB PageTables: 5000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 409164 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 62028 MiB End job on node132 at 2017-08-13 19:58:32