Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 130 | 583.146 | 73.7766 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-0.xml |
MD5SUM | c061694c4fbf3df02ed1b2618516c596 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 130 |
Best CPU time to get the best result obtained on this benchmark | 9.15235 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3738 |
Number of constraints | 200 |
Number of domains | 14 |
Minimum domain size | 2 |
Maximum domain size | 22 |
Distribution of domain sizes | [{"size":2,"count":534},{"size":5,"count":178},{"size":6,"count":178},{"size":7,"count":178},{"size":8,"count":178},{"size":9,"count":356},{"size":11,"count":178},{"size":12,"count":712},{"size":13,"count":356},{"size":14,"count":178},{"size":16,"count":178},{"size":17,"count":178},{"size":18,"count":178},{"size":22,"count":178}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":3738}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 3560 |
Distribution of constraint arities | [{"arity":21,"count":178},{"arity":178,"count":21},{"arity":3560,"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":198}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404954-1569003853.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404954-1569003853.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.67/0.92 c solve instance... 582.70/73.74 o 130 582.70/73.76 s OPTIMUM FOUND 582.70/73.76 v <instantiation> 582.70/73.76 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] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[171][10] r[171][11] r[171][12] r[171][13] r[171][14] r[171][15] r[171][16] r[171][17] r[171][18] r[171][19] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[172][10] r[172][11] r[172][12] r[172][13] r[172][14] r[172][15] r[172][16] r[172][17] r[172][18] r[172][19] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[173][10] r[173][11] r[173][12] r[173][13] r[173][14] r[173][15] r[173][16] r[173][17] r[173][18] r[173][19] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[174][10] r[174][11] r[174][12] r[174][13] r[174][14] r[174][15] r[174][16] r[174][17] r[174][18] r[174][19] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[175][10] r[175][11] r[175][12] r[175][13] r[175][14] r[175][15] r[175][16] r[175][17] r[175][18] r[175][19] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[176][10] r[176][11] r[176][12] r[176][13] r[176][14] r[176][15] r[176][16] r[176][17] r[176][18] r[176][19] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[177][10] r[177][11] r[177][12] r[177][13] r[177][14] r[177][15] r[177][16] r[177][17] r[177][18] r[177][19] </list> 582.70/73.76 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 582.70/73.76 v </instantiation>
OK 130
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 (4613 MiB free) memory of node 1: 16384 MiB (6909 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404954-1569003853/watcher-4404954-1569003853 -o /var/tmp/evaluation-result-4404954-1569003853/solver-4404954-1569003853 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 348611464 HOME/instance-4404954-1569003853.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=10214, runsolver pid=10211 Current StackSize limit: 8192 KiB [startup+0.100109 s]* /proc/loadavg: 8.36 8.36 8.33 3/212 10235 /proc/meminfo: memFree=11782460/32770624 swapFree=66956720/67108860 [pid=10214] ppid=10211 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10214/stat : 10214 (xcsp3-exec) S 10211 10214 3200 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476623940 115843072 363 33554432000 4194304 5098028 140722585300608 140722585298712 140351787225724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7942144 140722585305944 140722585306202 140722585306202 140722585309126 0 /proc/10214/statm: 28282 363 304 221 0 87 0 [pid=10216] ppid=10214 vsize=28227396 memory=29180 CPUtime=0.12 cores=0-7 /proc/10216/stat : 10216 (java) S 10214 10214 3200 0 -1 1077944320 5706 0 0 0 11 1 0 0 20 0 20 0 476623940 28904853504 7295 33554432000 4194304 4196468 140720317083264 140720317065808 140099912437495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 /proc/10216/statm: 7056849 7295 3152 1 0 7019032 0 [pid=10216/tid=10217] ppid=10214 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/10216/task/10217/stat : 10217 (java) R 10214 10214 3200 0 -1 4202560 3631 0 0 0 8 1 0 0 20 0 20 0 476623941 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099916672512 140099912449430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10218] ppid=10214 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/10216/task/10218/stat : 10218 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099832290448 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10219] ppid=10214 vsize=28227396 memory=139994168538752 CPUtime=0 cores=0-7 /proc/10216/task/10219/stat : 10219 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099831237648 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10220] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10220/stat : 10220 (java) S 10214 10214 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099830184848 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10221] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10221/stat : 10221 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099829132048 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10222] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10222/stat : 10222 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099828079248 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10223] ppid=10214 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10216/task/10223/stat : 10223 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099827026448 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10224] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10224/stat : 10224 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099825973648 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10225] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10225/stat : 10225 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099824920848 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10226] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10226/stat : 10226 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623943 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099296799600 140099912448642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10227] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10227/stat : 10227 (java) S 10214 10214 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476623943 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099295745568 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10228] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10228/stat : 10228 (java) S 10214 10214 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476623944 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099294692720 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10229] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10229/stat : 10229 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476623946 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099293641040 140099912456091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10230] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10230/stat : 10230 (java) R 10214 10214 3200 0 -1 4202560 447 0 0 0 0 0 0 0 20 0 20 0 476623946 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099292579904 140099892850800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10231] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10231/stat : 10231 (java) S 10214 10214 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476623946 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099291535600 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10232] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10232/stat : 10232 (java) S 10214 10214 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476623946 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099290482800 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10233] ppid=10214 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/10216/task/10233/stat : 10233 (java) R 10214 10214 3200 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 20 0 476623946 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099289427808 140099501162617 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10234] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10234/stat : 10234 (java) S 10214 10214 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476623946 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099288378464 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10235] ppid=10214 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10216/task/10235/stat : 10235 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476623946 28904853504 7295 33554432000 4194304 4196468 140720317083264 140099287325744 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30632 KiB [startup+0.210473 s]* /proc/loadavg: 8.36 8.36 8.33 3/212 10235 /proc/meminfo: memFree=11768476/32770624 swapFree=66956720/67108860 [pid=10214] ppid=10211 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10214/stat : 10214 (xcsp3-exec) S 10211 10214 3200 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476623940 115843072 363 33554432000 4194304 5098028 140722585300608 140722585298712 140351787225724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7942144 140722585305944 140722585306202 140722585306202 140722585309126 0 /proc/10214/statm: 28282 363 304 221 0 87 0 [pid=10216] ppid=10214 vsize=28227396 memory=41104 CPUtime=0.34 cores=0-7 /proc/10216/stat : 10216 (java) S 10214 10214 3200 0 -1 1077944320 9502 0 0 0 31 3 0 0 20 0 20 0 476623940 28904853504 10276 33554432000 4194304 4196468 140720317083264 140720317065808 140099912437495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 /proc/10216/statm: 7056849 10276 3304 1 0 7019032 0 [pid=10216/tid=10217] ppid=10214 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/10216/task/10217/stat : 10217 (java) R 10214 10214 3200 0 -1 4202560 6663 0 0 0 18 2 0 0 20 0 20 0 476623941 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099916675312 140099905115509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10218] ppid=10214 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/10216/task/10218/stat : 10218 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099832290448 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10219] ppid=10214 vsize=28227396 memory=4121552889534723744 CPUtime=0 cores=0-7 /proc/10216/task/10219/stat : 10219 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099831237648 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10220] ppid=10214 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10216/task/10220/stat : 10220 (java) S 10214 10214 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099830184848 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10221] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10221/stat : 10221 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099829132048 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10222] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10222/stat : 10222 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099828079248 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10223] ppid=10214 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10216/task/10223/stat : 10223 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099827026448 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10224] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10224/stat : 10224 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099825973648 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10225] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10225/stat : 10225 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476623941 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099824920848 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10226] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10226/stat : 10226 (java) S 10214 10214 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476623943 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099296799600 140099912448642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10227] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10227/stat : 10227 (java) S 10214 10214 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476623943 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099295745568 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10228] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10228/stat : 10228 (java) S 10214 10214 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476623944 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099294692720 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10229] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10229/stat : 10229 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476623946 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099293641040 140099912456091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10230] ppid=10214 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10216/task/10230/stat : 10230 (java) R 10214 10214 3200 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 20 0 476623946 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099292588400 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10231] ppid=10214 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/10216/task/10231/stat : 10231 (java) R 10214 10214 3200 0 -1 1077944384 59 0 0 0 2 0 0 0 20 0 20 0 476623946 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099291535600 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10232] ppid=10214 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/10216/task/10232/stat : 10232 (java) R 10214 10214 3200 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 20 0 476623946 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099290482800 140099912448642 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10233] ppid=10214 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/10216/task/10233/stat : 10233 (java) R 10214 10214 3200 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 20 0 476623946 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099289430000 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10234] ppid=10214 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10234/stat : 10234 (java) S 10214 10214 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476623946 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099288378464 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10235] ppid=10214 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10216/task/10235/stat : 10235 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476623946 28904853504 10276 33554432000 4194304 4196468 140720317083264 140099287325744 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42556 KiB [startup+0.310314 s]* /proc/loadavg: 8.36 8.36 8.33 3/212 10235 /proc/meminfo: memFree=11762212/32770624 swapFree=66956720/67108860 [pid=10214] ppid=10211 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10214/stat : 10214 (xcsp3-exec) S 10211 10214 3200 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476623940 115843072 363 33554432000 4194304 5098028 140722585300608 140722585298712 140351787225724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7942144 140722585305944 140722585306202 140722585306202 140722585309126 0 /proc/10214/statm: 28282 363 304 221 0 87 0 [pid=10216] ppid=10214 vsize=28231652 memory=49992 CPUtime=0.52 cores=0-7 /proc/10216/stat : 10216 (java) S 10214 10214 3200 0 -1 1077944320 10887 0 0 0 48 4 0 0 20 0 20 0 476623940 28909211648 12498 33554432000 4194304 4196468 140720317083264 140720317065808 140099912437495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 /proc/10216/statm: 7057913 12498 3337 1 0 7019032 0 [pid=10216/tid=10217] ppid=10214 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/10216/task/10217/stat : 10217 (java) R 10214 10214 3200 0 -1 4202560 7868 0 0 0 27 3 0 0 20 0 20 0 476623941 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099916668608 140099896517982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10218] ppid=10214 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10218/stat : 10218 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099832290448 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10219] ppid=10214 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10219/stat : 10219 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099831237648 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10220] ppid=10214 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10220/stat : 10220 (java) S 10214 10214 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476623941 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099830184848 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10221] ppid=10214 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10221/stat : 10221 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099829132048 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10222] ppid=10214 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/10216/task/10222/stat : 10222 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476623941 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099828079248 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10223] ppid=10214 vsize=28231652 memory=139994056455087 CPUtime=0 cores=0-7 /proc/10216/task/10223/stat : 10223 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099827026448 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10224] ppid=10214 vsize=28231652 memory=139994056457392 CPUtime=0 cores=0-7 /proc/10216/task/10224/stat : 10224 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099825973648 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10225] ppid=10214 vsize=28231652 memory=139994056459696 CPUtime=0 cores=0-7 /proc/10216/task/10225/stat : 10225 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476623941 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099824920848 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10226] ppid=10214 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10226/stat : 10226 (java) S 10214 10214 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476623943 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099296799600 140099912448642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10227] ppid=10214 vsize=28231652 memory=279988112926352 CPUtime=0 cores=0-7 /proc/10216/task/10227/stat : 10227 (java) S 10214 10214 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476623943 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099295745568 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10228] ppid=10214 vsize=28231652 memory=279988112933264 CPUtime=0 cores=0-7 /proc/10216/task/10228/stat : 10228 (java) S 10214 10214 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476623944 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099294692720 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10229] ppid=10214 vsize=28231652 memory=279988112874416 CPUtime=0 cores=0-7 /proc/10216/task/10229/stat : 10229 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476623946 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099293641040 140099912456091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10230] ppid=10214 vsize=28231652 memory=279988112947088 CPUtime=0.01 cores=0-7 /proc/10216/task/10230/stat : 10230 (java) S 10214 10214 3200 0 -1 1077944384 496 0 0 0 1 0 0 0 20 0 20 0 476623946 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099292588400 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10231] ppid=10214 vsize=28231652 memory=279988112954000 CPUtime=0.02 cores=0-7 /proc/10216/task/10231/stat : 10231 (java) S 10214 10214 3200 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 20 0 476623946 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099291535600 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10232] ppid=10214 vsize=28231652 memory=279988112951696 CPUtime=0.04 cores=0-7 /proc/10216/task/10232/stat : 10232 (java) R 10214 10214 3200 0 -1 4202560 366 0 0 0 4 0 0 0 20 0 20 0 476623946 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099290482800 140099905537195 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10233] ppid=10214 vsize=28231652 memory=279988112967856 CPUtime=0.12 cores=0-7 /proc/10216/task/10233/stat : 10233 (java) S 10214 10214 3200 0 -1 1077944384 799 0 0 0 12 0 0 0 20 0 20 0 476623946 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099289430000 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10234] ppid=10214 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10234/stat : 10234 (java) S 10214 10214 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476623946 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099288378464 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10235] ppid=10214 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/10216/task/10235/stat : 10235 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476623946 28909211648 12498 33554432000 4194304 4196468 140720317083264 140099287325744 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51444 KiB [startup+0.701001 s] /proc/loadavg: 8.36 8.36 8.33 5/212 10235 /proc/meminfo: memFree=11745896/32770624 swapFree=66956720/67108860 [pid=10214] ppid=10211 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10214/stat : 10214 (xcsp3-exec) S 10211 10214 3200 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476623940 115843072 363 33554432000 4194304 5098028 140722585300608 140722585298712 140351787225724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7942144 140722585305944 140722585306202 140722585306202 140722585309126 0 /proc/10214/statm: 28282 363 304 221 0 87 0 [pid=10216] ppid=10214 vsize=28233776 memory=101828 CPUtime=1.81 cores=0-7 /proc/10216/stat : 10216 (java) S 10214 10214 3200 0 -1 1077944320 15674 0 0 0 175 6 0 0 20 0 20 0 476623940 28911386624 25457 33554432000 4194304 4196468 140720317083264 140720317065808 140099912437495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 /proc/10216/statm: 7058444 25457 3464 1 0 7019544 0 [pid=10216/tid=10217] ppid=10214 vsize=28233776 memory=279988113325744 CPUtime=0.67 cores=0-7 /proc/10216/task/10217/stat : 10217 (java) R 10214 10214 3200 0 -1 4202560 9181 0 0 0 63 4 0 0 20 0 20 0 476623941 28911386624 25457 33554432000 4194304 4196468 140720317083264 140099916675696 140099894726816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10218] ppid=10214 vsize=28233776 memory=139994056663920 CPUtime=0 cores=0-7 /proc/10216/task/10218/stat : 10218 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28911386624 25457 33554432000 4194304 4196468 140720317083264 140099832290448 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10219] ppid=10214 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/10216/task/10219/stat : 10219 (java) S 10214 10214 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476623941 28911386624 25457 33554432000 4194304 4196468 140720317083264 140099831237648 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10220] ppid=10214 vsize=28233776 memory=6032 CPUtime=0 cores=0-7 /proc/10216/task/10220/stat : 10220 (java) S 10214 10214 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476623941 28911386624 25523 33554432000 4194304 4196468 140720317083264 140099830184848 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 ################ # More data... # ################ [pid=10216/tid=10233] ppid=10214 vsize=28766288 memory=616208 CPUtime=0.78 cores=0-7 /proc/10216/task/10233/stat : 10233 (java) S 10214 10214 3200 0 -1 1077944384 7844 0 0 0 76 2 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099289430000 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10234] ppid=10214 vsize=28766288 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/10216/task/10234/stat : 10234 (java) S 10214 10214 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099288378464 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10235] ppid=10214 vsize=28766288 memory=0 CPUtime=0.03 cores=0-7 /proc/10216/task/10235/stat : 10235 (java) S 10214 10214 3200 0 -1 1077944384 998 0 0 0 0 3 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099287325744 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10236] ppid=10214 vsize=28766288 memory=3296 CPUtime=71.42 cores=0-7 /proc/10216/task/10236/stat : 10236 (java) R 10214 10214 3200 0 -1 4202560 823 0 0 0 7142 0 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099284798776 140099507737528 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10237] ppid=10214 vsize=28766288 memory=6791534058613427641 CPUtime=71.16 cores=0-7 /proc/10216/task/10237/stat : 10237 (java) R 10214 10214 3200 0 -1 4202560 577 0 0 0 7116 0 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099209482360 140099507737902 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10238] ppid=10214 vsize=28766288 memory=616220 CPUtime=70.99 cores=0-7 /proc/10216/task/10238/stat : 10238 (java) R 10214 10214 3200 0 -1 4202560 626 0 0 0 7098 1 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099208429544 140099508079435 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10239] ppid=10214 vsize=28766288 memory=6791534058613427641 CPUtime=71.41 cores=0-7 /proc/10216/task/10239/stat : 10239 (java) R 10214 10214 3200 0 -1 4202560 6680 0 0 0 7128 13 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099207377256 140099507737464 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10240] ppid=10214 vsize=28766288 memory=4872558044660077418 CPUtime=71.37 cores=0-7 /proc/10216/task/10240/stat : 10240 (java) R 10214 10214 3200 0 -1 4202560 933 0 0 0 7136 1 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099206323848 140099507737375 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10241] ppid=10214 vsize=28766288 memory=988 CPUtime=71.46 cores=0-7 /proc/10216/task/10241/stat : 10241 (java) R 10214 10214 3200 0 -1 4202560 1050 0 0 0 7144 2 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099205270912 140099507725590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10242] ppid=10214 vsize=28766288 memory=780 CPUtime=70.93 cores=0-7 /proc/10216/task/10242/stat : 10242 (java) R 10214 10214 3200 0 -1 4202560 430 0 0 0 7093 0 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099204219400 140099507725572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10243] ppid=10214 vsize=28766288 memory=6032 CPUtime=71.34 cores=0-7 /proc/10216/task/10243/stat : 10243 (java) R 10214 10214 3200 0 -1 4202560 1057 0 0 0 7133 1 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099203167304 140099505525269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 Current children cumulated CPU time: 578.71 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 617700 KiB [startup+73.6017 s] /proc/loadavg: 7.92 8.19 8.27 9/220 10246 /proc/meminfo: memFree=11196584/32770624 swapFree=66956720/67108860 [pid=10214] ppid=10211 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10214/stat : 10214 (xcsp3-exec) S 10211 10214 3200 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476623940 115843072 363 33554432000 4194304 5098028 140722585300608 140722585298712 140351787225724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7942144 140722585305944 140722585306202 140722585306202 140722585309126 0 /proc/10214/statm: 28282 363 304 221 0 87 0 [pid=10216] ppid=10214 vsize=28766288 memory=616248 CPUtime=581.9 cores=0-7 /proc/10216/stat : 10216 (java) S 10214 10214 3200 0 -1 1077944320 62784 0 0 0 58115 75 0 0 20 0 28 0 476623940 29456678912 154062 33554432000 4194304 4196468 140720317083264 140720317065808 140099912437495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 /proc/10216/statm: 7191572 154062 3532 1 0 7152672 0 [pid=10216/tid=10217] ppid=10214 vsize=28766288 memory=3620 CPUtime=0.92 cores=0-7 /proc/10216/task/10217/stat : 10217 (java) S 10214 10214 3200 0 -1 1077944384 9293 0 0 0 87 5 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099916678272 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10218] ppid=10214 vsize=28766288 memory=54916 CPUtime=0.12 cores=0-7 /proc/10216/task/10218/stat : 10218 (java) S 10214 10214 3200 0 -1 1077944384 1248 0 0 0 8 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099832290448 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10219] ppid=10214 vsize=28766288 memory=3620 CPUtime=0.13 cores=0-7 /proc/10216/task/10219/stat : 10219 (java) S 10214 10214 3200 0 -1 1077944384 1118 0 0 0 8 5 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099831237648 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10220] ppid=10214 vsize=28766288 memory=616248 CPUtime=0.11 cores=0-7 /proc/10216/task/10220/stat : 10220 (java) S 10214 10214 3200 0 -1 1077944384 1126 0 0 0 7 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099830184848 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10221] ppid=10214 vsize=28766288 memory=3620 CPUtime=0.11 cores=0-7 /proc/10216/task/10221/stat : 10221 (java) S 10214 10214 3200 0 -1 1077944384 402 0 0 0 7 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099829132048 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10222] ppid=10214 vsize=28766288 memory=1452 CPUtime=0.12 cores=0-7 /proc/10216/task/10222/stat : 10222 (java) S 10214 10214 3200 0 -1 1077944384 372 0 0 0 8 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099828079248 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10223] ppid=10214 vsize=28766288 memory=616248 CPUtime=0.11 cores=0-7 /proc/10216/task/10223/stat : 10223 (java) S 10214 10214 3200 0 -1 1077944384 1382 0 0 0 7 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099827026448 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10224] ppid=10214 vsize=28766288 memory=1452 CPUtime=0.12 cores=0-7 /proc/10216/task/10224/stat : 10224 (java) S 10214 10214 3200 0 -1 1077944384 333 0 0 0 8 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099825973648 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10225] ppid=10214 vsize=28766288 memory=6791534058613427641 CPUtime=0.11 cores=0-7 /proc/10216/task/10225/stat : 10225 (java) S 10214 10214 3200 0 -1 1077944384 1227 0 0 0 7 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099824920848 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10226] ppid=10214 vsize=28766288 memory=1428 CPUtime=0.02 cores=0-7 /proc/10216/task/10226/stat : 10226 (java) S 10214 10214 3200 0 -1 1077944384 1451 0 0 0 2 0 0 0 20 0 28 0 476623943 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099296799600 140099912448642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10227] ppid=10214 vsize=28766288 memory=1728 CPUtime=0 cores=0-7 /proc/10216/task/10227/stat : 10227 (java) S 10214 10214 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476623943 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099295745632 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10228] ppid=10214 vsize=28766288 memory=1056 CPUtime=0 cores=0-7 /proc/10216/task/10228/stat : 10228 (java) S 10214 10214 3200 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 476623944 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099294692720 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10229] ppid=10214 vsize=28766288 memory=8996 CPUtime=0 cores=0-7 /proc/10216/task/10229/stat : 10229 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099293641040 140099912456091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10230] ppid=10214 vsize=28766288 memory=616248 CPUtime=1.92 cores=0-7 /proc/10216/task/10230/stat : 10230 (java) S 10214 10214 3200 0 -1 1077944384 7537 0 0 0 190 2 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099292588400 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10231] ppid=10214 vsize=28766288 memory=2432 CPUtime=1.92 cores=0-7 /proc/10216/task/10231/stat : 10231 (java) S 10214 10214 3200 0 -1 1077944384 7523 0 0 0 190 2 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099291535600 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10232] ppid=10214 vsize=28766288 memory=1436 CPUtime=1.88 cores=0-7 /proc/10216/task/10232/stat : 10232 (java) S 10214 10214 3200 0 -1 1077944384 7418 0 0 0 186 2 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099290482800 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10233] ppid=10214 vsize=28766288 memory=808 CPUtime=0.78 cores=0-7 /proc/10216/task/10233/stat : 10233 (java) S 10214 10214 3200 0 -1 1077944384 7844 0 0 0 76 2 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099289430000 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10234] ppid=10214 vsize=28766288 memory=1764 CPUtime=0 cores=0-7 /proc/10216/task/10234/stat : 10234 (java) S 10214 10214 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099288378464 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10235] ppid=10214 vsize=28766288 memory=111628 CPUtime=0.03 cores=0-7 /proc/10216/task/10235/stat : 10235 (java) S 10214 10214 3200 0 -1 1077944384 998 0 0 0 0 3 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099287325744 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10236] ppid=10214 vsize=28766288 memory=988 CPUtime=71.82 cores=0-7 /proc/10216/task/10236/stat : 10236 (java) R 10214 10214 3200 0 -1 4202560 861 0 0 0 7182 0 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099284798776 140099507737476 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10237] ppid=10214 vsize=28766288 memory=780 CPUtime=71.55 cores=0-7 /proc/10216/task/10237/stat : 10237 (java) R 10214 10214 3200 0 -1 4202560 579 0 0 0 7155 0 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099209482360 140099507737916 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10238] ppid=10214 vsize=28766288 memory=6032 CPUtime=71.39 cores=0-7 /proc/10216/task/10238/stat : 10238 (java) R 10214 10214 3200 0 -1 4202560 626 0 0 0 7138 1 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099208429544 140099508675647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10239] ppid=10214 vsize=28766288 memory=624 CPUtime=71.81 cores=0-7 /proc/10216/task/10239/stat : 10239 (java) R 10214 10214 3200 0 -1 4202560 6680 0 0 0 7168 13 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099207377256 140099507737464 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10240] ppid=10214 vsize=28766288 memory=3636 CPUtime=71.77 cores=0-7 /proc/10216/task/10240/stat : 10240 (java) R 10214 10214 3200 0 -1 4202560 933 0 0 0 7176 1 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099206323848 140099509169503 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10241] ppid=10214 vsize=28766288 memory=2832 CPUtime=71.86 cores=0-7 /proc/10216/task/10241/stat : 10241 (java) R 10214 10214 3200 0 -1 4202560 1050 0 0 0 7184 2 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099205270912 140099505525264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10242] ppid=10214 vsize=28766288 memory=616208 CPUtime=71.33 cores=0-7 /proc/10216/task/10242/stat : 10242 (java) R 10214 10214 3200 0 -1 4202560 430 0 0 0 7133 0 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099204219400 140099508624740 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10243] ppid=10214 vsize=28766288 memory=616220 CPUtime=71.74 cores=0-7 /proc/10216/task/10243/stat : 10243 (java) R 10214 10214 3200 0 -1 4202560 1057 0 0 0 7173 1 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099203167304 140099507356572 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 Current children cumulated CPU time: 581.9 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 617700 KiB [startup+73.7017 s] /proc/loadavg: 7.92 8.19 8.27 9/220 10246 /proc/meminfo: memFree=11196584/32770624 swapFree=66956720/67108860 [pid=10214] ppid=10211 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/10214/stat : 10214 (xcsp3-exec) S 10211 10214 3200 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476623940 115843072 363 33554432000 4194304 5098028 140722585300608 140722585298712 140351787225724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7942144 140722585305944 140722585306202 140722585306202 140722585309126 0 /proc/10214/statm: 28282 363 304 221 0 87 0 [pid=10216] ppid=10214 vsize=28766288 memory=616248 CPUtime=582.7 cores=0-7 /proc/10216/stat : 10216 (java) S 10214 10214 3200 0 -1 1077944320 62784 0 0 0 58195 75 0 0 20 0 28 0 476623940 29456678912 154062 33554432000 4194304 4196468 140720317083264 140720317065808 140099912437495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 /proc/10216/statm: 7191572 154062 3532 1 0 7152672 0 [pid=10216/tid=10217] ppid=10214 vsize=28766288 memory=616248 CPUtime=0.92 cores=0-7 /proc/10216/task/10217/stat : 10217 (java) S 10214 10214 3200 0 -1 1077944384 9293 0 0 0 87 5 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099916678272 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10218] ppid=10214 vsize=28766288 memory=616248 CPUtime=0.12 cores=0-7 /proc/10216/task/10218/stat : 10218 (java) S 10214 10214 3200 0 -1 1077944384 1248 0 0 0 8 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099832290448 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10219] ppid=10214 vsize=28766288 memory=616248 CPUtime=0.13 cores=0-7 /proc/10216/task/10219/stat : 10219 (java) S 10214 10214 3200 0 -1 1077944384 1118 0 0 0 8 5 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099831237648 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10220] ppid=10214 vsize=28766288 memory=1452 CPUtime=0.11 cores=0-7 /proc/10216/task/10220/stat : 10220 (java) S 10214 10214 3200 0 -1 1077944384 1126 0 0 0 7 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099830184848 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10221] ppid=10214 vsize=28766288 memory=1452 CPUtime=0.11 cores=0-7 /proc/10216/task/10221/stat : 10221 (java) S 10214 10214 3200 0 -1 1077944384 402 0 0 0 7 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099829132048 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10222] ppid=10214 vsize=28766288 memory=6791534058613427641 CPUtime=0.12 cores=0-7 /proc/10216/task/10222/stat : 10222 (java) S 10214 10214 3200 0 -1 1077944384 372 0 0 0 8 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099828079248 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10223] ppid=10214 vsize=28766288 memory=1976 CPUtime=0.11 cores=0-7 /proc/10216/task/10223/stat : 10223 (java) S 10214 10214 3200 0 -1 1077944384 1382 0 0 0 7 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099827026448 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10224] ppid=10214 vsize=28766288 memory=1452 CPUtime=0.12 cores=0-7 /proc/10216/task/10224/stat : 10224 (java) S 10214 10214 3200 0 -1 1077944384 333 0 0 0 8 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099825973648 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10225] ppid=10214 vsize=28766288 memory=615968 CPUtime=0.11 cores=0-7 /proc/10216/task/10225/stat : 10225 (java) S 10214 10214 3200 0 -1 1077944384 1227 0 0 0 7 4 0 0 20 0 28 0 476623941 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099824920848 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10226] ppid=10214 vsize=28766288 memory=1452 CPUtime=0.02 cores=0-7 /proc/10216/task/10226/stat : 10226 (java) S 10214 10214 3200 0 -1 1077944384 1451 0 0 0 2 0 0 0 20 0 28 0 476623943 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099296799600 140099912448642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10227] ppid=10214 vsize=28766288 memory=616248 CPUtime=0 cores=0-7 /proc/10216/task/10227/stat : 10227 (java) S 10214 10214 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476623943 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099295745632 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10228] ppid=10214 vsize=28766288 memory=1556 CPUtime=0 cores=0-7 /proc/10216/task/10228/stat : 10228 (java) S 10214 10214 3200 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 476623944 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099294692720 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10229] ppid=10214 vsize=28766288 memory=11632 CPUtime=0 cores=0-7 /proc/10216/task/10229/stat : 10229 (java) S 10214 10214 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099293641040 140099912456091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10230] ppid=10214 vsize=28766288 memory=0 CPUtime=1.92 cores=0-7 /proc/10216/task/10230/stat : 10230 (java) S 10214 10214 3200 0 -1 1077944384 7537 0 0 0 190 2 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099292588400 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10231] ppid=10214 vsize=28766288 memory=6944656592455359580 CPUtime=1.92 cores=0-7 /proc/10216/task/10231/stat : 10231 (java) S 10214 10214 3200 0 -1 1077944384 7523 0 0 0 190 2 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099291535600 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10232] ppid=10214 vsize=28766288 memory=14012 CPUtime=1.88 cores=0-7 /proc/10216/task/10232/stat : 10232 (java) S 10214 10214 3200 0 -1 1077944384 7418 0 0 0 186 2 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099290482800 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10233] ppid=10214 vsize=28766288 memory=2112 CPUtime=0.78 cores=0-7 /proc/10216/task/10233/stat : 10233 (java) S 10214 10214 3200 0 -1 1077944384 7844 0 0 0 76 2 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099289430000 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10234] ppid=10214 vsize=28766288 memory=1452 CPUtime=0 cores=0-7 /proc/10216/task/10234/stat : 10234 (java) S 10214 10214 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099288378464 140099912447701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10235] ppid=10214 vsize=28766288 memory=1764 CPUtime=0.03 cores=0-7 /proc/10216/task/10235/stat : 10235 (java) S 10214 10214 3200 0 -1 1077944384 998 0 0 0 0 3 0 0 20 0 28 0 476623946 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099287325744 140099912448642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10236] ppid=10214 vsize=28766288 memory=111628 CPUtime=71.92 cores=0-7 /proc/10216/task/10236/stat : 10236 (java) R 10214 10214 3200 0 -1 4202560 861 0 0 0 7192 0 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099284798776 140099507737464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10237] ppid=10214 vsize=28766288 memory=1452 CPUtime=71.65 cores=0-7 /proc/10216/task/10237/stat : 10237 (java) R 10214 10214 3200 0 -1 4202560 579 0 0 0 7165 0 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099209482360 140099507737485 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10238] ppid=10214 vsize=28766288 memory=6791534058613427641 CPUtime=71.49 cores=0-7 /proc/10216/task/10238/stat : 10238 (java) R 10214 10214 3200 0 -1 4202560 626 0 0 0 7148 1 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099208429544 140099507737502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10239] ppid=10214 vsize=28766288 memory=-8773164308154395822 CPUtime=71.91 cores=0-7 /proc/10216/task/10239/stat : 10239 (java) R 10214 10214 3200 0 -1 4202560 6680 0 0 0 7178 13 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099207377256 140099507725590 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10240] ppid=10214 vsize=28766288 memory=1452 CPUtime=71.87 cores=0-7 /proc/10216/task/10240/stat : 10240 (java) R 10214 10214 3200 0 -1 4202560 933 0 0 0 7186 1 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099206323848 140099508174640 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10241] ppid=10214 vsize=28766288 memory=0 CPUtime=71.96 cores=0-7 /proc/10216/task/10241/stat : 10241 (java) R 10214 10214 3200 0 -1 4202560 1050 0 0 0 7194 2 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099205270912 140099508051016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10242] ppid=10214 vsize=28766288 memory=6943526294502006880 CPUtime=71.43 cores=0-7 /proc/10216/task/10242/stat : 10242 (java) R 10214 10214 3200 0 -1 4202560 430 0 0 0 7143 0 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099204219400 140099507737459 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 [pid=10216/tid=10243] ppid=10214 vsize=28766288 memory=1452 CPUtime=71.84 cores=0-7 /proc/10216/task/10243/stat : 10243 (java) R 10214 10214 3200 0 -1 4202560 1057 0 0 0 7183 1 0 0 20 0 28 0 476624035 29456678912 154062 33554432000 4194304 4196468 140720317083264 140099203167304 140099507725424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29167616 140720317084636 140720317084811 140720317084811 140720317087695 0 Current children cumulated CPU time: 582.7 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 617700 KiB Child status: 0 Real time (s): 73.7766 CPU time (s): 583.146 CPU user time (s): 582.368 CPU system time (s): 0.777918 CPU usage (%): 790.421 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 652896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 582.368 system time used= 0.777918 maximum resident set size= 672032 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66405 page faults= 0 swaps= 0 block input operations= 0 block output operations= 264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6635 involuntary context switches= 7840 # summary of solver processes directly reported to runsolver: # pid: 10214 # total CPU time (s): 583.146 # total CPU user time (s): 582.368 # total CPU system time (s): 0.777918 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.687439 second user time and 0.901117 second system time The end
Begin job on node149 at 2019-09-20 20:23:35 IDJOB=4404954 IDBENCH=124151 IDSOLVER=2866 FILE ID=node149/4404954-1569003853 RUNJOBID= node149-1568994522-3227 PBS_JOBID= 21704727 Free space on /var/tmp= 13484 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-0.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404954-1569003853/watcher-4404954-1569003853 -o /var/tmp/evaluation-result-4404954-1569003853/solver-4404954-1569003853 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 348611464 HOME/instance-4404954-1569003853.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c061694c4fbf3df02ed1b2618516c596 RANDOM SEED=348611464 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 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: 11798644 kB MemAvailable: 31813172 kB Buffers: 165248 kB Cached: 19741404 kB SwapCached: 41664 kB Active: 9629568 kB Inactive: 10320712 kB Active(anon): 4244 kB Inactive(anon): 83688 kB Active(file): 9625324 kB Inactive(file): 10237024 kB Unevictable: 110220 kB Mlocked: 110220 kB SwapTotal: 67108860 kB SwapFree: 66956720 kB Dirty: 26288 kB Writeback: 0 kB AnonPages: 113552 kB Mapped: 52024 kB Shmem: 35688 kB Slab: 610988 kB SReclaimable: 580640 kB SUnreclaim: 30348 kB KernelStack: 3456 kB PageTables: 5652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507124 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /var/tmp at the end= 13456 MiB End job on node149 at 2019-09-20 20:24:49