Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 | OPT | 130 | 266.954 | 67.6125 |
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.1685 |
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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403754-1568989608.xml" -tl '2520s' -p 4 0.13/0.20 c Choco 3fb4b153 0.13/0.20 c [HOME/instance-4403754-1568989608.xml, -tl, 2520s, -p, 4] 0.34/0.24 c 4 solvers in parallel 0.34/0.31 c parse instance... 1.94/0.85 c solve instance... 266.60/67.56 o 130 266.60/67.59 s OPTIMUM FOUND 266.60/67.59 v <instantiation> 266.60/67.59 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> 266.60/67.59 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> 266.60/67.59 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: 16375 MiB (3844 MiB free) memory of node 1: 16384 MiB (5208 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403754-1568989608/watcher-4403754-1568989608 -o /tmp/evaluation-result-4403754-1568989608/solver-4403754-1568989608 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568988007-29941 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 658053349 HOME/instance-4403754-1568989608.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=32493, runsolver pid=32490 [startup+0.1001 s]* /proc/loadavg: 8.30 7.93 6.72 6/234 32509 /proc/meminfo: memFree=9252712/32770688 swapFree=66971760/67108860 [pid=32493] ppid=32490 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/32493/stat : 32493 (xcsp3-exec) S 32490 32493 29909 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 474902448 115843072 362 33554432000 4194304 5098028 140734144408368 140734144406472 139747569230460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32120832 140734144410491 140734144410733 140734144410733 140734144413642 0 /proc/32493/statm: 28282 362 304 221 0 87 0 [pid=32495] ppid=32493 vsize=15144776 memory=31080 CPUtime=0.13 cores=4-7 /proc/32495/stat : 32495 (java) S 32493 32493 29909 0 -1 1077944320 5602 0 0 0 11 2 0 0 20 0 15 0 474902448 15508250624 7770 33554432000 4194304 4196468 140736713163808 140736713146352 140289330904823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 /proc/32495/statm: 3786194 7770 3154 1 0 3748377 0 [pid=32495/tid=32496] ppid=32493 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=4-7 /proc/32495/task/32496/stat : 32496 (java) R 32493 32493 29909 0 -1 4202560 3549 0 0 0 8 1 0 0 20 0 15 0 474902449 15508250624 7770 33554432000 4194304 4196468 140736713163808 140289335129296 140289330926749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32497] ppid=32493 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/32495/task/32497/stat : 32497 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902449 15508250624 7770 33554432000 4194304 4196468 140736713163808 140289283524880 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32498] ppid=32493 vsize=15144776 memory=140348881155712 CPUtime=0 cores=4-7 /proc/32495/task/32498/stat : 32498 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902449 15508250624 7770 33554432000 4194304 4196468 140736713163808 140289282472336 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32499] ppid=32493 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/32495/task/32499/stat : 32499 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902449 15508250624 7770 33554432000 4194304 4196468 140736713163808 140289281419792 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32500] ppid=32493 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/32495/task/32500/stat : 32500 (java) S 32493 32493 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474902449 15508250624 7770 33554432000 4194304 4196468 140736713163808 140289280367248 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32501] ppid=32493 vsize=15144776 memory=140348881155712 CPUtime=0 cores=4-7 /proc/32495/task/32501/stat : 32501 (java) S 32493 32493 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474902451 15508250624 7770 33554432000 4194304 4196468 140736713163808 140288866724336 140289330915970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32502] ppid=32493 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/32495/task/32502/stat : 32502 (java) S 32493 32493 29909 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 474902451 15508250624 7770 33554432000 4194304 4196468 140736713163808 140288203941280 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32503] ppid=32493 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/32495/task/32503/stat : 32503 (java) S 32493 32493 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474902452 15508250624 7770 33554432000 4194304 4196468 140736713163808 140288202888688 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32504] ppid=32493 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/32495/task/32504/stat : 32504 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474902454 15508250624 7770 33554432000 4194304 4196468 140736713163808 140288201837264 140289330923419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32505] ppid=32493 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/32495/task/32505/stat : 32505 (java) S 32493 32493 29909 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 474902454 15508250624 7770 33554432000 4194304 4196468 140736713163808 140288200783856 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32506] ppid=32493 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/32495/task/32506/stat : 32506 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474902454 15508250624 7770 33554432000 4194304 4196468 140736713163808 140288199731312 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32507] ppid=32493 vsize=15144776 memory=140348881155712 CPUtime=0.01 cores=4-7 /proc/32495/task/32507/stat : 32507 (java) R 32493 32493 29909 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 15 0 474902454 15508250624 7770 33554432000 4194304 4196468 140736713163808 140288198678768 140289310040832 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32508] ppid=32493 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/32495/task/32508/stat : 32508 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474902455 15508250624 7770 33554432000 4194304 4196468 140736713163808 140288197626464 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32509] ppid=32493 vsize=15144776 memory=140348881155712 CPUtime=0 cores=4-7 /proc/32495/task/32509/stat : 32509 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902455 15508250624 7770 33554432000 4194304 4196468 140736713163808 140288196574000 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 32528 KiB [startup+0.211857 s]* /proc/loadavg: 7.95 7.86 6.71 8/234 32509 /proc/meminfo: memFree=9240816/32770688 swapFree=66971760/67108860 [pid=32493] ppid=32490 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/32493/stat : 32493 (xcsp3-exec) S 32490 32493 29909 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 474902448 115843072 362 33554432000 4194304 5098028 140734144408368 140734144406472 139747569230460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32120832 140734144410491 140734144410733 140734144410733 140734144413642 0 /proc/32493/statm: 28282 362 304 221 0 87 0 [pid=32495] ppid=32493 vsize=15144776 memory=41904 CPUtime=0.34 cores=4-7 /proc/32495/stat : 32495 (java) S 32493 32493 29909 0 -1 1077944320 9220 0 0 0 31 3 0 0 20 0 15 0 474902448 15508250624 10476 33554432000 4194304 4196468 140736713163808 140736713146352 140289330904823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 /proc/32495/statm: 3786194 10476 3270 1 0 3748377 0 [pid=32495/tid=32496] ppid=32493 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=4-7 /proc/32495/task/32496/stat : 32496 (java) R 32493 32493 29909 0 -1 4202560 6496 0 0 0 17 3 0 0 20 0 15 0 474902449 15508250624 10476 33554432000 4194304 4196468 140736713163808 140289335139440 140289330916758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32497] ppid=32493 vsize=15144776 memory=9098 CPUtime=0 cores=4-7 /proc/32495/task/32497/stat : 32497 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902449 15508250624 10476 33554432000 4194304 4196468 140736713163808 140289283524880 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32498] ppid=32493 vsize=15144776 memory=140348884662153 CPUtime=0 cores=4-7 /proc/32495/task/32498/stat : 32498 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902449 15508250624 10476 33554432000 4194304 4196468 140736713163808 140289282472336 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32499] ppid=32493 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/32495/task/32499/stat : 32499 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902449 15508250624 10476 33554432000 4194304 4196468 140736713163808 140289281419792 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32500] ppid=32493 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/32495/task/32500/stat : 32500 (java) S 32493 32493 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474902449 15508250624 10476 33554432000 4194304 4196468 140736713163808 140289280367248 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32501] ppid=32493 vsize=15144776 memory=140348881155712 CPUtime=0 cores=4-7 /proc/32495/task/32501/stat : 32501 (java) S 32493 32493 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474902451 15508250624 10476 33554432000 4194304 4196468 140736713163808 140288866724336 140289330915970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32502] ppid=32493 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/32495/task/32502/stat : 32502 (java) S 32493 32493 29909 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 474902451 15508250624 10476 33554432000 4194304 4196468 140736713163808 140288203941280 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32503] ppid=32493 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/32495/task/32503/stat : 32503 (java) S 32493 32493 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474902452 15508250624 10476 33554432000 4194304 4196468 140736713163808 140288202888688 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32504] ppid=32493 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/32495/task/32504/stat : 32504 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474902454 15508250624 10476 33554432000 4194304 4196468 140736713163808 140288201837264 140289330923419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32505] ppid=32493 vsize=15144776 memory=0 CPUtime=0.03 cores=4-7 /proc/32495/task/32505/stat : 32505 (java) S 32493 32493 29909 0 -1 1077944384 586 0 0 0 3 0 0 0 20 0 15 0 474902454 15508250624 10476 33554432000 4194304 4196468 140736713163808 140288200783856 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32506] ppid=32493 vsize=15144776 memory=-1 CPUtime=0.01 cores=4-7 /proc/32495/task/32506/stat : 32506 (java) S 32493 32493 29909 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 15 0 474902454 15508250624 10476 33554432000 4194304 4196468 140736713163808 140288199731312 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32507] ppid=32493 vsize=15144776 memory=140348881155712 CPUtime=0.08 cores=4-7 /proc/32495/task/32507/stat : 32507 (java) R 32493 32493 29909 0 -1 4202560 808 0 0 0 8 0 0 0 20 0 15 0 474902454 15508250624 10476 33554432000 4194304 4196468 140736713163808 140288198677952 140289317229207 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32508] ppid=32493 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/32495/task/32508/stat : 32508 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474902455 15508250624 10476 33554432000 4194304 4196468 140736713163808 140288197626464 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32509] ppid=32493 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/32495/task/32509/stat : 32509 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902455 15508250624 10476 33554432000 4194304 4196468 140736713163808 140288196574000 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 43352 KiB [startup+0.31188 s]* /proc/loadavg: 7.95 7.86 6.71 6/234 32509 /proc/meminfo: memFree=9235592/32770688 swapFree=66971760/67108860 [pid=32493] ppid=32490 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/32493/stat : 32493 (xcsp3-exec) S 32490 32493 29909 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 474902448 115843072 362 33554432000 4194304 5098028 140734144408368 140734144406472 139747569230460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32120832 140734144410491 140734144410733 140734144410733 140734144413642 0 /proc/32493/statm: 28282 362 304 221 0 87 0 [pid=32495] ppid=32493 vsize=15149032 memory=48720 CPUtime=0.53 cores=4-7 /proc/32495/stat : 32495 (java) S 32493 32493 29909 0 -1 1077944320 10411 0 0 0 48 5 0 0 20 0 15 0 474902448 15512608768 12180 33554432000 4194304 4196468 140736713163808 140736713146352 140289330904823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 /proc/32495/statm: 3787258 12180 3355 1 0 3748377 0 [pid=32495/tid=32496] ppid=32493 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=4-7 /proc/32495/task/32496/stat : 32496 (java) R 32493 32493 29909 0 -1 4202560 7499 0 0 0 26 4 0 0 20 0 15 0 474902449 15512608768 12180 33554432000 4194304 4196468 140736713163808 140289335126336 140289314985310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32497] ppid=32493 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=4-7 /proc/32495/task/32497/stat : 32497 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902449 15512608768 12180 33554432000 4194304 4196468 140736713163808 140289283524880 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32498] ppid=32493 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=4-7 /proc/32495/task/32498/stat : 32498 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902449 15512608768 12180 33554432000 4194304 4196468 140736713163808 140289282472336 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32499] ppid=32493 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=4-7 /proc/32495/task/32499/stat : 32499 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902449 15512608768 12180 33554432000 4194304 4196468 140736713163808 140289281419792 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32500] ppid=32493 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=4-7 /proc/32495/task/32500/stat : 32500 (java) S 32493 32493 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474902449 15512608768 12180 33554432000 4194304 4196468 140736713163808 140289280367248 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32501] ppid=32493 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=4-7 /proc/32495/task/32501/stat : 32501 (java) S 32493 32493 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474902451 15512608768 12180 33554432000 4194304 4196468 140736713163808 140288866724336 140289330915970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32502] ppid=32493 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=4-7 /proc/32495/task/32502/stat : 32502 (java) S 32493 32493 29909 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 474902451 15512608768 12180 33554432000 4194304 4196468 140736713163808 140288203941280 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32503] ppid=32493 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=4-7 /proc/32495/task/32503/stat : 32503 (java) S 32493 32493 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474902452 15512608768 12180 33554432000 4194304 4196468 140736713163808 140288202888688 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32504] ppid=32493 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=4-7 /proc/32495/task/32504/stat : 32504 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474902454 15512608768 12180 33554432000 4194304 4196468 140736713163808 140288201837264 140289330923419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32505] ppid=32493 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=4-7 /proc/32495/task/32505/stat : 32505 (java) S 32493 32493 29909 0 -1 1077944384 602 0 0 0 4 0 0 0 20 0 15 0 474902454 15512608768 12180 33554432000 4194304 4196468 140736713163808 140288200783856 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32506] ppid=32493 vsize=15149032 memory=0 CPUtime=0.03 cores=4-7 /proc/32495/task/32506/stat : 32506 (java) S 32493 32493 29909 0 -1 1077944384 88 0 0 0 3 0 0 0 20 0 15 0 474902454 15512608768 12180 33554432000 4194304 4196468 140736713163808 140288199731312 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32507] ppid=32493 vsize=15149032 memory=0 CPUtime=0.13 cores=4-7 /proc/32495/task/32507/stat : 32507 (java) S 32493 32493 29909 0 -1 1077944384 936 0 0 0 13 0 0 0 20 0 15 0 474902454 15512608768 12180 33554432000 4194304 4196468 140736713163808 140288198678768 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32508] ppid=32493 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/32495/task/32508/stat : 32508 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474902455 15512608768 12180 33554432000 4194304 4196468 140736713163808 140288197626464 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32509] ppid=32493 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/32495/task/32509/stat : 32509 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902455 15512608768 12180 33554432000 4194304 4196468 140736713163808 140288196574000 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 50168 KiB [startup+0.710231 s] /proc/loadavg: 7.95 7.86 6.71 7/234 32509 /proc/meminfo: memFree=9222316/32770688 swapFree=66971760/67108860 [pid=32493] ppid=32490 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/32493/stat : 32493 (xcsp3-exec) S 32490 32493 29909 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 474902448 115843072 362 33554432000 4194304 5098028 140734144408368 140734144406472 139747569230460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32120832 140734144410491 140734144410733 140734144410733 140734144413642 0 /proc/32493/statm: 28282 362 304 221 0 87 0 [pid=32495] ppid=32493 vsize=15151156 memory=83048 CPUtime=1.59 cores=4-7 /proc/32495/stat : 32495 (java) S 32493 32493 29909 0 -1 1077944320 13884 0 0 0 152 7 0 0 20 0 15 0 474902448 15514783744 20762 33554432000 4194304 4196468 140736713163808 140736713146352 140289330904823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 /proc/32495/statm: 3787789 20762 3463 1 0 3748889 0 [pid=32495/tid=32496] ppid=32493 vsize=15151156 memory=53732 CPUtime=0.69 cores=4-7 /proc/32495/task/32496/stat : 32496 (java) R 32493 32493 29909 0 -1 4202560 9078 0 0 0 64 5 0 0 20 0 15 0 474902449 15514783744 20762 33554432000 4194304 4196468 140736713163808 140289335141768 140288952659998 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32497] ppid=32493 vsize=15151156 memory=984 CPUtime=0 cores=4-7 /proc/32495/task/32497/stat : 32497 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902449 15514783744 20762 33554432000 4194304 4196468 140736713163808 140289283524880 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32498] ppid=32493 vsize=15151156 memory=2044 CPUtime=0 cores=4-7 /proc/32495/task/32498/stat : 32498 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902449 15514783744 20762 33554432000 4194304 4196468 140736713163808 140289282472336 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32499] ppid=32493 vsize=15151156 memory=1432 CPUtime=0 cores=4-7 /proc/32495/task/32499/stat : 32499 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902449 15514783744 20762 33554432000 4194304 4196468 140736713163808 140289281419792 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32500] ppid=32493 vsize=15151156 memory=1056 CPUtime=0 cores=4-7 /proc/32495/task/32500/stat : 32500 (java) S 32493 32493 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474902449 15514783744 20762 33554432000 4194304 4196468 140736713163808 140289280367248 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32501] ppid=32493 vsize=15151156 memory=788 CPUtime=0 cores=4-7 /proc/32495/task/32501/stat : 32501 (java) S 32493 32493 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474902451 15514783744 20762 33554432000 4194304 4196468 140736713163808 140288866724336 140289330915970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32502] ppid=32493 vsize=15151156 memory=1704 CPUtime=0 cores=4-7 /proc/32495/task/32502/stat : 32502 (java) S 32493 32493 29909 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 474902451 15514783744 20762 33554432000 4194304 4196468 140736713163808 140288203941280 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32503] ppid=32493 vsize=15151156 memory=1280 CPUtime=0 cores=4-7 /proc/32495/task/32503/stat : 32503 (java) S 32493 32493 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474902452 15514783744 20762 33554432000 4194304 4196468 140736713163808 140288202888688 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32504] ppid=32493 vsize=15151156 memory=6044 CPUtime=0 cores=4-7 /proc/32495/task/32504/stat : 32504 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474902454 15514783744 20762 33554432000 4194304 4196468 140736713163808 140288201837264 140289330923419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32505] ppid=32493 vsize=15151156 memory=780 CPUtime=0.24 cores=4-7 /proc/32495/task/32505/stat : 32505 (java) R 32493 32493 29909 0 -1 4202560 1107 0 0 0 24 0 0 0 20 0 15 0 474902454 15514783744 20762 33554432000 4194304 4196468 140736713163808 140288200764760 140289311605120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32506] ppid=32493 vsize=15151156 memory=3604 CPUtime=0.23 cores=4-7 /proc/32495/task/32506/stat : 32506 (java) R 32493 32493 29909 0 -1 4202560 725 0 0 0 23 0 0 0 20 0 15 0 474902454 15514783744 20762 33554432000 4194304 4196468 140736713163808 140288199717408 140289312449451 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32507] ppid=32493 vsize=15151156 memory=1088 CPUtime=0.4 cores=4-7 /proc/32495/task/32507/stat : 32507 (java) R 32493 32493 29909 0 -1 4202560 1688 0 0 0 40 0 0 0 20 0 15 0 474902454 15514783744 20762 33554432000 4194304 4196468 140736713163808 140288198678768 140289310025392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32508] ppid=32493 vsize=15151156 memory=2832 CPUtime=0 cores=4-7 /proc/32495/task/32508/stat : 32508 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474902455 15514783744 20762 33554432000 4194304 4196468 140736713163808 140288197626464 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32509] ppid=32493 vsize=15151156 memory=1564 CPUtime=0 cores=4-7 /proc/32495/task/32509/stat : 32509 (java) S 32493 32493 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474902455 15514783744 20762 33554432000 4194304 4196468 140736713163808 140288196574000 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 Current children cumulated CPU time: 1.59 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 84496 KiB [startup+1.50105 s] /proc/loadavg: 7.95 7.86 6.71 12/238 32513 /proc/meminfo: memFree=9156232/32770688 swapFree=66971760/67108860 [pid=32493] ppid=32490 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/32493/stat : 32493 (xcsp3-exec) S 32490 32493 29909 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 474902448 115843072 362 33554432000 4194304 5098028 140734144408368 140734144406472 139747569230460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32120832 140734144410491 140734144410733 140734144410733 140734144413642 0 /proc/32493/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ [pid=32495/tid=32513] ppid=32493 vsize=15417412 memory=19368 CPUtime=61.29 cores=4-7 /proc/32495/task/32513/stat : 32513 (java) R 32493 32493 29909 0 -1 4202560 1237 0 0 0 6129 0 0 0 20 0 19 0 474902536 15787429888 45705 33554432000 4194304 4196468 140736713163808 140287876017608 140288955326814 0 4 0 16800975 0 0 0 -1 6 0 0 33 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 Current children cumulated CPU time: 252.71 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 184268 KiB [startup+65.6012 s] /proc/loadavg: 8.55 8.05 6.85 9/239 32519 /proc/meminfo: memFree=9404884/32770688 swapFree=66971760/67108860 [pid=32493] ppid=32490 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/32493/stat : 32493 (xcsp3-exec) S 32490 32493 29909 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 474902448 115843072 362 33554432000 4194304 5098028 140734144408368 140734144406472 139747569230460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32120832 140734144410491 140734144410733 140734144410733 140734144413642 0 /proc/32493/statm: 28282 362 304 221 0 87 0 [pid=32495] ppid=32493 vsize=15417412 memory=182820 CPUtime=259.04 cores=4-7 /proc/32495/stat : 32495 (java) S 32493 32493 29909 0 -1 1077944320 43654 0 0 0 25881 23 0 0 20 0 19 0 474902448 15787429888 45705 33554432000 4194304 4196468 140736713163808 140736713146352 140289330904823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 /proc/32495/statm: 3854353 45705 3528 1 0 3815453 0 [pid=32495/tid=32496] ppid=32493 vsize=15417412 memory=788 CPUtime=0.84 cores=4-7 /proc/32495/task/32496/stat : 32496 (java) S 32493 32493 29909 0 -1 1077944384 9187 0 0 0 79 5 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289335145600 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32497] ppid=32493 vsize=15417412 memory=6791534058613427641 CPUtime=0.11 cores=4-7 /proc/32495/task/32497/stat : 32497 (java) S 32493 32493 29909 0 -1 1077944384 1214 0 0 0 10 1 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289283524880 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32498] ppid=32493 vsize=15417412 memory=1056 CPUtime=0.1 cores=4-7 /proc/32495/task/32498/stat : 32498 (java) S 32493 32493 29909 0 -1 1077944384 569 0 0 0 9 1 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289282472336 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32499] ppid=32493 vsize=15417412 memory=496 CPUtime=0.12 cores=4-7 /proc/32495/task/32499/stat : 32499 (java) S 32493 32493 29909 0 -1 1077944384 1798 0 0 0 10 2 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289281419792 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32500] ppid=32493 vsize=15417412 memory=1556 CPUtime=0.11 cores=4-7 /proc/32495/task/32500/stat : 32500 (java) S 32493 32493 29909 0 -1 1077944384 739 0 0 0 10 1 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289280367248 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32501] ppid=32493 vsize=15417412 memory=182820 CPUtime=0.04 cores=4-7 /proc/32495/task/32501/stat : 32501 (java) S 32493 32493 29909 0 -1 1077944384 1146 0 0 0 3 1 0 0 20 0 19 0 474902451 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288866724336 140289330915970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32502] ppid=32493 vsize=15417412 memory=184856 CPUtime=0 cores=4-7 /proc/32495/task/32502/stat : 32502 (java) S 32493 32493 29909 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 474902451 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288203941344 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32503] ppid=32493 vsize=15417412 memory=984 CPUtime=0 cores=4-7 /proc/32495/task/32503/stat : 32503 (java) S 32493 32493 29909 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 474902452 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288202888704 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32504] ppid=32493 vsize=15417412 memory=1448 CPUtime=0 cores=4-7 /proc/32495/task/32504/stat : 32504 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474902454 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288201837264 140289330923419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32505] ppid=32493 vsize=15417412 memory=3612 CPUtime=2.16 cores=4-7 /proc/32495/task/32505/stat : 32505 (java) S 32493 32493 29909 0 -1 1077944384 9440 0 0 0 215 1 0 0 20 0 19 0 474902454 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288200783856 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32506] ppid=32493 vsize=15417412 memory=53732 CPUtime=2.05 cores=4-7 /proc/32495/task/32506/stat : 32506 (java) S 32493 32493 29909 0 -1 1077944384 8553 0 0 0 203 2 0 0 20 0 19 0 474902454 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288199731312 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32507] ppid=32493 vsize=15417412 memory=984 CPUtime=0.85 cores=4-7 /proc/32495/task/32507/stat : 32507 (java) S 32493 32493 29909 0 -1 1077944384 5233 0 0 0 84 1 0 0 20 0 19 0 474902454 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288198678768 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32508] ppid=32493 vsize=15417412 memory=2044 CPUtime=0 cores=4-7 /proc/32495/task/32508/stat : 32508 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474902455 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288197626464 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32509] ppid=32493 vsize=15417412 memory=1432 CPUtime=0.03 cores=4-7 /proc/32495/task/32509/stat : 32509 (java) S 32493 32493 29909 0 -1 1077944384 344 0 0 0 0 3 0 0 20 0 19 0 474902455 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288196574000 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32510] ppid=32493 vsize=15417412 memory=1056 CPUtime=63.1 cores=4-7 /proc/32495/task/32510/stat : 32510 (java) R 32493 32493 29909 0 -1 4202560 478 0 0 0 6310 0 0 0 20 0 19 0 474902535 15787429888 45705 33554432000 4194304 4196468 140736713163808 140287879175480 140288956183608 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32511] ppid=32493 vsize=15417412 memory=1448 CPUtime=63.37 cores=4-7 /proc/32495/task/32511/stat : 32511 (java) R 32493 32493 29909 0 -1 4202560 1804 0 0 0 6336 1 0 0 20 0 19 0 474902535 15787429888 45705 33554432000 4194304 4196468 140736713163808 140287878123968 140288957422567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32512] ppid=32493 vsize=15417412 memory=182820 CPUtime=63.15 cores=4-7 /proc/32495/task/32512/stat : 32512 (java) R 32493 32493 29909 0 -1 4202560 559 0 0 0 6315 0 0 0 20 0 19 0 474902535 15787429888 45705 33554432000 4194304 4196468 140736713163808 140287877071384 140288956183586 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32513] ppid=32493 vsize=15417412 memory=2120 CPUtime=62.88 cores=4-7 /proc/32495/task/32513/stat : 32513 (java) R 32493 32493 29909 0 -1 4202560 1237 0 0 0 6288 0 0 0 20 0 19 0 474902536 15787429888 45705 33554432000 4194304 4196468 140736713163808 140287876017608 140288957422567 0 4 0 16800975 0 0 0 -1 6 0 0 33 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 Current children cumulated CPU time: 259.04 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 184268 KiB [startup+66.4012 s] /proc/loadavg: 8.51 8.05 6.85 9/239 32519 /proc/meminfo: memFree=9404884/32770688 swapFree=66971760/67108860 [pid=32493] ppid=32490 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/32493/stat : 32493 (xcsp3-exec) S 32490 32493 29909 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 474902448 115843072 362 33554432000 4194304 5098028 140734144408368 140734144406472 139747569230460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32120832 140734144410491 140734144410733 140734144410733 140734144413642 0 /proc/32493/statm: 28282 362 304 221 0 87 0 [pid=32495] ppid=32493 vsize=15417412 memory=182820 CPUtime=262.22 cores=4-7 /proc/32495/stat : 32495 (java) S 32493 32493 29909 0 -1 1077944320 43656 0 0 0 26199 23 0 0 20 0 19 0 474902448 15787429888 45705 33554432000 4194304 4196468 140736713163808 140736713146352 140289330904823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 /proc/32495/statm: 3854353 45705 3528 1 0 3815453 0 [pid=32495/tid=32496] ppid=32493 vsize=15417412 memory=6791534058613427641 CPUtime=0.84 cores=4-7 /proc/32495/task/32496/stat : 32496 (java) S 32493 32493 29909 0 -1 1077944384 9187 0 0 0 79 5 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289335145600 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32497] ppid=32493 vsize=15417412 memory=182820 CPUtime=0.11 cores=4-7 /proc/32495/task/32497/stat : 32497 (java) S 32493 32493 29909 0 -1 1077944384 1214 0 0 0 10 1 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289283524880 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32498] ppid=32493 vsize=15417412 memory=928 CPUtime=0.1 cores=4-7 /proc/32495/task/32498/stat : 32498 (java) S 32493 32493 29909 0 -1 1077944384 569 0 0 0 9 1 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289282472336 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32499] ppid=32493 vsize=15417412 memory=1628 CPUtime=0.12 cores=4-7 /proc/32495/task/32499/stat : 32499 (java) S 32493 32493 29909 0 -1 1077944384 1798 0 0 0 10 2 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289281419792 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32500] ppid=32493 vsize=15417412 memory=780 CPUtime=0.11 cores=4-7 /proc/32495/task/32500/stat : 32500 (java) S 32493 32493 29909 0 -1 1077944384 739 0 0 0 10 1 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289280367248 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32501] ppid=32493 vsize=15417412 memory=1448 CPUtime=0.04 cores=4-7 /proc/32495/task/32501/stat : 32501 (java) S 32493 32493 29909 0 -1 1077944384 1146 0 0 0 3 1 0 0 20 0 19 0 474902451 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288866724336 140289330915970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32502] ppid=32493 vsize=15417412 memory=182820 CPUtime=0 cores=4-7 /proc/32495/task/32502/stat : 32502 (java) S 32493 32493 29909 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 474902451 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288203941344 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32503] ppid=32493 vsize=15417412 memory=182820 CPUtime=0 cores=4-7 /proc/32495/task/32503/stat : 32503 (java) S 32493 32493 29909 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 474902452 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288202888704 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32504] ppid=32493 vsize=15417412 memory=1448 CPUtime=0 cores=4-7 /proc/32495/task/32504/stat : 32504 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474902454 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288201837264 140289330923419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32505] ppid=32493 vsize=15417412 memory=182820 CPUtime=2.16 cores=4-7 /proc/32495/task/32505/stat : 32505 (java) S 32493 32493 29909 0 -1 1077944384 9440 0 0 0 215 1 0 0 20 0 19 0 474902454 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288200783856 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 42 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32506] ppid=32493 vsize=15417412 memory=0 CPUtime=2.05 cores=4-7 /proc/32495/task/32506/stat : 32506 (java) S 32493 32493 29909 0 -1 1077944384 8553 0 0 0 203 2 0 0 20 0 19 0 474902454 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288199731312 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32507] ppid=32493 vsize=15417412 memory=0 CPUtime=0.85 cores=4-7 /proc/32495/task/32507/stat : 32507 (java) S 32493 32493 29909 0 -1 1077944384 5233 0 0 0 84 1 0 0 20 0 19 0 474902454 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288198678768 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32508] ppid=32493 vsize=15417412 memory=0 CPUtime=0 cores=4-7 /proc/32495/task/32508/stat : 32508 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474902455 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288197626464 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32509] ppid=32493 vsize=15417412 memory=0 CPUtime=0.03 cores=4-7 /proc/32495/task/32509/stat : 32509 (java) S 32493 32493 29909 0 -1 1077944384 344 0 0 0 0 3 0 0 20 0 19 0 474902455 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288196574000 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32510] ppid=32493 vsize=15417412 memory=788 CPUtime=63.88 cores=4-7 /proc/32495/task/32510/stat : 32510 (java) R 32493 32493 29909 0 -1 4202560 478 0 0 0 6388 0 0 0 20 0 19 0 474902535 15787429888 45705 33554432000 4194304 4196468 140736713163808 140287879175480 140288957422562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32511] ppid=32493 vsize=15417412 memory=1704 CPUtime=64.17 cores=4-7 /proc/32495/task/32511/stat : 32511 (java) R 32493 32493 29909 0 -1 4202560 1804 0 0 0 6416 1 0 0 20 0 19 0 474902535 15787429888 45705 33554432000 4194304 4196468 140736713163808 140287878123968 140288955985702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32512] ppid=32493 vsize=15417412 memory=1280 CPUtime=63.95 cores=4-7 /proc/32495/task/32512/stat : 32512 (java) R 32493 32493 29909 0 -1 4202560 560 0 0 0 6395 0 0 0 20 0 19 0 474902535 15787429888 45705 33554432000 4194304 4196468 140736713163808 140287877071384 140288957422567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32513] ppid=32493 vsize=15417412 memory=6044 CPUtime=63.68 cores=4-7 /proc/32495/task/32513/stat : 32513 (java) R 32493 32493 29909 0 -1 4202560 1238 0 0 0 6368 0 0 0 20 0 19 0 474902536 15787429888 45705 33554432000 4194304 4196468 140736713163808 140287876017608 140288957610394 0 4 0 16800975 0 0 0 -1 6 0 0 33 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 Current children cumulated CPU time: 262.22 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 184268 KiB [startup+67.2012 s] /proc/loadavg: 8.51 8.05 6.85 9/239 32519 /proc/meminfo: memFree=9404884/32770688 swapFree=66971760/67108860 [pid=32493] ppid=32490 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/32493/stat : 32493 (xcsp3-exec) S 32490 32493 29909 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 474902448 115843072 362 33554432000 4194304 5098028 140734144408368 140734144406472 139747569230460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32120832 140734144410491 140734144410733 140734144410733 140734144413642 0 /proc/32493/statm: 28282 362 304 221 0 87 0 [pid=32495] ppid=32493 vsize=15417412 memory=182820 CPUtime=265.4 cores=4-7 /proc/32495/stat : 32495 (java) S 32493 32493 29909 0 -1 1077944320 43656 0 0 0 26517 23 0 0 20 0 19 0 474902448 15787429888 45705 33554432000 4194304 4196468 140736713163808 140736713146352 140289330904823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 /proc/32495/statm: 3854353 45705 3528 1 0 3815453 0 [pid=32495/tid=32496] ppid=32493 vsize=15417412 memory=780 CPUtime=0.84 cores=4-7 /proc/32495/task/32496/stat : 32496 (java) S 32493 32493 29909 0 -1 1077944384 9187 0 0 0 79 5 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289335145600 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32497] ppid=32493 vsize=15417412 memory=1444 CPUtime=0.11 cores=4-7 /proc/32495/task/32497/stat : 32497 (java) S 32493 32493 29909 0 -1 1077944384 1214 0 0 0 10 1 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289283524880 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32498] ppid=32493 vsize=15417412 memory=1984 CPUtime=0.1 cores=4-7 /proc/32495/task/32498/stat : 32498 (java) S 32493 32493 29909 0 -1 1077944384 569 0 0 0 9 1 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289282472336 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32499] ppid=32493 vsize=15417412 memory=1448 CPUtime=0.12 cores=4-7 /proc/32495/task/32499/stat : 32499 (java) S 32493 32493 29909 0 -1 1077944384 1798 0 0 0 10 2 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289281419792 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32500] ppid=32493 vsize=15417412 memory=182820 CPUtime=0.11 cores=4-7 /proc/32495/task/32500/stat : 32500 (java) S 32493 32493 29909 0 -1 1077944384 739 0 0 0 10 1 0 0 20 0 19 0 474902449 15787429888 45705 33554432000 4194304 4196468 140736713163808 140289280367248 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32501] ppid=32493 vsize=15417412 memory=1088 CPUtime=0.04 cores=4-7 /proc/32495/task/32501/stat : 32501 (java) S 32493 32493 29909 0 -1 1077944384 1146 0 0 0 3 1 0 0 20 0 19 0 474902451 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288866724336 140289330915970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32502] ppid=32493 vsize=15417412 memory=2832 CPUtime=0 cores=4-7 /proc/32495/task/32502/stat : 32502 (java) S 32493 32493 29909 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 474902451 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288203941344 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32503] ppid=32493 vsize=15417412 memory=1564 CPUtime=0 cores=4-7 /proc/32495/task/32503/stat : 32503 (java) S 32493 32493 29909 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 474902452 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288202888704 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32504] ppid=32493 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=4-7 /proc/32495/task/32504/stat : 32504 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474902454 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288201837264 140289330923419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32505] ppid=32493 vsize=15417412 memory=280697453461120 CPUtime=2.16 cores=4-7 /proc/32495/task/32505/stat : 32505 (java) S 32493 32493 29909 0 -1 1077944384 9440 0 0 0 215 1 0 0 20 0 19 0 474902454 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288200783856 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 42 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32506] ppid=32493 vsize=15417412 memory=6127903407910220160 CPUtime=2.05 cores=4-7 /proc/32495/task/32506/stat : 32506 (java) S 32493 32493 29909 0 -1 1077944384 8553 0 0 0 203 2 0 0 20 0 19 0 474902454 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288199731312 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32507] ppid=32493 vsize=15417412 memory=8560 CPUtime=0.85 cores=4-7 /proc/32495/task/32507/stat : 32507 (java) S 32493 32493 29909 0 -1 1077944384 5233 0 0 0 84 1 0 0 20 0 19 0 474902454 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288198678768 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32508] ppid=32493 vsize=15417412 memory=14004 CPUtime=0 cores=4-7 /proc/32495/task/32508/stat : 32508 (java) S 32493 32493 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474902455 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288197626464 140289330915029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32509] ppid=32493 vsize=15417412 memory=14004 CPUtime=0.03 cores=4-7 /proc/32495/task/32509/stat : 32509 (java) S 32493 32493 29909 0 -1 1077944384 344 0 0 0 0 3 0 0 20 0 19 0 474902455 15787429888 45705 33554432000 4194304 4196468 140736713163808 140288196574000 140289330915970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32510] ppid=32493 vsize=15417412 memory=27120 CPUtime=64.66 cores=4-7 /proc/32495/task/32510/stat : 32510 (java) R 32493 32493 29909 0 -1 4202560 478 0 0 0 6466 0 0 0 20 0 19 0 474902535 15787429888 45705 33554432000 4194304 4196468 140736713163808 140287879175480 140288957422567 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32511] ppid=32493 vsize=15417412 memory=14068 CPUtime=64.97 cores=4-7 /proc/32495/task/32511/stat : 32511 (java) R 32493 32493 29909 0 -1 4202560 1804 0 0 0 6496 1 0 0 20 0 19 0 474902535 15787429888 45705 33554432000 4194304 4196468 140736713163808 140287878123968 140288957610356 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32512] ppid=32493 vsize=15417412 memory=2120 CPUtime=64.75 cores=4-7 /proc/32495/task/32512/stat : 32512 (java) R 32493 32493 29909 0 -1 4202560 560 0 0 0 6475 0 0 0 20 0 19 0 474902535 15787429888 45705 33554432000 4194304 4196468 140736713163808 140287877071384 140288957422679 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 [pid=32495/tid=32513] ppid=32493 vsize=15417412 memory=496 CPUtime=64.48 cores=4-7 /proc/32495/task/32513/stat : 32513 (java) R 32493 32493 29909 0 -1 4202560 1238 0 0 0 6448 0 0 0 20 0 19 0 474902536 15787429888 45705 33554432000 4194304 4196468 140736713163808 140287876017608 140288956107176 0 4 0 16800975 0 0 0 -1 6 0 0 33 0 0 6293624 6294260 7946240 140736713167855 140736713168026 140736713168026 140736713170895 0 Current children cumulated CPU time: 265.4 s Current children cumulated vsize: 15530540 KiB Current children cumulated memory: 184268 KiB [startup+67.6014 s]* /proc/loadavg: 8.51 8.05 6.85 7/220 32523 /proc/meminfo: memFree=9574040/32770688 swapFree=66971760/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 67.6125 CPU time (s): 266.954 CPU user time (s): 266.717 CPU system time (s): 0.237514 CPU usage (%): 394.83 Max. virtual memory (cumulated for all children) (KiB): 15530540 Max. memory (cumulated for all children) (KiB): 251652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 266.717 system time used= 0.237514 maximum resident set size= 250204 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45344 page faults= 0 swaps= 0 block input operations= 0 block output operations= 192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5005 involuntary context switches= 7123 # summary of solver processes directly reported to runsolver: # pid: 32493 # total CPU time (s): 266.954 # total CPU user time (s): 266.717 # total CPU system time (s): 0.237514 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.463654 second user time and 0.970181 second system time The end
Begin job on node116 at 2019-09-20 16:26:07 IDJOB=4403754 IDBENCH=124151 IDSOLVER=2863 FILE ID=node116/4403754-1568989608 RUNJOBID= node116-1568988007-29941 PBS_JOBID= 21704641 Free space on /tmp= 6240 MiB SOLVER NAME= choco-solver 2019-09-20 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-0.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403754-1568989608/watcher-4403754-1568989608 -o /tmp/evaluation-result-4403754-1568989608/solver-4403754-1568989608 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568988007-29941 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 658053349 HOME/instance-4403754-1568989608.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c061694c4fbf3df02ed1b2618516c596 RANDOM SEED=658053349 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 9270812 kB MemAvailable: 23782000 kB Buffers: 95052 kB Cached: 14432864 kB SwapCached: 35348 kB Active: 15253536 kB Inactive: 7335964 kB Active(anon): 8021448 kB Inactive(anon): 88312 kB Active(file): 7232088 kB Inactive(file): 7247652 kB Unevictable: 108548 kB Mlocked: 108548 kB SwapTotal: 67108860 kB SwapFree: 66971760 kB Dirty: 26072 kB Writeback: 0 kB AnonPages: 8135436 kB Mapped: 64768 kB Shmem: 39676 kB Slab: 489392 kB SReclaimable: 459908 kB SUnreclaim: 29484 kB KernelStack: 3808 kB PageTables: 21656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 9860060 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 5001216 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6216 MiB End job on node116 at 2019-09-20 16:27:15