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-18) | SAT (TO) | 148 | 246.032 | 240.022 |
| 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-4282783-1503211574.xml" -tl '264s' -p 1 -x 0 0.12/0.14 c [HOME/instance-4282783-1503211574.xml, -tl, 264s, -p, 1, -x, 0] 0.12/0.20 c simple solver 0.33/0.27 c parse instance... 1.07/0.57 c solve instance... 14.80/10.34 o 167 14.80/10.36 o 166 15.34/10.65 o 165 15.44/10.72 o 164 19.34/14.45 o 154 31.34/25.96 o 153 44.37/38.86 o 151 44.47/39.00 o 150 44.58/39.03 o 149 45.18/39.69 o 148 246.01/240.01 s SATISFIABLE 246.01/240.01 v <instantiation> 246.01/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> 246.01/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> 246.01/240.01 v </instantiation> 246.01/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 (12165 MiB free)
memory of node 1: 16384 MiB (13222 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282783-1503211574/watcher-4282783-1503211574 -o /tmp/evaluation-result-4282783-1503211574/solver-4282783-1503211574 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32624 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 527520782 HOME/instance-4282783-1503211574.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2148, runsolver pid=2145
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 1.65 1.86 1.76 3/218 2164
/proc/meminfo: memFree=25982312/32770624 swapFree=67108860/67108860
[pid=2148] ppid=2145 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2148/stat : 2148 (xcsp3-exec) S 2145 2148 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154245438 9740288 346 33554432000 4194304 5098028 140736807776544 140736807774648 140346284495484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8785920 140736807785589 140736807785792 140736807785792 140736807788523 0
/proc/2148/statm: 2378 346 289 221 0 87 0
[pid=2150] ppid=2148 vsize=13978596 memory=27600 CPUtime=0.12 cores=0,2,4,6
/proc/2150/stat : 2150 (java) S 2148 2148 32593 0 -1 1077944320 5320 0 0 0 11 1 0 0 20 0 15 0 154245438 14314082304 6900 33554432000 4194304 4196468 140736894310656 140736894293200 140274215153399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
/proc/2150/statm: 3494649 6900 2842 1 0 3482966 0
[pid=2150/tid=2151] ppid=2148 vsize=13978596 memory=7031125463459224206 CPUtime=0.08 cores=0,2,4,6
/proc/2150/task/2151/stat : 2151 (java) R 2148 2148 32593 0 -1 4202560 3341 0 0 0 8 0 0 0 20 0 15 0 154245439 14314082304 6900 33554432000 4194304 4196468 140736894310656 140274219385744 140274215165334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2152] ppid=2148 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2152/stat : 2152 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245439 14314082304 6900 33554432000 4194304 4196468 140736894310656 140274171705744 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2153] ppid=2148 vsize=13978596 memory=140513521944192 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2153/stat : 2153 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245439 14314082304 6900 33554432000 4194304 4196468 140736894310656 140274170652944 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2154] ppid=2148 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2154/stat : 2154 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245439 14314082304 6900 33554432000 4194304 4196468 140736894310656 140273808501392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2155] ppid=2148 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2155/stat : 2155 (java) S 2148 2148 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154245439 14314082304 6900 33554432000 4194304 4196468 140736894310656 140273807448592 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2156] ppid=2148 vsize=13978596 memory=140513521944192 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2156/stat : 2156 (java) S 2148 2148 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154245441 14314082304 6900 33554432000 4194304 4196468 140736894310656 140273194715760 140274215164546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2157] ppid=2148 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2157/stat : 2157 (java) S 2148 2148 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154245441 14314082304 6900 33554432000 4194304 4196468 140736894310656 140273193661728 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2158] ppid=2148 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2158/stat : 2158 (java) S 2148 2148 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154245441 14314082304 6900 33554432000 4194304 4196468 140736894310656 140273192609392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2159] ppid=2148 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2159/stat : 2159 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14314082304 6900 33554432000 4194304 4196468 140736894310656 140273191557712 140274215171995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2160] ppid=2148 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2160/stat : 2160 (java) S 2148 2148 32593 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 154245444 14314082304 6900 33554432000 4194304 4196468 140736894310656 140273190504560 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2161] ppid=2148 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2161/stat : 2161 (java) S 2148 2148 32593 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 154245444 14314082304 6900 33554432000 4194304 4196468 140736894310656 140273189451760 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2162] ppid=2148 vsize=13978596 memory=140513521944192 CPUtime=0.01 cores=0,2,4,6
/proc/2150/task/2162/stat : 2162 (java) R 2148 2148 32593 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 154245444 14314082304 6900 33554432000 4194304 4196468 140736894310656 140273188399472 140274196390960 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2163] ppid=2148 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2163/stat : 2163 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14314082304 6900 33554432000 4194304 4196468 140736894310656 140273187346912 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2164] ppid=2148 vsize=13978596 memory=140513521944192 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2164/stat : 2164 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245444 14314082304 6900 33554432000 4194304 4196468 140736894310656 140273186294704 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28984 KiB
[startup+0.211028 s]*
/proc/loadavg: 1.65 1.86 1.76 3/218 2164
/proc/meminfo: memFree=25970492/32770624 swapFree=67108860/67108860
[pid=2148] ppid=2145 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2148/stat : 2148 (xcsp3-exec) S 2145 2148 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154245438 9740288 346 33554432000 4194304 5098028 140736807776544 140736807774648 140346284495484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8785920 140736807785589 140736807785792 140736807785792 140736807788523 0
/proc/2148/statm: 2378 346 289 221 0 87 0
[pid=2150] ppid=2148 vsize=13982852 memory=39800 CPUtime=0.33 cores=0,2,4,6
/proc/2150/stat : 2150 (java) S 2148 2148 32593 0 -1 1077944320 8050 0 0 0 31 2 0 0 20 0 15 0 154245438 14318440448 9950 33554432000 4194304 4196468 140736894310656 140736894293200 140274215153399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
/proc/2150/statm: 3495713 9950 3031 1 0 3482966 0
[pid=2150/tid=2151] ppid=2148 vsize=13982884 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/2150/task/2151/stat : 2151 (java) R 2148 2148 32593 0 -1 4202560 5293 0 0 0 18 1 0 0 20 0 15 0 154245439 14318473216 9971 33554432000 4194304 4196468 140736894310656 140274219364192 140274207870503 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2152] ppid=2148 vsize=13982852 memory=4294976320 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2152/stat : 2152 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245439 14318440448 9971 33554432000 4194304 4196468 140736894310656 140274171705744 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2153] ppid=2148 vsize=13982852 memory=140513522688032 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2153/stat : 2153 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245439 14318440448 9971 33554432000 4194304 4196468 140736894310656 140274170652944 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2154] ppid=2148 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2154/stat : 2154 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245439 14318440448 9971 33554432000 4194304 4196468 140736894310656 140273808501392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2155] ppid=2148 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2155/stat : 2155 (java) S 2148 2148 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154245439 14318440448 9971 33554432000 4194304 4196468 140736894310656 140273807448592 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2156] ppid=2148 vsize=13982852 memory=140513521944192 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2156/stat : 2156 (java) S 2148 2148 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154245441 14318440448 9971 33554432000 4194304 4196468 140736894310656 140273194715760 140274215164546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2157] ppid=2148 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2157/stat : 2157 (java) S 2148 2148 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154245441 14318440448 9971 33554432000 4194304 4196468 140736894310656 140273193661728 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2158] ppid=2148 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2158/stat : 2158 (java) S 2148 2148 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154245441 14318473216 9971 33554432000 4194304 4196468 140736894310656 140273192609392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2159] ppid=2148 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2159/stat : 2159 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14318473216 9971 33554432000 4194304 4196468 140736894310656 140273191557712 140274215171995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2160] ppid=2148 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2150/task/2160/stat : 2160 (java) S 2148 2148 32593 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 15 0 154245444 14318440448 9971 33554432000 4194304 4196468 140736894310656 140273190504560 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2161] ppid=2148 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2150/task/2161/stat : 2161 (java) S 2148 2148 32593 0 -1 1077944384 315 0 0 0 2 0 0 0 20 0 15 0 154245444 14318440448 9971 33554432000 4194304 4196468 140736894310656 140273189451760 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2162] ppid=2148 vsize=13982852 memory=140513521944192 CPUtime=0.08 cores=0,2,4,6
/proc/2150/task/2162/stat : 2162 (java) S 2148 2148 32593 0 -1 1077944384 726 0 0 0 8 0 0 0 20 0 15 0 154245444 14318440448 9971 33554432000 4194304 4196468 140736894310656 140273188399472 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2163] ppid=2148 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2163/stat : 2163 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14318440448 9971 33554432000 4194304 4196468 140736894310656 140273187346912 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2164] ppid=2148 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2164/stat : 2164 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245444 14318473216 9971 33554432000 4194304 4196468 140736894310656 140273186294704 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41184 KiB
[startup+0.311012 s]*
/proc/loadavg: 1.65 1.86 1.76 4/218 2164
/proc/meminfo: memFree=25964288/32770624 swapFree=67108860/67108860
[pid=2148] ppid=2145 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2148/stat : 2148 (xcsp3-exec) S 2145 2148 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154245438 9740288 346 33554432000 4194304 5098028 140736807776544 140736807774648 140346284495484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8785920 140736807785589 140736807785792 140736807785792 140736807788523 0
/proc/2148/statm: 2378 346 289 221 0 87 0
[pid=2150] ppid=2148 vsize=13982852 memory=46808 CPUtime=0.51 cores=0,2,4,6
/proc/2150/stat : 2150 (java) S 2148 2148 32593 0 -1 1077944320 8899 0 0 0 48 3 0 0 20 0 15 0 154245438 14318440448 11702 33554432000 4194304 4196468 140736894310656 140736894293200 140274215153399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
/proc/2150/statm: 3495713 11702 3084 1 0 3482966 0
[pid=2150/tid=2151] ppid=2148 vsize=13982852 memory=589971977830662173 CPUtime=0.29 cores=0,2,4,6
/proc/2150/task/2151/stat : 2151 (java) R 2148 2148 32593 0 -1 4202560 5940 0 0 0 27 2 0 0 20 0 15 0 154245439 14318440448 11768 33554432000 4194304 4196468 140736894310656 140274219391408 140274199233916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2152] ppid=2148 vsize=13982852 memory=288230583166051117 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2152/stat : 2152 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245439 14318440448 11768 33554432000 4194304 4196468 140736894310656 140274171705744 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2153] ppid=2148 vsize=13982852 memory=14973356345357331 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2153/stat : 2153 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245439 14318440448 11768 33554432000 4194304 4196468 140736894310656 140274170652944 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2154] ppid=2148 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2154/stat : 2154 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245439 14318440448 11768 33554432000 4194304 4196468 140736894310656 140273808501392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2155] ppid=2148 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2155/stat : 2155 (java) S 2148 2148 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154245439 14318440448 11768 33554432000 4194304 4196468 140736894310656 140273807448592 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2156] ppid=2148 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2156/stat : 2156 (java) S 2148 2148 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154245441 14318440448 11768 33554432000 4194304 4196468 140736894310656 140273194715760 140274215164546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2157] ppid=2148 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2157/stat : 2157 (java) S 2148 2148 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154245441 14318440448 11768 33554432000 4194304 4196468 140736894310656 140273193661728 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2158] ppid=2148 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2158/stat : 2158 (java) S 2148 2148 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154245441 14318440448 11768 33554432000 4194304 4196468 140736894310656 140273192609392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2159] ppid=2148 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2159/stat : 2159 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14318440448 11768 33554432000 4194304 4196468 140736894310656 140273191557712 140274215171995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2160] ppid=2148 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2150/task/2160/stat : 2160 (java) S 2148 2148 32593 0 -1 1077944384 460 0 0 0 3 0 0 0 20 0 15 0 154245444 14318440448 11768 33554432000 4194304 4196468 140736894310656 140273190504560 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2161] ppid=2148 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2150/task/2161/stat : 2161 (java) S 2148 2148 32593 0 -1 1077944384 341 0 0 0 4 0 0 0 20 0 15 0 154245444 14318440448 11768 33554432000 4194304 4196468 140736894310656 140273189451760 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2162] ppid=2148 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/2150/task/2162/stat : 2162 (java) R 2148 2148 32593 0 -1 4202560 881 0 0 0 13 0 0 0 20 0 15 0 154245444 14318440448 11768 33554432000 4194304 4196468 140736894310656 140273188397432 140274196563407 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2163] ppid=2148 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2163/stat : 2163 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14318440448 11768 33554432000 4194304 4196468 140736894310656 140273187346912 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2164] ppid=2148 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2164/stat : 2164 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245444 14318440448 11768 33554432000 4194304 4196468 140736894310656 140273186294704 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48192 KiB
[startup+0.701758 s]
/proc/loadavg: 1.65 1.86 1.76 7/218 2164
/proc/meminfo: memFree=25946576/32770624 swapFree=67108860/67108860
[pid=2148] ppid=2145 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2148/stat : 2148 (xcsp3-exec) S 2145 2148 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154245438 9740288 346 33554432000 4194304 5098028 140736807776544 140736807774648 140346284495484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8785920 140736807785589 140736807785792 140736807785792 140736807788523 0
/proc/2148/statm: 2378 346 289 221 0 87 0
[pid=2150] ppid=2148 vsize=13984976 memory=74144 CPUtime=1.65 cores=0,2,4,6
/proc/2150/stat : 2150 (java) S 2148 2148 32593 0 -1 1077944320 11773 0 0 0 160 5 0 0 20 0 15 0 154245438 14320615424 18536 33554432000 4194304 4196468 140736894310656 140736894293200 140274215153399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
/proc/2150/statm: 3496244 18536 3212 1 0 3483478 0
[pid=2150/tid=2151] ppid=2148 vsize=13984976 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/2150/task/2151/stat : 2151 (java) R 2148 2148 32593 0 -1 4202560 6612 0 0 0 64 3 0 0 20 0 15 0 154245439 14320615424 18536 33554432000 4194304 4196468 140736894310656 140274219389472 140273854151008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2152] ppid=2148 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2152/stat : 2152 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 18536 33554432000 4194304 4196468 140736894310656 140274171705744 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2153] ppid=2148 vsize=13984976 memory=153 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2153/stat : 2153 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 18536 33554432000 4194304 4196468 140736894310656 140274170652944 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2154] ppid=2148 vsize=13984976 memory=2 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2154/stat : 2154 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 18536 33554432000 4194304 4196468 140736894310656 140273808501392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2155] ppid=2148 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2155/stat : 2155 (java) S 2148 2148 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 18536 33554432000 4194304 4196468 140736894310656 140273807448592 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2156] ppid=2148 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2156/stat : 2156 (java) S 2148 2148 32593 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154245441 14320615424 18536 33554432000 4194304 4196468 140736894310656 140273194715760 140274215164546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2157] ppid=2148 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2157/stat : 2157 (java) S 2148 2148 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154245441 14320615424 18536 33554432000 4194304 4196468 140736894310656 140273193661728 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2158] ppid=2148 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2158/stat : 2158 (java) S 2148 2148 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154245441 14320615424 18536 33554432000 4194304 4196468 140736894310656 140273192609392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2159] ppid=2148 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2159/stat : 2159 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14320615424 18536 33554432000 4194304 4196468 140736894310656 140273191557712 140274215171995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2160] ppid=2148 vsize=13984976 memory=4128 CPUtime=0.29 cores=0,2,4,6
/proc/2150/task/2160/stat : 2160 (java) R 2148 2148 32593 0 -1 4202560 1010 0 0 0 29 0 0 0 20 0 15 0 154245444 14320615424 18536 33554432000 4194304 4196468 140736894310656 140273190497192 140274200035142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2161] ppid=2148 vsize=13984976 memory=1160 CPUtime=0.3 cores=0,2,4,6
/proc/2150/task/2161/stat : 2161 (java) R 2148 2148 32593 0 -1 4202560 1224 0 0 0 30 0 0 0 20 0 15 0 154245444 14320615424 18536 33554432000 4194304 4196468 140736894310656 140273189436968 140274196673094 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2162] ppid=2148 vsize=13984976 memory=3124 CPUtime=0.35 cores=0,2,4,6
/proc/2150/task/2162/stat : 2162 (java) S 2148 2148 32593 0 -1 1077944384 1621 0 0 0 35 0 0 0 20 0 15 0 154245444 14320615424 18536 33554432000 4194304 4196468 140736894310656 140273188399472 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2163] ppid=2148 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2163/stat : 2163 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14320615424 18536 33554432000 4194304 4196468 140736894310656 140273187346912 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2164] ppid=2148 vsize=13984976 memory=148460 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2164/stat : 2164 (java) S 2148 2148 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154245444 14320615424 18536 33554432000 4194304 4196468 140736894310656 140273186294704 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 75528 KiB
[startup+1.50089 s]
/proc/loadavg: 1.65 1.86 1.76 3/218 2164
/proc/meminfo: memFree=25931072/32770624 swapFree=67108860/67108860
[pid=2148] ppid=2145 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2148/stat : 2148 (xcsp3-exec) S 2145 2148 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154245438 9740288 346 33554432000 4194304 5098028 140736807776544 140736807774648 140346284495484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8785920 140736807785589 140736807785792 140736807785792 140736807788523 0
/proc/2148/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/2150/task/2158/stat : 2158 (java) S 2148 2148 32593 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154245441 14320615424 54225 33554432000 4194304 4196468 140736894310656 140273192609392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2159] ppid=2148 vsize=13984976 memory=216900 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2159/stat : 2159 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14320615424 54225 33554432000 4194304 4196468 140736894310656 140273191557712 140274215171995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2160] ppid=2148 vsize=13984976 memory=216900 CPUtime=2.97 cores=0,2,4,6
/proc/2150/task/2160/stat : 2160 (java) S 2148 2148 32593 0 -1 1077944384 25467 0 0 0 294 3 0 0 20 0 15 0 154245444 14320615424 54225 33554432000 4194304 4196468 140736894310656 140273190504560 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2161] ppid=2148 vsize=13984976 memory=1384 CPUtime=2.37 cores=0,2,4,6
/proc/2150/task/2161/stat : 2161 (java) S 2148 2148 32593 0 -1 1077944384 20883 0 0 0 235 2 0 0 20 0 15 0 154245444 14320615424 54225 33554432000 4194304 4196468 140736894310656 140273189451760 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2162] ppid=2148 vsize=13984976 memory=216872 CPUtime=0.53 cores=0,2,4,6
/proc/2150/task/2162/stat : 2162 (java) S 2148 2148 32593 0 -1 1077944384 5457 0 0 0 53 0 0 0 20 0 15 0 154245444 14320615424 54225 33554432000 4194304 4196468 140736894310656 140273188399472 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2163] ppid=2148 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2163/stat : 2163 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14320615424 54225 33554432000 4194304 4196468 140736894310656 140273187346912 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2164] ppid=2148 vsize=13984976 memory=216888 CPUtime=0.03 cores=0,2,4,6
/proc/2150/task/2164/stat : 2164 (java) S 2148 2148 32593 0 -1 1077944384 683 0 0 0 1 2 0 0 20 0 15 0 154245444 14320615424 54225 33554432000 4194304 4196468 140736894310656 140273186294704 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
Current children cumulated CPU time: 108.23 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 218284 KiB
[startup+162.301 s]
/proc/loadavg: 1.98 1.92 1.79 3/218 2247
/proc/meminfo: memFree=25747692/32770624 swapFree=67108860/67108860
[pid=2148] ppid=2145 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2148/stat : 2148 (xcsp3-exec) S 2145 2148 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154245438 9740288 346 33554432000 4194304 5098028 140736807776544 140736807774648 140346284495484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8785920 140736807785589 140736807785792 140736807785792 140736807788523 0
/proc/2148/statm: 2378 346 289 221 0 87 0
[pid=2150] ppid=2148 vsize=13984976 memory=218256 CPUtime=168.27 cores=0,2,4,6
/proc/2150/stat : 2150 (java) S 2148 2148 32593 0 -1 1077944320 67852 0 0 0 16811 16 0 0 20 0 15 0 154245438 14320615424 54564 33554432000 4194304 4196468 140736894310656 140736894293200 140274215153399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
/proc/2150/statm: 3496244 54564 3256 1 0 3483478 0
[pid=2150/tid=2151] ppid=2148 vsize=13984976 memory=1384 CPUtime=162.26 cores=0,2,4,6
/proc/2150/task/2151/stat : 2151 (java) R 2148 2148 32593 0 -1 4202560 11930 0 0 0 16221 5 0 0 20 0 15 0 154245439 14320615424 54564 33554432000 4194304 4196468 140736894310656 140274219389616 140273854375334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2152] ppid=2148 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2152/stat : 2152 (java) S 2148 2148 32593 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 54564 33554432000 4194304 4196468 140736894310656 140274171705744 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2153] ppid=2148 vsize=13984976 memory=218256 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2153/stat : 2153 (java) S 2148 2148 32593 0 -1 1077944384 666 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 54564 33554432000 4194304 4196468 140736894310656 140274170652944 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2154] ppid=2148 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2154/stat : 2154 (java) S 2148 2148 32593 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 54564 33554432000 4194304 4196468 140736894310656 140273808501392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2155] ppid=2148 vsize=13984976 memory=150848 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2155/stat : 2155 (java) S 2148 2148 32593 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 54564 33554432000 4194304 4196468 140736894310656 140273807448592 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2156] ppid=2148 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2156/stat : 2156 (java) S 2148 2148 32593 0 -1 1077944384 649 0 0 0 0 0 0 0 20 0 15 0 154245441 14320615424 54564 33554432000 4194304 4196468 140736894310656 140273194715760 140274215164546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2157] ppid=2148 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2157/stat : 2157 (java) S 2148 2148 32593 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154245441 14320615424 54564 33554432000 4194304 4196468 140736894310656 140273193661728 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2158] ppid=2148 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2158/stat : 2158 (java) S 2148 2148 32593 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154245441 14320615424 54564 33554432000 4194304 4196468 140736894310656 140273192609392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2159] ppid=2148 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2159/stat : 2159 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14320615424 54564 33554432000 4194304 4196468 140736894310656 140273191557712 140274215171995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2160] ppid=2148 vsize=13984976 memory=4140 CPUtime=2.98 cores=0,2,4,6
/proc/2150/task/2160/stat : 2160 (java) S 2148 2148 32593 0 -1 1077944384 25704 0 0 0 295 3 0 0 20 0 15 0 154245444 14320615424 54564 33554432000 4194304 4196468 140736894310656 140273190504560 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2161] ppid=2148 vsize=13984976 memory=8112282956445269571 CPUtime=2.37 cores=0,2,4,6
/proc/2150/task/2161/stat : 2161 (java) S 2148 2148 32593 0 -1 1077944384 20895 0 0 0 235 2 0 0 20 0 15 0 154245444 14320615424 54564 33554432000 4194304 4196468 140736894310656 140273189451760 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2162] ppid=2148 vsize=13984976 memory=4100 CPUtime=0.53 cores=0,2,4,6
/proc/2150/task/2162/stat : 2162 (java) S 2148 2148 32593 0 -1 1077944384 5466 0 0 0 53 0 0 0 20 0 15 0 154245444 14320615424 54564 33554432000 4194304 4196468 140736894310656 140273188399472 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2163] ppid=2148 vsize=13984976 memory=218256 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2163/stat : 2163 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14320615424 54564 33554432000 4194304 4196468 140736894310656 140273187346912 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2164] ppid=2148 vsize=13984976 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/2150/task/2164/stat : 2164 (java) S 2148 2148 32593 0 -1 1077944384 760 0 0 0 2 3 0 0 20 0 15 0 154245444 14320615424 54564 33554432000 4194304 4196468 140736894310656 140273186294704 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
Current children cumulated CPU time: 168.27 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 219640 KiB
[startup+222.301 s]
/proc/loadavg: 2.03 1.95 1.81 3/217 2248
/proc/meminfo: memFree=25719272/32770624 swapFree=67108860/67108860
[pid=2148] ppid=2145 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2148/stat : 2148 (xcsp3-exec) S 2145 2148 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154245438 9740288 346 33554432000 4194304 5098028 140736807776544 140736807774648 140346284495484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8785920 140736807785589 140736807785792 140736807785792 140736807788523 0
/proc/2148/statm: 2378 346 289 221 0 87 0
[pid=2150] ppid=2148 vsize=13984976 memory=224376 CPUtime=228.29 cores=0,2,4,6
/proc/2150/stat : 2150 (java) S 2148 2148 32593 0 -1 1077944320 68285 0 0 0 22812 17 0 0 20 0 15 0 154245438 14320615424 56094 33554432000 4194304 4196468 140736894310656 140736894293200 140274215153399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
/proc/2150/statm: 3496244 56094 3256 1 0 3483478 0
[pid=2150/tid=2151] ppid=2148 vsize=13984976 memory=224376 CPUtime=222.26 cores=0,2,4,6
/proc/2150/task/2151/stat : 2151 (java) R 2148 2148 32593 0 -1 4202560 12095 0 0 0 22221 5 0 0 20 0 15 0 154245439 14320615424 56094 33554432000 4194304 4196468 140736894310656 140274219392376 140273855171743 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2152] ppid=2148 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2152/stat : 2152 (java) S 2148 2148 32593 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 56094 33554432000 4194304 4196468 140736894310656 140274171705744 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2153] ppid=2148 vsize=13984976 memory=224376 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2153/stat : 2153 (java) S 2148 2148 32593 0 -1 1077944384 666 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 56094 33554432000 4194304 4196468 140736894310656 140274170652944 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2154] ppid=2148 vsize=13984976 memory=224376 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2154/stat : 2154 (java) S 2148 2148 32593 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273808501392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2155] ppid=2148 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2155/stat : 2155 (java) S 2148 2148 32593 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273807448592 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2156] ppid=2148 vsize=13984976 memory=224376 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2156/stat : 2156 (java) S 2148 2148 32593 0 -1 1077944384 651 0 0 0 0 0 0 0 20 0 15 0 154245441 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273194715760 140274215164546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2157] ppid=2148 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2157/stat : 2157 (java) S 2148 2148 32593 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154245441 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273193661728 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2158] ppid=2148 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2158/stat : 2158 (java) S 2148 2148 32593 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154245441 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273192609392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2159] ppid=2148 vsize=13984976 memory=224376 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2159/stat : 2159 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273191557712 140274215171995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2160] ppid=2148 vsize=13984976 memory=4140 CPUtime=2.98 cores=0,2,4,6
/proc/2150/task/2160/stat : 2160 (java) S 2148 2148 32593 0 -1 1077944384 25706 0 0 0 295 3 0 0 20 0 15 0 154245444 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273190504560 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2161] ppid=2148 vsize=13984976 memory=1296 CPUtime=2.38 cores=0,2,4,6
/proc/2150/task/2161/stat : 2161 (java) S 2148 2148 32593 0 -1 1077944384 21033 0 0 0 236 2 0 0 20 0 15 0 154245444 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273189451760 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2162] ppid=2148 vsize=13984976 memory=2336 CPUtime=0.53 cores=0,2,4,6
/proc/2150/task/2162/stat : 2162 (java) S 2148 2148 32593 0 -1 1077944384 5586 0 0 0 53 0 0 0 20 0 15 0 154245444 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273188399472 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2163] ppid=2148 vsize=13984976 memory=-7173504570860347296 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2163/stat : 2163 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273187346912 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2164] ppid=2148 vsize=13984976 memory=-9001734013606258791 CPUtime=0.06 cores=0,2,4,6
/proc/2150/task/2164/stat : 2164 (java) S 2148 2148 32593 0 -1 1077944384 766 0 0 0 2 4 0 0 20 0 15 0 154245444 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273186294704 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
Current children cumulated CPU time: 228.29 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 225760 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.02 1.95 1.81 3/217 2248
/proc/meminfo: memFree=25719272/32770624 swapFree=67108860/67108860
[pid=2148] ppid=2145 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2148/stat : 2148 (xcsp3-exec) S 2145 2148 32593 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154245438 9740288 346 33554432000 4194304 5098028 140736807776544 140736807774648 140346284495484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8785920 140736807785589 140736807785792 140736807785792 140736807788523 0
/proc/2148/statm: 2378 346 289 221 0 87 0
[pid=2150] ppid=2148 vsize=13984976 memory=224376 CPUtime=246.01 cores=0,2,4,6
/proc/2150/stat : 2150 (java) S 2148 2148 32593 0 -1 1077944320 68389 0 0 0 24583 18 0 0 20 0 15 0 154245438 14320615424 56094 33554432000 4194304 4196468 140736894310656 140736894293200 140274215153399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
/proc/2150/statm: 3496244 56094 3256 1 0 3483478 0
[pid=2150/tid=2151] ppid=2148 vsize=13984976 memory=956 CPUtime=239.97 cores=0,2,4,6
/proc/2150/task/2151/stat : 2151 (java) R 2148 2148 32593 0 -1 4202560 12197 0 0 0 23992 5 0 0 20 0 15 0 154245439 14320615424 56094 33554432000 4194304 4196468 140736894310656 140274219392376 140273854375244 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2152] ppid=2148 vsize=13984976 memory=6935054825532540783 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2152/stat : 2152 (java) S 2148 2148 32593 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 56094 33554432000 4194304 4196468 140736894310656 140274171705744 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2153] ppid=2148 vsize=13984976 memory=2548 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2153/stat : 2153 (java) S 2148 2148 32593 0 -1 1077944384 666 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 56094 33554432000 4194304 4196468 140736894310656 140274170652944 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2154] ppid=2148 vsize=13984976 memory=6935054825532540783 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2154/stat : 2154 (java) S 2148 2148 32593 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273808501392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2155] ppid=2148 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2155/stat : 2155 (java) S 2148 2148 32593 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 154245439 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273807448592 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2156] ppid=2148 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2156/stat : 2156 (java) S 2148 2148 32593 0 -1 1077944384 651 0 0 0 0 0 0 0 20 0 15 0 154245441 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273194715760 140274215164546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2157] ppid=2148 vsize=13984976 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2157/stat : 2157 (java) S 2148 2148 32593 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154245441 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273193661728 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2158] ppid=2148 vsize=13984976 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2158/stat : 2158 (java) S 2148 2148 32593 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154245441 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273192609392 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2159] ppid=2148 vsize=13984976 memory=3060 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2159/stat : 2159 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273191557712 140274215171995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2160] ppid=2148 vsize=13984976 memory=1384 CPUtime=2.98 cores=0,2,4,6
/proc/2150/task/2160/stat : 2160 (java) S 2148 2148 32593 0 -1 1077944384 25706 0 0 0 295 3 0 0 20 0 15 0 154245444 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273190504560 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2161] ppid=2148 vsize=13984976 memory=224376 CPUtime=2.38 cores=0,2,4,6
/proc/2150/task/2161/stat : 2161 (java) S 2148 2148 32593 0 -1 1077944384 21033 0 0 0 236 2 0 0 20 0 15 0 154245444 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273189451760 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2162] ppid=2148 vsize=13984976 memory=1156 CPUtime=0.53 cores=0,2,4,6
/proc/2150/task/2162/stat : 2162 (java) S 2148 2148 32593 0 -1 1077944384 5586 0 0 0 53 0 0 0 20 0 15 0 154245444 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273188399472 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2163] ppid=2148 vsize=13984976 memory=3036 CPUtime=0 cores=0,2,4,6
/proc/2150/task/2163/stat : 2163 (java) S 2148 2148 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154245444 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273187346912 140274215163605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
[pid=2150/tid=2164] ppid=2148 vsize=13984976 memory=1420 CPUtime=0.07 cores=0,2,4,6
/proc/2150/task/2164/stat : 2164 (java) S 2148 2148 32593 0 -1 1077944384 768 0 0 0 3 4 0 0 20 0 15 0 154245444 14320615424 56094 33554432000 4194304 4196468 140736894310656 140273186294704 140274215164546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 33345536 140736894313629 140736894313804 140736894313804 140736894316495 0
Current children cumulated CPU time: 246.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 225760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 2148 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001901 s, system=0 s
[startup+240.022 s]
# the end of solver process 2150 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.847 s, system=0.184085 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.022
CPU time (s): 246.032
CPU user time (s): 245.847
CPU system time (s): 0.184085
CPU usage (%): 102.504
Max. virtual memory (cumulated for all children) (KiB): 13996544
Max. memory (cumulated for all children) (KiB): 225760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.847
system time used= 0.184085
maximum resident set size= 225020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69469
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7833
involuntary context switches= 182
# summary of solver processes directly reported to runsolver:
# pid: 2148,2150
# total CPU time (s): 246.032
# total CPU user time (s): 245.847
# total CPU system time (s): 0.184085
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33636 second user time and 2.34724 second system time
The end
Begin job on node103 at 2017-08-20 08:31:54 IDJOB=4282783 IDBENCH=124135 IDSOLVER=2678 FILE ID=node103/4282783-1503211574 RUNJOBID= node103-1503209003-32624 PBS_JOBID= 20630873 Free space on /tmp= 61528 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-4282783-1503211574/watcher-4282783-1503211574 -o /tmp/evaluation-result-4282783-1503211574/solver-4282783-1503211574 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32624 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 527520782 HOME/instance-4282783-1503211574.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=527520782 node103.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.56 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.56 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.56 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.56 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: 25997404 kB MemAvailable: 31836652 kB Buffers: 240320 kB Cached: 5890804 kB SwapCached: 0 kB Active: 1214208 kB Inactive: 5108520 kB Active(anon): 141280 kB Inactive(anon): 86696 kB Active(file): 1072928 kB Inactive(file): 5021824 kB Unevictable: 7496 kB Mlocked: 7496 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7872 kB Writeback: 0 kB AnonPages: 202840 kB Mapped: 64092 kB Shmem: 33420 kB Slab: 147576 kB SReclaimable: 120664 kB SUnreclaim: 26912 kB KernelStack: 3808 kB PageTables: 6144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1205676 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 108544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61520 MiB End job on node103 at 2017-08-20 08:35:54