Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 17697 | 2520.07 | 2520.01 |
| Name | NurseRostering/ NurseRostering-08_c18.xml |
| MD5SUM | d61cb971f7c35e7f42e62a62e90db6df |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 9900 |
| Best CPU time to get the best result obtained on this benchmark | 2520.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1615 |
| Number of constraints | 4057 |
| Number of domains | 17 |
| Minimum domain size | 1 |
| Maximum domain size | 31 |
| Distribution of domain sizes | [{"size":1,"count":65},{"size":2,"count":347},{"size":3,"count":4},{"size":5,"count":856},{"size":6,"count":1},{"size":9,"count":6},{"size":15,"count":24},{"size":29,"count":60},{"size":31,"count":252}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 27 |
| Distribution of variable degrees | [{"degree":2,"count":655},{"degree":3,"count":120},{"degree":14,"count":3},{"degree":15,"count":26},{"degree":16,"count":25},{"degree":17,"count":11},{"degree":18,"count":21},{"degree":19,"count":40},{"degree":20,"count":52},{"degree":21,"count":62},{"degree":22,"count":101},{"degree":23,"count":201},{"degree":24,"count":145},{"degree":25,"count":88},{"degree":26,"count":52},{"degree":27,"count":13}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 60 |
| Distribution of constraint arities | [{"arity":2,"count":1704},{"arity":3,"count":1144},{"arity":4,"count":205},{"arity":5,"count":30},{"arity":6,"count":529},{"arity":7,"count":154},{"arity":29,"count":150},{"arity":31,"count":140},{"arity":60,"count":1}] |
| Number of extensional constraints | 950 |
| Number of intensional constraints | 511 |
| Distribution of constraint types | [{"type":"extension","count":950},{"type":"intension","count":511},{"type":"regular","count":1562},{"type":"sum","count":60},{"type":"count","count":973},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.31/0.34 c best=?? lower=0 upper=48651 36.49/36.52 c 36.49/36.52 c This is cosoco 1.12 -- 36.49/36.52 c 36.49/36.52 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4292991-1532302778.xml 36.49/36.52 c enable optimization 36.49/36.52 c ========================================[ Problem Statistics ]=========================================== 36.49/36.52 c | 36.49/36.52 c | Parse time : 0.33 s 36.49/36.52 c | 36.49/36.52 c | Variables: 1615 36.49/36.52 c | Domain Sizes: 1..31 36.49/36.52 c | 36.49/36.52 c | Constraints: 4147 36.49/36.52 c | Arity: 1..365 -- Unary: 60 -- Binary: 1704 -- Ternary: 1144 36.49/36.52 c | 36.49/36.52 c | Types: 36.49/36.52 c | At least: 683 36.49/36.52 c | Exactly K variable: 290 36.49/36.52 c | Extension: 950 (nb tuples: 0..31) -- (shared: 913) 36.49/36.52 c | Intension: 511 36.49/36.52 c | MDD: 1562 36.49/36.52 c | Sum: 91 36.49/36.52 c | Unary: 60 36.49/36.52 c | 36.49/36.52 c | Objective: Minimize Sum 36.49/36.52 36.49/36.52 c ========================================================================================================= 36.49/36.52 o 21051 36.49/36.52 c 1 calls to solver: best=21051 lower=0 upper=21050 37.10/37.17 o 20843 37.79/37.85 o 18868 37.79/37.85 c 3 calls to solver: best=18868 lower=0 upper=18867 148.68/148.73 o 17697 2520.06/2520.00 2520.06/2520.00 c *** INTERRUPTED *** 2520.06/2520.00 c restarts : 94 2520.06/2520.00 c conflicts : 8077795 (3205 /sec) 2520.06/2520.00 c decisions : 26426630 (10487 /sec) 2520.06/2520.00 c propagations : 442909890 (175757 /sec) 2520.06/2520.00 c root propagations : 4094 2520.06/2520.00 c filter calls : 1261473339 (500581 /sec) 2520.06/2520.00 c useless filter calls : 982428140 (77 %) 2520.06/2520.00 c Memory used : 75.65 MB 2520.06/2520.00 c CPU time : 2520.02 s 2520.06/2520.00 2520.06/2520.00 c nb Solutions = 4 2520.06/2520.00 s SATISFIABLE 2520.06/2520.00 c Best value found: 17697 2520.06/2520.00 2520.06/2520.00 2520.06/2520.00 v <instantiation type='solution' cost='17697'> 2520.06/2520.00 v <list>cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cf[0] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[1] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[2] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[3] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[4] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[5] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[6] cf[70] cf[71] cf[72] cf[73] cf[74] cf[75] cf[76] cf[77] cf[78] cf[79] cf[7] cf[80] cf[81] cf[82] cf[83] cf[84] cf[85] cf[8] cf[9] cn[0] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[10] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[11] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[12] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[1] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[2] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[3] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[4] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[5] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[6] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[7] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[8] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[9] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list> 2520.06/2520.00 v <values>0 7 500 0 0 200 4 300 200 0 5 3 400 300 0 2 0 500 300 0 0 1 400 100 0 2 6 400 400 0 4 5 400 300 0 3 7 400 300 0 0 10 300 200 0 300 3 100 0 0 300 0 400 100 0 100 7 200 100 0 200 0 700 300 0 2 1 400 300 0 4 3 300 300 0 7 5 400 300 0 8 5 500 200 0 2 6 100 100 0 100 0 100 300 0 100 1 100 100 0 0 3 100 100 0 0 1 500 100 0 2 2 400 200 0 2 0 500 500 0 2 3 400 300 0 4 9 400 300 0 2 9 200 0 0 300 2 400 300 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 2 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 0 0 3 2 2 0 0 0 0 3 0 0 0 0 0 0 1 1 1 0 0 2 2 2 0 0 2 2 2 2 2 0 0 0 0 0 0 0 0 2 0 0 0 1 1 1 1 1 2 2 3 2 2 0 0 0 0 0 3 3 2 3 2 3 3 1 1 1 1 1 1 2 1 2 2 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 0 1 1 1 0 0 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 12 2 2 9 4 7 2 0 17 10 8 0 0 12 7 5 0 0 18 5 5 1 1 18 7 11 1 0 11 8 10 1 0 11 6 12 1 1 10 3 16 2 1 8 3 9 2 3 13 1 7 1 2 19 5 12 3 2 8 3 4 0 0 23 7 6 0 0 17 9 8 1 0 12 10 10 1 0 9 11 8 1 1 9 5 11 3 3 8 4 4 3 1 18 2 3 1 1 23 5 6 3 2 14 5 7 2 2 14 7 5 2 1 15 7 4 0 0 19 7 6 1 0 16 9 13 2 1 5 6 14 3 2 5 2 9 2 0 17 0 17 0 0 11 6 7 0 4 11 13 4 0 0 11 0 15 2 0 11 13 4 0 0 11 9 0 9 0 10 14 3 0 0 11 12 6 0 0 10 0 17 0 0 11 0 18 0 0 10 3 4 10 0 11 13 3 0 1 11 4 9 0 4 11 12 5 0 0 11 14 3 0 0 11 0 8 0 2 18 0 8 2 0 18 0 0 8 2 18 0 8 2 0 18 4 0 6 0 18 0 6 0 1 21 0 4 2 1 21 0 18 0 0 10 0 17 0 0 11 14 2 0 1 11 8 6 0 4 10 0 13 0 4 11 11 6 0 0 11 13 4 0 1 10 0 17 0 1 10 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 4 1 0 4 1 2 0 1 1 1 2 1 3 4 4 1 1 3 4 4 4 4 4 1 0 0 1 0 1 1 1 4 4 4 0 0 0 0 4 1 2 4 1 4 4 4 4 2 4 4 4 4 1 1 4 4 1 1 4 4 1 0 0 4 0 0 0 4 4 1 4 0 4 0 0 1 1 4 4 4 4 4 1 4 1 0 1 4 0 1 4 0 1 4 4 4 0 4 4 4 4 0 4 0 0 4 1 4 1 4 4 4 4 4 1 0 4 4 0 1 4 3 1 1 4 4 0 4 4 4 4 0 4 0 0 4 1 4 2 4 4 4 4 1 4 0 4 4 4 1 1 4 4 1 0 4 0 1 1 4 1 0 0 0 0 1 1 4 4 2 4 4 1 1 4 1 4 0 4 1 1 4 4 1 0 0 4 1 1 1 1 0 0 0 1 1 4 4 4 2 4 4 1 1 0 4 4 0 0 4 1 0 1 1 1 0 4 1 1 1 1 4 0 0 1 1 4 3 1 2 4 4 4 1 0 4 4 4 0 4 1 1 1 1 1 0 0 1 1 1 1 4 1 4 4 4 2 4 1 2 1 4 4 1 0 3 1 4 1 1 1 1 4 4 4 0 0 4 1 1 2 4 1 4 4 4 2 4 1 4 4 3 4 4 3 3 1 0 1 1 4 1 4 4 4 4 4 4 1 1 2 4 1 4 4 1 4 4 1 4 4 4 1 4 4 3 3 0 4 4 4 3 0 2 1 2 0 1 1 1 2 1 3 0 4 1 4 4 4 4 4 4 1 1 0 1 1 0 1 1 4 1 0 4 0 4 4 4 4 1 4 4 4 4 4 4 4 4 1 4 4 4 1 4 4 4 4 0 4 4 1 4 0 1 0 4 0 0 4 4 4 0 4 1 0 4 4 4 4 4 4 4 1 4 4 4 4 1 0 1 1 4 0 1 0 2 0 0 4 4 4 0 4 1 0 4 4 4 4 4 1 4 1 4 0 0 1 1 0 1 1 0 0 1 0 2 1 0 1 4 4 0 0 1 0 4 4 4 4 4 1 4 1 1 0 0 1 4 0 1 1 0 0 1 0 4 1 0 1 4 0 0 3 1 0 4 4 2 4 0 1 4 4 1 0 0 4 4 0 1 1 0 4 1 4 4 1 0 1 1 0 1 3 1 1 4 4 2 2 0 1 2 4 1 0 1 4 4 3 3 4 4 4 4 4 2 4 0 1 1 0 4 4 4 4 1 4 2 4 0 4 2 1 4 4 4 3 0 4 4 4 4 4 4 4 2 4 4 1 1 4 4 4 4 4 4 4 4 4 0 4 4 1 4 4 4 3 0 4 4 4 3 0 2 4 2 0 4 1 1 2 3 4 0 0 4 4 4 4 4 4 4 1 1 4 1 1 0 4 4 1 3 0 4 4 2 0 4 1 1 2 4 4 0 0 4 4 4 4 4 3 4 1 1 4 1 1 0 4 4 1 4 0 4 0 2 0 4 4 4 2 4 4 0 0 4 4 4 4 4 4 1 1 4 0 1 3 4 0 1 4 4 4 1 0 4 4 0 4 4 4 0 1 0 0 4 4 4 4 4 4 1 4 4 0 4 4 4 0 1 4 4 4 1 0 4 4 0 4 4 4 0 1 0 0 4 1 2 4 4 4 1 4 1 0 4 4 4 0 1 1 1 0 1 0 0 4 0 4 1 4 0 1 4 0 3 1 2 1 2 4 1 1 1 0 0 1 1 0 1 1 1 0 1 4 0 4 0 1 1 2 0 1 4 4 3 1 2 1 2 1 4 1 1 0 3 1 1 0 1 1 4 4 1 4 0 4 0 1 1 2 4 1 4 4 4 4 2 4 4 4 4 1 1 4 4 1 1 4 4 </values> 2520.06/2520.01 v </instantiation> 2520.06/2520.01
OK 17697
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 (10590 MiB free)
memory of node 1: 16384 MiB (12117 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292991-1532302778/watcher-4292991-1532302778 -o /tmp/evaluation-result-4292991-1532302778/solver-4292991-1532302778 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532297735-5127 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292991-1532302778.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=5596, runsolver pid=5593
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 2.00 2.00 2.01 3/191 5597
/proc/meminfo: memFree=23241964/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=34616 memory=11108 CPUtime=0.1 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 2944 0 0 0 10 0 0 0 20 0 1 0 47840985 35446784 2777 33554432000 4194304 6142532 140732028703536 140732028700168 140170436229024 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 8654 2777 841 476 0 1976 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34616 KiB
Current children cumulated memory: 11108 KiB
[startup+0.209796 s]*
/proc/loadavg: 2.00 2.00 2.01 4/191 5597
/proc/meminfo: memFree=23228200/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=53248 memory=29684 CPUtime=0.2 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 7607 0 0 0 20 0 0 0 20 0 1 0 47840985 54525952 7421 33554432000 4194304 6142532 140732028703536 140732028700168 140170436180965 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 13312 7421 856 476 0 6634 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53248 KiB
Current children cumulated memory: 29684 KiB
[startup+0.309587 s]*
/proc/loadavg: 2.00 2.00 2.01 3/191 5597
/proc/meminfo: memFree=23211832/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=63864 memory=40288 CPUtime=0.31 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 10282 0 0 0 30 1 0 0 20 0 1 0 47840985 65396736 10072 33554432000 4194304 6142532 140732028703536 140732028700168 140170436180965 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 15966 10072 856 476 0 9288 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63864 KiB
Current children cumulated memory: 40288 KiB
[startup+0.700304 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5597
/proc/meminfo: memFree=23202640/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=71452 memory=47940 CPUtime=0.69 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 12202 0 0 0 68 1 0 0 20 0 1 0 47840985 73166848 11985 33554432000 4194304 6142532 140732028703536 140732028700168 5001200 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 17863 11985 899 476 0 11185 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71452 KiB
Current children cumulated memory: 47940 KiB
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5597
/proc/meminfo: memFree=23196800/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=74796 memory=51372 CPUtime=1.49 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 13059 0 0 0 148 1 0 0 20 0 1 0 47840985 76591104 12843 33554432000 4194304 6142532 140732028703536 140732028700168 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 18699 12843 899 476 0 12021 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 74796 KiB
Current children cumulated memory: 51372 KiB
[startup+3.10963 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5597
/proc/meminfo: memFree=23191332/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=74932 memory=51692 CPUtime=3.1 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 22009 0 0 0 308 2 0 0 20 0 1 0 47840985 76730368 12923 33554432000 4194304 6142532 140732028703536 140732028700392 5001200 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 18733 12923 899 476 0 12055 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 74932 KiB
Current children cumulated memory: 51692 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5597
/proc/meminfo: memFree=23190148/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=75064 memory=51848 CPUtime=6.29 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 31279 0 0 0 627 2 0 0 20 0 1 0 47840985 76865536 12962 33554432000 4194304 6142532 140732028703536 140732028700264 5170052 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 18766 12962 899 476 0 12088 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 75064 KiB
Current children cumulated memory: 51848 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5597
/proc/meminfo: memFree=23189404/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=75596 memory=52412 CPUtime=12.69 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 40832 0 0 0 1267 2 0 0 20 0 1 0 47840985 77410304 13103 33554432000 4194304 6142532 140732028703536 140732028700280 5215644 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 18899 13103 899 476 0 12221 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 75596 KiB
Current children cumulated memory: 52412 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5604
/proc/meminfo: memFree=23187028/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=76264 memory=53092 CPUtime=25.49 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 54806 0 0 0 2546 3 0 0 20 0 1 0 47840985 78094336 13273 33554432000 4194304 6142532 140732028703536 140732028700248 5138432 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19066 13273 899 476 0 12388 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 76264 KiB
Current children cumulated memory: 53092 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5604
/proc/meminfo: memFree=23187364/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77200 memory=54028 CPUtime=51.1 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 69123 0 0 0 5106 4 0 0 20 0 1 0 47840985 79052800 13507 33554432000 4194304 6142532 140732028703536 140732028690808 5335943 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19300 13507 900 476 0 12622 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 77200 KiB
Current children cumulated memory: 54028 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5605
/proc/meminfo: memFree=23186616/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77200 memory=54028 CPUtime=102.28 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 77265 0 0 0 10224 4 0 0 20 0 1 0 47840985 79052800 13507 33554432000 4194304 6142532 140732028703536 140732028690808 5215647 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19300 13507 900 476 0 12622 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 77200 KiB
Current children cumulated memory: 54028 KiB
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.02 3/191 5606
/proc/meminfo: memFree=23186724/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54236 CPUtime=162.28 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 77561 0 0 0 16224 4 0 0 20 0 1 0 47840985 79323136 13559 33554432000 4194304 6142532 140732028703536 140732028701064 5215647 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13559 900 476 0 12688 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54236 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.02 3/190 5607
/proc/meminfo: memFree=23186672/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54248 CPUtime=222.28 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 77729 0 0 0 22224 4 0 0 20 0 1 0 47840985 79323136 13562 33554432000 4194304 6142532 140732028703536 140732028701064 5366756 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13562 900 476 0 12688 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54248 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.02 3/190 5608
/proc/meminfo: memFree=23186604/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54248 CPUtime=282.28 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 78031 0 0 0 28224 4 0 0 20 0 1 0 47840985 79323136 13562 33554432000 4194304 6142532 140732028703536 140732028701064 5336753 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13562 900 476 0 12688 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54248 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 5609
/proc/meminfo: memFree=23185052/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54248 CPUtime=342.28 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 78260 0 0 0 34224 4 0 0 20 0 1 0 47840985 79323136 13562 33554432000 4194304 6142532 140732028703536 140732028701064 140170446125894 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13562 900 476 0 12688 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54248 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 5610
/proc/meminfo: memFree=23185112/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54248 CPUtime=402.29 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 78263 0 0 0 40225 4 0 0 20 0 1 0 47840985 79323136 13562 33554432000 4194304 6142532 140732028703536 140732028701064 140170437101478 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13562 900 476 0 12688 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54248 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 5611
/proc/meminfo: memFree=23183840/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54248 CPUtime=462.29 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 78434 0 0 0 46225 4 0 0 20 0 1 0 47840985 79323136 13562 33554432000 4194304 6142532 140732028703536 140732028701064 4995594 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13562 900 476 0 12688 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54248 KiB
################
# More data... #
################
/proc/5596/statm: 19366 13568 900 476 0 12688 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54272 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5678
/proc/meminfo: memFree=23182280/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=1782.33 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 82506 0 0 0 178228 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5001204 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5686
/proc/meminfo: memFree=23181260/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=1842.33 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 82627 0 0 0 184228 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5140588 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5687
/proc/meminfo: memFree=23181492/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=1902.33 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 82748 0 0 0 190228 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5138432 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5689
/proc/meminfo: memFree=23182528/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=1962.34 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 82894 0 0 0 196229 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5335943 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
[startup+2022.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/191 5691
/proc/meminfo: memFree=23181216/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=2022.34 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 83013 0 0 0 202229 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5001204 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
[startup+2082.3 s]
/proc/loadavg: 2.25 2.13 2.09 3/191 5692
/proc/meminfo: memFree=23181284/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=2082.34 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 83250 0 0 0 208229 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5138432 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
[startup+2142.3 s]
/proc/loadavg: 2.06 2.09 2.07 3/191 5693
/proc/meminfo: memFree=23181020/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=2142.34 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 83423 0 0 0 214229 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5146967 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/191 5694
/proc/meminfo: memFree=23180904/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=2202.34 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 83587 0 0 0 220229 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5215649 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
[startup+2262.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/190 5695
/proc/meminfo: memFree=23181204/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=2262.35 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 83626 0 0 0 226230 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5215644 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/190 5696
/proc/meminfo: memFree=23181004/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=2322.35 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 83763 0 0 0 232230 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5215632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/190 5697
/proc/meminfo: memFree=23180760/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=2382.35 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 83985 0 0 0 238230 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5001200 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 5707
/proc/meminfo: memFree=23180780/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=2442.35 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 84109 0 0 0 244230 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5139897 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
[startup+2502.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/192 5708
/proc/meminfo: memFree=23180956/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=2502.35 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 84233 0 0 0 250230 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5140128 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.03 2.04 2.05 6/205 5737
/proc/meminfo: memFree=23230120/32770624 swapFree=67108860/67108860
[pid=5596] ppid=5593 vsize=77464 memory=54288 CPUtime=2520.06 cores=1,3,5,7
/proc/5596/stat : 5596 (cosoco) R 5593 5596 5095 0 -1 4202496 84357 0 0 0 252001 5 0 0 20 0 1 0 47840985 79323136 13572 33554432000 4194304 6142532 140732028703536 140732028701064 5138244 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 35057664 140732028712070 140732028712200 140732028712200 140732028714958 0
/proc/5596/statm: 19366 13572 900 476 0 12688 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 77464 KiB
Current children cumulated memory: 54288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 5596 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.02 s, system=0.052001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.07
CPU user time (s): 2520.02
CPU system time (s): 0.052001
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 77464
Max. memory (cumulated for all children) (KiB): 54288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.02
system time used= 0.052001
maximum resident set size= 54352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84406
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= 25
involuntary context switches= 909
# summary of solver processes directly reported to runsolver:
# pid: 5596
# total CPU time (s): 2520.07
# total CPU user time (s): 2520.02
# total CPU system time (s): 0.052001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.64347 second user time and 16.4811 second system time
The end
Begin job on node135 at 2018-07-23 01:39:38 IDJOB=4292991 IDBENCH=141055 IDSOLVER=2752 FILE ID=node135/4292991-1532302778 RUNJOBID= node135-1532297735-5127 PBS_JOBID= 21018994 Free space on /tmp= 52932 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/NurseRostering/NurseRostering-08_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292991-1532302778/watcher-4292991-1532302778 -o /tmp/evaluation-result-4292991-1532302778/solver-4292991-1532302778 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532297735-5127 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292991-1532302778.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d61cb971f7c35e7f42e62a62e90db6df RANDOM SEED=1224407196 node135.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.50 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.50 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.50 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.50 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: 23253780 kB MemAvailable: 31833268 kB Buffers: 178852 kB Cached: 8588592 kB SwapCached: 0 kB Active: 1524632 kB Inactive: 7402612 kB Active(anon): 109260 kB Inactive(anon): 69912 kB Active(file): 1415372 kB Inactive(file): 7332700 kB Unevictable: 7188 kB Mlocked: 7188 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5744 kB Writeback: 0 kB AnonPages: 166856 kB Mapped: 38372 kB Shmem: 17056 kB Slab: 288120 kB SReclaimable: 259876 kB SUnreclaim: 28244 kB KernelStack: 3376 kB PageTables: 5272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 448604 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 52928 MiB End job on node135 at 2018-07-23 02:21:38