Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-mini 1.12 | SAT (TO) | 503 | 2400.01 | 2399.7 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml |
MD5SUM | 5c46c59146557e02d06c9ff3e1746190 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 295 |
Best CPU time to get the best result obtained on this benchmark | 2400.02 |
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.79/0.83 c best=?? lower=-17575 upper=0 0.79/0.85 c 0.79/0.85 c This is cosoco 1.12 -- 0.79/0.85 c 0.79/0.85 c command line: cosoco -lc -model -restarts HOME/instance-4267084-1502607922.xml 0.79/0.85 c enable optimization 0.79/0.85 c ========================================[ Problem Statistics ]=========================================== 0.79/0.85 c | 0.79/0.85 c | Parse time : 0.83 s 0.79/0.85 c | 0.79/0.85 c | Variables: 1481 0.79/0.85 c | Domain Sizes: 2..75 0.79/0.85 c | 0.79/0.85 c | Constraints: 778 0.79/0.85 c | Arity: 2..38 -- Binary: 38 -- Ternary: 704 0.79/0.85 c | 0.79/0.85 c | Types: 0.79/0.85 c | Intension: 740 0.79/0.85 c | Sum: 38 0.79/0.85 c | 0.79/0.85 c ========================================================================================================= 0.79/0.85 o -5695 0.79/0.85 c 1 calls to solver: best=-5695 lower=-5694 upper=0 0.79/0.86 o -5255 0.79/0.87 o -951 0.79/0.87 c 3 calls to solver: best=-951 lower=-950 upper=0 0.79/0.89 o -831 0.89/0.91 o -815 0.89/0.91 c 5 calls to solver: best=-815 lower=-814 upper=0 0.89/0.95 o -527 67.68/67.79 o -503 67.68/67.79 c 7 calls to solver: best=-503 lower=-502 upper=0 2400.00/2399.70 2400.00/2399.70 c *** INTERRUPTED *** 2400.00/2399.70 c restarts : 74 2400.00/2399.70 c conflicts : 1128295 (470 /sec) 2400.00/2399.70 c decisions : 5726230 (2386 /sec) 2400.00/2399.70 c propagations : 1650889685 (687876 /sec) 2400.00/2399.70 c root propagations : 3622 2400.00/2399.70 c filter calls : 2404459709 (1001865 /sec) 2400.00/2399.70 c useless filter calls : 1308629807 (54 %) 2400.00/2399.70 c Memory used : 40.27 MB 2400.00/2399.70 c CPU time : 2399.98 s 2400.00/2399.70 2400.00/2399.70 c nb Solutions = 7 2400.00/2399.70 s SATISFIABLE 2400.00/2399.70 c Best value found: -503 2400.00/2399.70 2400.00/2399.70 2400.00/2399.70 v <instantiation type='solution' cost='-503'> 2400.00/2399.70 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> 2400.00/2399.70 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> 2400.00/2399.70 v </instantiation> 2400.00/2399.70
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 (14137 MiB free) memory of node 1: 16384 MiB (12346 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267084-1502607922/watcher-4267084-1502607922 -o /tmp/evaluation-result-4267084-1502607922/solver-4267084-1502607922 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502602193-30973 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267084-1502607922.xml running on 4 cores: 0,2,4,6 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=31641, runsolver pid=31638 [startup+0.100156 s]* /proc/loadavg: 2.07 2.07 2.01 3/188 31642 /proc/meminfo: memFree=27118432/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=29012 memory=5484 CPUtime=0.1 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 1582 0 0 0 10 0 0 0 20 0 1 0 93880025 29708288 1371 33554432000 4194304 5748600 140731947079408 140731947076056 139682594263582 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 7253 1371 775 380 0 671 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 29012 KiB Current children cumulated memory: 5484 KiB [startup+0.209758 s]* /proc/loadavg: 2.07 2.07 2.01 3/188 31642 /proc/meminfo: memFree=27116944/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=30340 memory=6804 CPUtime=0.21 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 1912 0 0 0 21 0 0 0 20 0 1 0 93880025 31068160 1701 33554432000 4194304 5748600 140731947079408 140731947076056 4856448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 7585 1701 775 380 0 1003 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 30340 KiB Current children cumulated memory: 6804 KiB [startup+0.309163 s]* /proc/loadavg: 2.07 2.07 2.01 3/188 31642 /proc/meminfo: memFree=27115828/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=31520 memory=7996 CPUtime=0.31 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 2214 0 0 0 31 0 0 0 20 0 1 0 93880025 32276480 1999 33554432000 4194304 5748600 140731947079408 140731947076056 139682594266085 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 7880 1999 775 380 0 1298 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 31520 KiB Current children cumulated memory: 7996 KiB [startup+0.700228 s] /proc/loadavg: 2.07 2.07 2.01 3/188 31642 /proc/meminfo: memFree=27113152/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=36236 memory=12844 CPUtime=0.69 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 3375 0 0 0 69 0 0 0 20 0 1 0 93880025 37105664 3211 33554432000 4194304 5748600 140731947079408 140731947072872 139682603907476 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 9059 3211 775 380 0 2477 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 36236 KiB Current children cumulated memory: 12844 KiB [startup+1.50023 s] /proc/loadavg: 2.07 2.07 2.01 3/188 31642 /proc/meminfo: memFree=27105756/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41104 memory=17904 CPUtime=1.49 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 4655 0 0 0 149 0 0 0 20 0 1 0 93880025 42090496 4476 33554432000 4194304 5748600 140731947079408 140731947076936 5025632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10276 4476 827 380 0 3694 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 41104 KiB Current children cumulated memory: 17904 KiB [startup+3.10892 s] /proc/loadavg: 2.07 2.07 2.01 3/188 31642 /proc/meminfo: memFree=27105508/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41104 memory=17976 CPUtime=3.09 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 6238 0 0 0 309 0 0 0 20 0 1 0 93880025 42090496 4494 33554432000 4194304 5748600 140731947079408 140731947076936 5025632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10276 4494 827 380 0 3694 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 41104 KiB Current children cumulated memory: 17976 KiB [startup+6.30022 s] /proc/loadavg: 2.07 2.07 2.01 2/182 31688 /proc/meminfo: memFree=27112008/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41104 memory=17976 CPUtime=6.29 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 7822 0 0 0 628 1 0 0 20 0 1 0 93880025 42090496 4494 33554432000 4194304 5748600 140731947079408 140731947076936 5025632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10276 4494 827 380 0 3694 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 41104 KiB Current children cumulated memory: 17976 KiB [startup+12.7002 s] /proc/loadavg: 2.06 2.07 2.01 3/188 31764 /proc/meminfo: memFree=26853144/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41104 memory=17976 CPUtime=12.69 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 9407 0 0 0 1268 1 0 0 20 0 1 0 93880025 42090496 4494 33554432000 4194304 5748600 140731947079408 140731947076936 4940455 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10276 4494 827 380 0 3694 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 41104 KiB Current children cumulated memory: 17976 KiB [startup+25.5002 s] /proc/loadavg: 2.05 2.07 2.01 3/188 31764 /proc/meminfo: memFree=26840552/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41104 memory=17976 CPUtime=25.49 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 12153 0 0 0 2548 1 0 0 20 0 1 0 93880025 42090496 4494 33554432000 4194304 5748600 140731947079408 140731947076936 4940896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10276 4494 827 380 0 3694 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 41104 KiB Current children cumulated memory: 17976 KiB [startup+51.1089 s] /proc/loadavg: 2.03 2.06 2.01 3/188 31764 /proc/meminfo: memFree=26837840/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41104 memory=17976 CPUtime=51.09 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 12604 0 0 0 5108 1 0 0 20 0 1 0 93880025 42090496 4494 33554432000 4194304 5748600 140731947079408 140731947076936 4940577 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10276 4494 827 380 0 3694 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 41104 KiB Current children cumulated memory: 17976 KiB [startup+102.3 s] /proc/loadavg: 2.01 2.05 2.01 3/188 31765 /proc/meminfo: memFree=26837604/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=102.28 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 13200 0 0 0 10227 1 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4903082 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+162.3 s] /proc/loadavg: 2.04 2.06 2.02 3/188 31766 /proc/meminfo: memFree=26837004/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=162.29 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 13690 0 0 0 16228 1 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4941745 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+222.3 s] /proc/loadavg: 2.01 2.05 2.02 3/188 31767 /proc/meminfo: memFree=26831104/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=222.3 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 14181 0 0 0 22229 1 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4954393 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 222.3 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+282.3 s] /proc/loadavg: 2.01 2.04 2.02 3/187 31769 /proc/meminfo: memFree=26830580/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=282.31 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 14181 0 0 0 28230 1 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 5025861 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.02 3/187 31770 /proc/meminfo: memFree=26830332/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=342.32 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 14671 0 0 0 34231 1 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4942373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+402.3 s] /proc/loadavg: 1.95 2.01 2.01 3/187 31771 /proc/meminfo: memFree=26829960/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=402.32 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 14671 0 0 0 40231 1 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4940912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+462.3 s] /proc/loadavg: 1.98 2.01 2.01 3/187 31773 /proc/meminfo: memFree=26829868/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=462.33 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 15161 0 0 0 46232 1 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4873135 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB ################ # More data... # ################ /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 1662.5 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.01 3/187 31832 /proc/meminfo: memFree=26828004/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=1722.51 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 20066 0 0 0 172249 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4940455 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 1722.51 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.01 3/188 31841 /proc/meminfo: memFree=26827700/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=1782.52 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 20554 0 0 0 178250 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4940460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 1782.52 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.01 3/188 31842 /proc/meminfo: memFree=26827940/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=1842.52 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 20554 0 0 0 184250 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 5142623 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 1842.52 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.01 3/188 31843 /proc/meminfo: memFree=26827668/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=1902.53 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 21045 0 0 0 190251 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4940984 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 1902.53 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+1962.3 s] /proc/loadavg: 2.03 2.03 2.02 3/188 31844 /proc/meminfo: memFree=26827644/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=1962.54 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 21045 0 0 0 196252 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 5025680 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 1962.54 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.02 3/188 31845 /proc/meminfo: memFree=26827892/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=2022.55 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 21533 0 0 0 202253 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4941251 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 2022.55 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 31847 /proc/meminfo: memFree=26827904/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=2082.56 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 21535 0 0 0 208254 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4906939 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 2082.56 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 31848 /proc/meminfo: memFree=26827632/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=2142.56 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 22026 0 0 0 214254 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 5000352 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 2142.56 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+2202.3 s] /proc/loadavg: 2.04 2.03 2.02 3/187 31849 /proc/meminfo: memFree=26827624/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=2202.57 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 22026 0 0 0 220255 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 5122362 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 2202.57 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+2262.3 s] /proc/loadavg: 2.01 2.02 2.02 3/187 31851 /proc/meminfo: memFree=26827356/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=2262.58 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 22514 0 0 0 226256 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4940631 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 2262.58 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 31852 /proc/meminfo: memFree=26827456/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=2322.59 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 22515 0 0 0 232257 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 5025680 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 2322.59 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.02 3/187 31860 /proc/meminfo: memFree=26827036/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=2382.6 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 23006 0 0 0 238258 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 5000368 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 2382.6 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.7 s] /proc/loadavg: 2.00 2.01 2.02 3/187 31860 /proc/meminfo: memFree=26827036/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=2400 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 23006 0 0 0 239998 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4941918 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.7 s] # the end of solver process 31641 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.98 s, system=0.023002 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2399.7 s] /proc/loadavg: 2.00 2.01 2.02 3/187 31860 /proc/meminfo: memFree=26827036/32770624 swapFree=67108860/67108860 [pid=31641] ppid=31638 vsize=41236 memory=18160 CPUtime=2400 cores=0,2,4,6 /proc/31641/stat : 31641 (cosoco) R 31638 31641 30942 0 -1 4202496 23006 0 0 0 239998 2 0 0 20 0 1 0 93880025 42225664 4540 33554432000 4194304 5748600 140731947079408 140731947066680 4941918 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 26353664 140731947082943 140731947083038 140731947083038 140731947085774 0 /proc/31641/statm: 10309 4540 827 380 0 3727 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 18160 KiB Child status: 1 Real time (s): 2399.7 CPU time (s): 2400.01 CPU user time (s): 2399.98 CPU system time (s): 0.023002 CPU usage (%): 100.013 Max. virtual memory (cumulated for all children) (KiB): 41236 Max. memory (cumulated for all children) (KiB): 18160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.98 system time used= 0.023002 maximum resident set size= 18224 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23058 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= 759 # summary of solver processes directly reported to runsolver: # pid: 31641 # total CPU time (s): 2400.01 # total CPU user time (s): 2399.98 # total CPU system time (s): 0.023002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.40887 second user time and 16.5242 second system time The end
Begin job on node114 at 2017-08-13 08:51:04 IDJOB=4267084 IDBENCH=127025 IDSOLVER=2657 FILE ID=node114/4267084-1502607922 RUNJOBID= node114-1502602193-30973 PBS_JOBID= 20628297 Free space on /tmp= 61696 MiB SOLVER NAME= cosoco-mini 1.12 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-038.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267084-1502607922/watcher-4267084-1502607922 -o /tmp/evaluation-result-4267084-1502607922/solver-4267084-1502607922 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502602193-30973 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267084-1502607922.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c46c59146557e02d06c9ff3e1746190 RANDOM SEED=154483248 node114.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 : 5332.98 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 : 5332.98 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 : 5332.98 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 : 5332.98 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: 27119976 kB MemAvailable: 31987916 kB Buffers: 140080 kB Cached: 5018664 kB SwapCached: 0 kB Active: 382720 kB Inactive: 4834844 kB Active(anon): 61956 kB Inactive(anon): 25036 kB Active(file): 320764 kB Inactive(file): 4809808 kB Unevictable: 6520 kB Mlocked: 6520 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2248 kB Writeback: 0 kB AnonPages: 71872 kB Mapped: 44636 kB Shmem: 25224 kB Slab: 131732 kB SReclaimable: 106408 kB SUnreclaim: 25324 kB KernelStack: 3584 kB PageTables: 5100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 355400 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61696 MiB End job on node114 at 2017-08-13 09:31:03