Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering 2017-07-26 | SAT (TO) | 123 | 246.61 | 240.03101 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml |
| MD5SUM | e28ebc68094c3335bce51ae11fa43933 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 122 |
| Best CPU time to get the best result obtained on this benchmark | 154.98 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3591 |
| Number of constraints | 193 |
| Number of domains | 15 |
| Minimum domain size | 2 |
| Maximum domain size | 21 |
| Distribution of domain sizes | [{"size":2,"count":342},{"size":3,"count":342},{"size":4,"count":171},{"size":5,"count":171},{"size":6,"count":171},{"size":8,"count":171},{"size":9,"count":171},{"size":10,"count":171},{"size":12,"count":684},{"size":14,"count":171},{"size":15,"count":171},{"size":16,"count":171},{"size":17,"count":171},{"size":18,"count":171},{"size":21,"count":342}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":3591}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 3420 |
| Distribution of constraint arities | [{"arity":21,"count":171},{"arity":171,"count":21},{"arity":3420,"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":191}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.34/0.42 c version: 2017-07-26 0.34/0.42 c seed: 1281192350 0.34/0.42 c timeout: 264 0.34/0.42 c memlimit: 11000 0.34/0.42 c nbcore: 4 0.34/0.44 c Parsing instance... 1.97/1.16 c Parsing done, starting search... 8.12/3.66 o 158 8.12/3.68 o 157 8.12/3.69 o 156 8.34/3.72 o 155 8.34/3.74 o 154 8.34/3.75 o 153 8.34/3.76 o 152 8.34/3.76 o 151 8.34/3.77 o 150 8.34/3.78 o 149 8.34/3.78 o 148 8.34/3.79 o 147 8.63/3.80 o 146 8.63/3.82 o 145 8.63/3.84 o 144 8.63/3.85 o 143 8.63/3.87 o 142 8.63/3.89 o 141 8.84/3.91 o 140 8.84/3.91 o 139 8.84/3.93 o 138 9.32/4.17 o 137 30.25/24.75 o 136 30.25/24.76 o 135 30.25/24.77 o 134 30.25/24.78 o 133 30.25/24.79 o 132 30.36/24.80 o 131 30.36/24.81 o 130 30.36/24.83 o 129 30.36/24.86 o 128 30.36/24.87 o 127 30.36/24.89 o 126 30.46/24.91 o 125 30.46/24.92 o 124 30.46/24.92 o 123 246.56/240.00 s SATISFIABLE 246.56/240.01 v <instantiation> 246.56/240.01 v <list> 246.56/240.01 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] p[167] p[168] p[169] p[170] 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] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] 246.56/240.01 v </list> 246.56/240.01 v <values> 246.56/240.01 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 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 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 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 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 1 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 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 1 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 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 1 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 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 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 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 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 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 1 0 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 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 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 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 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 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 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 1 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 1 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 1 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 1 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 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 1 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 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 1 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 1 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 1 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 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 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 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 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 0 1 0 0 0 1 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 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 246.56/240.01 v </values> 246.56/240.01 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-4255973-1501630977/watcher-4255973-1501630977 -o /tmp/evaluation-result-4255973-1501630977/solver-4255973-1501630977 -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 1281192350 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255973-1501630977.xml pid=21871 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.98 1.88 1.70 3/194 21874 /proc/meminfo: memFree=29611624/32770624 swapFree=0/204652 [pid=21874] ppid=21871 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/21874/stat : 21874 (runsolver) D 21871 21874 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11714690 24240128 106 18446744073709551615 4194304 4338465 140727038249056 140727038246696 140357466907351 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 29937664 140727038255206 140727038255686 140727038255686 140727038259146 0 /proc/21874/statm: 5918 106 53 36 0 2156 0 [startup+0.100162 s] /proc/loadavg: 1.98 1.88 1.70 3/194 21874 /proc/meminfo: memFree=29611624/32770624 swapFree=0/204652 [pid=21874] ppid=21871 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/21874/stat : 21874 (runsolver) D 21871 21874 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11714690 24240128 106 18446744073709551615 4194304 4338465 140727038249056 140727038246696 140357466907351 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 29937664 140727038255206 140727038255686 140727038255686 140727038259146 0 /proc/21874/statm: 5918 106 53 36 0 2156 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23672 [startup+0.200317 s] /proc/loadavg: 1.98 1.88 1.70 3/194 21874 /proc/meminfo: memFree=29611624/32770624 swapFree=0/204652 [pid=21874] ppid=21871 vsize=13906484 CPUtime=0.05 cores=0,2,4,6 /proc/21874/stat : 21874 (java) S 21871 21874 5123 0 -1 1077944320 4950 0 0 0 4 1 0 0 20 0 14 0 11714690 14240239616 5498 18446744073709551615 4194304 4196468 140737446788880 140737446771424 140437758992119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 /proc/21874/statm: 3476621 5498 2565 1 0 3466126 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13906484 [startup+0.300286 s] /proc/loadavg: 1.98 1.88 1.70 3/194 21874 /proc/meminfo: memFree=29611624/32770624 swapFree=0/204652 [pid=21874] ppid=21871 vsize=13975920 CPUtime=0.17 cores=0,2,4,6 /proc/21874/stat : 21874 (java) S 21871 21874 5123 0 -1 1077944320 9816 0 0 0 14 3 0 0 20 0 15 0 11714690 14311342080 9188 18446744073709551615 4194304 4196468 140737446788880 140737446771424 140437758992119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 /proc/21874/statm: 3493980 9188 3498 1 0 3482767 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 13975920 [startup+0.701091 s] /proc/loadavg: 1.98 1.88 1.70 3/194 21874 /proc/meminfo: memFree=29611624/32770624 swapFree=0/204652 [pid=21874] ppid=21871 vsize=13977988 CPUtime=0.93 cores=0,2,4,6 /proc/21874/stat : 21874 (java) S 21871 21874 5123 0 -1 1077944320 13654 0 0 0 87 6 0 0 20 0 15 0 11714690 14313459712 16402 18446744073709551615 4194304 4196468 140737446788880 140737446771424 140437758992119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 /proc/21874/statm: 3494497 16402 3709 1 0 3483279 0 Current children cumulated CPU time (s) 0.93 Current children cumulated vsize (KiB) 13977988 [startup+1.50124 s] /proc/loadavg: 1.98 1.88 1.70 5/209 21889 /proc/meminfo: memFree=29518724/32770624 swapFree=0/204636 [pid=21874] ppid=21871 vsize=13980036 CPUtime=3.21 cores=0,2,4,6 /proc/21874/stat : 21874 (java) S 21871 21874 5123 0 -1 1077944320 31854 0 0 0 309 12 0 0 20 0 15 0 11714690 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140737446771424 140437758992119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 /proc/21874/statm: 3495009 46980 3759 1 0 3483791 0 [pid=21874/tid=21876] ppid=21871 vsize=13980036 CPUtime=1.32 cores=0,2,4,6 /proc/21874/task/21876/stat : 21876 (java) R 21871 21874 5123 0 -1 4202560 14071 0 0 0 125 7 0 0 20 0 15 0 11714701 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140437763230464 140437400283271 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21877] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21877/stat : 21877 (java) S 21871 21874 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11714702 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140437715958672 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21878] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21878/stat : 21878 (java) S 21871 21874 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11714702 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140437714905872 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21879] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21879/stat : 21879 (java) S 21871 21874 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11714702 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140437356735632 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21880] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21880/stat : 21880 (java) S 21871 21874 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11714702 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140437355682832 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21881] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21881/stat : 21881 (java) S 21871 21874 5123 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 11714703 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140436743362672 140437759003266 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21882] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21882/stat : 21882 (java) S 21871 21874 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11714704 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140436742308640 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21883] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21883/stat : 21883 (java) S 21871 21874 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11714704 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140436741256304 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21884] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21884/stat : 21884 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714706 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140436740204624 140437759010715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21885] ppid=21871 vsize=13980036 CPUtime=0.64 cores=0,2,4,6 /proc/21874/task/21885/stat : 21885 (java) R 21871 21874 5123 0 -1 4202560 5447 0 0 0 63 1 0 0 20 0 15 0 11714706 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140436739137992 140437740513365 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21886] ppid=21871 vsize=13980036 CPUtime=0.68 cores=0,2,4,6 /proc/21874/task/21886/stat : 21886 (java) R 21871 21874 5123 0 -1 4202560 5775 0 0 0 68 0 0 0 20 0 15 0 11714707 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140436738085720 140437738709255 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21887] ppid=21871 vsize=13980036 CPUtime=0.54 cores=0,2,4,6 /proc/21874/task/21887/stat : 21887 (java) S 21871 21874 5123 0 -1 1077944384 5171 0 0 0 52 2 0 0 20 0 15 0 11714707 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140436737047408 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21888] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21888/stat : 21888 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714707 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140436735994848 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21889] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21889/stat : 21889 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714713 14315556864 46980 18446744073709551615 4194304 4196468 140737446788880 140436734941616 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 Current children cumulated CPU time (s) 3.21 Current children cumulated vsize (KiB) 13980036 [startup+3.10068 s] /proc/loadavg: 2.06 1.90 1.70 5/209 21889 /proc/meminfo: memFree=29394016/32770624 swapFree=0/204636 [pid=21874] ppid=21871 vsize=13980036 CPUtime=7.28 cores=0,2,4,6 /proc/21874/stat : 21874 (java) S 21871 21874 5123 0 -1 1077944320 36512 0 0 0 714 14 0 0 20 0 15 0 11714690 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140737446771424 140437758992119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 /proc/21874/statm: 3495009 60858 3791 1 0 3483791 0 [pid=21874/tid=21876] ppid=21871 vsize=13980036 CPUtime=2.87 cores=0,2,4,6 /proc/21874/task/21876/stat : 21876 (java) R 21871 21874 5123 0 -1 4202560 14631 0 0 0 280 7 0 0 20 0 15 0 11714701 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140437763230704 140437401700349 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21877] ppid=21871 vsize=13980036 CPUtime=0.01 cores=0,2,4,6 /proc/21874/task/21877/stat : 21877 (java) S 21871 21874 5123 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 11714702 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140437715958672 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21878] ppid=21871 vsize=13980036 CPUtime=0.01 cores=0,2,4,6 /proc/21874/task/21878/stat : 21878 (java) S 21871 21874 5123 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 15 0 11714702 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140437714905872 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21879] ppid=21871 vsize=13980036 CPUtime=0.01 cores=0,2,4,6 /proc/21874/task/21879/stat : 21879 (java) S 21871 21874 5123 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 11714702 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140437356735632 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21880] ppid=21871 vsize=13980036 CPUtime=0.01 cores=0,2,4,6 /proc/21874/task/21880/stat : 21880 (java) S 21871 21874 5123 0 -1 1077944384 967 0 0 0 1 0 0 0 20 0 15 0 11714702 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140437355682832 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21881] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21881/stat : 21881 (java) S 21871 21874 5123 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 11714703 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140436743362672 140437759003266 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21882] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21882/stat : 21882 (java) S 21871 21874 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 11714704 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140436742308704 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21883] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21883/stat : 21883 (java) S 21871 21874 5123 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 11714704 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140436741256320 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21884] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21884/stat : 21884 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714706 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140436740204624 140437759010715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21885] ppid=21871 vsize=13980036 CPUtime=1.82 cores=0,2,4,6 /proc/21874/task/21885/stat : 21885 (java) S 21871 21874 5123 0 -1 1077944384 6593 0 0 0 181 1 0 0 20 0 15 0 11714706 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140436739152496 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21886] ppid=21871 vsize=13980036 CPUtime=1.89 cores=0,2,4,6 /proc/21874/task/21886/stat : 21886 (java) R 21871 21874 5123 0 -1 4202560 6585 0 0 0 188 1 0 0 20 0 15 0 11714707 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140436738099696 140437742378937 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21887] ppid=21871 vsize=13980036 CPUtime=0.57 cores=0,2,4,6 /proc/21874/task/21887/stat : 21887 (java) S 21871 21874 5123 0 -1 1077944384 5756 0 0 0 55 2 0 0 20 0 15 0 11714707 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140436737047408 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21888] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21888/stat : 21888 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714707 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140436735994848 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21889] ppid=21871 vsize=13980036 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21889/stat : 21889 (java) S 21871 21874 5123 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 11714713 14315556864 60858 18446744073709551615 4194304 4196468 140737446788880 140436734941616 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 Current children cumulated CPU time (s) 7.28 Current children cumulated vsize (KiB) 13980036 [startup+6.30072 s] /proc/loadavg: 2.06 1.90 1.70 3/209 21889 /proc/meminfo: memFree=29265544/32770624 swapFree=0/204648 [pid=21874] ppid=21871 vsize=13982084 CPUtime=11.76 cores=0,2,4,6 /proc/21874/stat : 21874 (java) S 21871 21874 5123 0 -1 1077944320 37615 0 0 0 1157 19 0 0 20 0 15 0 11714690 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140737446771424 140437758992119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 /proc/21874/statm: 3495521 90102 3791 1 0 3484303 0 [pid=21874/tid=21876] ppid=21871 vsize=13982084 CPUtime=6.05 cores=0,2,4,6 /proc/21874/task/21876/stat : 21876 (java) R 21871 21874 5123 0 -1 4202560 15118 0 0 0 596 9 0 0 20 0 15 0 11714701 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140437763230232 140437402921434 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21877] ppid=21871 vsize=13982084 CPUtime=0.02 cores=0,2,4,6 /proc/21874/task/21877/stat : 21877 (java) S 21871 21874 5123 0 -1 1077944384 80 0 0 0 2 0 0 0 20 0 15 0 11714702 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140437715958672 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21878] ppid=21871 vsize=13982084 CPUtime=0.02 cores=0,2,4,6 /proc/21874/task/21878/stat : 21878 (java) S 21871 21874 5123 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 15 0 11714702 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140437714905872 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21879] ppid=21871 vsize=13982084 CPUtime=0.02 cores=0,2,4,6 /proc/21874/task/21879/stat : 21879 (java) S 21871 21874 5123 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 15 0 11714702 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140437356735632 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21880] ppid=21871 vsize=13982084 CPUtime=0.03 cores=0,2,4,6 /proc/21874/task/21880/stat : 21880 (java) S 21871 21874 5123 0 -1 1077944384 975 0 0 0 3 0 0 0 20 0 15 0 11714702 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140437355682832 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21881] ppid=21871 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/21874/task/21881/stat : 21881 (java) S 21871 21874 5123 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 15 0 11714703 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140436743362672 140437759003266 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21882] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21882/stat : 21882 (java) S 21871 21874 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 11714704 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140436742308704 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21883] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21883/stat : 21883 (java) S 21871 21874 5123 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 11714704 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140436741256320 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21884] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21884/stat : 21884 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714706 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140436740204624 140437759010715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21885] ppid=21871 vsize=13982084 CPUtime=2.43 cores=0,2,4,6 /proc/21874/task/21885/stat : 21885 (java) S 21871 21874 5123 0 -1 1077944384 6720 0 0 0 242 1 0 0 20 0 15 0 11714706 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140436739152496 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21886] ppid=21871 vsize=13982084 CPUtime=2.46 cores=0,2,4,6 /proc/21874/task/21886/stat : 21886 (java) S 21871 21874 5123 0 -1 1077944384 6751 0 0 0 245 1 0 0 20 0 15 0 11714707 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140436738099696 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21887] ppid=21871 vsize=13982084 CPUtime=0.62 cores=0,2,4,6 /proc/21874/task/21887/stat : 21887 (java) S 21871 21874 5123 0 -1 1077944384 5906 0 0 0 60 2 0 0 20 0 15 0 11714707 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140436737047408 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21888] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21888/stat : 21888 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714707 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140436735994848 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21889] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21889/stat : 21889 (java) S 21871 21874 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11714713 14317654016 90102 18446744073709551615 4194304 4196468 140737446788880 140436734941616 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 Current children cumulated CPU time (s) 11.76 Current children cumulated vsize (KiB) 13982084 [startup+12.7007 s] /proc/loadavg: 2.05 1.90 1.71 3/209 21889 /proc/meminfo: memFree=29252296/32770624 swapFree=0/204652 [pid=21874] ppid=21871 vsize=13982084 CPUtime=18.21 cores=0,2,4,6 /proc/21874/stat : 21874 (java) S 21871 21874 5123 0 -1 1077944320 38960 0 0 0 1801 20 0 0 20 0 15 0 11714690 14317654016 93236 18446744073709551615 4194304 4196468 140737446788880 140737446771424 140437758992119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 /proc/21874/statm: 3495521 93236 3791 1 0 3484303 0 [pid=21874/tid=21876] ppid=21871 vsize=13982084 CPUtime=12.43 cores=0,2,4,6 /proc/21874/task/21876/stat : 21876 (java) R 21871 21874 5123 0 -1 4202560 15574 0 0 0 1234 9 0 0 20 0 15 0 11714701 14317654016 93236 18446744073709551615 4194304 4196468 140737446788880 140437763230704 140437402950225 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21877] ppid=21871 vsize=13982084 CPUtime=0.04 cores=0,2,4,6 /proc/21874/task/21877/stat : 21877 (java) S 21871 21874 5123 0 -1 1077944384 542 0 0 0 3 1 0 0 20 0 15 0 11714702 14317654016 93236 18446744073709551615 4194304 4196468 140737446788880 140437715958672 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21878] ppid=21871 vsize=13982084 CPUtime=0.05 cores=0,2,4,6 /proc/21874/task/21878/stat : 21878 (java) S 21871 21874 5123 0 -1 1077944384 254 0 0 0 4 1 0 0 20 0 15 0 11714702 14317654016 93236 18446744073709551615 4194304 4196468 140737446788880 140437714905872 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21879] ppid=21871 vsize=13982084 CPUtime=0.04 cores=0,2,4,6 /proc/21874/task/21879/stat : 21879 (java) S 21871 21874 5123 0 -1 1077944384 234 0 0 0 3 1 0 0 20 0 15 0 11714702 14317654016 93236 18446744073709551615 4194304 4196468 140737446788880 140437356735632 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21880] ppid=21871 vsize=13982084 CPUtime=0.05 cores=0,2,4,6 /proc/21874/task/21880/stat : 21880 (java) S 21871 21874 5123 0 -1 1077944384 1095 0 0 0 4 1 0 0 20 0 15 0 11714702 14317654016 93236 18446744073709551615 4194304 4196468 140737446788880 140437355682832 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21881] ppid=21871 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/21874/task/21881/stat : 21881 (java) S 21871 21874 5123 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 15 0 11714703 14317654016 93236 18446744073709551615 4194304 4196468 140737446788880 140436743362672 140437759003266 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21882] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21882/stat : 21882 (java) S 21871 21874 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 11714704 14317654016 93236 18446744073709551615 4194304 4196468 140737446788880 140436742308704 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21883] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21883/stat : 21883 (java) S 21871 21874 5123 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 11714704 14317654016 93236 18446744073709551615 4194304 4196468 140737446788880 140436741256320 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21884] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21884/stat : 21884 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714706 14317654016 93236 18446744073709551615 4194304 4196468 140737446788880 140436740204624 140437759010715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 ################ # More data... # ################ /proc/21874/task/21888/stat : 21888 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714707 14317654016 94277 18446744073709551615 4194304 4196468 140737446788880 140436735994848 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21889] ppid=21871 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/21874/task/21889/stat : 21889 (java) S 21871 21874 5123 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 15 0 11714713 14317654016 94277 18446744073709551615 4194304 4196468 140737446788880 140436734941616 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 Current children cumulated CPU time (s) 56.78 Current children cumulated vsize (KiB) 13982084 [startup+102.301 s] /proc/loadavg: 1.75 1.84 1.70 3/210 21898 /proc/meminfo: memFree=29241736/32770624 swapFree=0/204712 [pid=21874] ppid=21871 vsize=13982084 CPUtime=108.18 cores=0,2,4,6 /proc/21874/stat : 21874 (java) S 21871 21874 5123 0 -1 1077944320 48968 0 0 0 10783 35 0 0 20 0 15 0 11714690 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140737446771424 140437758992119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 /proc/21874/statm: 3495521 93881 3792 1 0 3484303 0 [pid=21874/tid=21876] ppid=21871 vsize=13982084 CPUtime=101.8 cores=0,2,4,6 /proc/21874/task/21876/stat : 21876 (java) R 21871 21874 5123 0 -1 4202560 17964 0 0 0 10170 10 0 0 20 0 15 0 11714701 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140437763230768 140437402169648 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21877] ppid=21871 vsize=13982084 CPUtime=0.14 cores=0,2,4,6 /proc/21874/task/21877/stat : 21877 (java) S 21871 21874 5123 0 -1 1077944384 1160 0 0 0 9 5 0 0 20 0 15 0 11714702 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140437715958672 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21878] ppid=21871 vsize=13982084 CPUtime=0.15 cores=0,2,4,6 /proc/21874/task/21878/stat : 21878 (java) S 21871 21874 5123 0 -1 1077944384 549 0 0 0 10 5 0 0 20 0 15 0 11714702 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140437714905872 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21879] ppid=21871 vsize=13982084 CPUtime=0.13 cores=0,2,4,6 /proc/21874/task/21879/stat : 21879 (java) S 21871 21874 5123 0 -1 1077944384 630 0 0 0 9 4 0 0 20 0 15 0 11714702 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140437356735632 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21880] ppid=21871 vsize=13982084 CPUtime=0.14 cores=0,2,4,6 /proc/21874/task/21880/stat : 21880 (java) S 21871 21874 5123 0 -1 1077944384 2263 0 0 0 10 4 0 0 20 0 15 0 11714702 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140437355682832 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21881] ppid=21871 vsize=13982084 CPUtime=0.1 cores=0,2,4,6 /proc/21874/task/21881/stat : 21881 (java) S 21871 21874 5123 0 -1 1077944384 1411 0 0 0 9 1 0 0 20 0 15 0 11714703 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140436743362672 140437759003266 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21882] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21882/stat : 21882 (java) S 21871 21874 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 11714704 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140436742308704 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21883] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21883/stat : 21883 (java) S 21871 21874 5123 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 11714704 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140436741256320 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21884] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21884/stat : 21884 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714706 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140436740204624 140437759010715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21885] ppid=21871 vsize=13982084 CPUtime=2.46 cores=0,2,4,6 /proc/21874/task/21885/stat : 21885 (java) S 21871 21874 5123 0 -1 1077944384 7822 0 0 0 245 1 0 0 20 0 15 0 11714706 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140436739152496 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21886] ppid=21871 vsize=13982084 CPUtime=2.48 cores=0,2,4,6 /proc/21874/task/21886/stat : 21886 (java) S 21871 21874 5123 0 -1 1077944384 7968 0 0 0 247 1 0 0 20 0 15 0 11714707 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140436738099696 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21887] ppid=21871 vsize=13982084 CPUtime=0.63 cores=0,2,4,6 /proc/21874/task/21887/stat : 21887 (java) S 21871 21874 5123 0 -1 1077944384 7661 0 0 0 61 2 0 0 20 0 15 0 11714707 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140436737047408 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21888] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21888/stat : 21888 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714707 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140436735994848 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21889] ppid=21871 vsize=13982084 CPUtime=0.03 cores=0,2,4,6 /proc/21874/task/21889/stat : 21889 (java) S 21871 21874 5123 0 -1 1077944384 113 0 0 0 2 1 0 0 20 0 15 0 11714713 14317654016 93881 18446744073709551615 4194304 4196468 140737446788880 140436734941616 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 Current children cumulated CPU time (s) 108.18 Current children cumulated vsize (KiB) 13982084 [startup+162.301 s] /proc/loadavg: 1.89 1.86 1.71 2/209 21976 /proc/meminfo: memFree=31444532/32770624 swapFree=0/204756 [pid=21874] ppid=21871 vsize=13982084 CPUtime=168.48 cores=0,2,4,6 /proc/21874/stat : 21874 (java) S 21871 21874 5123 0 -1 1077944320 50641 0 0 0 16808 40 0 0 20 0 15 0 11714690 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140737446771424 140437758992119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 /proc/21874/statm: 3495521 94942 3792 1 0 3484303 0 [pid=21874/tid=21876] ppid=21871 vsize=13982084 CPUtime=161.48 cores=0,2,4,6 /proc/21874/task/21876/stat : 21876 (java) R 21871 21874 5123 0 -1 4202560 18576 0 0 0 16138 10 0 0 20 0 15 0 11714701 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140437763230432 140437402921500 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21877] ppid=21871 vsize=13982084 CPUtime=0.25 cores=0,2,4,6 /proc/21874/task/21877/stat : 21877 (java) S 21871 21874 5123 0 -1 1077944384 1249 0 0 0 19 6 0 0 20 0 15 0 11714702 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140437715958672 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21878] ppid=21871 vsize=13982084 CPUtime=0.26 cores=0,2,4,6 /proc/21874/task/21878/stat : 21878 (java) S 21871 21874 5123 0 -1 1077944384 603 0 0 0 20 6 0 0 20 0 15 0 11714702 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140437714905872 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21879] ppid=21871 vsize=13982084 CPUtime=0.26 cores=0,2,4,6 /proc/21874/task/21879/stat : 21879 (java) S 21871 21874 5123 0 -1 1077944384 770 0 0 0 20 6 0 0 20 0 15 0 11714702 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140437356735632 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21880] ppid=21871 vsize=13982084 CPUtime=0.27 cores=0,2,4,6 /proc/21874/task/21880/stat : 21880 (java) S 21871 21874 5123 0 -1 1077944384 2756 0 0 0 21 6 0 0 20 0 15 0 11714702 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140437355682832 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21881] ppid=21871 vsize=13982084 CPUtime=0.23 cores=0,2,4,6 /proc/21874/task/21881/stat : 21881 (java) S 21871 21874 5123 0 -1 1077944384 1672 0 0 0 21 2 0 0 20 0 15 0 11714703 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140436743362672 140437759003266 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21882] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21882/stat : 21882 (java) S 21871 21874 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 11714704 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140436742308704 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21883] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21883/stat : 21883 (java) S 21871 21874 5123 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 11714704 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140436741256320 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21884] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21884/stat : 21884 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714706 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140436740204624 140437759010715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21885] ppid=21871 vsize=13982084 CPUtime=2.46 cores=0,2,4,6 /proc/21874/task/21885/stat : 21885 (java) S 21871 21874 5123 0 -1 1077944384 7824 0 0 0 245 1 0 0 20 0 15 0 11714706 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140436739152496 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21886] ppid=21871 vsize=13982084 CPUtime=2.48 cores=0,2,4,6 /proc/21874/task/21886/stat : 21886 (java) S 21871 21874 5123 0 -1 1077944384 7970 0 0 0 247 1 0 0 20 0 15 0 11714707 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140436738099696 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21887] ppid=21871 vsize=13982084 CPUtime=0.64 cores=0,2,4,6 /proc/21874/task/21887/stat : 21887 (java) S 21871 21874 5123 0 -1 1077944384 7663 0 0 0 61 3 0 0 20 0 15 0 11714707 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140436737047408 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21888] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21888/stat : 21888 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714707 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140436735994848 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21889] ppid=21871 vsize=13982084 CPUtime=0.07 cores=0,2,4,6 /proc/21874/task/21889/stat : 21889 (java) S 21871 21874 5123 0 -1 1077944384 131 0 0 0 4 3 0 0 20 0 15 0 11714713 14317654016 94942 18446744073709551615 4194304 4196468 140737446788880 140436734941616 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 Current children cumulated CPU time (s) 168.48 Current children cumulated vsize (KiB) 13982084 [startup+222.306 s] /proc/loadavg: 1.74 1.82 1.71 3/210 22054 /proc/meminfo: memFree=29273560/32770624 swapFree=0/204844 [pid=21874] ppid=21871 vsize=13982084 CPUtime=228.77 cores=0,2,4,6 /proc/21874/stat : 21874 (java) S 21871 21874 5123 0 -1 1077944320 51682 0 0 0 22829 48 0 0 20 0 15 0 11714690 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140737446771424 140437758992119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 /proc/21874/statm: 3495521 96030 3792 1 0 3484303 0 [pid=21874/tid=21876] ppid=21871 vsize=13982084 CPUtime=221.2 cores=0,2,4,6 /proc/21874/task/21876/stat : 21876 (java) R 21871 21874 5123 0 -1 4202560 18962 0 0 0 22107 13 0 0 20 0 15 0 11714701 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140437763230320 140437401376704 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21877] ppid=21871 vsize=13982084 CPUtime=0.36 cores=0,2,4,6 /proc/21874/task/21877/stat : 21877 (java) S 21871 21874 5123 0 -1 1077944384 1290 0 0 0 29 7 0 0 20 0 15 0 11714702 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140437715958672 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21878] ppid=21871 vsize=13982084 CPUtime=0.37 cores=0,2,4,6 /proc/21874/task/21878/stat : 21878 (java) S 21871 21874 5123 0 -1 1077944384 1099 0 0 0 30 7 0 0 20 0 15 0 11714702 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140437714905872 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21879] ppid=21871 vsize=13982084 CPUtime=0.36 cores=0,2,4,6 /proc/21874/task/21879/stat : 21879 (java) S 21871 21874 5123 0 -1 1077944384 802 0 0 0 29 7 0 0 20 0 15 0 11714702 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140437356735632 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21880] ppid=21871 vsize=13982084 CPUtime=0.37 cores=0,2,4,6 /proc/21874/task/21880/stat : 21880 (java) S 21871 21874 5123 0 -1 1077944384 2795 0 0 0 30 7 0 0 20 0 15 0 11714702 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140437355682832 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21881] ppid=21871 vsize=13982084 CPUtime=0.35 cores=0,2,4,6 /proc/21874/task/21881/stat : 21881 (java) S 21871 21874 5123 0 -1 1077944384 1711 0 0 0 32 3 0 0 20 0 15 0 11714703 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140436743362672 140437759003266 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21882] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21882/stat : 21882 (java) S 21871 21874 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 11714704 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140436742308704 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21883] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21883/stat : 21883 (java) S 21871 21874 5123 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 11714704 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140436741256320 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21884] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21884/stat : 21884 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714706 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140436740204624 140437759010715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21885] ppid=21871 vsize=13982084 CPUtime=2.46 cores=0,2,4,6 /proc/21874/task/21885/stat : 21885 (java) S 21871 21874 5123 0 -1 1077944384 7826 0 0 0 245 1 0 0 20 0 15 0 11714706 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140436739152496 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21886] ppid=21871 vsize=13982084 CPUtime=2.48 cores=0,2,4,6 /proc/21874/task/21886/stat : 21886 (java) S 21871 21874 5123 0 -1 1077944384 7972 0 0 0 247 1 0 0 20 0 15 0 11714707 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140436738099696 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21887] ppid=21871 vsize=13982084 CPUtime=0.64 cores=0,2,4,6 /proc/21874/task/21887/stat : 21887 (java) S 21871 21874 5123 0 -1 1077944384 7665 0 0 0 61 3 0 0 20 0 15 0 11714707 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140436737047408 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21888] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21888/stat : 21888 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714707 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140436735994848 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21889] ppid=21871 vsize=13982084 CPUtime=0.09 cores=0,2,4,6 /proc/21874/task/21889/stat : 21889 (java) S 21871 21874 5123 0 -1 1077944384 133 0 0 0 4 5 0 0 20 0 15 0 11714713 14317654016 96030 18446744073709551615 4194304 4196468 140737446788880 140436734941616 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 Current children cumulated CPU time (s) 228.77 Current children cumulated vsize (KiB) 13982084 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.57 1.78 1.70 3/210 22056 /proc/meminfo: memFree=29273724/32770624 swapFree=0/204872 [pid=21874] ppid=21871 vsize=13982084 CPUtime=246.56 cores=0,2,4,6 /proc/21874/stat : 21874 (java) S 21871 21874 5123 0 -1 1077944320 52352 0 0 0 24607 49 0 0 20 0 15 0 11714690 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140737446771424 140437758992119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 10 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 /proc/21874/statm: 3495521 96050 3792 1 0 3484303 0 [pid=21874/tid=21876] ppid=21871 vsize=13982084 CPUtime=238.79 cores=0,2,4,6 /proc/21874/task/21876/stat : 21876 (java) R 21871 21874 5123 0 -1 4202560 19215 0 0 0 23866 13 0 0 20 0 15 0 11714701 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140437763230400 140437402921363 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21877] ppid=21871 vsize=13982084 CPUtime=0.39 cores=0,2,4,6 /proc/21874/task/21877/stat : 21877 (java) S 21871 21874 5123 0 -1 1077944384 1400 0 0 0 32 7 0 0 20 0 15 0 11714702 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140437715958672 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21878] ppid=21871 vsize=13982084 CPUtime=0.4 cores=0,2,4,6 /proc/21874/task/21878/stat : 21878 (java) S 21871 21874 5123 0 -1 1077944384 1153 0 0 0 33 7 0 0 20 0 15 0 11714702 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140437714905872 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21879] ppid=21871 vsize=13982084 CPUtime=0.4 cores=0,2,4,6 /proc/21874/task/21879/stat : 21879 (java) S 21871 21874 5123 0 -1 1077944384 811 0 0 0 33 7 0 0 20 0 15 0 11714702 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140437356735632 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21880] ppid=21871 vsize=13982084 CPUtime=0.4 cores=0,2,4,6 /proc/21874/task/21880/stat : 21880 (java) S 21871 21874 5123 0 -1 1077944384 2803 0 0 0 33 7 0 0 20 0 15 0 11714702 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140437355682832 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21881] ppid=21871 vsize=13982084 CPUtime=0.39 cores=0,2,4,6 /proc/21874/task/21881/stat : 21881 (java) S 21871 21874 5123 0 -1 1077944384 1931 0 0 0 36 3 0 0 20 0 15 0 11714703 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140436743362672 140437759003266 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21882] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21882/stat : 21882 (java) S 21871 21874 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 11714704 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140436742308704 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21883] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21883/stat : 21883 (java) S 21871 21874 5123 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 11714704 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140436741256320 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21884] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21884/stat : 21884 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714706 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140436740204624 140437759010715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21885] ppid=21871 vsize=13982084 CPUtime=2.46 cores=0,2,4,6 /proc/21874/task/21885/stat : 21885 (java) S 21871 21874 5123 0 -1 1077944384 7826 0 0 0 245 1 0 0 20 0 15 0 11714706 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140436739152496 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21886] ppid=21871 vsize=13982084 CPUtime=2.48 cores=0,2,4,6 /proc/21874/task/21886/stat : 21886 (java) S 21871 21874 5123 0 -1 1077944384 7972 0 0 0 247 1 0 0 20 0 15 0 11714707 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140436738099696 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21887] ppid=21871 vsize=13982084 CPUtime=0.64 cores=0,2,4,6 /proc/21874/task/21887/stat : 21887 (java) S 21871 21874 5123 0 -1 1077944384 7665 0 0 0 61 3 0 0 20 0 15 0 11714707 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140436737047408 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21888] ppid=21871 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/21874/task/21888/stat : 21888 (java) S 21871 21874 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11714707 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140436735994848 140437759002325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 [pid=21874/tid=21889] ppid=21871 vsize=13982084 CPUtime=0.1 cores=0,2,4,6 /proc/21874/task/21889/stat : 21889 (java) S 21871 21874 5123 0 -1 1077944384 149 0 0 0 5 5 0 0 20 0 15 0 11714713 14317654016 96050 18446744073709551615 4194304 4196468 140737446788880 140436734941616 140437759003266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38625280 140737446793617 140737446793803 140737446793803 140737446797263 0 Current children cumulated CPU time (s) 246.56 Current children cumulated vsize (KiB) 13982084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 21874 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 240.031 CPU time (s): 246.61 CPU user time (s): 246.102 CPU system time (s): 0.507997 CPU usage (%): 102.741 Max. virtual memory (cumulated for all children) (KiB): 13982084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 246.102 system time used= 0.507997 maximum resident set size= 384788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53768 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= 17866 involuntary context switches= 790 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.17761 second user time and 1.29167 second system time The end
Begin job on node130 at 2017-08-02 01:29:02 IDJOB=4255973 IDBENCH=124212 IDSOLVER=2639 FILE ID=node130/4255973-1501630977 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-2.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-4255973-1501630977/watcher-4255973-1501630977 -o /tmp/evaluation-result-4255973-1501630977/solver-4255973-1501630977 -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 1281192350 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255973-1501630977.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e28ebc68094c3335bce51ae11fa43933 RANDOM SEED=1281192350 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: 29612400 kB MemAvailable: 29814636 kB Buffers: 105328 kB Cached: 379384 kB SwapCached: 0 kB Active: 2538160 kB Inactive: 213184 kB Active(anon): 2266968 kB Inactive(anon): 8532 kB Active(file): 271192 kB Inactive(file): 204652 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42080 kB Writeback: 0 kB AnonPages: 2266376 kB Mapped: 44568 kB Shmem: 8872 kB Slab: 109104 kB SReclaimable: 84456 kB SUnreclaim: 24648 kB KernelStack: 3440 kB PageTables: 9280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4384572 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2138112 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:33:02