Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 130 | 605.368 | 76.5913 |
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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404654-1568996962.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404654-1568996962.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.67/0.91 c solve instance... 604.87/76.55 o 130 604.87/76.57 s OPTIMUM FOUND 604.87/76.57 v <instantiation> 604.87/76.57 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> 604.87/76.57 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> 604.87/76.57 v </instantiation>
OK 130
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (6734 MiB free) memory of node 1: 16384 MiB (7041 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404654-1568996962/watcher-4404654-1568996962 -o /var/tmp/evaluation-result-4404654-1568996962/solver-4404654-1568996962 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1568994231-28588 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 417863133 HOME/instance-4404654-1568996962.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Starting watchdog thread solver pid=30529, runsolver pid=30526 Current StackSize limit: 8192 KiB [startup+0.100149 s]* /proc/loadavg: 8.13 8.13 8.17 2/211 30550 /proc/meminfo: memFree=14088908/32770624 swapFree=66953204/67108860 [pid=30529] ppid=30526 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30529/stat : 30529 (xcsp3-exec) S 30526 30529 28561 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475610990 115843072 362 33554432000 4194304 5098028 140727164539168 140727164537272 140073374483068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12623872 140727164547922 140727164548181 140727164548181 140727164551110 0 /proc/30529/statm: 28282 362 304 221 0 87 0 [pid=30531] ppid=30529 vsize=28227396 memory=30096 CPUtime=0.12 cores=0-7 /proc/30531/stat : 30531 (java) S 30529 30529 28561 0 -1 1077944320 5485 0 0 0 12 0 0 0 20 0 20 0 475610990 28904853504 7524 33554432000 4194304 4196468 140735424962464 140735424945008 139744431652599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 /proc/30531/statm: 7056849 7524 3120 1 0 7019032 0 [pid=30531/tid=30532] ppid=30529 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/30531/task/30532/stat : 30532 (java) R 30529 30529 28561 0 -1 4202560 3392 0 0 0 9 0 0 0 20 0 20 0 475610990 28904853504 7524 33554432000 4194304 4196468 140735424962464 139744435889024 139744431674525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30533] ppid=30529 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/30531/task/30533/stat : 30533 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 7524 33554432000 4194304 4196468 140735424962464 139744351505168 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30534] ppid=30529 vsize=28227396 memory=139653222352512 CPUtime=0 cores=0-7 /proc/30531/task/30534/stat : 30534 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 7524 33554432000 4194304 4196468 140735424962464 139744350452624 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30535] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30535/stat : 30535 (java) S 30529 30529 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 7524 33554432000 4194304 4196468 140735424962464 139744349400080 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30536] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30536/stat : 30536 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 7524 33554432000 4194304 4196468 140735424962464 139744348347536 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30537] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30537/stat : 30537 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 7524 33554432000 4194304 4196468 140735424962464 139744347293968 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30538] ppid=30529 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30531/task/30538/stat : 30538 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 7524 33554432000 4194304 4196468 140735424962464 139744346241424 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30539] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30539/stat : 30539 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 7524 33554432000 4194304 4196468 140735424962464 139743976348176 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30540] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30540/stat : 30540 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 7524 33554432000 4194304 4196468 140735424962464 139743975295632 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30541] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30541/stat : 30541 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610993 28904853504 7524 33554432000 4194304 4196468 140735424962464 139742761613808 139744431663746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30542] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30542/stat : 30542 (java) S 30529 30529 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475610993 28904853504 7524 33554432000 4194304 4196468 140735424962464 139742760560032 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30543] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30543/stat : 30543 (java) S 30529 30529 28561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475610993 28904853504 7524 33554432000 4194304 4196468 140735424962464 139742759507440 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30544] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30544/stat : 30544 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610996 28904853504 7524 33554432000 4194304 4196468 140735424962464 139742758456016 139744431671195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30545] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30545/stat : 30545 (java) S 30529 30529 28561 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 475610996 28904853504 7524 33554432000 4194304 4196468 140735424962464 139742757402608 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30546] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30546/stat : 30546 (java) R 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610996 28904853504 7524 33554432000 4194304 4196468 140735424962464 139742756350064 139744431673946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30547] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30547/stat : 30547 (java) S 30529 30529 28561 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 475610996 28904853504 7524 33554432000 4194304 4196468 140735424962464 139742755297520 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30548] ppid=30529 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30531/task/30548/stat : 30548 (java) R 30529 30529 28561 0 -1 4202560 360 0 0 0 1 0 0 0 20 0 20 0 475610996 28904853504 7524 33554432000 4194304 4196468 140735424962464 139742754244976 139744431664534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30549] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30549/stat : 30549 (java) S 30529 30529 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475610996 28904853504 7524 33554432000 4194304 4196468 140735424962464 139742753192672 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30550] ppid=30529 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30531/task/30550/stat : 30550 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610996 28904853504 7524 33554432000 4194304 4196468 140735424962464 139742752140208 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31544 KiB [startup+0.210563 s]* /proc/loadavg: 8.13 8.13 8.17 3/211 30550 /proc/meminfo: memFree=14077156/32770624 swapFree=66953204/67108860 [pid=30529] ppid=30526 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30529/stat : 30529 (xcsp3-exec) S 30526 30529 28561 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475610990 115843072 362 33554432000 4194304 5098028 140727164539168 140727164537272 140073374483068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12623872 140727164547922 140727164548181 140727164548181 140727164551110 0 /proc/30529/statm: 28282 362 304 221 0 87 0 [pid=30531] ppid=30529 vsize=28227396 memory=40796 CPUtime=0.34 cores=0-7 /proc/30531/stat : 30531 (java) S 30529 30529 28561 0 -1 1077944320 8941 0 0 0 32 2 0 0 20 0 20 0 475610990 28904853504 10199 33554432000 4194304 4196468 140735424962464 140735424945008 139744431652599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 /proc/30531/statm: 7056849 10199 3296 1 0 7019032 0 [pid=30531/tid=30532] ppid=30529 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/30531/task/30532/stat : 30532 (java) R 30529 30529 28561 0 -1 4202560 6195 0 0 0 18 1 0 0 20 0 20 0 475610990 28904853504 10199 33554432000 4194304 4196468 140735424962464 139744435885328 139744025646349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30533] ppid=30529 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/30531/task/30533/stat : 30533 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 10199 33554432000 4194304 4196468 140735424962464 139744351505168 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30534] ppid=30529 vsize=28227396 memory=3762674173797320352 CPUtime=0 cores=0-7 /proc/30531/task/30534/stat : 30534 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 10199 33554432000 4194304 4196468 140735424962464 139744350452624 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30535] ppid=30529 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30531/task/30535/stat : 30535 (java) S 30529 30529 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 10199 33554432000 4194304 4196468 140735424962464 139744349400080 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30536] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30536/stat : 30536 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 10199 33554432000 4194304 4196468 140735424962464 139744348347536 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30537] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30537/stat : 30537 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 10199 33554432000 4194304 4196468 140735424962464 139744347293968 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30538] ppid=30529 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30531/task/30538/stat : 30538 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 10199 33554432000 4194304 4196468 140735424962464 139744346241424 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30539] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30539/stat : 30539 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 10199 33554432000 4194304 4196468 140735424962464 139743976348176 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30540] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30540/stat : 30540 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610991 28904853504 10199 33554432000 4194304 4196468 140735424962464 139743975295632 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30541] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30541/stat : 30541 (java) S 30529 30529 28561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475610993 28904853504 10199 33554432000 4194304 4196468 140735424962464 139742761613808 139744431663746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30542] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30542/stat : 30542 (java) S 30529 30529 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475610993 28904853504 10199 33554432000 4194304 4196468 140735424962464 139742760560032 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30543] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30543/stat : 30543 (java) S 30529 30529 28561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475610993 28904853504 10199 33554432000 4194304 4196468 140735424962464 139742759507440 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30544] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30544/stat : 30544 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610996 28904853504 10199 33554432000 4194304 4196468 140735424962464 139742758456016 139744431671195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30545] ppid=30529 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30531/task/30545/stat : 30545 (java) S 30529 30529 28561 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 20 0 475610996 28904853504 10199 33554432000 4194304 4196468 140735424962464 139742757402608 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30546] ppid=30529 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30531/task/30546/stat : 30546 (java) R 30529 30529 28561 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 20 0 475610996 28904853504 10199 33554432000 4194304 4196468 140735424962464 139742756350064 139744431663746 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30547] ppid=30529 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/30531/task/30547/stat : 30547 (java) S 30529 30529 28561 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 20 0 475610996 28904853504 10199 33554432000 4194304 4196468 140735424962464 139742755297520 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30548] ppid=30529 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30531/task/30548/stat : 30548 (java) R 30529 30529 28561 0 -1 4202560 778 0 0 0 7 0 0 0 20 0 20 0 475610996 28904853504 10199 33554432000 4194304 4196468 140735424962464 139742754244976 139744410610342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30549] ppid=30529 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30549/stat : 30549 (java) S 30529 30529 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475610996 28904853504 10199 33554432000 4194304 4196468 140735424962464 139742753192672 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30550] ppid=30529 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30531/task/30550/stat : 30550 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610996 28904853504 10199 33554432000 4194304 4196468 140735424962464 139742752140208 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42244 KiB [startup+0.319693 s]* /proc/loadavg: 8.13 8.13 8.17 3/211 30550 /proc/meminfo: memFree=14070012/32770624 swapFree=66953204/67108860 [pid=30529] ppid=30526 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30529/stat : 30529 (xcsp3-exec) S 30526 30529 28561 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475610990 115843072 362 33554432000 4194304 5098028 140727164539168 140727164537272 140073374483068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12623872 140727164547922 140727164548181 140727164548181 140727164551110 0 /proc/30529/statm: 28282 362 304 221 0 87 0 [pid=30531] ppid=30529 vsize=28231652 memory=50604 CPUtime=0.54 cores=0-7 /proc/30531/stat : 30531 (java) S 30529 30529 28561 0 -1 1077944320 10451 0 0 0 51 3 0 0 20 0 20 0 475610990 28909211648 12651 33554432000 4194304 4196468 140735424962464 140735424945008 139744431652599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 /proc/30531/statm: 7057913 12651 3369 1 0 7019032 0 [pid=30531/tid=30532] ppid=30529 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/30531/task/30532/stat : 30532 (java) R 30529 30529 28561 0 -1 4202560 7421 0 0 0 28 2 0 0 20 0 20 0 475610990 28909211648 12651 33554432000 4194304 4196468 140735424962464 139744435892240 139744415733086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30533] ppid=30529 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30533/stat : 30533 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28909211648 12651 33554432000 4194304 4196468 140735424962464 139744351505168 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30534] ppid=30529 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30534/stat : 30534 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28909211648 12651 33554432000 4194304 4196468 140735424962464 139744350452624 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30535] ppid=30529 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30535/stat : 30535 (java) S 30529 30529 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475610991 28909211648 12651 33554432000 4194304 4196468 140735424962464 139744349400080 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30536] ppid=30529 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30536/stat : 30536 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610991 28909211648 12651 33554432000 4194304 4196468 140735424962464 139744348347536 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30537] ppid=30529 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/30531/task/30537/stat : 30537 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28909211648 12651 33554432000 4194304 4196468 140735424962464 139744347293968 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30538] ppid=30529 vsize=28231652 memory=139653076317103 CPUtime=0 cores=0-7 /proc/30531/task/30538/stat : 30538 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610991 28909211648 12651 33554432000 4194304 4196468 140735424962464 139744346241424 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30539] ppid=30529 vsize=28231652 memory=139653076319408 CPUtime=0 cores=0-7 /proc/30531/task/30539/stat : 30539 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28909211648 12651 33554432000 4194304 4196468 140735424962464 139743976348176 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30540] ppid=30529 vsize=28231652 memory=139653076321712 CPUtime=0 cores=0-7 /proc/30531/task/30540/stat : 30540 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610991 28909211648 12651 33554432000 4194304 4196468 140735424962464 139743975295632 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30541] ppid=30529 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30541/stat : 30541 (java) S 30529 30529 28561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475610993 28909211648 12651 33554432000 4194304 4196468 140735424962464 139742761613808 139744431663746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30542] ppid=30529 vsize=28231652 memory=279306152650384 CPUtime=0 cores=0-7 /proc/30531/task/30542/stat : 30542 (java) S 30529 30529 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475610993 28909211648 12651 33554432000 4194304 4196468 140735424962464 139742760560032 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30543] ppid=30529 vsize=28231652 memory=279306152657296 CPUtime=0 cores=0-7 /proc/30531/task/30543/stat : 30543 (java) S 30529 30529 28561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475610993 28909211648 12651 33554432000 4194304 4196468 140735424962464 139742759507440 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30544] ppid=30529 vsize=28231652 memory=279306152598576 CPUtime=0 cores=0-7 /proc/30531/task/30544/stat : 30544 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610996 28909211648 12651 33554432000 4194304 4196468 140735424962464 139742758456016 139744431671195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30545] ppid=30529 vsize=28231652 memory=279306152671120 CPUtime=0.03 cores=0-7 /proc/30531/task/30545/stat : 30545 (java) S 30529 30529 28561 0 -1 1077944384 430 0 0 0 3 0 0 0 20 0 20 0 475610996 28909211648 12651 33554432000 4194304 4196468 140735424962464 139742757402608 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30546] ppid=30529 vsize=28231652 memory=279306152678032 CPUtime=0.02 cores=0-7 /proc/30531/task/30546/stat : 30546 (java) S 30529 30529 28561 0 -1 1077944384 74 0 0 0 2 0 0 0 20 0 20 0 475610996 28909211648 12651 33554432000 4194304 4196468 140735424962464 139742756350064 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30547] ppid=30529 vsize=28231652 memory=279306152675728 CPUtime=0.03 cores=0-7 /proc/30531/task/30547/stat : 30547 (java) S 30529 30529 28561 0 -1 1077944384 259 0 0 0 3 0 0 0 20 0 20 0 475610996 28909211648 12651 33554432000 4194304 4196468 140735424962464 139742755297520 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30548] ppid=30529 vsize=28231652 memory=279306152691888 CPUtime=0.12 cores=0-7 /proc/30531/task/30548/stat : 30548 (java) S 30529 30529 28561 0 -1 1077944384 955 0 0 0 12 0 0 0 20 0 20 0 475610996 28909211648 12651 33554432000 4194304 4196468 140735424962464 139742754244976 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30549] ppid=30529 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30549/stat : 30549 (java) S 30529 30529 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475610996 28909211648 12651 33554432000 4194304 4196468 140735424962464 139742753192672 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30550] ppid=30529 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30531/task/30550/stat : 30550 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475610996 28909211648 12651 33554432000 4194304 4196468 140735424962464 139742752140208 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 52052 KiB [startup+0.700965 s] /proc/loadavg: 8.13 8.13 8.17 3/211 30550 /proc/meminfo: memFree=14054168/32770624 swapFree=66953204/67108860 [pid=30529] ppid=30526 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30529/stat : 30529 (xcsp3-exec) S 30526 30529 28561 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475610990 115843072 362 33554432000 4194304 5098028 140727164539168 140727164537272 140073374483068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12623872 140727164547922 140727164548181 140727164548181 140727164551110 0 /proc/30529/statm: 28282 362 304 221 0 87 0 [pid=30531] ppid=30529 vsize=28233776 memory=99320 CPUtime=1.8 cores=0-7 /proc/30531/stat : 30531 (java) S 30529 30529 28561 0 -1 1077944320 14976 0 0 0 174 6 0 0 20 0 20 0 475610990 28911386624 24830 33554432000 4194304 4196468 140735424962464 140735424945008 139744431652599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 /proc/30531/statm: 7058444 24830 3466 1 0 7019544 0 [pid=30531/tid=30532] ppid=30529 vsize=28233776 memory=279306153049776 CPUtime=0.67 cores=0-7 /proc/30531/task/30532/stat : 30532 (java) R 30529 30529 28561 0 -1 4202560 8680 0 0 0 64 3 0 0 20 0 20 0 475610990 28911386624 24830 33554432000 4194304 4196468 140735424962464 139744435886400 139744028789226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30533] ppid=30529 vsize=28233776 memory=139653076525936 CPUtime=0 cores=0-7 /proc/30531/task/30533/stat : 30533 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28911386624 24830 33554432000 4194304 4196468 140735424962464 139744351505168 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30534] ppid=30529 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30531/task/30534/stat : 30534 (java) S 30529 30529 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475610991 28911386624 24830 33554432000 4194304 4196468 140735424962464 139744350452624 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30535] ppid=30529 vsize=28233776 memory=668 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=30531/tid=30548] ppid=30529 vsize=28766288 memory=697416 CPUtime=0.8 cores=0-7 /proc/30531/task/30548/stat : 30548 (java) S 30529 30529 28561 0 -1 1077944384 7320 0 0 0 79 1 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742754244976 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30549] ppid=30529 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/30531/task/30549/stat : 30549 (java) S 30529 30529 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742753192672 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30550] ppid=30529 vsize=28766288 memory=697512 CPUtime=0.02 cores=0-7 /proc/30531/task/30550/stat : 30550 (java) S 30529 30529 28561 0 -1 1077944384 937 0 0 0 0 2 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742752140208 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30551] ppid=30529 vsize=28766288 memory=1448 CPUtime=73.73 cores=0-7 /proc/30531/task/30551/stat : 30551 (java) R 30529 30529 28561 0 -1 4202560 748 0 0 0 7373 0 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742742920488 139744031996425 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30552] ppid=30529 vsize=28766288 memory=1448 CPUtime=73.75 cores=0-7 /proc/30531/task/30552/stat : 30552 (java) R 30529 30529 28561 0 -1 4202560 507 0 0 0 7375 0 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742741869080 139744032926686 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30553] ppid=30529 vsize=28766288 memory=15254861486763338 CPUtime=73.58 cores=0-7 /proc/30531/task/30553/stat : 30553 (java) R 30529 30529 28561 0 -1 4202560 908 0 0 0 7358 0 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742740815152 139744026664516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30554] ppid=30529 vsize=28766288 memory=1448 CPUtime=72.68 cores=0-7 /proc/30531/task/30554/stat : 30554 (java) R 30529 30529 28561 0 -1 4202560 6220 0 0 0 7259 9 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742739763416 139744032148657 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30555] ppid=30529 vsize=28766288 memory=697532 CPUtime=73.37 cores=0-7 /proc/30531/task/30555/stat : 30555 (java) R 30529 30529 28561 0 -1 4202560 1005 0 0 0 7337 0 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742738710328 139744032887159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30556] ppid=30529 vsize=28766288 memory=776 CPUtime=73.42 cores=0-7 /proc/30531/task/30556/stat : 30556 (java) R 30529 30529 28561 0 -1 4202560 1462 0 0 0 7341 1 0 0 20 0 28 0 475611084 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742737658552 139744026664583 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30557] ppid=30529 vsize=28766288 memory=2832 CPUtime=73.33 cores=0-7 /proc/30531/task/30557/stat : 30557 (java) R 30529 30529 28561 0 -1 4202560 488 0 0 0 7333 0 0 0 20 0 28 0 475611084 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742736605224 139744031996090 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30558] ppid=30529 vsize=28766288 memory=668 CPUtime=73.68 cores=0-7 /proc/30531/task/30558/stat : 30558 (java) R 30529 30529 28561 0 -1 4202560 1358 0 0 0 7367 1 0 0 20 0 28 0 475611084 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742735553352 139744031651990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 Current children cumulated CPU time: 596.88 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 698980 KiB [startup+76.3017 s]* /proc/loadavg: 8.28 8.19 8.19 9/220 30563 /proc/meminfo: memFree=13424112/32770624 swapFree=66953204/67108860 [pid=30529] ppid=30526 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30529/stat : 30529 (xcsp3-exec) S 30526 30529 28561 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475610990 115843072 362 33554432000 4194304 5098028 140727164539168 140727164537272 140073374483068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12623872 140727164547922 140727164548181 140727164548181 140727164551110 0 /proc/30529/statm: 28282 362 304 221 0 87 0 [pid=30531] ppid=30529 vsize=28766288 memory=697532 CPUtime=603.35 cores=0-7 /proc/30531/stat : 30531 (java) S 30529 30529 28561 0 -1 1077944320 70021 0 0 0 60268 67 0 0 20 0 28 0 475610990 29456678912 174383 33554432000 4194304 4196468 140735424962464 140735424945008 139744431652599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 /proc/30531/statm: 7191572 174383 3535 1 0 7152672 0 [pid=30531/tid=30532] ppid=30529 vsize=28766288 memory=6791534058613427641 CPUtime=0.9 cores=0-7 /proc/30531/task/30532/stat : 30532 (java) S 30529 30529 28561 0 -1 1077944384 8794 0 0 0 86 4 0 0 20 0 28 0 475610990 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744435893376 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30533] ppid=30529 vsize=28766288 memory=4872558044660077418 CPUtime=0.11 cores=0-7 /proc/30531/task/30533/stat : 30533 (java) S 30529 30529 28561 0 -1 1077944384 332 0 0 0 8 3 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744351505168 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30534] ppid=30529 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7 /proc/30531/task/30534/stat : 30534 (java) S 30529 30529 28561 0 -1 1077944384 399 0 0 0 9 3 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744350452624 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30535] ppid=30529 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7 /proc/30531/task/30535/stat : 30535 (java) S 30529 30529 28561 0 -1 1077944384 644 0 0 0 6 4 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744349400080 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30536] ppid=30529 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7 /proc/30531/task/30536/stat : 30536 (java) S 30529 30529 28561 0 -1 1077944384 640 0 0 0 8 4 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744348347536 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30537] ppid=30529 vsize=28766288 memory=7666935697586808426 CPUtime=0.13 cores=0-7 /proc/30531/task/30537/stat : 30537 (java) S 30529 30529 28561 0 -1 1077944384 3296 0 0 0 9 4 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744347293968 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30538] ppid=30529 vsize=28766288 memory=4640185777728278608 CPUtime=0.11 cores=0-7 /proc/30531/task/30538/stat : 30538 (java) S 30529 30529 28561 0 -1 1077944384 778 0 0 0 8 3 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744346241424 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30539] ppid=30529 vsize=28766288 memory=7301012756426745453 CPUtime=0.13 cores=0-7 /proc/30531/task/30539/stat : 30539 (java) S 30529 30529 28561 0 -1 1077944384 2381 0 0 0 9 4 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139743976348176 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30540] ppid=30529 vsize=28766288 memory=7446535237662763368 CPUtime=0.12 cores=0-7 /proc/30531/task/30540/stat : 30540 (java) S 30529 30529 28561 0 -1 1077944384 621 0 0 0 9 3 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139743975295632 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30541] ppid=30529 vsize=28766288 memory=7516654289659603857 CPUtime=0.03 cores=0-7 /proc/30531/task/30541/stat : 30541 (java) S 30529 30529 28561 0 -1 1077944384 1993 0 0 0 2 1 0 0 20 0 28 0 475610993 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742761613808 139744431663746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30542] ppid=30529 vsize=28766288 memory=139653077497361 CPUtime=0 cores=0-7 /proc/30531/task/30542/stat : 30542 (java) S 30529 30529 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 475610993 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742760560032 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30543] ppid=30529 vsize=28766288 memory=279306154217152 CPUtime=0 cores=0-7 /proc/30531/task/30543/stat : 30543 (java) S 30529 30529 28561 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 475610993 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742759507440 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30544] ppid=30529 vsize=28766288 memory=279306154217216 CPUtime=0 cores=0-7 /proc/30531/task/30544/stat : 30544 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742758456016 139744431671195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30545] ppid=30529 vsize=28766288 memory=3504 CPUtime=2.28 cores=0-7 /proc/30531/task/30545/stat : 30545 (java) S 30529 30529 28561 0 -1 1077944384 8639 0 0 0 226 2 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742757402608 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30546] ppid=30529 vsize=28766288 memory=55372 CPUtime=1.98 cores=0-7 /proc/30531/task/30546/stat : 30546 (java) S 30529 30529 28561 0 -1 1077944384 8552 0 0 0 195 3 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742756350064 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30547] ppid=30529 vsize=28766288 memory=988 CPUtime=2.14 cores=0-7 /proc/30531/task/30547/stat : 30547 (java) S 30529 30529 28561 0 -1 1077944384 10233 0 0 0 211 3 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742755297520 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30548] ppid=30529 vsize=28766288 memory=2008 CPUtime=0.8 cores=0-7 /proc/30531/task/30548/stat : 30548 (java) S 30529 30529 28561 0 -1 1077944384 7320 0 0 0 79 1 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742754244976 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30549] ppid=30529 vsize=28766288 memory=1424 CPUtime=0 cores=0-7 /proc/30531/task/30549/stat : 30549 (java) S 30529 30529 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742753192672 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30550] ppid=30529 vsize=28766288 memory=3640 CPUtime=0.02 cores=0-7 /proc/30531/task/30550/stat : 30550 (java) S 30529 30529 28561 0 -1 1077944384 937 0 0 0 0 2 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742752140208 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30551] ppid=30529 vsize=28766288 memory=1548 CPUtime=74.54 cores=0-7 /proc/30531/task/30551/stat : 30551 (java) R 30529 30529 28561 0 -1 4202560 748 0 0 0 7454 0 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742742920488 139744032148113 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30552] ppid=30529 vsize=28766288 memory=1728 CPUtime=74.56 cores=0-7 /proc/30531/task/30552/stat : 30552 (java) R 30529 30529 28561 0 -1 4202560 510 0 0 0 7456 0 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742741869080 139744031996064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30553] ppid=30529 vsize=28766288 memory=8080 CPUtime=74.39 cores=0-7 /proc/30531/task/30553/stat : 30553 (java) R 30529 30529 28561 0 -1 4202560 908 0 0 0 7439 0 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742740815152 139744032278208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30554] ppid=30529 vsize=28766288 memory=9580 CPUtime=73.48 cores=0-7 /proc/30531/task/30554/stat : 30554 (java) R 30529 30529 28561 0 -1 4202560 6672 0 0 0 7338 10 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742739763416 139744032148322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30555] ppid=30529 vsize=28766288 memory=1052 CPUtime=74.18 cores=0-7 /proc/30531/task/30555/stat : 30555 (java) R 30529 30529 28561 0 -1 4202560 1010 0 0 0 7418 0 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742738710328 139744031551583 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30556] ppid=30529 vsize=28766288 memory=776 CPUtime=74.23 cores=0-7 /proc/30531/task/30556/stat : 30556 (java) R 30529 30529 28561 0 -1 4202560 1467 0 0 0 7422 1 0 0 20 0 28 0 475611084 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742737658552 139744026664479 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30557] ppid=30529 vsize=28766288 memory=2832 CPUtime=74.12 cores=0-7 /proc/30531/task/30557/stat : 30557 (java) R 30529 30529 28561 0 -1 4202560 488 0 0 0 7412 0 0 0 20 0 28 0 475611084 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742736605224 139744032148666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30558] ppid=30529 vsize=28766288 memory=668 CPUtime=74.49 cores=0-7 /proc/30531/task/30558/stat : 30558 (java) R 30529 30529 28561 0 -1 4202560 1362 0 0 0 7448 1 0 0 20 0 28 0 475611084 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742735553352 139744032148268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 Current children cumulated CPU time: 603.35 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 698980 KiB [startup+76.5017 s] /proc/loadavg: 8.28 8.19 8.19 9/220 30563 /proc/meminfo: memFree=13424112/32770624 swapFree=66953204/67108860 [pid=30529] ppid=30526 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/30529/stat : 30529 (xcsp3-exec) S 30526 30529 28561 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475610990 115843072 362 33554432000 4194304 5098028 140727164539168 140727164537272 140073374483068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12623872 140727164547922 140727164548181 140727164548181 140727164551110 0 /proc/30529/statm: 28282 362 304 221 0 87 0 [pid=30531] ppid=30529 vsize=28766288 memory=697532 CPUtime=604.87 cores=0-7 /proc/30531/stat : 30531 (java) S 30529 30529 28561 0 -1 1077944320 70024 0 0 0 60420 67 0 0 20 0 28 0 475610990 29456678912 174383 33554432000 4194304 4196468 140735424962464 140735424945008 139744431652599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 /proc/30531/statm: 7191572 174383 3535 1 0 7152672 0 [pid=30531/tid=30532] ppid=30529 vsize=28766288 memory=15254861486763338 CPUtime=0.9 cores=0-7 /proc/30531/task/30532/stat : 30532 (java) S 30529 30529 28561 0 -1 1077944384 8794 0 0 0 86 4 0 0 20 0 28 0 475610990 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744435893376 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30533] ppid=30529 vsize=28766288 memory=303430223234596890 CPUtime=0.11 cores=0-7 /proc/30531/task/30533/stat : 30533 (java) S 30529 30529 28561 0 -1 1077944384 332 0 0 0 8 3 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744351505168 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30534] ppid=30529 vsize=28766288 memory=288230596050944315 CPUtime=0.12 cores=0-7 /proc/30531/task/30534/stat : 30534 (java) S 30529 30529 28561 0 -1 1077944384 399 0 0 0 9 3 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744350452624 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30535] ppid=30529 vsize=28766288 memory=15254861486763338 CPUtime=0.1 cores=0-7 /proc/30531/task/30535/stat : 30535 (java) S 30529 30529 28561 0 -1 1077944384 644 0 0 0 6 4 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744349400080 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30536] ppid=30529 vsize=28766288 memory=1412 CPUtime=0.12 cores=0-7 /proc/30531/task/30536/stat : 30536 (java) S 30529 30529 28561 0 -1 1077944384 640 0 0 0 8 4 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744348347536 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30537] ppid=30529 vsize=28766288 memory=304556123141439514 CPUtime=0.13 cores=0-7 /proc/30531/task/30537/stat : 30537 (java) S 30529 30529 28561 0 -1 1077944384 3296 0 0 0 9 4 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744347293968 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30538] ppid=30529 vsize=28766288 memory=288230596050944315 CPUtime=0.11 cores=0-7 /proc/30531/task/30538/stat : 30538 (java) S 30529 30529 28561 0 -1 1077944384 778 0 0 0 8 3 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139744346241424 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30539] ppid=30529 vsize=28766288 memory=15254861486763338 CPUtime=0.13 cores=0-7 /proc/30531/task/30539/stat : 30539 (java) S 30529 30529 28561 0 -1 1077944384 2381 0 0 0 9 4 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139743976348176 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30540] ppid=30529 vsize=28766288 memory=800 CPUtime=0.12 cores=0-7 /proc/30531/task/30540/stat : 30540 (java) S 30529 30529 28561 0 -1 1077944384 621 0 0 0 9 3 0 0 20 0 28 0 475610991 29456678912 174383 33554432000 4194304 4196468 140735424962464 139743975295632 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30541] ppid=30529 vsize=28766288 memory=2580 CPUtime=0.03 cores=0-7 /proc/30531/task/30541/stat : 30541 (java) S 30529 30529 28561 0 -1 1077944384 1993 0 0 0 2 1 0 0 20 0 28 0 475610993 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742761613808 139744431663746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30542] ppid=30529 vsize=28766288 memory=1760 CPUtime=0 cores=0-7 /proc/30531/task/30542/stat : 30542 (java) S 30529 30529 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 475610993 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742760560032 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30543] ppid=30529 vsize=28766288 memory=111636 CPUtime=0 cores=0-7 /proc/30531/task/30543/stat : 30543 (java) S 30529 30529 28561 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 475610993 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742759507440 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30544] ppid=30529 vsize=28766288 memory=1256 CPUtime=0 cores=0-7 /proc/30531/task/30544/stat : 30544 (java) S 30529 30529 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742758456016 139744431671195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30545] ppid=30529 vsize=28766288 memory=1076 CPUtime=2.28 cores=0-7 /proc/30531/task/30545/stat : 30545 (java) S 30529 30529 28561 0 -1 1077944384 8639 0 0 0 226 2 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742757402608 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30546] ppid=30529 vsize=28766288 memory=14008 CPUtime=1.98 cores=0-7 /proc/30531/task/30546/stat : 30546 (java) S 30529 30529 28561 0 -1 1077944384 8552 0 0 0 195 3 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742756350064 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30547] ppid=30529 vsize=28766288 memory=30480 CPUtime=2.14 cores=0-7 /proc/30531/task/30547/stat : 30547 (java) S 30529 30529 28561 0 -1 1077944384 10233 0 0 0 211 3 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742755297520 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30548] ppid=30529 vsize=28766288 memory=14056 CPUtime=0.8 cores=0-7 /proc/30531/task/30548/stat : 30548 (java) S 30529 30529 28561 0 -1 1077944384 7320 0 0 0 79 1 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742754244976 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30549] ppid=30529 vsize=28766288 memory=2116 CPUtime=0 cores=0-7 /proc/30531/task/30549/stat : 30549 (java) S 30529 30529 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742753192672 139744431662805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30550] ppid=30529 vsize=28766288 memory=520 CPUtime=0.02 cores=0-7 /proc/30531/task/30550/stat : 30550 (java) S 30529 30529 28561 0 -1 1077944384 937 0 0 0 0 2 0 0 20 0 28 0 475610996 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742752140208 139744431663746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30551] ppid=30529 vsize=28766288 memory=1560 CPUtime=74.73 cores=0-7 /proc/30531/task/30551/stat : 30551 (java) R 30529 30529 28561 0 -1 4202560 748 0 0 0 7473 0 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742742920488 139744032148492 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30552] ppid=30529 vsize=28766288 memory=924 CPUtime=74.75 cores=0-7 /proc/30531/task/30552/stat : 30552 (java) R 30529 30529 28561 0 -1 4202560 510 0 0 0 7475 0 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742741869080 139744034347620 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30553] ppid=30529 vsize=28766288 memory=3688 CPUtime=74.58 cores=0-7 /proc/30531/task/30553/stat : 30553 (java) R 30529 30529 28561 0 -1 4202560 908 0 0 0 7458 0 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742740815152 139744032148308 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30554] ppid=30529 vsize=28766288 memory=1984 CPUtime=73.67 cores=0-7 /proc/30531/task/30554/stat : 30554 (java) R 30529 30529 28561 0 -1 4202560 6673 0 0 0 7357 10 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742739763416 139744032148268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30555] ppid=30529 vsize=28766288 memory=1440 CPUtime=74.37 cores=0-7 /proc/30531/task/30555/stat : 30555 (java) R 30529 30529 28561 0 -1 4202560 1010 0 0 0 7437 0 0 0 20 0 28 0 475611083 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742738710328 139744032886800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30556] ppid=30529 vsize=28766288 memory=800 CPUtime=74.42 cores=0-7 /proc/30531/task/30556/stat : 30556 (java) R 30529 30529 28561 0 -1 4202560 1469 0 0 0 7441 1 0 0 20 0 28 0 475611084 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742737658552 139744032506254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30557] ppid=30529 vsize=28766288 memory=2580 CPUtime=74.31 cores=0-7 /proc/30531/task/30557/stat : 30557 (java) R 30529 30529 28561 0 -1 4202560 488 0 0 0 7431 0 0 0 20 0 28 0 475611084 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742736605224 139744031996055 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 [pid=30531/tid=30558] ppid=30529 vsize=28766288 memory=1760 CPUtime=74.68 cores=0-7 /proc/30531/task/30558/stat : 30558 (java) R 30529 30529 28561 0 -1 4202560 1362 0 0 0 7467 1 0 0 20 0 28 0 475611084 29456678912 174383 33554432000 4194304 4196468 140735424962464 139742735553352 139744032148113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28422144 140735424963542 140735424963718 140735424963718 140735424966607 0 Current children cumulated CPU time: 604.87 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 698980 KiB Child status: 0 Real time (s): 76.5913 CPU time (s): 605.368 CPU user time (s): 604.672 CPU system time (s): 0.695915 CPU usage (%): 790.387 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 698980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 604.672 system time used= 0.695915 maximum resident set size= 711172 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73135 page faults= 0 swaps= 0 block input operations= 0 block output operations= 216 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6547 involuntary context switches= 7540 # summary of solver processes directly reported to runsolver: # pid: 30529 # total CPU time (s): 605.368 # total CPU user time (s): 604.672 # total CPU system time (s): 0.695915 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.708862 second user time and 0.945293 second system time The end
Begin job on node119 at 2019-09-20 18:28:41 IDJOB=4404654 IDBENCH=124151 IDSOLVER=2865 FILE ID=node119/4404654-1568996962 RUNJOBID= node119-1568994231-28588 PBS_JOBID= 21704718 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-0.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404654-1568996962/watcher-4404654-1568996962 -o /var/tmp/evaluation-result-4404654-1568996962/solver-4404654-1568996962 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1568994231-28588 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 417863133 HOME/instance-4404654-1568996962.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c061694c4fbf3df02ed1b2618516c596 RANDOM SEED=417863133 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 14107936 kB MemAvailable: 31806036 kB Buffers: 151124 kB Cached: 17473684 kB SwapCached: 46584 kB Active: 8779720 kB Inactive: 8895272 kB Active(anon): 4476 kB Inactive(anon): 94032 kB Active(file): 8775244 kB Inactive(file): 8801240 kB Unevictable: 109120 kB Mlocked: 109120 kB SwapTotal: 67108860 kB SwapFree: 66953204 kB Dirty: 25832 kB Writeback: 0 kB AnonPages: 113132 kB Mapped: 52300 kB Shmem: 40128 kB Slab: 578788 kB SReclaimable: 550076 kB SUnreclaim: 28712 kB KernelStack: 3424 kB PageTables: 5260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506436 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13488 MiB End job on node119 at 2019-09-20 18:29:58