| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 25329 | 251.964 | 252.011 |
| Name | NurseRostering/ NurseRostering-10_c18.xml |
| MD5SUM | 8e8c57bbf90dbce08cf7a3cf301ec8dd |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 11310 |
| Best CPU time to get the best result obtained on this benchmark | 252.088 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2140 |
| Number of constraints | 5421 |
| Number of domains | 18 |
| Minimum domain size | 1 |
| Maximum domain size | 41 |
| Distribution of domain sizes | [{"size":1,"count":94},{"size":2,"count":444},{"size":6,"count":1141},{"size":9,"count":7},{"size":10,"count":18},{"size":29,"count":128},{"size":41,"count":308}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 27 |
| Distribution of variable degrees | [{"degree":2,"count":860},{"degree":3,"count":160},{"degree":17,"count":33},{"degree":18,"count":41},{"degree":19,"count":6},{"degree":20,"count":31},{"degree":21,"count":40},{"degree":22,"count":67},{"degree":23,"count":71},{"degree":24,"count":80},{"degree":25,"count":360},{"degree":26,"count":293},{"degree":27,"count":98}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 80 |
| Distribution of constraint arities | [{"arity":2,"count":1932},{"arity":3,"count":2080},{"arity":4,"count":40},{"arity":6,"count":960},{"arity":29,"count":240},{"arity":41,"count":168},{"arity":80,"count":1}] |
| Number of extensional constraints | 1248 |
| Number of intensional constraints | 684 |
| Distribution of constraint types | [{"type":"extension","count":1248},{"type":"intension","count":684},{"type":"regular","count":2080},{"type":"sum","count":80},{"type":"count","count":1328},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.41/0.48 c best=?? lower=0 upper=69864 4.99/5.07 c 4.99/5.07 c This is cosoco 1.12 -- 4.99/5.07 c 4.99/5.07 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301272-1532878533.xml 4.99/5.07 c enable optimization 4.99/5.07 c ========================================[ Problem Statistics ]=========================================== 4.99/5.07 c | 4.99/5.07 c | Parse time : 0.45 s 4.99/5.07 c | 4.99/5.07 c | Variables: 2140 4.99/5.07 c | Domain Sizes: 1..41 4.99/5.07 c | 4.99/5.07 c | Constraints: 5541 4.99/5.07 c | Arity: 1..452 -- Unary: 80 -- Binary: 1932 -- Ternary: 2080 4.99/5.07 c | 4.99/5.07 c | Types: 4.99/5.07 c | At least: 920 4.99/5.07 c | Exactly K variable: 408 4.99/5.07 c | Extension: 1248 (nb tuples: 0..41) -- (shared: 1198) 4.99/5.07 c | Intension: 684 4.99/5.07 c | MDD: 2080 4.99/5.07 c | Sum: 121 4.99/5.07 c | Unary: 80 4.99/5.07 c | 4.99/5.07 c | Objective: Minimize Sum 4.99/5.07 4.99/5.07 c ========================================================================================================= 4.99/5.07 o 25329 4.99/5.07 c 1 calls to solver: best=25329 lower=0 upper=25328 251.95/252.00 251.95/252.00 c *** INTERRUPTED *** 251.95/252.00 c restarts : 68 251.95/252.00 c conflicts : 660975 (2624 /sec) 251.95/252.00 c decisions : 2246461 (8919 /sec) 251.95/252.00 c propagations : 40208020 (159638 /sec) 251.95/252.00 c root propagations : 7365 251.95/252.00 c filter calls : 102775517 (408050 /sec) 251.95/252.00 c useless filter calls : 79551845 (77 %) 251.95/252.00 c Memory used : 108.73 MB 251.95/252.00 c CPU time : 251.87 s 251.95/252.00 251.95/252.00 c nb Solutions = 1 251.95/252.00 s SATISFIABLE 251.95/252.00 c Best value found: 25329 251.95/252.00 251.95/252.00 251.95/252.00 v <instantiation type='solution' cost='25329'> 251.95/252.00 v <list>cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[0][5] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[10][5] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[11][5] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[12][5] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[13][5] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[14][5] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[15][5] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[16][5] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[17][5] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[18][5] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[19][5] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[1][5] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[20][5] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[21][5] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[22][5] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[23][5] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[24][5] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[25][5] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[26][5] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] cc[27][5] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[2][5] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[3][5] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[4][5] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[5][5] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[6][5] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[7][5] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[8][5] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[9][5] 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[7] 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[139] cn[13] cn[140] cn[141] cn[142] cn[143] cn[144] cn[145] cn[146] cn[147] cn[148] cn[149] cn[14] cn[150] cn[151] cn[152] cn[153] cn[154] cn[155] cn[156] cn[157] cn[158] cn[159] cn[15] cn[160] cn[161] cn[162] cn[163] cn[164] cn[165] cn[166] cn[167] cn[168] cn[169] cn[16] cn[170] cn[171] cn[172] cn[173] cn[174] cn[175] cn[176] cn[177] cn[178] cn[179] cn[17] cn[180] cn[181] cn[182] cn[183] cn[184] cn[185] cn[186] cn[187] cn[188] cn[189] cn[18] cn[190] cn[191] cn[192] cn[193] cn[194] cn[195] cn[196] cn[197] cn[198] cn[199] cn[19] cn[1] cn[200] cn[201] cn[202] cn[203] cn[204] cn[205] cn[206] cn[207] cn[208] cn[209] 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[0][5] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[10][5] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[11][5] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[12][5] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[13][5] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[14][5] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[15][5] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[16][5] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[17][5] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[18][5] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[19][5] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[1][5] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[20][5] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[21][5] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[22][5] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[23][5] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[24][5] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[25][5] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[26][5] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] ds[27][5] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[2][5] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[3][5] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[4][5] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[5][5] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[6][5] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[7][5] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[8][5] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[9][5] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[0][5] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[10][5] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[11][5] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[12][5] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[13][5] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[14][5] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[15][5] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[16][5] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[17][5] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[18][5] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[19][5] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[1][5] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[20][5] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[21][5] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[22][5] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[23][5] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[24][5] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[25][5] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[26][5] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[27][5] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[28][5] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[29][5] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[2][5] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[30][5] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[31][5] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[32][5] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[33][5] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[34][5] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ps[35][5] ps[36][0] ps[36][1] ps[36][2] ps[36][3] ps[36][4] ps[36][5] ps[37][0] ps[37][1] ps[37][2] ps[37][3] ps[37][4] ps[37][5] ps[38][0] ps[38][1] ps[38][2] ps[38][3] ps[38][4] ps[38][5] ps[39][0] ps[39][1] ps[39][2] ps[39][3] ps[39][4] ps[39][5] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[3][5] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[4][5] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[5][5] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[6][5] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[7][5] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[8][5] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[9][5] 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[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][3] wk[36][0] wk[36][1] wk[36][2] wk[36][3] wk[37][0] wk[37][1] wk[37][2] wk[37][3] wk[38][0] wk[38][1] wk[38][2] wk[38][3] wk[39][0] wk[39][1] wk[39][2] wk[39][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][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] 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][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] 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][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] 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][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] 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][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] 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][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] 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][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] 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][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] 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][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] 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][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] 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][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] 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][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] 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][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] 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][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] 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][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] 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][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] 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][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] 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][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] 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][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] 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][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] 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][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] 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][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] 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][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] 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][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] 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][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] 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][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] 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][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] 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][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list> 251.95/252.01 v <values>9 5 500 300 100 0 10 0 300 300 1 0 6 0 300 100 0 0 1 1 500 600 200 0 200 0 600 700 100 0 7 1 400 400 100 0 9 4 300 200 1 0 5 3 100 100 100 0 6 100 100 0 100 0 7 400 200 100 200 0 2 400 500 200 300 0 14 3 500 100 0 0 3 400 600 500 100 0 13 100 500 500 1 0 14 0 500 500 100 0 14 3 500 500 0 0 9 5 200 400 1 0 2 3 100 400 100 0 200 300 400 500 200 0 400 300 300 500 100 0 11 1 500 200 1 0 10 2 200 200 100 0 9 1 200 100 0 0 300 100 100 500 300 0 400 400 600 200 300 0 5 0 400 0 100 0 6 2 200 0 300 0 6 3 300 0 1 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 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 0 0 0 0 0 0 0 3 0 0 0 3 3 1 1 1 0 0 2 0 0 0 0 0 1 1 3 3 3 2 3 3 0 0 0 0 0 3 3 3 2 3 2 2 0 0 2 2 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 2 0 2 2 2 0 0 0 0 0 0 0 2 0 0 0 0 1 0 3 3 0 0 2 0 0 0 0 2 2 2 2 0 0 2 3 0 0 0 3 3 3 2 2 0 0 2 0 2 0 1 1 1 0 2 2 2 2 3 3 0 0 0 0 0 0 0 2 0 1 1 1 1 1 2 2 2 2 0 1 1 3 3 3 3 3 0 0 3 0 3 3 3 3 0 1 1 1 2 2 0 0 0 0 0 2 0 0 0 0 0 3 0 1 0 0 0 1 1 1 1 0 2 0 1 1 0 0 2 2 2 2 0 2 16 8 1 4 0 11 15 5 2 3 2 13 13 5 2 5 1 14 6 6 0 1 1 26 5 5 1 1 0 28 15 7 1 3 1 13 16 9 2 4 2 7 14 7 4 6 2 7 12 4 4 6 0 14 14 2 3 6 0 15 8 1 0 3 0 28 19 8 1 5 2 5 10 1 0 2 1 26 19 4 1 2 2 12 20 6 1 1 2 10 18 8 2 1 2 9 17 8 1 3 2 9 9 8 4 3 1 15 5 3 0 2 0 30 3 3 1 1 0 32 17 6 0 4 3 10 16 6 1 5 1 11 15 6 2 5 1 11 4 4 3 1 0 28 2 2 1 3 0 32 11 5 1 6 1 16 14 7 3 5 1 10 12 8 0 5 2 13 0 15 0 1 0 12 0 15 0 0 1 12 17 0 0 0 0 11 17 0 0 1 0 10 0 0 0 18 0 10 10 0 1 5 0 12 8 0 1 3 3 13 15 1 0 0 0 12 16 1 0 0 0 11 6 5 0 3 2 12 0 0 9 9 0 10 15 0 3 0 0 10 16 0 0 0 0 12 2 0 0 9 5 12 16 2 0 0 0 10 18 0 0 0 0 10 7 2 0 9 0 10 8 0 0 6 3 11 0 16 0 1 0 11 10 0 3 0 4 11 10 4 0 0 2 12 17 0 1 0 0 10 15 2 0 0 0 11 0 10 3 4 0 11 13 0 4 0 0 11 15 0 0 0 0 13 14 0 3 0 0 11 1 0 0 10 4 13 5 0 3 2 5 13 6 0 1 9 0 12 0 13 0 2 0 13 16 0 0 0 0 12 17 0 0 0 0 11 0 15 2 0 0 11 14 0 0 1 1 12 0 16 0 1 0 11 8 0 8 1 0 11 0 16 0 0 0 12 13 4 0 0 0 11 0 15 0 1 0 12 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 3 3 5 0 0 1 2 0 5 5 0 0 3 5 1 0 5 5 0 5 0 0 0 0 3 0 1 5 0 1 5 1 5 5 0 1 5 1 0 0 3 0 5 5 5 5 3 0 0 0 0 5 0 4 1 4 1 0 5 2 0 0 2 3 0 5 5 5 0 5 0 1 0 5 1 5 5 1 0 3 5 0 5 5 0 5 3 0 0 0 5 0 0 4 1 5 1 0 0 3 2 0 2 3 0 5 5 5 0 5 3 5 5 5 1 1 1 1 0 5 5 0 5 5 1 0 3 5 5 5 5 0 5 5 1 5 4 5 0 5 5 0 5 5 5 5 5 5 5 5 5 5 5 1 5 1 1 1 0 5 5 5 5 5 5 1 5 5 5 5 0 0 5 5 5 5 5 5 0 5 5 0 5 5 5 3 5 5 5 2 5 5 5 1 5 1 1 5 5 0 5 5 4 0 5 1 5 5 5 3 0 0 3 0 5 0 5 0 0 5 2 0 0 5 5 3 1 0 0 1 0 1 0 1 0 1 1 5 5 0 3 0 4 0 0 1 2 5 0 3 0 0 3 0 1 0 1 0 0 5 2 5 0 5 5 3 1 0 0 1 4 1 0 1 0 1 3 1 0 0 3 0 4 0 0 1 2 0 0 3 0 5 5 0 1 2 4 5 5 3 2 5 0 3 2 3 1 0 0 1 5 1 0 1 0 5 5 1 0 0 3 5 5 0 0 5 2 2 0 3 0 5 5 0 3 2 5 5 5 3 5 5 0 3 2 3 1 0 0 1 5 1 0 5 0 5 5 1 5 0 3 5 5 0 0 5 3 2 0 5 5 0 3 3 5 2 5 0 0 3 5 0 0 3 2 5 5 0 0 5 0 1 0 5 0 5 5 1 5 5 3 0 0 5 5 5 5 5 5 5 5 0 3 5 5 5 5 0 0 5 0 0 5 3 5 5 5 5 5 5 0 5 5 5 5 5 1 1 0 0 3 3 5 0 0 4 2 0 5 5 0 0 3 5 1 0 0 0 0 1 0 0 0 4 3 0 1 0 0 1 0 3 5 1 0 1 5 5 0 5 5 0 0 5 5 5 5 5 5 4 0 0 3 5 5 5 5 0 0 5 0 0 5 3 5 5 1 5 5 5 0 5 5 5 5 5 1 5 0 0 5 0 0 5 0 0 3 0 5 4 0 0 3 0 5 5 0 0 0 1 0 0 0 5 4 0 1 0 5 5 0 1 2 5 5 5 1 1 0 0 5 0 0 0 0 0 3 0 5 4 0 5 5 0 1 0 0 0 0 1 0 0 0 5 4 0 5 0 5 5 0 1 2 1 5 5 1 1 0 0 5 2 0 0 0 0 3 0 0 4 0 5 5 0 1 0 0 5 5 1 0 5 0 5 4 0 5 0 0 1 5 1 2 1 0 1 1 1 0 0 3 5 5 5 0 0 3 0 0 4 0 0 0 0 1 0 0 5 5 1 5 5 0 5 4 0 3 0 0 1 5 1 2 1 0 1 1 1 5 0 3 5 5 5 0 0 3 2 0 5 5 0 0 5 1 5 5 0 5 2 5 5 2 5 4 5 3 0 0 1 5 1 2 1 1 1 5 5 5 5 3 5 0 0 5 5 5 5 0 5 5 5 1 5 1 5 5 0 5 5 5 5 5 5 5 5 5 5 0 1 5 5 5 5 5 3 5 5 5 5 3 5 0 1 5 5 5 5 0 5 5 5 1 5 5 5 5 2 5 5 5 5 5 5 5 5 5 5 0 1 5 5 5 5 5 5 5 4 0 0 3 3 5 5 0 4 5 0 5 5 1 0 3 3 1 0 0 0 0 1 0 0 0 4 5 5 5 0 0 1 0 5 0 1 0 1 5 5 0 5 3 3 3 5 0 5 5 0 0 3 1 0 5 3 1 0 0 0 0 1 0 0 0 4 5 5 5 0 0 1 0 5 2 1 0 1 1 5 0 5 3 3 3 0 5 5 2 0 0 3 5 0 5 3 5 0 0 5 0 1 0 0 0 4 5 5 1 0 0 1 0 5 2 1 0 1 1 5 5 5 5 5 5 0 5 5 2 5 0 3 5 5 5 5 5 5 0 5 5 1 5 5 5 5 5 2 1 5 5 5 0 5 2 1 5 5 5 5 5 5 5 5 5 0 5 5 2 5 0 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 3 1 5 5 5 5 1 3 5 5 5 5 5 5 0 3 5 0 0 0 3 2 0 5 3 0 0 0 3 5 4 5 0 1 5 5 5 5 3 0 3 1 0 5 1 5 1 5 5 5 1 1 5 5 0 3 5 2 0 0 3 5 0 5 5 0 0 0 3 1 4 0 0 1 2 0 5 5 3 0 3 1 0 5 2 0 1 5 1 0 1 1 1 0 0 3 0 3 5 5 3 5 0 0 5 0 5 0 4 1 4 1 0 5 1 0 5 5 3 0 3 5 5 5 5 0 1 0 1 1 5 </values> 251.95/252.01 v </instantiation> 251.95/252.01
OK 25329
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 (11639 MiB free)
memory of node 1: 16384 MiB (15002 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301272-1532878533/watcher-4301272-1532878533 -o /tmp/evaluation-result-4301272-1532878533/solver-4301272-1532878533 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532876486-18603 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301272-1532878533.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19834, runsolver pid=19831
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 2.01 2.02 1.93 3/190 19835
/proc/meminfo: memFree=27273524/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=36048 memory=12520 CPUtime=0.1 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 3319 0 0 0 10 0 0 0 20 0 1 0 105416465 36913152 3130 33554432000 4194304 6142532 140723374046576 140723374041384 139852784901093 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 9046 3130 841 476 0 2368 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36048 KiB
Current children cumulated memory: 12520 KiB
[startup+0.20972 s]*
/proc/loadavg: 2.01 2.02 1.93 3/190 19835
/proc/meminfo: memFree=27257280/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=53216 memory=29740 CPUtime=0.21 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 7610 0 0 0 20 1 0 0 20 0 1 0 105416465 54493184 7435 33554432000 4194304 6142532 140723374046576 140723374041384 139852794847920 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 13304 7435 847 476 0 6626 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 29740 KiB
[startup+0.309632 s]*
/proc/loadavg: 2.01 2.02 1.93 3/190 19835
/proc/meminfo: memFree=27237688/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=71996 memory=48540 CPUtime=0.31 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 12316 0 0 0 29 2 0 0 20 0 1 0 105416465 73723904 12135 33554432000 4194304 6142532 140723374046576 140723374041384 139852784949152 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 17999 12135 856 476 0 11321 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 71996 KiB
Current children cumulated memory: 48540 KiB
[startup+0.700315 s]
/proc/loadavg: 2.01 2.02 1.93 3/190 19835
/proc/meminfo: memFree=27215492/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=98736 memory=75292 CPUtime=0.69 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 19021 0 0 0 66 3 0 0 20 0 1 0 105416465 101105664 18823 33554432000 4194304 6142532 140723374046576 140723374043256 5138256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 24684 18823 899 476 0 18006 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 98736 KiB
Current children cumulated memory: 75292 KiB
[startup+1.50028 s]
/proc/loadavg: 2.01 2.02 1.93 3/190 19835
/proc/meminfo: memFree=27205900/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=105816 memory=82420 CPUtime=1.49 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 20803 0 0 0 146 3 0 0 20 0 1 0 105416465 108355584 20605 33554432000 4194304 6142532 140723374046576 140723374043256 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 26454 20605 899 476 0 19776 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 105816 KiB
Current children cumulated memory: 82420 KiB
[startup+3.10945 s]
/proc/loadavg: 2.01 2.02 1.94 3/190 19835
/proc/meminfo: memFree=27201064/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=107568 memory=84360 CPUtime=3.1 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 34295 0 0 0 306 4 0 0 20 0 1 0 105416465 110149632 21090 33554432000 4194304 6142532 140723374046576 140723374043304 5001418 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 26892 21090 899 476 0 20214 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 107568 KiB
Current children cumulated memory: 84360 KiB
[startup+6.30033 s]
/proc/loadavg: 2.01 2.02 1.94 3/190 19835
/proc/meminfo: memFree=27199828/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=108912 memory=85628 CPUtime=6.29 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 48279 0 0 0 624 5 0 0 20 0 1 0 105416465 111525888 21407 33554432000 4194304 6142532 140723374046576 140723374043288 5140152 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 27228 21407 900 476 0 20550 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 108912 KiB
Current children cumulated memory: 85628 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 1.94 3/190 19835
/proc/meminfo: memFree=27198500/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=110524 memory=87280 CPUtime=12.69 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 62570 0 0 0 1263 6 0 0 20 0 1 0 105416465 113176576 21820 33554432000 4194304 6142532 140723374046576 140723374043288 5335920 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 27631 21820 900 476 0 20953 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 110524 KiB
Current children cumulated memory: 87280 KiB
[startup+25.5002 s]
/proc/loadavg: 2.01 2.02 1.94 3/190 19835
/proc/meminfo: memFree=27198764/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=110660 memory=87488 CPUtime=25.49 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 88609 0 0 0 2542 7 0 0 20 0 1 0 105416465 113315840 21872 33554432000 4194304 6142532 140723374046576 140723374043432 5139946 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 27665 21872 900 476 0 20987 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 110660 KiB
Current children cumulated memory: 87488 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.02 1.94 3/190 19835
/proc/meminfo: memFree=27198916/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=110796 memory=87572 CPUtime=51.09 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 102264 0 0 0 5101 8 0 0 20 0 1 0 105416465 113455104 21893 33554432000 4194304 6142532 140723374046576 140723374043432 5001200 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 27699 21893 900 476 0 21021 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 110796 KiB
Current children cumulated memory: 87572 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/190 19836
/proc/meminfo: memFree=27197868/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=111200 memory=87904 CPUtime=102.27 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 116638 0 0 0 10218 9 0 0 20 0 1 0 105416465 113868800 21976 33554432000 4194304 6142532 140723374046576 140723374043352 5318987 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 27800 21976 900 476 0 21122 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 111200 KiB
Current children cumulated memory: 87904 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 19899
/proc/meminfo: memFree=27098232/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=111200 memory=88036 CPUtime=162.25 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 118197 0 0 0 16216 9 0 0 20 0 1 0 105416465 113868800 22009 33554432000 4194304 6142532 140723374046576 140723374043352 5138432 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 27800 22009 900 476 0 21122 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 111200 KiB
Current children cumulated memory: 88036 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 19900
/proc/meminfo: memFree=27087884/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=111332 memory=88096 CPUtime=222.25 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 118685 0 0 0 22216 9 0 0 20 0 1 0 105416465 114003968 22024 33554432000 4194304 6142532 140723374046576 140723374043352 5124065 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 27833 22024 900 476 0 21155 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 111332 KiB
Current children cumulated memory: 88096 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.24 2.06 1.97 3/192 19901
/proc/meminfo: memFree=27088228/32770624 swapFree=67108860/67108860
[pid=19834] ppid=19831 vsize=111332 memory=88112 CPUtime=251.95 cores=0,2,4,6
/proc/19834/stat : 19834 (cosoco) R 19831 19834 15034 0 -1 4202496 118915 0 0 0 25186 9 0 0 20 0 1 0 105416465 114003968 22028 33554432000 4194304 6142532 140723374046576 140723374043352 5215653 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 15917056 140723374052491 140723374052621 140723374052621 140723374055374 0
/proc/19834/statm: 27833 22028 900 476 0 21155 0
Current children cumulated CPU time: 251.95 s
Current children cumulated vsize: 111332 KiB
Current children cumulated memory: 88112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.011 s]
# the end of solver process 19834 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.871 s, system=0.092988 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.011
CPU time (s): 251.964
CPU user time (s): 251.871
CPU system time (s): 0.092988
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 111332
Max. memory (cumulated for all children) (KiB): 88112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.871
system time used= 0.092988
maximum resident set size= 88176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118966
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= 39
involuntary context switches= 270
# summary of solver processes directly reported to runsolver:
# pid: 19834
# total CPU time (s): 251.964
# total CPU user time (s): 251.871
# total CPU system time (s): 0.092988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.925566 second user time and 1.68441 second system time
The end
Begin job on node135 at 2018-07-29 17:35:33 IDJOB=4301272 IDBENCH=141049 IDSOLVER=2774 FILE ID=node135/4301272-1532878533 RUNJOBID= node135-1532876486-18603 PBS_JOBID= 21022499 Free space on /tmp= 52716 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/NurseRostering/NurseRostering-10_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301272-1532878533/watcher-4301272-1532878533 -o /tmp/evaluation-result-4301272-1532878533/solver-4301272-1532878533 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532876486-18603 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301272-1532878533.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e8c57bbf90dbce08cf7a3cf301ec8dd RANDOM SEED=1745892907 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: 27282720 kB MemAvailable: 31825992 kB Buffers: 214868 kB Cached: 4567212 kB SwapCached: 0 kB Active: 1687432 kB Inactive: 3258836 kB Active(anon): 115488 kB Inactive(anon): 76904 kB Active(file): 1571944 kB Inactive(file): 3181932 kB Unevictable: 7212 kB Mlocked: 7212 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2840 kB Writeback: 0 kB AnonPages: 170584 kB Mapped: 46068 kB Shmem: 25248 kB Slab: 239228 kB SReclaimable: 210464 kB SUnreclaim: 28764 kB KernelStack: 3408 kB PageTables: 5520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 461576 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 114688 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= 52712 MiB End job on node135 at 2018-07-29 17:39:45