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-08-09) | SAT (TO) | 148 | 245.939 | 240.02 |
| 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.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270033-1502621247.xml" -tl '264s' -p 1 -x 0 0.12/0.14 c [HOME/instance-4270033-1502621247.xml, -tl, 264s, -p, 1, -x, 0] 0.12/0.20 c simple solver 0.33/0.26 c parse instance... 1.07/0.57 c solve instance... 14.90/10.38 o 167 15.02/10.41 o 166 15.27/10.69 o 165 15.38/10.76 o 164 19.38/14.51 o 154 31.40/26.05 o 153 44.35/38.98 o 151 44.56/39.13 o 150 44.56/39.16 o 149 45.26/39.82 o 148 245.91/240.01 s SATISFIABLE 245.91/240.01 v <instantiation> 245.91/240.01 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.91/240.01 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.91/240.01 v </instantiation> 245.91/240.01 c Unexpected resolution interruption!
OK 148
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10999 MiB free)
memory of node 1: 16384 MiB (13645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270033-1502621247/watcher-4270033-1502621247 -o /tmp/evaluation-result-4270033-1502621247/solver-4270033-1502621247 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502619907-1762 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1287522380 HOME/instance-4270033-1502621247.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2064, runsolver pid=2061
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.93 1.67 1.38 3/218 2080
/proc/meminfo: memFree=25219396/32770624 swapFree=67108860/67108860
[pid=2064] ppid=2061 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95196386 9740288 346 33554432000 4194304 5098028 140729232611504 140729232609608 140571601891964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16850944 140729232614516 140729232614720 140729232614720 140729232617451 0
/proc/2064/statm: 2378 346 289 221 0 87 0
[pid=2066] ppid=2064 vsize=13978596 memory=27592 CPUtime=0.12 cores=1,3,5,7
/proc/2066/stat : 2066 (java) S 2064 2064 31727 0 -1 1077944320 5316 0 0 0 11 1 0 0 20 0 15 0 95196386 14314082304 6898 33554432000 4194304 4196468 140724473209536 140724473192080 140049331773175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
/proc/2066/statm: 3494649 6898 2849 1 0 3482966 0
[pid=2066/tid=2067] ppid=2064 vsize=13978596 memory=-8412658762350172019 CPUtime=0.09 cores=1,3,5,7
/proc/2066/task/2067/stat : 2067 (java) R 2064 2064 31727 0 -1 4202560 3324 0 0 0 8 1 0 0 20 0 15 0 95196387 14314082304 6963 33554432000 4194304 4196468 140724473209536 140049336005280 140049331785110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2068] ppid=2064 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196387 14314082304 6963 33554432000 4194304 4196468 140724473209536 140049288326032 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2069] ppid=2064 vsize=13978596 memory=140296332793472 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196387 14314082304 7029 33554432000 4194304 4196468 140724473209536 140048926698256 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2070] ppid=2064 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196387 14314082304 7029 33554432000 4194304 4196468 140724473209536 140048925645968 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2071] ppid=2064 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95196387 14314082304 7029 33554432000 4194304 4196468 140724473209536 140048924593168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2072] ppid=2064 vsize=13978596 memory=140296332793472 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95196389 14314082304 7029 33554432000 4194304 4196468 140724473209536 140048805607536 140049331784322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2073] ppid=2064 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95196389 14314082304 7029 33554432000 4194304 4196468 140724473209536 140048804553504 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2074] ppid=2064 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95196389 14314082304 7029 33554432000 4194304 4196468 140724473209536 140048803501168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2075] ppid=2064 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14314082304 7029 33554432000 4194304 4196468 140724473209536 140048802449488 140049331791771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2076] ppid=2064 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2076/stat : 2076 (java) S 2064 2064 31727 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 95196392 14314082304 7029 33554432000 4194304 4196468 140724473209536 140048801397360 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2077] ppid=2064 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2077/stat : 2077 (java) S 2064 2064 31727 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 95196392 14314082304 7029 33554432000 4194304 4196468 140724473209536 140048800344560 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2078] ppid=2064 vsize=13978596 memory=140296332793472 CPUtime=0.01 cores=1,3,5,7
/proc/2066/task/2078/stat : 2078 (java) R 2064 2064 31727 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 95196392 14314082304 7029 33554432000 4194304 4196468 140724473209536 140048799292272 140049324010302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2079] ppid=2064 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14314082304 7029 33554432000 4194304 4196468 140724473209536 140048798239712 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2080] ppid=2064 vsize=13978596 memory=140296332793472 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196392 14314082304 7029 33554432000 4194304 4196468 140724473209536 140048797186480 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28976 KiB
[startup+0.210914 s]*
/proc/loadavg: 1.93 1.67 1.38 2/201 2082
/proc/meminfo: memFree=26559488/32770624 swapFree=67108860/67108860
[pid=2064] ppid=2061 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95196386 9740288 346 33554432000 4194304 5098028 140729232611504 140729232609608 140571601891964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16850944 140729232614516 140729232614720 140729232614720 140729232617451 0
/proc/2064/statm: 2378 346 289 221 0 87 0
[pid=2066] ppid=2064 vsize=13982852 memory=40532 CPUtime=0.33 cores=1,3,5,7
/proc/2066/stat : 2066 (java) S 2064 2064 31727 0 -1 1077944320 8163 0 0 0 31 2 0 0 20 0 15 0 95196386 14318440448 10133 33554432000 4194304 4196468 140724473209536 140724473192080 140049331773175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
/proc/2066/statm: 3495713 10133 3049 1 0 3482966 0
[pid=2066/tid=2067] ppid=2064 vsize=13982852 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/2066/task/2067/stat : 2067 (java) D 2064 2064 31727 0 -1 1077944384 5300 0 0 0 18 1 0 0 20 0 15 0 95196387 14318440448 10155 33554432000 4194304 4196468 140724473209536 140049335982800 140049324452397 0 4 0 16800975 18446744072101613092 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2068] ppid=2064 vsize=13982852 memory=342 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196387 14318440448 10155 33554432000 4194304 4196468 140724473209536 140049288326032 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2069] ppid=2064 vsize=13982852 memory=288370672484505216 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196387 14318440448 10155 33554432000 4194304 4196468 140724473209536 140048926698256 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2070] ppid=2064 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196387 14318440448 10155 33554432000 4194304 4196468 140724473209536 140048925645968 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2071] ppid=2064 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95196387 14318473216 10155 33554432000 4194304 4196468 140724473209536 140048924593168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2072] ppid=2064 vsize=13982884 memory=140296332793472 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95196389 14318473216 10155 33554432000 4194304 4196468 140724473209536 140048805607536 140049331784322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2073] ppid=2064 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95196389 14318440448 10155 33554432000 4194304 4196468 140724473209536 140048804553504 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2074] ppid=2064 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95196389 14318440448 10155 33554432000 4194304 4196468 140724473209536 140048803501168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2075] ppid=2064 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14318440448 10155 33554432000 4194304 4196468 140724473209536 140048802449488 140049331791771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2076] ppid=2064 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2066/task/2076/stat : 2076 (java) S 2064 2064 31727 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 15 0 95196392 14318440448 10155 33554432000 4194304 4196468 140724473209536 140048801397360 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2077] ppid=2064 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2066/task/2077/stat : 2077 (java) S 2064 2064 31727 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 15 0 95196392 14318440448 10155 33554432000 4194304 4196468 140724473209536 140048800344560 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2078] ppid=2064 vsize=13982852 memory=140296332793472 CPUtime=0.07 cores=1,3,5,7
/proc/2066/task/2078/stat : 2078 (java) S 2064 2064 31727 0 -1 1077944384 737 0 0 0 7 0 0 0 20 0 15 0 95196392 14318440448 10155 33554432000 4194304 4196468 140724473209536 140048799292272 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2079] ppid=2064 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14318440448 10155 33554432000 4194304 4196468 140724473209536 140048798239712 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2080] ppid=2064 vsize=13982884 memory=140296332793472 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196392 14318473216 10155 33554432000 4194304 4196468 140724473209536 140048797186480 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41916 KiB
[startup+0.314502 s]*
/proc/loadavg: 1.93 1.67 1.38 5/198 2090
/proc/meminfo: memFree=26553576/32770624 swapFree=67108860/67108860
[pid=2064] ppid=2061 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95196386 9740288 346 33554432000 4194304 5098028 140729232611504 140729232609608 140571601891964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16850944 140729232614516 140729232614720 140729232614720 140729232617451 0
/proc/2064/statm: 2378 346 289 221 0 87 0
[pid=2066] ppid=2064 vsize=13982852 memory=47732 CPUtime=0.52 cores=1,3,5,7
/proc/2066/stat : 2066 (java) S 2064 2064 31727 0 -1 1077944320 9058 0 0 0 49 3 0 0 20 0 15 0 95196386 14318440448 11933 33554432000 4194304 4196468 140724473209536 140724473192080 140049331773175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
/proc/2066/statm: 3495713 11933 3128 1 0 3482966 0
[pid=2066/tid=2067] ppid=2064 vsize=13982852 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/2066/task/2067/stat : 2067 (java) R 2064 2064 31727 0 -1 4202560 5944 0 0 0 28 2 0 0 20 0 15 0 95196387 14318440448 11933 33554432000 4194304 4196468 140724473209536 140049335996000 140049331794522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2068] ppid=2064 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196387 14318440448 11933 33554432000 4194304 4196468 140724473209536 140049288326032 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2069] ppid=2064 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196387 14318440448 11933 33554432000 4194304 4196468 140724473209536 140048926698256 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2070] ppid=2064 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196387 14318440448 11933 33554432000 4194304 4196468 140724473209536 140048925645968 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2071] ppid=2064 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95196387 14318440448 11933 33554432000 4194304 4196468 140724473209536 140048924593168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2072] ppid=2064 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95196389 14318440448 11933 33554432000 4194304 4196468 140724473209536 140048805607536 140049331784322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2073] ppid=2064 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95196389 14318440448 11933 33554432000 4194304 4196468 140724473209536 140048804553504 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2074] ppid=2064 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95196389 14318440448 11933 33554432000 4194304 4196468 140724473209536 140048803501168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2075] ppid=2064 vsize=13982852 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14318440448 11933 33554432000 4194304 4196468 140724473209536 140048802449488 140049331791771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2076] ppid=2064 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2066/task/2076/stat : 2076 (java) R 2064 2064 31727 0 -1 4202560 466 0 0 0 4 0 0 0 20 0 15 0 95196392 14318440448 11933 33554432000 4194304 4196468 140724473209536 140048801397360 140049316896742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2077] ppid=2064 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/2066/task/2077/stat : 2077 (java) R 2064 2064 31727 0 -1 1077944384 497 0 0 0 3 0 0 0 20 0 15 0 95196392 14318440448 11933 33554432000 4194304 4196468 140724473209536 140048800344560 140049331784322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2078] ppid=2064 vsize=13982852 memory=280592513361202 CPUtime=0.12 cores=1,3,5,7
/proc/2066/task/2078/stat : 2078 (java) R 2064 2064 31727 0 -1 4202560 863 0 0 0 12 0 0 0 20 0 15 0 95196392 14318440448 11933 33554432000 4194304 4196468 140724473209536 140048799290232 140049310728781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2079] ppid=2064 vsize=13982852 memory=140296180572311 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14318440448 11933 33554432000 4194304 4196468 140724473209536 140048798239712 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2080] ppid=2064 vsize=13982852 memory=280592513365816 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196392 14318440448 11933 33554432000 4194304 4196468 140724473209536 140048797186480 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49116 KiB
[startup+0.701504 s]
/proc/loadavg: 1.93 1.67 1.38 6/216 2111
/proc/meminfo: memFree=26513408/32770624 swapFree=67108860/67108860
[pid=2064] ppid=2061 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95196386 9740288 346 33554432000 4194304 5098028 140729232611504 140729232609608 140571601891964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16850944 140729232614516 140729232614720 140729232614720 140729232617451 0
/proc/2064/statm: 2378 346 289 221 0 87 0
[pid=2066] ppid=2064 vsize=13984976 memory=75596 CPUtime=1.64 cores=1,3,5,7
/proc/2066/stat : 2066 (java) S 2064 2064 31727 0 -1 1077944320 12129 0 0 0 160 4 0 0 20 0 15 0 95196386 14320615424 18899 33554432000 4194304 4196468 140724473209536 140724473192080 140049331773175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
/proc/2066/statm: 3496244 18899 3216 1 0 3483478 0
[pid=2066/tid=2067] ppid=2064 vsize=13984976 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/2066/task/2067/stat : 2067 (java) R 2064 2064 31727 0 -1 4202560 6608 0 0 0 64 2 0 0 20 0 15 0 95196387 14320615424 18899 33554432000 4194304 4196468 140724473209536 140049336008624 140048972417929 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2068] ppid=2064 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 18899 33554432000 4194304 4196468 140724473209536 140049288326032 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2069] ppid=2064 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 18899 33554432000 4194304 4196468 140724473209536 140048926698256 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2070] ppid=2064 vsize=13984976 memory=55 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 18899 33554432000 4194304 4196468 140724473209536 140048925645968 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2071] ppid=2064 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 18899 33554432000 4194304 4196468 140724473209536 140048924593168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2072] ppid=2064 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 31727 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95196389 14320615424 18899 33554432000 4194304 4196468 140724473209536 140048805607536 140049331784322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2073] ppid=2064 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95196389 14320615424 18899 33554432000 4194304 4196468 140724473209536 140048804553504 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2074] ppid=2064 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95196389 14320615424 18899 33554432000 4194304 4196468 140724473209536 140048803501168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2075] ppid=2064 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14320615424 18899 33554432000 4194304 4196468 140724473209536 140048802449488 140049331791771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2076] ppid=2064 vsize=13984976 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/2066/task/2076/stat : 2076 (java) R 2064 2064 31727 0 -1 4202560 1369 0 0 0 31 0 0 0 20 0 15 0 95196392 14320615424 18899 33554432000 4194304 4196468 140724473209536 140048801388816 140049313317843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2077] ppid=2064 vsize=13984976 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/2066/task/2077/stat : 2077 (java) R 2064 2064 31727 0 -1 4202560 1195 0 0 0 29 0 0 0 20 0 15 0 95196392 14320615424 18899 33554432000 4194304 4196468 140724473209536 140048800325256 140049315270009 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2078] ppid=2064 vsize=13984976 memory=2 CPUtime=0.35 cores=1,3,5,7
/proc/2066/task/2078/stat : 2078 (java) S 2064 2064 31727 0 -1 1077944384 1650 0 0 0 35 0 0 0 20 0 15 0 95196392 14320615424 18899 33554432000 4194304 4196468 140724473209536 140048799292272 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2079] ppid=2064 vsize=13984976 memory=27296 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14320615424 18899 33554432000 4194304 4196468 140724473209536 140048798239712 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2080] ppid=2064 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95196392 14320615424 18899 33554432000 4194304 4196468 140724473209536 140048797186480 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 76980 KiB
[startup+1.50079 s]
/proc/loadavg: 1.93 1.67 1.38 8/219 2114
/proc/meminfo: memFree=26399004/32770624 swapFree=67108860/67108860
[pid=2064] ppid=2061 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95196386 9740288 346 33554432000 4194304 5098028 140729232611504 140729232609608 140571601891964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16850944 140729232614516 140729232614720 140729232614720 140729232617451 0
/proc/2064/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 31727 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95196389 14320615424 53526 33554432000 4194304 4196468 140724473209536 140048803501168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2075] ppid=2064 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14320615424 53526 33554432000 4194304 4196468 140724473209536 140048802449488 140049331791771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2076] ppid=2064 vsize=13984976 memory=4616 CPUtime=2.75 cores=1,3,5,7
/proc/2066/task/2076/stat : 2076 (java) S 2064 2064 31727 0 -1 1077944384 26661 0 0 0 273 2 0 0 20 0 15 0 95196392 14320615424 53526 33554432000 4194304 4196468 140724473209536 140048801397360 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2077] ppid=2064 vsize=13984976 memory=1928 CPUtime=2.51 cores=1,3,5,7
/proc/2066/task/2077/stat : 2077 (java) S 2064 2064 31727 0 -1 1077944384 21326 0 0 0 249 2 0 0 20 0 15 0 95196392 14320615424 53526 33554432000 4194304 4196468 140724473209536 140048800344560 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2078] ppid=2064 vsize=13984976 memory=1428 CPUtime=0.54 cores=1,3,5,7
/proc/2066/task/2078/stat : 2078 (java) S 2064 2064 31727 0 -1 1077944384 6007 0 0 0 53 1 0 0 20 0 15 0 95196392 14320615424 53526 33554432000 4194304 4196468 140724473209536 140048799292272 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2079] ppid=2064 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14320615424 53526 33554432000 4194304 4196468 140724473209536 140048798239712 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2080] ppid=2064 vsize=13984976 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 31727 0 -1 1077944384 917 0 0 0 1 1 0 0 20 0 15 0 95196392 14320615424 53526 33554432000 4194304 4196468 140724473209536 140048797186480 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
Current children cumulated CPU time: 108.15 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 215488 KiB
[startup+162.301 s]
/proc/loadavg: 2.01 1.83 1.49 3/217 2163
/proc/meminfo: memFree=26165272/32770624 swapFree=67108860/67108860
[pid=2064] ppid=2061 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95196386 9740288 346 33554432000 4194304 5098028 140729232611504 140729232609608 140571601891964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16850944 140729232614516 140729232614720 140729232614720 140729232617451 0
/proc/2064/statm: 2378 346 289 221 0 87 0
[pid=2066] ppid=2064 vsize=13984976 memory=230296 CPUtime=168.17 cores=1,3,5,7
/proc/2066/stat : 2066 (java) S 2064 2064 31727 0 -1 1077944320 70048 0 0 0 16804 13 0 0 20 0 15 0 95196386 14320615424 57574 33554432000 4194304 4196468 140724473209536 140724473192080 140049331773175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
/proc/2066/statm: 3496244 57574 3261 1 0 3483478 0
[pid=2066/tid=2067] ppid=2064 vsize=13984976 memory=230296 CPUtime=162.26 cores=1,3,5,7
/proc/2066/task/2067/stat : 2067 (java) R 2064 2064 31727 0 -1 4202560 12117 0 0 0 16222 4 0 0 20 0 15 0 95196387 14320615424 57574 33554432000 4194304 4196468 140724473209536 140049336009296 140048973559948 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2068] ppid=2064 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 31727 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 57574 33554432000 4194304 4196468 140724473209536 140049288326032 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2069] ppid=2064 vsize=13984976 memory=230296 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 31727 0 -1 1077944384 573 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 57574 33554432000 4194304 4196468 140724473209536 140048926698256 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2070] ppid=2064 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 31727 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 57574 33554432000 4194304 4196468 140724473209536 140048925645968 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2071] ppid=2064 vsize=13984976 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 31727 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 57574 33554432000 4194304 4196468 140724473209536 140048924593168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2072] ppid=2064 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 31727 0 -1 1077944384 666 0 0 0 0 0 0 0 20 0 15 0 95196389 14320615424 57574 33554432000 4194304 4196468 140724473209536 140048805607536 140049331784322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2073] ppid=2064 vsize=13984976 memory=230296 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 31727 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 95196389 14320615424 57574 33554432000 4194304 4196468 140724473209536 140048804553504 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2074] ppid=2064 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 31727 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95196389 14320615424 57574 33554432000 4194304 4196468 140724473209536 140048803501168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2075] ppid=2064 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14320615424 57574 33554432000 4194304 4196468 140724473209536 140048802449488 140049331791771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2076] ppid=2064 vsize=13984976 memory=230296 CPUtime=2.76 cores=1,3,5,7
/proc/2066/task/2076/stat : 2076 (java) S 2064 2064 31727 0 -1 1077944384 26669 0 0 0 274 2 0 0 20 0 15 0 95196392 14320615424 57574 33554432000 4194304 4196468 140724473209536 140048801397360 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2077] ppid=2064 vsize=13984976 memory=2400 CPUtime=2.52 cores=1,3,5,7
/proc/2066/task/2077/stat : 2077 (java) S 2064 2064 31727 0 -1 1077944384 21337 0 0 0 250 2 0 0 20 0 15 0 95196392 14320615424 57574 33554432000 4194304 4196468 140724473209536 140048800344560 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2078] ppid=2064 vsize=13984976 memory=1728 CPUtime=0.54 cores=1,3,5,7
/proc/2066/task/2078/stat : 2078 (java) S 2064 2064 31727 0 -1 1077944384 6007 0 0 0 53 1 0 0 20 0 15 0 95196392 14320615424 57574 33554432000 4194304 4196468 140724473209536 140048799292272 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2079] ppid=2064 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14320615424 57574 33554432000 4194304 4196468 140724473209536 140048798239712 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2080] ppid=2064 vsize=13984976 memory=230296 CPUtime=0.03 cores=1,3,5,7
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 31727 0 -1 1077944384 921 0 0 0 2 1 0 0 20 0 15 0 95196392 14320615424 57574 33554432000 4194304 4196468 140724473209536 140048797186480 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
Current children cumulated CPU time: 168.17 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 231680 KiB
[startup+222.301 s]
/proc/loadavg: 2.00 1.86 1.52 3/217 2164
/proc/meminfo: memFree=26164500/32770624 swapFree=67108860/67108860
[pid=2064] ppid=2061 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95196386 9740288 346 33554432000 4194304 5098028 140729232611504 140729232609608 140571601891964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16850944 140729232614516 140729232614720 140729232614720 140729232617451 0
/proc/2064/statm: 2378 346 289 221 0 87 0
[pid=2066] ppid=2064 vsize=13984976 memory=230336 CPUtime=228.2 cores=1,3,5,7
/proc/2066/stat : 2066 (java) S 2064 2064 31727 0 -1 1077944320 70326 0 0 0 22806 14 0 0 20 0 15 0 95196386 14320615424 57584 33554432000 4194304 4196468 140724473209536 140724473192080 140049331773175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
/proc/2066/statm: 3496244 57584 3261 1 0 3483478 0
[pid=2066/tid=2067] ppid=2064 vsize=13984976 memory=230336 CPUtime=222.26 cores=1,3,5,7
/proc/2066/task/2067/stat : 2067 (java) R 2064 2064 31727 0 -1 4202560 12307 0 0 0 22222 4 0 0 20 0 15 0 95196387 14320615424 57584 33554432000 4194304 4196468 140724473209536 140049336012568 140048972592009 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2068] ppid=2064 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 31727 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 57584 33554432000 4194304 4196468 140724473209536 140049288326032 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2069] ppid=2064 vsize=13984976 memory=230336 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 31727 0 -1 1077944384 573 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048926698256 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2070] ppid=2064 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 31727 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048925645968 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2071] ppid=2064 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 31727 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048924593168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2072] ppid=2064 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 31727 0 -1 1077944384 667 0 0 0 0 0 0 0 20 0 15 0 95196389 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048805607536 140049331784322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2073] ppid=2064 vsize=13984976 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 31727 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 95196389 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048804553504 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2074] ppid=2064 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 31727 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95196389 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048803501168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2075] ppid=2064 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048802449488 140049331791771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2076] ppid=2064 vsize=13984976 memory=4012 CPUtime=2.76 cores=1,3,5,7
/proc/2066/task/2076/stat : 2076 (java) S 2064 2064 31727 0 -1 1077944384 26671 0 0 0 274 2 0 0 20 0 15 0 95196392 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048801397360 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2077] ppid=2064 vsize=13984976 memory=27296 CPUtime=2.52 cores=1,3,5,7
/proc/2066/task/2077/stat : 2077 (java) S 2064 2064 31727 0 -1 1077944384 21372 0 0 0 250 2 0 0 20 0 15 0 95196392 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048800344560 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2078] ppid=2064 vsize=13984976 memory=1296 CPUtime=0.54 cores=1,3,5,7
/proc/2066/task/2078/stat : 2078 (java) S 2064 2064 31727 0 -1 1077944384 6051 0 0 0 53 1 0 0 20 0 15 0 95196392 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048799292272 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2079] ppid=2064 vsize=13984976 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048798239712 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2080] ppid=2064 vsize=13984976 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 31727 0 -1 1077944384 927 0 0 0 2 2 0 0 20 0 15 0 95196392 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048797186480 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
Current children cumulated CPU time: 228.2 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 231720 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.00 1.87 1.53 3/217 2164
/proc/meminfo: memFree=26164500/32770624 swapFree=67108860/67108860
[pid=2064] ppid=2061 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95196386 9740288 346 33554432000 4194304 5098028 140729232611504 140729232609608 140571601891964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16850944 140729232614516 140729232614720 140729232614720 140729232617451 0
/proc/2064/statm: 2378 346 289 221 0 87 0
[pid=2066] ppid=2064 vsize=13984976 memory=230336 CPUtime=245.91 cores=1,3,5,7
/proc/2066/stat : 2066 (java) S 2064 2064 31727 0 -1 1077944320 70534 0 0 0 24577 14 0 0 20 0 15 0 95196386 14320615424 57584 33554432000 4194304 4196468 140724473209536 140724473192080 140049331773175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
/proc/2066/statm: 3496244 57584 3261 1 0 3483478 0
[pid=2066/tid=2067] ppid=2064 vsize=13984976 memory=6935054825532540783 CPUtime=239.97 cores=1,3,5,7
/proc/2066/task/2067/stat : 2067 (java) R 2064 2064 31727 0 -1 4202560 12495 0 0 0 23993 4 0 0 20 0 15 0 95196387 14320615424 57584 33554432000 4194304 4196468 140724473209536 140049336012568 140048972591552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2068] ppid=2064 vsize=13984976 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 31727 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 57584 33554432000 4194304 4196468 140724473209536 140049288326032 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2069] ppid=2064 vsize=13984976 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 31727 0 -1 1077944384 573 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048926698256 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2070] ppid=2064 vsize=13984976 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 31727 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048925645968 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2071] ppid=2064 vsize=13984976 memory=928 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 31727 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 15 0 95196387 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048924593168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2072] ppid=2064 vsize=13984976 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 31727 0 -1 1077944384 671 0 0 0 0 0 0 0 20 0 15 0 95196389 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048805607536 140049331784322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2073] ppid=2064 vsize=13984976 memory=3096 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 31727 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 95196389 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048804553504 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2074] ppid=2064 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 31727 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 95196389 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048803501168 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2075] ppid=2064 vsize=13984976 memory=230336 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048802449488 140049331791771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2076] ppid=2064 vsize=13984976 memory=1160 CPUtime=2.76 cores=1,3,5,7
/proc/2066/task/2076/stat : 2076 (java) S 2064 2064 31727 0 -1 1077944384 26672 0 0 0 274 2 0 0 20 0 15 0 95196392 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048801397360 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2077] ppid=2064 vsize=13984976 memory=3176 CPUtime=2.52 cores=1,3,5,7
/proc/2066/task/2077/stat : 2077 (java) S 2064 2064 31727 0 -1 1077944384 21372 0 0 0 250 2 0 0 20 0 15 0 95196392 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048800344560 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2078] ppid=2064 vsize=13984976 memory=1384 CPUtime=0.54 cores=1,3,5,7
/proc/2066/task/2078/stat : 2078 (java) S 2064 2064 31727 0 -1 1077944384 6051 0 0 0 53 1 0 0 20 0 15 0 95196392 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048799292272 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2079] ppid=2064 vsize=13984976 memory=216148 CPUtime=0 cores=1,3,5,7
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95196392 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048798239712 140049331783381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
[pid=2066/tid=2080] ppid=2064 vsize=13984976 memory=2240 CPUtime=0.04 cores=1,3,5,7
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 31727 0 -1 1077944384 942 0 0 0 2 2 0 0 20 0 15 0 95196392 14320615424 57584 33554432000 4194304 4196468 140724473209536 140048797186480 140049331784322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10563584 140724473214109 140724473214284 140724473214284 140724473216975 0
Current children cumulated CPU time: 245.91 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 231720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 2064 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000939 s, system=0.000939 s
[startup+240.02 s]
# the end of solver process 2066 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.794 s, system=0.145021 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.02
CPU time (s): 245.939
CPU user time (s): 245.794
CPU system time (s): 0.145021
CPU usage (%): 102.466
Max. virtual memory (cumulated for all children) (KiB): 13996552
Max. memory (cumulated for all children) (KiB): 231720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.794
system time used= 0.145021
maximum resident set size= 230964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71330
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7882
involuntary context switches= 216
# summary of solver processes directly reported to runsolver:
# pid: 2064,2066
# total CPU time (s): 245.939
# total CPU user time (s): 245.794
# total CPU system time (s): 0.145021
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26986 second user time and 2.28315 second system time
The end
Begin job on node105 at 2017-08-13 12:33:09 IDJOB=4270033 IDBENCH=124135 IDSOLVER=2661 FILE ID=node105/4270033-1502621247 RUNJOBID= node105-1502619907-1762 PBS_JOBID= 20628295 Free space on /tmp= 60660 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-4270033-1502621247/watcher-4270033-1502621247 -o /tmp/evaluation-result-4270033-1502621247/solver-4270033-1502621247 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502619907-1762 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1287522380 HOME/instance-4270033-1502621247.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=1287522380 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 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: 25236564 kB MemAvailable: 30628140 kB Buffers: 159928 kB Cached: 5507624 kB SwapCached: 0 kB Active: 2025476 kB Inactive: 5046412 kB Active(anon): 1407160 kB Inactive(anon): 25060 kB Active(file): 618316 kB Inactive(file): 5021352 kB Unevictable: 6248 kB Mlocked: 6248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7816 kB Writeback: 0 kB AnonPages: 1410464 kB Mapped: 55564 kB Shmem: 25228 kB Slab: 161112 kB SReclaimable: 135488 kB SUnreclaim: 25624 kB KernelStack: 3520 kB PageTables: 7416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3067952 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1294336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60652 MiB End job on node105 at 2017-08-13 12:37:09