Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-07-26) | SAT (TO) | 148 | 245.53 | 240.00999 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml |
| MD5SUM | b82332625d17a81d2c62c757de216262 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 123 |
| Best CPU time to get the best result obtained on this benchmark | 7.2521 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3507 |
| Number of constraints | 189 |
| Number of domains | 12 |
| Minimum domain size | 2 |
| Maximum domain size | 20 |
| Distribution of domain sizes | [{"size":2,"count":334},{"size":3,"count":334},{"size":5,"count":334},{"size":8,"count":167},{"size":9,"count":167},{"size":10,"count":334},{"size":11,"count":167},{"size":12,"count":167},{"size":14,"count":668},{"size":15,"count":334},{"size":18,"count":334},{"size":20,"count":167}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":3507}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 3340 |
| Distribution of constraint arities | [{"arity":21,"count":167},{"arity":167,"count":21},{"arity":3340,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":187}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.05 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4253984-1501613442.xml" -tl '264s' -p 1 -x 0 0.00/0.23 c [HOME/instance-4253984-1501613442.xml, -tl, 264s, -p, 1, -x, 0] 0.00/0.29 c simple solver 0.00/0.35 c parse instance... 0.00/0.64 c solve instance... 14.60/10.31 o 167 14.60/10.34 o 166 14.98/10.61 o 165 14.98/10.69 o 164 18.87/14.39 o 154 30.87/25.81 o 153 43.80/38.61 o 151 43.89/38.75 o 150 43.89/38.78 o 149 44.60/39.43 o 148 245.53/240.00 s SATISFIABLE 245.53/240.00 v <instantiation> 245.53/240.00 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] </list> 245.53/240.00 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 245.53/240.00 v </instantiation> 245.53/240.00 c Unexpected resolution interruption!
OK 148
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-4253984-1501613442/watcher-4253984-1501613442 -o /tmp/evaluation-result-4253984-1501613442/solver-4253984-1501613442 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501611152-5192 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1213854071 HOME/instance-4253984-1501613442.xml pid=6481 running on 4 cores: 1,3,5,7 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.72 1.69 1.40 2/195 6484 /proc/meminfo: memFree=31778296/32770624 swapFree=0/184312 [pid=6484] ppid=6481 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/6484/stat : 6484 (runsolver) D 6481 6484 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9964530 24240128 107 18446744073709551615 4194304 4338465 140729856758928 140729856756568 140301121327831 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 6631424 140729856766045 140729856766534 140729856766534 140729856769994 0 /proc/6484/statm: 5918 107 54 36 0 2156 0 [startup+0.100123 s] /proc/loadavg: 1.72 1.69 1.40 2/195 6484 /proc/meminfo: memFree=31778296/32770624 swapFree=0/184312 [pid=6484] ppid=6481 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6484/stat : 6484 (xcsp3-exec) S 6481 6484 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9964530 9740288 345 18446744073709551615 4194304 5098028 140737336217760 140737336215864 140059731726972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38875136 140737336222107 140737336222311 140737336222311 140737336225771 0 /proc/6484/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.201871 s] /proc/loadavg: 1.72 1.69 1.40 2/195 6484 /proc/meminfo: memFree=31778296/32770624 swapFree=0/184312 [pid=6484] ppid=6481 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6484/stat : 6484 (xcsp3-exec) S 6481 6484 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9964530 9740288 345 18446744073709551615 4194304 5098028 140737336217760 140737336215864 140059731726972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38875136 140737336222107 140737336222311 140737336222311 140737336225771 0 /proc/6484/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.30026 s] /proc/loadavg: 1.72 1.69 1.40 2/195 6484 /proc/meminfo: memFree=31778296/32770624 swapFree=0/184312 [pid=6484] ppid=6481 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6484/stat : 6484 (xcsp3-exec) S 6481 6484 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9964530 9740288 345 18446744073709551615 4194304 5098028 140737336217760 140737336215864 140059731726972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38875136 140737336222107 140737336222311 140737336222311 140737336225771 0 /proc/6484/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.701156 s] /proc/loadavg: 1.72 1.69 1.40 2/195 6484 /proc/meminfo: memFree=31778296/32770624 swapFree=0/184312 [pid=6484] ppid=6481 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6484/stat : 6484 (xcsp3-exec) S 6481 6484 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9964530 9740288 345 18446744073709551615 4194304 5098028 140737336217760 140737336215864 140059731726972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38875136 140737336222107 140737336222311 140737336222311 140737336225771 0 /proc/6484/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50069 s] /proc/loadavg: 1.72 1.69 1.40 3/211 6500 /proc/meminfo: memFree=31711780/32770624 swapFree=0/184324 [pid=6484] ppid=6481 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6484/stat : 6484 (xcsp3-exec) S 6481 6484 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9964530 9740288 345 18446744073709551615 4194304 5098028 140737336217760 140737336215864 140059731726972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38875136 140737336222107 140737336222311 140737336222311 140737336225771 0 /proc/6484/statm: 2378 345 289 221 0 87 0 [pid=6486] ppid=6484 vsize=13980732 CPUtime=3.06 cores=1,3,5,7 /proc/6486/stat : 6486 (java) S 6484 6484 5131 0 -1 1077944320 17593 0 0 0 299 7 0 0 20 0 15 0 9964535 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 140736493659632 139958911635191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 /proc/6486/statm: 3495183 20433 3180 1 0 3483484 0 [pid=6486/tid=6487] ppid=6484 vsize=13980732 CPUtime=1.39 cores=1,3,5,7 /proc/6486/task/6487/stat : 6487 (java) R 6484 6484 5131 0 -1 4202560 8476 0 0 0 135 4 0 0 20 0 15 0 9964536 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958915874104 139958509827558 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6488] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6488/stat : 6488 (java) S 6484 6484 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958831049104 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6489] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6489/stat : 6489 (java) S 6484 6484 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958829996304 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6490] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6490/stat : 6490 (java) S 6484 6484 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958828944016 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6491] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6491/stat : 6491 (java) S 6484 6484 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958827891216 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6492] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6492/stat : 6492 (java) S 6484 6484 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958390192752 139958911646338 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6493] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6493/stat : 6493 (java) S 6484 6484 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958389138720 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6494] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6494/stat : 6494 (java) S 6484 6484 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958388086384 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6495] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6495/stat : 6495 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958387034704 139958911653787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6496] ppid=6484 vsize=13980732 CPUtime=0.54 cores=1,3,5,7 /proc/6486/task/6496/stat : 6496 (java) S 6484 6484 5131 0 -1 1077944384 2238 0 0 0 54 0 0 0 20 0 15 0 9964541 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958385981552 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6497] ppid=6484 vsize=13980732 CPUtime=0.69 cores=1,3,5,7 /proc/6486/task/6497/stat : 6497 (java) S 6484 6484 5131 0 -1 1077944384 3475 0 0 0 69 0 0 0 20 0 15 0 9964541 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958384928752 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6498] ppid=6484 vsize=13980732 CPUtime=0.41 cores=1,3,5,7 /proc/6486/task/6498/stat : 6498 (java) S 6484 6484 5131 0 -1 1077944384 2081 0 0 0 40 1 0 0 20 0 15 0 9964541 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958383876464 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6499] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6499/stat : 6499 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958382823904 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6500] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6500/stat : 6500 (java) S 6484 6484 5131 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 9964544 14316269568 20433 18446744073709551615 4194304 4196468 140736493677088 139958381771696 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 13990244 [startup+3.10058 s] /proc/loadavg: 1.72 1.69 1.40 3/211 6500 /proc/meminfo: memFree=31708624/32770624 swapFree=0/184324 [pid=6484] ppid=6481 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6484/stat : 6484 (xcsp3-exec) S 6481 6484 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9964530 9740288 345 18446744073709551615 4194304 5098028 140737336217760 140737336215864 140059731726972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38875136 140737336222107 140737336222311 140737336222311 140737336225771 0 /proc/6484/statm: 2378 345 289 221 0 87 0 [pid=6486] ppid=6484 vsize=13980732 CPUtime=4.98 cores=1,3,5,7 /proc/6486/stat : 6486 (java) S 6484 6484 5131 0 -1 1077944320 18448 0 0 0 491 7 0 0 20 0 15 0 9964535 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 140736493659632 139958911635191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 /proc/6486/statm: 3495183 21015 3181 1 0 3483484 0 [pid=6486/tid=6487] ppid=6484 vsize=13980732 CPUtime=2.99 cores=1,3,5,7 /proc/6486/task/6487/stat : 6487 (java) R 6484 6484 5131 0 -1 4202560 8897 0 0 0 295 4 0 0 20 0 15 0 9964536 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958915871736 139958895945648 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6488] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6488/stat : 6488 (java) S 6484 6484 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958831049104 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6489] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6489/stat : 6489 (java) S 6484 6484 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958829996304 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6490] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6490/stat : 6490 (java) S 6484 6484 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958828944016 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6491] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6491/stat : 6491 (java) S 6484 6484 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958827891216 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6492] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6492/stat : 6492 (java) S 6484 6484 5131 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958390192752 139958911646338 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6493] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6493/stat : 6493 (java) S 6484 6484 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958389138720 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6494] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6494/stat : 6494 (java) S 6484 6484 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958388086384 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6495] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6495/stat : 6495 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958387034704 139958911653787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6496] ppid=6484 vsize=13980732 CPUtime=0.7 cores=1,3,5,7 /proc/6486/task/6496/stat : 6496 (java) S 6484 6484 5131 0 -1 1077944384 2509 0 0 0 70 0 0 0 20 0 15 0 9964541 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958385981552 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6497] ppid=6484 vsize=13980732 CPUtime=0.82 cores=1,3,5,7 /proc/6486/task/6497/stat : 6497 (java) S 6484 6484 5131 0 -1 1077944384 3511 0 0 0 82 0 0 0 20 0 15 0 9964541 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958384928752 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6498] ppid=6484 vsize=13980732 CPUtime=0.44 cores=1,3,5,7 /proc/6486/task/6498/stat : 6498 (java) S 6484 6484 5131 0 -1 1077944384 2168 0 0 0 43 1 0 0 20 0 15 0 9964541 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958383876464 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6499] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6499/stat : 6499 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958382823904 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6500] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6500/stat : 6500 (java) S 6484 6484 5131 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 9964544 14316269568 21015 18446744073709551615 4194304 4196468 140736493677088 139958381771696 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 Current children cumulated CPU time (s) 4.98 Current children cumulated vsize (KiB) 13990244 [startup+6.30057 s] /proc/loadavg: 1.66 1.68 1.40 3/211 6500 /proc/meminfo: memFree=31689460/32770624 swapFree=0/184336 [pid=6484] ppid=6481 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6484/stat : 6484 (xcsp3-exec) S 6481 6484 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9964530 9740288 345 18446744073709551615 4194304 5098028 140737336217760 140737336215864 140059731726972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38875136 140737336222107 140737336222311 140737336222311 140737336225771 0 /proc/6484/statm: 2378 345 289 221 0 87 0 [pid=6486] ppid=6484 vsize=13980732 CPUtime=9.26 cores=1,3,5,7 /proc/6486/stat : 6486 (java) S 6484 6484 5131 0 -1 1077944320 37892 0 0 0 917 9 0 0 20 0 15 0 9964535 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 140736493659632 139958911635191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 /proc/6486/statm: 3495183 25590 3194 1 0 3483484 0 [pid=6486/tid=6487] ppid=6484 vsize=13980732 CPUtime=6.19 cores=1,3,5,7 /proc/6486/task/6487/stat : 6487 (java) R 6484 6484 5131 0 -1 4202560 9492 0 0 0 615 4 0 0 20 0 15 0 9964536 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958915871792 139958509527090 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6488] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6488/stat : 6488 (java) S 6484 6484 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958831049104 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6489] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6489/stat : 6489 (java) S 6484 6484 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958829996304 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6490] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6490/stat : 6490 (java) S 6484 6484 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958828944016 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6491] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6491/stat : 6491 (java) S 6484 6484 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958827891216 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6492] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6492/stat : 6492 (java) S 6484 6484 5131 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958390192752 139958911646338 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6493] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6493/stat : 6493 (java) S 6484 6484 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958389138720 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6494] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6494/stat : 6494 (java) S 6484 6484 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958388086384 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6495] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6495/stat : 6495 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958387034704 139958911653787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6496] ppid=6484 vsize=13980732 CPUtime=1.31 cores=1,3,5,7 /proc/6486/task/6496/stat : 6496 (java) S 6484 6484 5131 0 -1 1077944384 13635 0 0 0 129 2 0 0 20 0 15 0 9964541 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958385981552 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6497] ppid=6484 vsize=13980732 CPUtime=1.28 cores=1,3,5,7 /proc/6486/task/6497/stat : 6497 (java) S 6484 6484 5131 0 -1 1077944384 10847 0 0 0 127 1 0 0 20 0 15 0 9964541 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958384928752 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6498] ppid=6484 vsize=13980732 CPUtime=0.45 cores=1,3,5,7 /proc/6486/task/6498/stat : 6498 (java) S 6484 6484 5131 0 -1 1077944384 2297 0 0 0 44 1 0 0 20 0 15 0 9964541 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958383876464 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6499] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6499/stat : 6499 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958382823904 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6500] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6500/stat : 6500 (java) S 6484 6484 5131 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 9964544 14316269568 25590 18446744073709551615 4194304 4196468 140736493677088 139958381771696 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 Current children cumulated CPU time (s) 9.26 Current children cumulated vsize (KiB) 13990244 [startup+12.7007 s] /proc/loadavg: 1.69 1.69 1.41 3/211 6500 /proc/meminfo: memFree=31666884/32770624 swapFree=0/184344 [pid=6484] ppid=6481 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6484/stat : 6484 (xcsp3-exec) S 6481 6484 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9964530 9740288 345 18446744073709551615 4194304 5098028 140737336217760 140737336215864 140059731726972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38875136 140737336222107 140737336222311 140737336222311 140737336225771 0 /proc/6484/statm: 2378 345 289 221 0 87 0 [pid=6486] ppid=6484 vsize=13980732 CPUtime=17.25 cores=1,3,5,7 /proc/6486/stat : 6486 (java) S 6484 6484 5131 0 -1 1077944320 53711 0 0 0 1714 11 0 0 20 0 15 0 9964535 14316269568 30546 18446744073709551615 4194304 4196468 140736493677088 140736493659632 139958911635191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 /proc/6486/statm: 3495183 30546 3197 1 0 3483484 0 [pid=6486/tid=6487] ppid=6484 vsize=13980732 CPUtime=12.58 cores=1,3,5,7 /proc/6486/task/6487/stat : 6487 (java) R 6484 6484 5131 0 -1 4202560 10343 0 0 0 1254 4 0 0 20 0 15 0 9964536 14316269568 30546 18446744073709551615 4194304 4196468 140736493677088 139958915871968 139958510685221 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6488] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6488/stat : 6488 (java) S 6484 6484 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 30546 18446744073709551615 4194304 4196468 140736493677088 139958831049104 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6489] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6489/stat : 6489 (java) S 6484 6484 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 30546 18446744073709551615 4194304 4196468 140736493677088 139958829996304 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 ################ # More data... # ################ [pid=6486/tid=6493] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6493/stat : 6493 (java) S 6484 6484 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 53267 18446744073709551615 4194304 4196468 140736493677088 139958389138720 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6494] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6494/stat : 6494 (java) S 6484 6484 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 53267 18446744073709551615 4194304 4196468 140736493677088 139958388086384 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6495] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6495/stat : 6495 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 53267 18446744073709551615 4194304 4196468 140736493677088 139958387034704 139958911653787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6496] ppid=6484 vsize=13980732 CPUtime=2.51 cores=1,3,5,7 /proc/6486/task/6496/stat : 6496 (java) S 6484 6484 5131 0 -1 1077944384 23977 0 0 0 248 3 0 0 20 0 15 0 9964541 14316269568 53267 18446744073709551615 4194304 4196468 140736493677088 139958385981552 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6497] ppid=6484 vsize=13980732 CPUtime=2.52 cores=1,3,5,7 /proc/6486/task/6497/stat : 6497 (java) S 6484 6484 5131 0 -1 1077944384 24196 0 0 0 250 2 0 0 20 0 15 0 9964541 14316269568 53267 18446744073709551615 4194304 4196468 140736493677088 139958384928752 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6498] ppid=6484 vsize=13980732 CPUtime=0.52 cores=1,3,5,7 /proc/6486/task/6498/stat : 6498 (java) S 6484 6484 5131 0 -1 1077944384 5778 0 0 0 51 1 0 0 20 0 15 0 9964541 14316269568 53267 18446744073709551615 4194304 4196468 140736493677088 139958383876464 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6499] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6499/stat : 6499 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 53267 18446744073709551615 4194304 4196468 140736493677088 139958382823904 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6500] ppid=6484 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/6486/task/6500/stat : 6500 (java) S 6484 6484 5131 0 -1 1077944384 641 0 0 0 1 1 0 0 20 0 15 0 9964544 14316269568 53267 18446744073709551615 4194304 4196468 140736493677088 139958381771696 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 Current children cumulated CPU time (s) 107.82 Current children cumulated vsize (KiB) 13990244 [startup+162.301 s] /proc/loadavg: 1.98 1.82 1.50 3/211 6584 /proc/meminfo: memFree=31536792/32770624 swapFree=0/184468 [pid=6484] ppid=6481 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6484/stat : 6484 (xcsp3-exec) S 6481 6484 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9964530 9740288 345 18446744073709551615 4194304 5098028 140737336217760 140737336215864 140059731726972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38875136 140737336222107 140737336222311 140737336222311 140737336225771 0 /proc/6484/statm: 2378 345 289 221 0 87 0 [pid=6486] ppid=6484 vsize=13980732 CPUtime=167.82 cores=1,3,5,7 /proc/6486/stat : 6486 (java) S 6484 6484 5131 0 -1 1077944320 70709 0 0 0 16766 16 0 0 20 0 15 0 9964535 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 140736493659632 139958911635191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 /proc/6486/statm: 3495183 53270 3226 1 0 3483484 0 [pid=6486/tid=6487] ppid=6484 vsize=13980732 CPUtime=162.16 cores=1,3,5,7 /proc/6486/task/6487/stat : 6487 (java) R 6484 6484 5131 0 -1 4202560 12978 0 0 0 16210 6 0 0 20 0 15 0 9964536 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958915871824 139958509827558 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6488] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6488/stat : 6488 (java) S 6484 6484 5131 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958831049104 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6489] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6489/stat : 6489 (java) S 6484 6484 5131 0 -1 1077944384 639 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958829996304 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6490] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6490/stat : 6490 (java) S 6484 6484 5131 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958828944016 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6491] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6491/stat : 6491 (java) S 6484 6484 5131 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958827891216 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6492] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6492/stat : 6492 (java) S 6484 6484 5131 0 -1 1077944384 685 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958390192752 139958911646338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6493] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6493/stat : 6493 (java) S 6484 6484 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958389138720 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6494] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6494/stat : 6494 (java) S 6484 6484 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958388086384 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6495] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6495/stat : 6495 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958387034704 139958911653787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6496] ppid=6484 vsize=13980732 CPUtime=2.52 cores=1,3,5,7 /proc/6486/task/6496/stat : 6496 (java) S 6484 6484 5131 0 -1 1077944384 24015 0 0 0 249 3 0 0 20 0 15 0 9964541 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958385981552 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6497] ppid=6484 vsize=13980732 CPUtime=2.53 cores=1,3,5,7 /proc/6486/task/6497/stat : 6497 (java) S 6484 6484 5131 0 -1 1077944384 24214 0 0 0 251 2 0 0 20 0 15 0 9964541 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958384928752 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6498] ppid=6484 vsize=13980732 CPUtime=0.52 cores=1,3,5,7 /proc/6486/task/6498/stat : 6498 (java) S 6484 6484 5131 0 -1 1077944384 5780 0 0 0 51 1 0 0 20 0 15 0 9964541 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958383876464 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6499] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6499/stat : 6499 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958382823904 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6500] ppid=6484 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6486/task/6500/stat : 6500 (java) S 6484 6484 5131 0 -1 1077944384 643 0 0 0 1 2 0 0 20 0 15 0 9964544 14316269568 53270 18446744073709551615 4194304 4196468 140736493677088 139958381771696 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 Current children cumulated CPU time (s) 167.82 Current children cumulated vsize (KiB) 13990244 [startup+222.306 s] /proc/loadavg: 1.99 1.85 1.53 3/211 6592 /proc/meminfo: memFree=31520804/32770624 swapFree=0/184508 [pid=6484] ppid=6481 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6484/stat : 6484 (xcsp3-exec) S 6481 6484 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9964530 9740288 345 18446744073709551615 4194304 5098028 140737336217760 140737336215864 140059731726972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38875136 140737336222107 140737336222311 140737336222311 140737336225771 0 /proc/6484/statm: 2378 345 289 221 0 87 0 [pid=6486] ppid=6484 vsize=13980732 CPUtime=227.84 cores=1,3,5,7 /proc/6486/stat : 6486 (java) S 6484 6484 5131 0 -1 1077944320 71518 0 0 0 22767 17 0 0 20 0 15 0 9964535 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 140736493659632 139958911635191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 /proc/6486/statm: 3495183 56932 3226 1 0 3483484 0 [pid=6486/tid=6487] ppid=6484 vsize=13980732 CPUtime=222.16 cores=1,3,5,7 /proc/6486/task/6487/stat : 6487 (java) R 6484 6484 5131 0 -1 4202560 13444 0 0 0 22210 6 0 0 20 0 15 0 9964536 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958915874584 139958509827508 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6488] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6488/stat : 6488 (java) S 6484 6484 5131 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958831049104 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6489] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6489/stat : 6489 (java) S 6484 6484 5131 0 -1 1077944384 639 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958829996304 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6490] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6490/stat : 6490 (java) S 6484 6484 5131 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958828944016 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6491] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6491/stat : 6491 (java) S 6484 6484 5131 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958827891216 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6492] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6492/stat : 6492 (java) S 6484 6484 5131 0 -1 1077944384 692 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958390192752 139958911646338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6493] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6493/stat : 6493 (java) S 6484 6484 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958389138720 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6494] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6494/stat : 6494 (java) S 6484 6484 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958388086384 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6495] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6495/stat : 6495 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958387034704 139958911653787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6496] ppid=6484 vsize=13980732 CPUtime=2.52 cores=1,3,5,7 /proc/6486/task/6496/stat : 6496 (java) S 6484 6484 5131 0 -1 1077944384 24161 0 0 0 249 3 0 0 20 0 15 0 9964541 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958385981552 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6497] ppid=6484 vsize=13980732 CPUtime=2.53 cores=1,3,5,7 /proc/6486/task/6497/stat : 6497 (java) S 6484 6484 5131 0 -1 1077944384 24215 0 0 0 251 2 0 0 20 0 15 0 9964541 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958384928752 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6498] ppid=6484 vsize=13980732 CPUtime=0.52 cores=1,3,5,7 /proc/6486/task/6498/stat : 6498 (java) S 6484 6484 5131 0 -1 1077944384 5948 0 0 0 51 1 0 0 20 0 15 0 9964541 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958383876464 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6499] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6499/stat : 6499 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958382823904 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6500] ppid=6484 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6486/task/6500/stat : 6500 (java) S 6484 6484 5131 0 -1 1077944384 664 0 0 0 1 2 0 0 20 0 15 0 9964544 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958381771696 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 Current children cumulated CPU time (s) 227.84 Current children cumulated vsize (KiB) 13990244 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.00 1.86 1.54 3/211 6594 /proc/meminfo: memFree=31521216/32770624 swapFree=0/184532 [pid=6484] ppid=6481 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6484/stat : 6484 (xcsp3-exec) S 6481 6484 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9964530 9740288 345 18446744073709551615 4194304 5098028 140737336217760 140737336215864 140059731726972 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38875136 140737336222107 140737336222311 140737336222311 140737336225771 0 /proc/6484/statm: 2378 345 289 221 0 87 0 [pid=6486] ppid=6484 vsize=13980732 CPUtime=245.53 cores=1,3,5,7 /proc/6486/stat : 6486 (java) S 6484 6484 5131 0 -1 1077944320 71534 0 0 0 24536 17 0 0 20 0 15 0 9964535 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 140736493659632 139958911635191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 /proc/6486/statm: 3495183 56932 3226 1 0 3483484 0 [pid=6486/tid=6487] ppid=6484 vsize=13980732 CPUtime=239.85 cores=1,3,5,7 /proc/6486/task/6487/stat : 6487 (java) R 6484 6484 5131 0 -1 4202560 13460 0 0 0 23979 6 0 0 20 0 15 0 9964536 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958915874584 139958509827508 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6488] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6488/stat : 6488 (java) S 6484 6484 5131 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958831049104 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6489] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6489/stat : 6489 (java) S 6484 6484 5131 0 -1 1077944384 639 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958829996304 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6490] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6490/stat : 6490 (java) S 6484 6484 5131 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958828944016 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6491] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6491/stat : 6491 (java) S 6484 6484 5131 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 9964536 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958827891216 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6492] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6492/stat : 6492 (java) S 6484 6484 5131 0 -1 1077944384 692 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958390192752 139958911646338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6493] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6493/stat : 6493 (java) S 6484 6484 5131 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958389138720 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6494] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6494/stat : 6494 (java) S 6484 6484 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9964538 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958388086384 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6495] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6495/stat : 6495 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958387034704 139958911653787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6496] ppid=6484 vsize=13980732 CPUtime=2.52 cores=1,3,5,7 /proc/6486/task/6496/stat : 6496 (java) S 6484 6484 5131 0 -1 1077944384 24161 0 0 0 249 3 0 0 20 0 15 0 9964541 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958385981552 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6497] ppid=6484 vsize=13980732 CPUtime=2.53 cores=1,3,5,7 /proc/6486/task/6497/stat : 6497 (java) S 6484 6484 5131 0 -1 1077944384 24215 0 0 0 251 2 0 0 20 0 15 0 9964541 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958384928752 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6498] ppid=6484 vsize=13980732 CPUtime=0.52 cores=1,3,5,7 /proc/6486/task/6498/stat : 6498 (java) S 6484 6484 5131 0 -1 1077944384 5948 0 0 0 51 1 0 0 20 0 15 0 9964541 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958383876464 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6499] ppid=6484 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6486/task/6499/stat : 6499 (java) S 6484 6484 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9964541 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958382823904 139958911645397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 [pid=6486/tid=6500] ppid=6484 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/6486/task/6500/stat : 6500 (java) S 6484 6484 5131 0 -1 1077944384 664 0 0 0 1 3 0 0 20 0 15 0 9964544 14316269568 56932 18446744073709551615 4194304 4196468 140736493677088 139958381771696 139958911646338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140736493679060 140736493679235 140736493679235 140736493682639 0 Current children cumulated CPU time (s) 245.53 Current children cumulated vsize (KiB) 13990244 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 6486 sig 9 ??? kill 6484 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 6484 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1788 # CPU time returned by wait4() is 0.001788 # while last known CPU time is 245.53 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 240.01 CPU time (s): 245.53 CPU user time (s): 245.36 CPU system time (s): 0.17 CPU usage (%): 102.3 Max. virtual memory (cumulated for all children) (KiB): 13992300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.001788 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 510 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.03021 second user time and 1.29367 second system time The end
Begin job on node131 at 2017-08-01 20:36:46 IDJOB=4253984 IDBENCH=124135 IDSOLVER=2635 FILE ID=node131/4253984-1501613442 RUNJOBID= node131-1501611152-5192 PBS_JOBID= Free space on /tmp= 61936 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4253984-1501613442/watcher-4253984-1501613442 -o /tmp/evaluation-result-4253984-1501613442/solver-4253984-1501613442 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501611152-5192 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1213854071 HOME/instance-4253984-1501613442.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=1213854071 node131.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 : 5334.07 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 : 5334.07 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 : 5334.07 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 : 5334.07 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: 31778308 kB MemAvailable: 31829740 kB Buffers: 88260 kB Cached: 247976 kB SwapCached: 0 kB Active: 403668 kB Inactive: 192844 kB Active(anon): 260220 kB Inactive(anon): 8532 kB Active(file): 143448 kB Inactive(file): 184312 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7808 kB Writeback: 8 kB AnonPages: 259572 kB Mapped: 42068 kB Shmem: 8872 kB Slab: 102836 kB SReclaimable: 79012 kB SUnreclaim: 23824 kB KernelStack: 3440 kB PageTables: 5368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1243104 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61928 MiB End job on node131 at 2017-08-01 20:40:46