Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Conflict Ordering 2017-07-26 | OPT | 123 | 7.37641 | 3.0116301 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml |
MD5SUM | b82332625d17a81d2c62c757de216262 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 123 |
Best CPU time to get the best result obtained on this benchmark | 7.2521 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3507 |
Number of constraints | 189 |
Number of domains | 12 |
Minimum domain size | 2 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":2,"count":334},{"size":3,"count":334},{"size":5,"count":334},{"size":8,"count":167},{"size":9,"count":167},{"size":10,"count":334},{"size":11,"count":167},{"size":12,"count":167},{"size":14,"count":668},{"size":15,"count":334},{"size":18,"count":334},{"size":20,"count":167}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":3507}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 3340 |
Distribution of constraint arities | [{"arity":21,"count":167},{"arity":167,"count":21},{"arity":3340,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":187}] |
Optimization problem | YES |
Type of objective | min SUM |
0.34/0.42 c version: 2017-07-26 0.34/0.42 c seed: 428141923 0.34/0.42 c timeout: 264 0.34/0.42 c memlimit: 11000 0.34/0.42 c nbcore: 4 0.34/0.45 c Parsing instance... 1.97/1.14 c Parsing done, starting search... 6.31/2.61 o 131 6.31/2.62 o 130 6.31/2.63 o 129 6.31/2.64 o 128 6.31/2.67 o 127 6.31/2.68 o 126 6.59/2.70 o 125 6.59/2.71 o 124 6.59/2.73 o 123 7.11/2.99 s OPTIMUM FOUND 7.35/3.00 v <instantiation> 7.35/3.00 v <list> 7.35/3.00 v p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] 7.35/3.00 v </list> 7.35/3.00 v <values> 7.35/3.00 v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 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 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 0 0 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 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 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 0 0 0 0 0 1 0 0 0 0 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 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 0 0 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 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 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 0 0 0 0 0 1 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 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 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 0 0 0 0 0 1 0 0 0 0 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 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 0 0 0 0 0 1 0 0 0 0 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 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 0 0 0 0 0 0 1 0 0 0 0 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 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 0 0 0 0 0 1 0 0 0 0 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 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 0 0 0 0 0 1 0 0 0 0 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 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 0 0 0 0 0 1 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 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 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 0 0 0 0 0 1 0 0 0 0 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 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 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 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 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 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 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 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 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 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 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 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 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 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 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 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 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 7.35/3.00 v </values> 7.35/3.00 v </instantiation>
OK 123
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255972-1501630488/watcher-4255972-1501630488 -o /tmp/evaluation-result-4255972-1501630488/solver-4255972-1501630488 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501623088-15579 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 428141923 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255972-1501630488.xml pid=21293 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.84 1.50 1.51 3/195 21296 /proc/meminfo: memFree=30528260/32770624 swapFree=0/204020 [pid=21296] ppid=21293 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/21296/stat : 21296 (runsolver) D 21293 21296 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11665749 24240128 107 18446744073709551615 4194304 4338465 140722779533760 140722779531400 139999994327767 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 12025856 140722779541607 140722779542086 140722779542086 140722779545546 0 /proc/21296/statm: 5918 107 54 36 0 2156 0 [startup+0.10016 s] /proc/loadavg: 1.84 1.50 1.51 3/195 21296 /proc/meminfo: memFree=30528260/32770624 swapFree=0/204020 [pid=21296] ppid=21293 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/21296/stat : 21296 (runsolver) D 21293 21296 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11665749 24240128 107 18446744073709551615 4194304 4338465 140722779533760 140722779531400 139999994327767 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 12025856 140722779541607 140722779542086 140722779542086 140722779545546 0 /proc/21296/statm: 5918 107 54 36 0 2156 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23672 [startup+0.200316 s] /proc/loadavg: 1.84 1.50 1.51 3/195 21296 /proc/meminfo: memFree=30528260/32770624 swapFree=0/204020 [pid=21296] ppid=21293 vsize=13906484 CPUtime=0.05 cores=0,2,4,6 /proc/21296/stat : 21296 (java) S 21293 21296 5123 0 -1 1077944320 4816 0 0 0 5 0 0 0 20 0 14 0 11665749 14240239616 5370 18446744073709551615 4194304 4196468 140730430372944 140730430355488 140515802533623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 /proc/21296/statm: 3476621 5370 2575 1 0 3466126 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13906484 [startup+0.300364 s] /proc/loadavg: 1.84 1.50 1.51 3/195 21296 /proc/meminfo: memFree=30528260/32770624 swapFree=0/204020 [pid=21296] ppid=21293 vsize=13975920 CPUtime=0.17 cores=0,2,4,6 /proc/21296/stat : 21296 (java) S 21293 21296 5123 0 -1 1077944320 9654 0 0 0 15 2 0 0 20 0 15 0 11665749 14311342080 9060 18446744073709551615 4194304 4196468 140730430372944 140730430355488 140515802533623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 /proc/21296/statm: 3493980 9060 3469 1 0 3482767 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 13975920 [startup+0.708285 s] /proc/loadavg: 1.84 1.50 1.51 3/195 21296 /proc/meminfo: memFree=30528260/32770624 swapFree=0/204020 [pid=21296] ppid=21293 vsize=13977988 CPUtime=0.95 cores=0,2,4,6 /proc/21296/stat : 21296 (java) S 21293 21296 5123 0 -1 1077944320 13744 0 0 0 90 5 0 0 20 0 15 0 11665749 14313459712 16491 18446744073709551615 4194304 4196468 140730430372944 140730430355488 140515802533623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 /proc/21296/statm: 3494497 16491 3708 1 0 3483279 0 Current children cumulated CPU time (s) 0.95 Current children cumulated vsize (KiB) 13977988 [startup+1.5006 s] /proc/loadavg: 2.09 1.56 1.52 5/210 21311 /proc/meminfo: memFree=30433072/32770624 swapFree=0/204028 [pid=21296] ppid=21293 vsize=13980036 CPUtime=3.21 cores=0,2,4,6 /proc/21296/stat : 21296 (java) S 21293 21296 5123 0 -1 1077944320 32161 0 0 0 309 12 0 0 20 0 15 0 11665749 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140730430355488 140515802533623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 /proc/21296/statm: 3495009 51077 3759 1 0 3483791 0 [pid=21296/tid=21298] ppid=21293 vsize=13980036 CPUtime=1.3 cores=0,2,4,6 /proc/21296/task/21298/stat : 21298 (java) R 21293 21296 5123 0 -1 4202560 13930 0 0 0 123 7 0 0 20 0 15 0 11665760 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140515806771552 140515787063333 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21299] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21299/stat : 21299 (java) S 21293 21296 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11665760 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140515763432592 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21300] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21300/stat : 21300 (java) S 21293 21296 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11665760 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140515762379792 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21301] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21301/stat : 21301 (java) S 21293 21296 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11665761 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140515400412048 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21302] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21302/stat : 21302 (java) S 21293 21296 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11665761 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140515399359248 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21303] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21303/stat : 21303 (java) S 21293 21296 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11665762 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140514988407152 140515802544770 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21304] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21304/stat : 21304 (java) S 21293 21296 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11665762 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140514987353120 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21305] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21305/stat : 21305 (java) S 21293 21296 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11665763 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140514986300272 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21306] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21306/stat : 21306 (java) S 21293 21296 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11665765 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140514985248592 140515802552219 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21307] ppid=21293 vsize=13980036 CPUtime=0.67 cores=0,2,4,6 /proc/21296/task/21307/stat : 21307 (java) R 21293 21296 5123 0 -1 4202560 6315 0 0 0 67 0 0 0 20 0 15 0 11665765 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140514984182184 140515780129264 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21308] ppid=21293 vsize=13980036 CPUtime=0.66 cores=0,2,4,6 /proc/21296/task/21308/stat : 21308 (java) R 21293 21296 5123 0 -1 4202560 5568 0 0 0 65 1 0 0 20 0 15 0 11665765 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140514983130280 140515787642507 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21309] ppid=21293 vsize=13980036 CPUtime=0.52 cores=0,2,4,6 /proc/21296/task/21309/stat : 21309 (java) S 21293 21296 5123 0 -1 1077944384 4968 0 0 0 51 1 0 0 20 0 15 0 11665765 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140514982091376 140515802544770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21310] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21310/stat : 21310 (java) S 21293 21296 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11665765 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140514981038816 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21311] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21311/stat : 21311 (java) S 21293 21296 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11665772 14315556864 51077 18446744073709551615 4194304 4196468 140730430372944 140514979986096 140515802544770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 Current children cumulated CPU time (s) 3.21 Current children cumulated vsize (KiB) 13980036 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 21296 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60082 s] /proc/loadavg: 2.09 1.56 1.52 5/210 21311 /proc/meminfo: memFree=30433072/32770624 swapFree=0/204028 [pid=21296] ppid=21293 vsize=13980036 CPUtime=3.51 cores=0,2,4,6 /proc/21296/stat : 21296 (java) S 21293 21296 5123 0 -1 1077944320 34287 0 0 0 338 13 0 0 20 0 15 0 11665749 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140730430355488 140515802533623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 /proc/21296/statm: 3495009 57976 3776 1 0 3483791 0 [pid=21296/tid=21298] ppid=21293 vsize=13980036 CPUtime=1.38 cores=0,2,4,6 /proc/21296/task/21298/stat : 21298 (java) R 21293 21296 5123 0 -1 4202560 13958 0 0 0 131 7 0 0 20 0 15 0 11665760 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140515806770912 140515448418380 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21299] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21299/stat : 21299 (java) S 21293 21296 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 11665760 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140515763432592 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21300] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21300/stat : 21300 (java) S 21293 21296 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 11665760 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140515762379792 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21301] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21301/stat : 21301 (java) S 21293 21296 5123 0 -1 1077944384 392 0 0 0 0 0 0 0 20 0 15 0 11665761 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140515400412048 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21302] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21302/stat : 21302 (java) S 21293 21296 5123 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 11665761 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140515399359248 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21303] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21303/stat : 21303 (java) S 21293 21296 5123 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 11665762 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140514988407152 140515802544770 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21304] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21304/stat : 21304 (java) S 21293 21296 5123 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 11665762 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140514987353120 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21305] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21305/stat : 21305 (java) S 21293 21296 5123 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 11665763 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140514986300288 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21306] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21306/stat : 21306 (java) S 21293 21296 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11665765 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140514985248592 140515802552219 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21307] ppid=21293 vsize=13980036 CPUtime=0.76 cores=0,2,4,6 /proc/21296/task/21307/stat : 21307 (java) R 21293 21296 5123 0 -1 4202560 6364 0 0 0 76 0 0 0 20 0 15 0 11665765 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140514984183200 140515787457856 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21308] ppid=21293 vsize=13980036 CPUtime=0.75 cores=0,2,4,6 /proc/21296/task/21308/stat : 21308 (java) R 21293 21296 5123 0 -1 4202560 5758 0 0 0 74 1 0 0 20 0 15 0 11665765 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140514983129168 140515780511356 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21309] ppid=21293 vsize=13980036 CPUtime=0.53 cores=0,2,4,6 /proc/21296/task/21309/stat : 21309 (java) S 21293 21296 5123 0 -1 1077944384 6032 0 0 0 52 1 0 0 20 0 15 0 11665765 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140514982091376 140515802544770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21310] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21310/stat : 21310 (java) S 21293 21296 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11665765 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140514981038816 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21311] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21311/stat : 21311 (java) S 21293 21296 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11665772 14315556864 57976 18446744073709551615 4194304 4196468 140730430372944 140514979986096 140515802544770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 Current children cumulated CPU time (s) 3.51 Current children cumulated vsize (KiB) 13980036 [startup+2.40064 s] /proc/loadavg: 2.09 1.56 1.52 5/210 21311 /proc/meminfo: memFree=30302996/32770624 swapFree=0/204028 [pid=21296] ppid=21293 vsize=13980036 CPUtime=5.93 cores=0,2,4,6 /proc/21296/stat : 21296 (java) S 21293 21296 5123 0 -1 1077944320 35754 0 0 0 579 14 0 0 20 0 15 0 11665749 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140730430355488 140515802533623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 /proc/21296/statm: 3495009 60420 3779 1 0 3483791 0 [pid=21296/tid=21298] ppid=21293 vsize=13980036 CPUtime=2.16 cores=0,2,4,6 /proc/21296/task/21298/stat : 21298 (java) R 21293 21296 5123 0 -1 4202560 14263 0 0 0 209 7 0 0 20 0 15 0 11665760 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140515806769336 140515448869089 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21299] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21299/stat : 21299 (java) S 21293 21296 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 11665760 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140515763432592 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21300] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21300/stat : 21300 (java) S 21293 21296 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 11665760 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140515762379792 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21301] ppid=21293 vsize=13980036 CPUtime=0.01 cores=0,2,4,6 /proc/21296/task/21301/stat : 21301 (java) S 21293 21296 5123 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 15 0 11665761 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140515400412048 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21302] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21302/stat : 21302 (java) S 21293 21296 5123 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 11665761 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140515399359248 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21303] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21303/stat : 21303 (java) S 21293 21296 5123 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 11665762 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140514988407152 140515802544770 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21304] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21304/stat : 21304 (java) S 21293 21296 5123 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 11665762 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140514987353184 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21305] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21305/stat : 21305 (java) S 21293 21296 5123 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 11665763 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140514986300288 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21306] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21306/stat : 21306 (java) S 21293 21296 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11665765 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140514985248592 140515802552219 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21307] ppid=21293 vsize=13980036 CPUtime=1.57 cores=0,2,4,6 /proc/21296/task/21307/stat : 21307 (java) R 21293 21296 5123 0 -1 4202560 7026 0 0 0 156 1 0 0 20 0 15 0 11665765 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140514984196976 140515786923176 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21308] ppid=21293 vsize=13980036 CPUtime=1.55 cores=0,2,4,6 /proc/21296/task/21308/stat : 21308 (java) R 21293 21296 5123 0 -1 4202560 6134 0 0 0 154 1 0 0 20 0 15 0 11665765 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140514983124240 140515786019637 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21309] ppid=21293 vsize=13980036 CPUtime=0.55 cores=0,2,4,6 /proc/21296/task/21309/stat : 21309 (java) S 21293 21296 5123 0 -1 1077944384 6125 0 0 0 53 2 0 0 20 0 15 0 11665765 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140514982091376 140515802544770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21310] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21310/stat : 21310 (java) S 21293 21296 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11665765 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140514981038816 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21311] ppid=21293 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21311/stat : 21311 (java) S 21293 21296 5123 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 11665772 14315556864 60420 18446744073709551615 4194304 4196468 140730430372944 140514979986096 140515802544770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 Current children cumulated CPU time (s) 5.93 Current children cumulated vsize (KiB) 13980036 [startup+2.80067 s] /proc/loadavg: 2.09 1.56 1.52 5/210 21311 /proc/meminfo: memFree=30302996/32770624 swapFree=0/204028 [pid=21296] ppid=21293 vsize=13982084 CPUtime=6.83 cores=0,2,4,6 /proc/21296/stat : 21296 (java) S 21293 21296 5123 0 -1 1077944320 36730 0 0 0 669 14 0 0 20 0 15 0 11665749 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140730430355488 140515802533623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 /proc/21296/statm: 3495521 60565 3780 1 0 3484303 0 [pid=21296/tid=21298] ppid=21293 vsize=13982084 CPUtime=2.56 cores=0,2,4,6 /proc/21296/task/21298/stat : 21298 (java) R 21293 21296 5123 0 -1 4202560 14833 0 0 0 249 7 0 0 20 0 15 0 11665760 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140515806769192 140515448269618 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21299] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21299/stat : 21299 (java) S 21293 21296 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 11665760 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140515763432592 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21300] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21300/stat : 21300 (java) S 21293 21296 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 11665760 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140515762379792 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21301] ppid=21293 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/21296/task/21301/stat : 21301 (java) S 21293 21296 5123 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 15 0 11665761 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140515400412048 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21302] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21302/stat : 21302 (java) S 21293 21296 5123 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 11665761 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140515399359248 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21303] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21303/stat : 21303 (java) S 21293 21296 5123 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 11665762 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140514988407152 140515802544770 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21304] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21304/stat : 21304 (java) S 21293 21296 5123 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 11665762 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140514987353184 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21305] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21305/stat : 21305 (java) S 21293 21296 5123 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 11665763 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140514986300288 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21306] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21306/stat : 21306 (java) S 21293 21296 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11665765 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140514985248592 140515802552219 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21307] ppid=21293 vsize=13982084 CPUtime=1.79 cores=0,2,4,6 /proc/21296/task/21307/stat : 21307 (java) R 21293 21296 5123 0 -1 4202560 7153 0 0 0 178 1 0 0 20 0 15 0 11665765 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140514984196976 140515783712128 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21308] ppid=21293 vsize=13982084 CPUtime=1.79 cores=0,2,4,6 /proc/21296/task/21308/stat : 21308 (java) R 21293 21296 5123 0 -1 4202560 6251 0 0 0 178 1 0 0 20 0 15 0 11665765 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140514983144176 140515786009140 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21309] ppid=21293 vsize=13982084 CPUtime=0.59 cores=0,2,4,6 /proc/21296/task/21309/stat : 21309 (java) S 21293 21296 5123 0 -1 1077944384 6287 0 0 0 57 2 0 0 20 0 15 0 11665765 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140514982091376 140515802544770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21310] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21310/stat : 21310 (java) S 21293 21296 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11665765 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140514981038816 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21311] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21311/stat : 21311 (java) S 21293 21296 5123 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 11665772 14317654016 60565 18446744073709551615 4194304 4196468 140730430372944 140514979986096 140515802544770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 Current children cumulated CPU time (s) 6.83 Current children cumulated vsize (KiB) 13982084 [startup+3.00064 s] /proc/loadavg: 2.09 1.56 1.52 5/210 21311 /proc/meminfo: memFree=30302996/32770624 swapFree=0/204028 [pid=21296] ppid=21293 vsize=13982084 CPUtime=7.35 cores=0,2,4,6 /proc/21296/stat : 21296 (java) S 21293 21296 5123 0 -1 1077944320 36924 0 0 0 721 14 0 0 20 0 15 0 11665749 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140730430355488 140515802533623 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 /proc/21296/statm: 3495521 63251 3784 1 0 3484303 0 [pid=21296/tid=21298] ppid=21293 vsize=13982084 CPUtime=2.76 cores=0,2,4,6 /proc/21296/task/21298/stat : 21298 (java) R 21293 21296 5123 0 -1 4202560 14956 0 0 0 269 7 0 0 20 0 15 0 11665760 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140515806769136 140515802545558 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21299] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21299/stat : 21299 (java) S 21293 21296 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 11665760 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140515763432592 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21300] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21300/stat : 21300 (java) S 21293 21296 5123 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 11665760 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140515762379792 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21301] ppid=21293 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/21296/task/21301/stat : 21301 (java) S 21293 21296 5123 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 15 0 11665761 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140515400412048 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21302] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21302/stat : 21302 (java) S 21293 21296 5123 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 11665761 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140515399359248 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21303] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21303/stat : 21303 (java) S 21293 21296 5123 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 15 0 11665762 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140514988407152 140515802544770 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21304] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21304/stat : 21304 (java) S 21293 21296 5123 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 11665762 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140514987353184 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21305] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21305/stat : 21305 (java) S 21293 21296 5123 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 11665763 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140514986300288 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21306] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21306/stat : 21306 (java) S 21293 21296 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11665765 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140514985248592 140515802552219 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21307] ppid=21293 vsize=13982084 CPUtime=1.91 cores=0,2,4,6 /proc/21296/task/21307/stat : 21307 (java) R 21293 21296 5123 0 -1 4202560 7173 0 0 0 190 1 0 0 20 0 15 0 11665765 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140514984196160 140515788214321 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21308] ppid=21293 vsize=13982084 CPUtime=1.98 cores=0,2,4,6 /proc/21296/task/21308/stat : 21308 (java) R 21293 21296 5123 0 -1 4202560 6282 0 0 0 197 1 0 0 20 0 15 0 11665765 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140514983144176 140515802554970 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21309] ppid=21293 vsize=13982084 CPUtime=0.59 cores=0,2,4,6 /proc/21296/task/21309/stat : 21309 (java) R 21293 21296 5123 0 -1 1077944384 6289 0 0 0 57 2 0 0 20 0 15 0 11665765 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140514982091376 140515802544770 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21310] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21310/stat : 21310 (java) S 21293 21296 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11665765 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140514981038816 140515802543829 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 [pid=21296/tid=21311] ppid=21293 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21296/task/21311/stat : 21311 (java) S 21293 21296 5123 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 11665772 14317654016 63251 18446744073709551615 4194304 4196468 140730430372944 140514979986096 140515802544770 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140730430374290 140730430374475 140730430374475 140730430377935 0 Current children cumulated CPU time (s) 7.35 Current children cumulated vsize (KiB) 13982084 Child status: 0 Real time (s): 3.01163 CPU time (s): 7.37641 CPU user time (s): 7.22149 CPU system time (s): 0.154919 CPU usage (%): 244.931 Max. virtual memory (cumulated for all children) (KiB): 13982084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.22149 system time used= 0.154919 maximum resident set size= 255632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37040 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2780 involuntary context switches= 29 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.010863 second user time and 0.0253 second system time The end
Begin job on node130 at 2017-08-02 01:20:53 IDJOB=4255972 IDBENCH=124135 IDSOLVER=2639 FILE ID=node130/4255972-1501630488 RUNJOBID= node130-1501623088-15579 PBS_JOBID= Free space on /tmp= 61616 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-07-26 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255972-1501630488/watcher-4255972-1501630488 -o /tmp/evaluation-result-4255972-1501630488/solver-4255972-1501630488 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501623088-15579 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 428141923 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255972-1501630488.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=428141923 node130.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.46 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.46 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.46 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.46 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: 30528260 kB MemAvailable: 30730076 kB Buffers: 104872 kB Cached: 379436 kB SwapCached: 0 kB Active: 1623900 kB Inactive: 212552 kB Active(anon): 1352704 kB Inactive(anon): 8532 kB Active(file): 271196 kB Inactive(file): 204020 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42308 kB Writeback: 0 kB AnonPages: 1352376 kB Mapped: 44560 kB Shmem: 8872 kB Slab: 109708 kB SReclaimable: 84868 kB SUnreclaim: 24840 kB KernelStack: 3488 kB PageTables: 7356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2880360 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1245184 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61576 MiB End job on node130 at 2017-08-02 01:20:56