Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-08-18) | SAT (TO) | 159 | 253.877 | 240.026 |
| 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-4284253-1503211580.xml" -tl '264s' -p 1 -x 3 0.12/0.14 c [HOME/instance-4284253-1503211580.xml, -tl, 264s, -p, 1, -x, 3] 0.12/0.19 c simple solver 0.34/0.26 c parse instance... 1.09/0.58 c solve instance... 92.54/85.74 o 161 92.54/85.77 o 160 92.84/85.96 o 159 253.84/240.01 s SATISFIABLE 253.84/240.01 v <instantiation> 253.84/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> 253.84/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 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 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 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 253.84/240.01 v </instantiation> 253.84/240.01 c Unexpected resolution interruption!
OK 159
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 (9327 MiB free)
memory of node 1: 16384 MiB (11940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284253-1503211580/watcher-4284253-1503211580 -o /tmp/evaluation-result-4284253-1503211580/solver-4284253-1503211580 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12842 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1798607723 HOME/instance-4284253-1503211580.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14669, runsolver pid=14666
[startup+0.100585 s]*
/proc/loadavg: 1.61 1.56 1.59 3/218 14685
/proc/meminfo: memFree=21759492/32770624 swapFree=67108860/67108860
[pid=14669] ppid=14666 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14669/stat : 14669 (xcsp3-exec) S 14666 14669 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154238765 9740288 345 33554432000 4194304 5098028 140729235832208 140729235830312 140271757857404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14757888 140729235833972 140729235834176 140729235834176 140729235836907 0
/proc/14669/statm: 2378 345 289 221 0 87 0
[pid=14671] ppid=14669 vsize=13978596 memory=30124 CPUtime=0.12 cores=1,3,5,7
/proc/14671/stat : 14671 (java) S 14669 14669 12810 0 -1 1077944320 5369 0 0 0 11 1 0 0 20 0 15 0 154238765 14314082304 7531 33554432000 4194304 4196468 140730752641040 140730752623584 140198260014839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
/proc/14671/statm: 3494649 7531 2857 1 0 3482966 0
[pid=14671/tid=14672] ppid=14669 vsize=13978596 memory=8514701219881125282 CPUtime=0.08 cores=1,3,5,7
/proc/14671/task/14672/stat : 14672 (java) R 14669 14669 12810 0 -1 4202560 3394 0 0 0 8 0 0 0 20 0 15 0 154238765 14314082304 7531 33554432000 4194304 4196468 140730752641040 140198264248112 140198260036186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14673] ppid=14669 vsize=13978596 memory=3472468790113096912 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14673/stat : 14673 (java) S 14669 14669 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154238766 14314082304 7531 33554432000 4194304 4196468 140730752641040 140198212634896 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14674] ppid=14669 vsize=13978596 memory=140661217945216 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14674/stat : 14674 (java) S 14669 14669 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154238766 14314082304 7531 33554432000 4194304 4196468 140730752641040 140198211582352 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14675] ppid=14669 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14675/stat : 14675 (java) S 14669 14669 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154238766 14314082304 7531 33554432000 4194304 4196468 140730752641040 140198210529808 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14676] ppid=14669 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14676/stat : 14676 (java) S 14669 14669 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154238766 14314082304 7531 33554432000 4194304 4196468 140730752641040 140198209477264 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14677] ppid=14669 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14677/stat : 14677 (java) S 14669 14669 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154238767 14314082304 7531 33554432000 4194304 4196468 140730752641040 140197801380336 140198260025986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14678] ppid=14669 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14678/stat : 14678 (java) S 14669 14669 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154238768 14314082304 7531 33554432000 4194304 4196468 140730752641040 140197800326560 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14679] ppid=14669 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14679/stat : 14679 (java) S 14669 14669 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154238768 14314082304 7531 33554432000 4194304 4196468 140730752641040 140197102872048 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14680] ppid=14669 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14680/stat : 14680 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238770 14314082304 7531 33554432000 4194304 4196468 140730752641040 140197101820624 140198260033435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14681] ppid=14669 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14681/stat : 14681 (java) S 14669 14669 12810 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 154238770 14314082304 7531 33554432000 4194304 4196468 140730752641040 140197100767216 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14682] ppid=14669 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14682/stat : 14682 (java) S 14669 14669 12810 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154238770 14314082304 7531 33554432000 4194304 4196468 140730752641040 140197099714672 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14683] ppid=14669 vsize=13978596 memory=140661217945216 CPUtime=0.01 cores=1,3,5,7
/proc/14671/task/14683/stat : 14683 (java) R 14669 14669 12810 0 -1 4202560 321 0 0 0 1 0 0 0 20 0 15 0 154238770 14314082304 7531 33554432000 4194304 4196468 140730752641040 140197098662128 140198238956453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14684] ppid=14669 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14684/stat : 14684 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238771 14314082304 7531 33554432000 4194304 4196468 140730752641040 140197097609824 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14685] ppid=14669 vsize=13978596 memory=140661217945216 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14685/stat : 14685 (java) S 14669 14669 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154238771 14314082304 7531 33554432000 4194304 4196468 140730752641040 140197096557360 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 31504 KiB
[startup+0.210601 s]*
/proc/loadavg: 1.61 1.56 1.59 4/218 14685
/proc/meminfo: memFree=21748452/32770624 swapFree=67108860/67108860
[pid=14669] ppid=14666 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14669/stat : 14669 (xcsp3-exec) S 14666 14669 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154238765 9740288 345 33554432000 4194304 5098028 140729235832208 140729235830312 140271757857404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14757888 140729235833972 140729235834176 140729235834176 140729235836907 0
/proc/14669/statm: 2378 345 289 221 0 87 0
[pid=14671] ppid=14669 vsize=13982852 memory=42320 CPUtime=0.34 cores=1,3,5,7
/proc/14671/stat : 14671 (java) S 14669 14669 12810 0 -1 1077944320 8157 0 0 0 32 2 0 0 20 0 15 0 154238765 14318440448 10580 33554432000 4194304 4196468 140730752641040 140730752623584 140198260014839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
/proc/14671/statm: 3495713 10580 3063 1 0 3482966 0
[pid=14671/tid=14672] ppid=14669 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=1,3,5,7
/proc/14671/task/14672/stat : 14672 (java) R 14669 14669 12810 0 -1 4202560 5382 0 0 0 18 1 0 0 20 0 15 0 154238765 14318440448 10580 33554432000 4194304 4196468 140730752641040 140198264225632 140198252731943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14673] ppid=14669 vsize=13982852 memory=3472468790113096912 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14673/stat : 14673 (java) S 14669 14669 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154238766 14318440448 10580 33554432000 4194304 4196468 140730752641040 140198212634896 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14674] ppid=14669 vsize=13982852 memory=140661217945216 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14674/stat : 14674 (java) S 14669 14669 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154238766 14318440448 10580 33554432000 4194304 4196468 140730752641040 140198211582352 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14675] ppid=14669 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14675/stat : 14675 (java) S 14669 14669 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154238766 14318440448 10580 33554432000 4194304 4196468 140730752641040 140198210529808 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14676] ppid=14669 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14676/stat : 14676 (java) S 14669 14669 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154238766 14318440448 10580 33554432000 4194304 4196468 140730752641040 140198209477264 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14677] ppid=14669 vsize=13982852 memory=140661217945216 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14677/stat : 14677 (java) S 14669 14669 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154238767 14318440448 10580 33554432000 4194304 4196468 140730752641040 140197801380336 140198260025986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14678] ppid=14669 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14678/stat : 14678 (java) S 14669 14669 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154238768 14318473216 10580 33554432000 4194304 4196468 140730752641040 140197800326560 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14679] ppid=14669 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14679/stat : 14679 (java) S 14669 14669 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154238768 14318440448 10580 33554432000 4194304 4196468 140730752641040 140197102872048 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14680] ppid=14669 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14680/stat : 14680 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238770 14318440448 10580 33554432000 4194304 4196468 140730752641040 140197101820624 140198260033435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14681] ppid=14669 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14671/task/14681/stat : 14681 (java) S 14669 14669 12810 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 15 0 154238770 14318440448 10580 33554432000 4194304 4196468 140730752641040 140197100767216 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14682] ppid=14669 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14671/task/14682/stat : 14682 (java) S 14669 14669 12810 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 15 0 154238770 14318440448 10580 33554432000 4194304 4196468 140730752641040 140197099714672 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14683] ppid=14669 vsize=13982852 memory=140661217945216 CPUtime=0.08 cores=1,3,5,7
/proc/14671/task/14683/stat : 14683 (java) S 14669 14669 12810 0 -1 1077944384 708 0 0 0 8 0 0 0 20 0 15 0 154238770 14318440448 10580 33554432000 4194304 4196468 140730752641040 140197098662128 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14684] ppid=14669 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14684/stat : 14684 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238771 14318440448 10580 33554432000 4194304 4196468 140730752641040 140197097609824 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14685] ppid=14669 vsize=13982852 memory=140661217945216 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14685/stat : 14685 (java) S 14669 14669 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154238771 14318440448 10580 33554432000 4194304 4196468 140730752641040 140197096557360 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 43700 KiB
[startup+0.311783 s]*
/proc/loadavg: 1.61 1.56 1.59 5/218 14685
/proc/meminfo: memFree=21741628/32770624 swapFree=67108860/67108860
[pid=14669] ppid=14666 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14669/stat : 14669 (xcsp3-exec) S 14666 14669 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154238765 9740288 345 33554432000 4194304 5098028 140729235832208 140729235830312 140271757857404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14757888 140729235833972 140729235834176 140729235834176 140729235836907 0
/proc/14669/statm: 2378 345 289 221 0 87 0
[pid=14671] ppid=14669 vsize=13982852 memory=49444 CPUtime=0.52 cores=1,3,5,7
/proc/14671/stat : 14671 (java) S 14669 14669 12810 0 -1 1077944320 8961 0 0 0 49 3 0 0 20 0 15 0 154238765 14318440448 12361 33554432000 4194304 4196468 140730752641040 140730752623584 140198260014839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
/proc/14671/statm: 3495713 12361 3114 1 0 3482966 0
[pid=14671/tid=14672] ppid=14669 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=1,3,5,7
/proc/14671/task/14672/stat : 14672 (java) R 14669 14669 12810 0 -1 4202560 5989 0 0 0 28 1 0 0 20 0 15 0 154238765 14318440448 12361 33554432000 4194304 4196468 140730752641040 140198264237760 140198260026774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14673] ppid=14669 vsize=13982852 memory=3472468790113096912 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14673/stat : 14673 (java) S 14669 14669 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154238766 14318440448 12361 33554432000 4194304 4196468 140730752641040 140198212634896 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14674] ppid=14669 vsize=13982852 memory=140661217945216 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14674/stat : 14674 (java) S 14669 14669 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154238766 14318440448 12361 33554432000 4194304 4196468 140730752641040 140198211582352 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14675] ppid=14669 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14675/stat : 14675 (java) S 14669 14669 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154238766 14318440448 12361 33554432000 4194304 4196468 140730752641040 140198210529808 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14676] ppid=14669 vsize=13982852 memory=140661118609439 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14676/stat : 14676 (java) S 14669 14669 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154238766 14318440448 12361 33554432000 4194304 4196468 140730752641040 140198209477264 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14677] ppid=14669 vsize=13982852 memory=281322237198112 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14677/stat : 14677 (java) S 14669 14669 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154238767 14318440448 12361 33554432000 4194304 4196468 140730752641040 140197801380336 140198260025986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14678] ppid=14669 vsize=13982852 memory=140661118586383 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14678/stat : 14678 (java) S 14669 14669 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154238768 14318440448 12361 33554432000 4194304 4196468 140730752641040 140197800326560 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14679] ppid=14669 vsize=13982852 memory=281322336540768 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14679/stat : 14679 (java) S 14669 14669 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154238768 14318440448 12361 33554432000 4194304 4196468 140730752641040 140197102872048 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14680] ppid=14669 vsize=13982852 memory=140661118590991 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14680/stat : 14680 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238770 14318440448 12361 33554432000 4194304 4196468 140730752641040 140197101820624 140198260033435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14681] ppid=14669 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14671/task/14681/stat : 14681 (java) S 14669 14669 12810 0 -1 1077944384 541 0 0 0 3 0 0 0 20 0 15 0 154238770 14318440448 12361 33554432000 4194304 4196468 140730752641040 140197100767216 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14682] ppid=14669 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/14671/task/14682/stat : 14682 (java) S 14669 14669 12810 0 -1 1077944384 274 0 0 0 3 0 0 0 20 0 15 0 154238770 14318440448 12361 33554432000 4194304 4196468 140730752641040 140197099714672 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14683] ppid=14669 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/14671/task/14683/stat : 14683 (java) R 14669 14669 12810 0 -1 4202560 874 0 0 0 13 0 0 0 20 0 15 0 154238770 14318440448 12361 33554432000 4194304 4196468 140730752641040 140197098658080 140198253111675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14684] ppid=14669 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14684/stat : 14684 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238771 14318440448 12361 33554432000 4194304 4196468 140730752641040 140197097609824 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14685] ppid=14669 vsize=13982852 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14685/stat : 14685 (java) S 14669 14669 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154238771 14318440448 12361 33554432000 4194304 4196468 140730752641040 140197096557360 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 50824 KiB
[startup+0.700782 s]
/proc/loadavg: 1.61 1.56 1.59 6/218 14685
/proc/meminfo: memFree=21723636/32770624 swapFree=67108860/67108860
[pid=14669] ppid=14666 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14669/stat : 14669 (xcsp3-exec) S 14666 14669 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154238765 9740288 345 33554432000 4194304 5098028 140729235832208 140729235830312 140271757857404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14757888 140729235833972 140729235834176 140729235834176 140729235836907 0
/proc/14669/statm: 2378 345 289 221 0 87 0
[pid=14671] ppid=14669 vsize=13984976 memory=81892 CPUtime=1.62 cores=1,3,5,7
/proc/14671/stat : 14671 (java) S 14669 14669 12810 0 -1 1077944320 12069 0 0 0 157 5 0 0 20 0 15 0 154238765 14320615424 20473 33554432000 4194304 4196468 140730752641040 140730752623584 140198260014839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
/proc/14671/statm: 3496244 20473 3217 1 0 3483478 0
[pid=14671/tid=14672] ppid=14669 vsize=13984976 memory=6154820267226784105 CPUtime=0.67 cores=1,3,5,7
/proc/14671/task/14672/stat : 14672 (java) R 14669 14669 12810 0 -1 4202560 6725 0 0 0 65 2 0 0 20 0 15 0 154238765 14320615424 20473 33554432000 4194304 4196468 140730752641040 140198264252896 140197886925449 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14673] ppid=14669 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14673/stat : 14673 (java) S 14669 14669 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154238766 14320615424 20473 33554432000 4194304 4196468 140730752641040 140198212634896 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14674] ppid=14669 vsize=13984976 memory=4638778398333223008 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14674/stat : 14674 (java) S 14669 14669 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154238766 14320615424 20473 33554432000 4194304 4196468 140730752641040 140198211582352 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14675] ppid=14669 vsize=13984976 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14675/stat : 14675 (java) S 14669 14669 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154238766 14320615424 20473 33554432000 4194304 4196468 140730752641040 140198210529808 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14676] ppid=14669 vsize=13984976 memory=4132774494331964790 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14676/stat : 14676 (java) S 14669 14669 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154238766 14320615424 20473 33554432000 4194304 4196468 140730752641040 140198209477264 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14677] ppid=14669 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14677/stat : 14677 (java) S 14669 14669 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154238767 14320615424 20473 33554432000 4194304 4196468 140730752641040 140197801380336 140198260025986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14678] ppid=14669 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14678/stat : 14678 (java) S 14669 14669 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154238768 14320615424 20473 33554432000 4194304 4196468 140730752641040 140197800326560 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14679] ppid=14669 vsize=13984976 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14679/stat : 14679 (java) S 14669 14669 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154238768 14320615424 20473 33554432000 4194304 4196468 140730752641040 140197102872048 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14680] ppid=14669 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14680/stat : 14680 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238770 14320615424 20473 33554432000 4194304 4196468 140730752641040 140197101820624 140198260033435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14681] ppid=14669 vsize=13984976 memory=42948 CPUtime=0.28 cores=1,3,5,7
/proc/14671/task/14681/stat : 14681 (java) R 14669 14669 12810 0 -1 4202560 1317 0 0 0 28 0 0 0 20 0 15 0 154238770 14320615424 20473 33554432000 4194304 4196468 140730752641040 140197100753784 140198243570704 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14682] ppid=14669 vsize=13984976 memory=1292 CPUtime=0.26 cores=1,3,5,7
/proc/14671/task/14682/stat : 14682 (java) R 14669 14669 12810 0 -1 4202560 1260 0 0 0 26 0 0 0 20 0 15 0 154238770 14320615424 20473 33554432000 4194304 4196468 140730752641040 140197099696472 140198240716503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14683] ppid=14669 vsize=13984976 memory=2428 CPUtime=0.36 cores=1,3,5,7
/proc/14671/task/14683/stat : 14683 (java) S 14669 14669 12810 0 -1 1077944384 1479 0 0 0 35 1 0 0 20 0 15 0 154238770 14320615424 20473 33554432000 4194304 4196468 140730752641040 140197098662128 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14684] ppid=14669 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14684/stat : 14684 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238771 14320615424 20473 33554432000 4194304 4196468 140730752641040 140197097609824 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14685] ppid=14669 vsize=13984976 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14685/stat : 14685 (java) S 14669 14669 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154238771 14320615424 20473 33554432000 4194304 4196468 140730752641040 140197096557360 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 83272 KiB
[startup+1.50079 s]
/proc/loadavg: 1.80 1.60 1.60 5/218 14685
/proc/meminfo: memFree=21684068/32770624 swapFree=67108860/67108860
[pid=14669] ppid=14666 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14669/stat : 14669 (xcsp3-exec) S 14666 14669 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154238765 9740288 345 33554432000 4194304 5098028 140729235832208 140729235830312 140271757857404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14757888 140729235833972 140729235834176 140729235834176 140729235836907 0
/proc/14669/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/14671/task/14679/stat : 14679 (java) S 14669 14669 12810 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 154238768 14320615424 131130 33554432000 4194304 4196468 140730752641040 140197102872064 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14680] ppid=14669 vsize=13984976 memory=341092 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14680/stat : 14680 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238770 14320615424 131130 33554432000 4194304 4196468 140730752641040 140197101820624 140198260033435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14681] ppid=14669 vsize=13984976 memory=1380 CPUtime=3.29 cores=1,3,5,7
/proc/14671/task/14681/stat : 14681 (java) S 14669 14669 12810 0 -1 1077944384 22190 0 0 0 327 2 0 0 20 0 15 0 154238770 14320615424 131130 33554432000 4194304 4196468 140730752641040 140197100767216 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14682] ppid=14669 vsize=13984976 memory=480308 CPUtime=3.06 cores=1,3,5,7
/proc/14671/task/14682/stat : 14682 (java) S 14669 14669 12810 0 -1 1077944384 13444 0 0 0 305 1 0 0 20 0 15 0 154238770 14320615424 131130 33554432000 4194304 4196468 140730752641040 140197099714672 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14683] ppid=14669 vsize=13984976 memory=2548 CPUtime=0.8 cores=1,3,5,7
/proc/14671/task/14683/stat : 14683 (java) S 14669 14669 12810 0 -1 1077944384 9329 0 0 0 78 2 0 0 20 0 15 0 154238770 14320615424 131130 33554432000 4194304 4196468 140730752641040 140197098662128 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14684] ppid=14669 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14684/stat : 14684 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238771 14320615424 131130 33554432000 4194304 4196468 140730752641040 140197097609824 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14685] ppid=14669 vsize=13984976 memory=10096 CPUtime=0.04 cores=1,3,5,7
/proc/14671/task/14685/stat : 14685 (java) S 14669 14669 12810 0 -1 1077944384 379 0 0 0 2 2 0 0 20 0 15 0 154238771 14320615424 131130 33554432000 4194304 4196468 140730752641040 140197096557360 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
Current children cumulated CPU time: 111.15 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 525900 KiB
[startup+162.301 s]
/proc/loadavg: 1.56 1.62 1.60 3/218 14687
/proc/meminfo: memFree=21311936/32770624 swapFree=67108860/67108860
[pid=14669] ppid=14666 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14669/stat : 14669 (xcsp3-exec) S 14666 14669 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154238765 9740288 345 33554432000 4194304 5098028 140729235832208 140729235830312 140271757857404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14757888 140729235833972 140729235834176 140729235834176 140729235836907 0
/proc/14669/statm: 2378 345 289 221 0 87 0
[pid=14671] ppid=14669 vsize=13984976 memory=446500 CPUtime=172.45 cores=1,3,5,7
/proc/14671/stat : 14671 (java) S 14669 14669 12810 0 -1 1077944320 73869 0 0 0 17175 70 0 0 20 0 15 0 154238765 14320615424 111625 33554432000 4194304 4196468 140730752641040 140730752623584 140198260014839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
/proc/14671/statm: 3496244 111625 3270 1 0 3483478 0
[pid=14671/tid=14672] ppid=14669 vsize=13984976 memory=448048 CPUtime=161.18 cores=1,3,5,7
/proc/14671/task/14672/stat : 14672 (java) R 14669 14669 12810 0 -1 4202560 16368 0 0 0 16111 7 0 0 20 0 15 0 154238765 14320615424 111625 33554432000 4194304 4196468 140730752641040 140198264253888 140197888885646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14673] ppid=14669 vsize=13984976 memory=447528 CPUtime=0.93 cores=1,3,5,7
/proc/14671/task/14673/stat : 14673 (java) S 14669 14669 12810 0 -1 1077944384 1274 0 0 0 81 12 0 0 20 0 15 0 154238766 14320615424 111625 33554432000 4194304 4196468 140730752641040 140198212634896 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14674] ppid=14669 vsize=13984976 memory=447528 CPUtime=0.92 cores=1,3,5,7
/proc/14671/task/14674/stat : 14674 (java) S 14669 14669 12810 0 -1 1077944384 2565 0 0 0 80 12 0 0 20 0 15 0 154238766 14320615424 111625 33554432000 4194304 4196468 140730752641040 140198211582352 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14675] ppid=14669 vsize=13984976 memory=447524 CPUtime=0.93 cores=1,3,5,7
/proc/14671/task/14675/stat : 14675 (java) S 14669 14669 12810 0 -1 1077944384 1623 0 0 0 80 13 0 0 20 0 15 0 154238766 14320615424 111625 33554432000 4194304 4196468 140730752641040 140198210529808 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14676] ppid=14669 vsize=13984976 memory=1380 CPUtime=0.94 cores=1,3,5,7
/proc/14671/task/14676/stat : 14676 (java) S 14669 14669 12810 0 -1 1077944384 2006 0 0 0 81 13 0 0 20 0 15 0 154238766 14320615424 111625 33554432000 4194304 4196468 140730752641040 140198209477264 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14677] ppid=14669 vsize=13984976 memory=446500 CPUtime=0.12 cores=1,3,5,7
/proc/14671/task/14677/stat : 14677 (java) S 14669 14669 12810 0 -1 1077944384 1493 0 0 0 10 2 0 0 20 0 15 0 154238767 14320615424 111625 33554432000 4194304 4196468 140730752641040 140197801380336 140198260025986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14678] ppid=14669 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14678/stat : 14678 (java) S 14669 14669 12810 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 154238768 14320615424 111625 33554432000 4194304 4196468 140730752641040 140197800326624 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14679] ppid=14669 vsize=13984976 memory=24792 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14679/stat : 14679 (java) S 14669 14669 12810 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 154238768 14320615424 111625 33554432000 4194304 4196468 140730752641040 140197102872064 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14680] ppid=14669 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14680/stat : 14680 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238770 14320615424 111625 33554432000 4194304 4196468 140730752641040 140197101820624 140198260033435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14681] ppid=14669 vsize=13984976 memory=1380 CPUtime=3.34 cores=1,3,5,7
/proc/14671/task/14681/stat : 14681 (java) S 14669 14669 12810 0 -1 1077944384 23279 0 0 0 332 2 0 0 20 0 15 0 154238770 14320615424 111625 33554432000 4194304 4196468 140730752641040 140197100767216 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14682] ppid=14669 vsize=13984976 memory=1720 CPUtime=3.13 cores=1,3,5,7
/proc/14671/task/14682/stat : 14682 (java) S 14669 14669 12810 0 -1 1077944384 14126 0 0 0 312 1 0 0 20 0 15 0 154238770 14320615424 111625 33554432000 4194304 4196468 140730752641040 140197099714672 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14683] ppid=14669 vsize=13984976 memory=4612 CPUtime=0.8 cores=1,3,5,7
/proc/14671/task/14683/stat : 14683 (java) S 14669 14669 12810 0 -1 1077944384 9388 0 0 0 78 2 0 0 20 0 15 0 154238770 14320615424 111625 33554432000 4194304 4196468 140730752641040 140197098662128 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14684] ppid=14669 vsize=13984976 memory=140661118716416 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14684/stat : 14684 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238771 14320615424 111625 33554432000 4194304 4196468 140730752641040 140197097609824 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14685] ppid=14669 vsize=13984976 memory=-3252517613199061085 CPUtime=0.08 cores=1,3,5,7
/proc/14671/task/14685/stat : 14685 (java) S 14669 14669 12810 0 -1 1077944384 417 0 0 0 3 5 0 0 20 0 15 0 154238771 14320615424 111625 33554432000 4194304 4196468 140730752641040 140197096557360 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
Current children cumulated CPU time: 172.45 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 447880 KiB
[startup+222.301 s]
/proc/loadavg: 1.46 1.58 1.59 3/217 14766
/proc/meminfo: memFree=23219848/32770624 swapFree=67108860/67108860
[pid=14669] ppid=14666 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14669/stat : 14669 (xcsp3-exec) S 14666 14669 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154238765 9740288 345 33554432000 4194304 5098028 140729235832208 140729235830312 140271757857404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14757888 140729235833972 140729235834176 140729235834176 140729235836907 0
/proc/14669/statm: 2378 345 289 221 0 87 0
[pid=14671] ppid=14669 vsize=13984976 memory=538128 CPUtime=235.51 cores=1,3,5,7
/proc/14671/stat : 14671 (java) S 14669 14669 12810 0 -1 1077944320 83021 0 0 0 23471 80 0 0 20 0 15 0 154238765 14320615424 134532 33554432000 4194304 4196468 140730752641040 140730752623584 140198260014839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
/proc/14671/statm: 3496244 134532 3285 1 0 3483478 0
[pid=14671/tid=14672] ppid=14669 vsize=13984976 memory=539928 CPUtime=219.94 cores=1,3,5,7
/proc/14671/task/14672/stat : 14672 (java) R 14669 14669 12810 0 -1 4202560 19420 0 0 0 21986 8 0 0 20 0 15 0 154238765 14320615424 134532 33554432000 4194304 4196468 140730752641040 140198264253776 140197888577713 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14673] ppid=14669 vsize=13984976 memory=539928 CPUtime=1.95 cores=1,3,5,7
/proc/14671/task/14673/stat : 14673 (java) S 14669 14669 12810 0 -1 1077944384 1546 0 0 0 181 14 0 0 20 0 15 0 154238766 14320615424 134532 33554432000 4194304 4196468 140730752641040 140198212634896 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14674] ppid=14669 vsize=13984976 memory=537876 CPUtime=1.93 cores=1,3,5,7
/proc/14671/task/14674/stat : 14674 (java) S 14669 14669 12810 0 -1 1077944384 3102 0 0 0 180 13 0 0 20 0 15 0 154238766 14320615424 134532 33554432000 4194304 4196468 140730752641040 140198211582352 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14675] ppid=14669 vsize=13984976 memory=1380 CPUtime=1.94 cores=1,3,5,7
/proc/14671/task/14675/stat : 14675 (java) S 14669 14669 12810 0 -1 1077944384 2363 0 0 0 180 14 0 0 20 0 15 0 154238766 14320615424 134532 33554432000 4194304 4196468 140730752641040 140198210529808 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14676] ppid=14669 vsize=13984976 memory=538900 CPUtime=1.94 cores=1,3,5,7
/proc/14671/task/14676/stat : 14676 (java) S 14669 14669 12810 0 -1 1077944384 2583 0 0 0 180 14 0 0 20 0 15 0 154238766 14320615424 134532 33554432000 4194304 4196468 140730752641040 140198209477264 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14677] ppid=14669 vsize=13984976 memory=538128 CPUtime=0.3 cores=1,3,5,7
/proc/14671/task/14677/stat : 14677 (java) S 14669 14669 12810 0 -1 1077944384 4320 0 0 0 28 2 0 0 20 0 15 0 154238767 14320615424 134532 33554432000 4194304 4196468 140730752641040 140197801380336 140198260025986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14678] ppid=14669 vsize=13984976 memory=537876 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14678/stat : 14678 (java) S 14669 14669 12810 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 154238768 14320615424 134532 33554432000 4194304 4196468 140730752641040 140197800326624 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14679] ppid=14669 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14679/stat : 14679 (java) S 14669 14669 12810 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 154238768 14320615424 134532 33554432000 4194304 4196468 140730752641040 140197102872064 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14680] ppid=14669 vsize=13984976 memory=537876 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14680/stat : 14680 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238770 14320615424 134532 33554432000 4194304 4196468 140730752641040 140197101820624 140198260033435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14681] ppid=14669 vsize=13984976 memory=1380 CPUtime=3.34 cores=1,3,5,7
/proc/14671/task/14681/stat : 14681 (java) S 14669 14669 12810 0 -1 1077944384 23309 0 0 0 332 2 0 0 20 0 15 0 154238770 14320615424 134532 33554432000 4194304 4196468 140730752641040 140197100767216 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14682] ppid=14669 vsize=13984976 memory=1380 CPUtime=3.14 cores=1,3,5,7
/proc/14671/task/14682/stat : 14682 (java) S 14669 14669 12810 0 -1 1077944384 14480 0 0 0 313 1 0 0 20 0 15 0 154238770 14320615424 134532 33554432000 4194304 4196468 140730752641040 140197099714672 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14683] ppid=14669 vsize=13984976 memory=537876 CPUtime=0.8 cores=1,3,5,7
/proc/14671/task/14683/stat : 14683 (java) S 14669 14669 12810 0 -1 1077944384 10124 0 0 0 78 2 0 0 20 0 15 0 154238770 14320615424 134532 33554432000 4194304 4196468 140730752641040 140197098662128 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14684] ppid=14669 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14684/stat : 14684 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238771 14320615424 134532 33554432000 4194304 4196468 140730752641040 140197097609824 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14685] ppid=14669 vsize=13984976 memory=4144 CPUtime=0.11 cores=1,3,5,7
/proc/14671/task/14685/stat : 14685 (java) S 14669 14669 12810 0 -1 1077944384 442 0 0 0 5 6 0 0 20 0 15 0 154238771 14320615424 134532 33554432000 4194304 4196468 140730752641040 140197096557360 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
Current children cumulated CPU time: 235.51 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 539508 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.36 1.55 1.58 3/217 14766
/proc/meminfo: memFree=23074940/32770624 swapFree=67108860/67108860
[pid=14669] ppid=14666 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14669/stat : 14669 (xcsp3-exec) S 14666 14669 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154238765 9740288 345 33554432000 4194304 5098028 140729235832208 140729235830312 140271757857404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14757888 140729235833972 140729235834176 140729235834176 140729235836907 0
/proc/14669/statm: 2378 345 289 221 0 87 0
[pid=14671] ppid=14669 vsize=13984976 memory=597108 CPUtime=253.84 cores=1,3,5,7
/proc/14671/stat : 14671 (java) S 14669 14669 12810 0 -1 1077944320 87026 0 0 0 25299 85 0 0 20 0 15 0 154238765 14320615424 149277 33554432000 4194304 4196468 140730752641040 140730752623584 140198260014839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
/proc/14671/statm: 3496244 149277 3286 1 0 3483478 0
[pid=14671/tid=14672] ppid=14669 vsize=13984976 memory=1424 CPUtime=237.5 cores=1,3,5,7
/proc/14671/task/14672/stat : 14672 (java) R 14669 14669 12810 0 -1 4202560 21042 0 0 0 23741 9 0 0 20 0 15 0 154238765 14320615424 149277 33554432000 4194304 4196468 140730752641040 140198264254208 140197888680044 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14673] ppid=14669 vsize=13984976 memory=-7003737579269690708 CPUtime=2.1 cores=1,3,5,7
/proc/14671/task/14673/stat : 14673 (java) S 14669 14669 12810 0 -1 1077944384 1667 0 0 0 195 15 0 0 20 0 15 0 154238766 14320615424 149277 33554432000 4194304 4196468 140730752641040 140198212634896 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14674] ppid=14669 vsize=13984976 memory=15876 CPUtime=2.08 cores=1,3,5,7
/proc/14671/task/14674/stat : 14674 (java) S 14669 14669 12810 0 -1 1077944384 3197 0 0 0 194 14 0 0 20 0 15 0 154238766 14320615424 149277 33554432000 4194304 4196468 140730752641040 140198211582352 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14675] ppid=14669 vsize=13984976 memory=4052 CPUtime=2.1 cores=1,3,5,7
/proc/14671/task/14675/stat : 14675 (java) S 14669 14669 12810 0 -1 1077944384 2485 0 0 0 194 16 0 0 20 0 15 0 154238766 14320615424 149277 33554432000 4194304 4196468 140730752641040 140198210529808 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14676] ppid=14669 vsize=13984976 memory=24792 CPUtime=2.08 cores=1,3,5,7
/proc/14671/task/14676/stat : 14676 (java) S 14669 14669 12810 0 -1 1077944384 2666 0 0 0 193 15 0 0 20 0 15 0 154238766 14320615424 149277 33554432000 4194304 4196468 140730752641040 140198209477264 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14677] ppid=14669 vsize=13984976 memory=18472 CPUtime=0.31 cores=1,3,5,7
/proc/14671/task/14677/stat : 14677 (java) S 14669 14669 12810 0 -1 1077944384 4369 0 0 0 28 3 0 0 20 0 15 0 154238767 14320615424 149277 33554432000 4194304 4196468 140730752641040 140197801380336 140198260025986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14678] ppid=14669 vsize=13984976 memory=640 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14678/stat : 14678 (java) S 14669 14669 12810 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 154238768 14320615424 149277 33554432000 4194304 4196468 140730752641040 140197800326624 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14679] ppid=14669 vsize=13984976 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14679/stat : 14679 (java) S 14669 14669 12810 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 154238768 14320615424 149277 33554432000 4194304 4196468 140730752641040 140197102872064 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14680] ppid=14669 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14680/stat : 14680 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238770 14320615424 149277 33554432000 4194304 4196468 140730752641040 140197101820624 140198260033435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14681] ppid=14669 vsize=13984976 memory=288230596050944315 CPUtime=3.47 cores=1,3,5,7
/proc/14671/task/14681/stat : 14681 (java) S 14669 14669 12810 0 -1 1077944384 24471 0 0 0 345 2 0 0 20 0 15 0 154238770 14320615424 149277 33554432000 4194304 4196468 140730752641040 140197100767216 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14682] ppid=14669 vsize=13984976 memory=14691902876294227 CPUtime=3.17 cores=1,3,5,7
/proc/14671/task/14682/stat : 14682 (java) S 14669 14669 12810 0 -1 1077944384 15074 0 0 0 316 1 0 0 20 0 15 0 154238770 14320615424 149277 33554432000 4194304 4196468 140730752641040 140197099714672 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14683] ppid=14669 vsize=13984976 memory=1692 CPUtime=0.82 cores=1,3,5,7
/proc/14671/task/14683/stat : 14683 (java) S 14669 14669 12810 0 -1 1077944384 10279 0 0 0 80 2 0 0 20 0 15 0 154238770 14320615424 149277 33554432000 4194304 4196468 140730752641040 140197098662128 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14684] ppid=14669 vsize=13984976 memory=916 CPUtime=0 cores=1,3,5,7
/proc/14671/task/14684/stat : 14684 (java) S 14669 14669 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154238771 14320615424 149277 33554432000 4194304 4196468 140730752641040 140197097609824 140198260025045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
[pid=14671/tid=14685] ppid=14669 vsize=13984976 memory=3832 CPUtime=0.13 cores=1,3,5,7
/proc/14671/task/14685/stat : 14685 (java) S 14669 14669 12810 0 -1 1077944384 444 0 0 0 6 7 0 0 20 0 15 0 154238771 14320615424 149277 33554432000 4194304 4196468 140730752641040 140197096557360 140198260025986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33533952 140730752648349 140730752648524 140730752648524 140730752651215 0
Current children cumulated CPU time: 253.84 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 598488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 14669 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000896 s, system=0.000896 s
[startup+240.026 s]
# the end of solver process 14671 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.008 s, system=0.868885 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.026
CPU time (s): 253.877
CPU user time (s): 253.008
CPU system time (s): 0.868885
CPU usage (%): 105.771
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 598488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.008
system time used= 0.868885
maximum resident set size= 597708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87680
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12281
involuntary context switches= 565
# summary of solver processes directly reported to runsolver:
# pid: 14669,14671
# total CPU time (s): 253.877
# total CPU user time (s): 253.008
# total CPU system time (s): 0.868885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45236 second user time and 2.44444 second system time
The end
Begin job on node151 at 2017-08-20 08:32:00 IDJOB=4284253 IDBENCH=124135 IDSOLVER=2680 FILE ID=node151/4284253-1503211580 RUNJOBID= node151-1503208976-12842 PBS_JOBID= 20630871 Free space on /tmp= 61672 MiB SOLVER NAME= choco-solver 5a 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-4284253-1503211580/watcher-4284253-1503211580 -o /tmp/evaluation-result-4284253-1503211580/solver-4284253-1503211580 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12842 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1798607723 HOME/instance-4284253-1503211580.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=1798607723 node151.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 : 5332.95 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 : 5332.95 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 : 5332.95 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 : 5332.95 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: 21778408 kB MemAvailable: 29600828 kB Buffers: 328376 kB Cached: 7782356 kB SwapCached: 0 kB Active: 4299256 kB Inactive: 6236756 kB Active(anon): 2416424 kB Inactive(anon): 44324 kB Active(file): 1882832 kB Inactive(file): 6192432 kB Unevictable: 7580 kB Mlocked: 7580 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7808 kB Writeback: 0 kB AnonPages: 2098232 kB Mapped: 64196 kB Shmem: 33416 kB Slab: 153080 kB SReclaimable: 125984 kB SUnreclaim: 27096 kB KernelStack: 3616 kB PageTables: 9412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3682900 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1988608 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= 61668 MiB End job on node151 at 2017-08-20 08:36:00