Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 130 | 610.725 | 77.3513 |
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-4399854-1568703332.xml" -tl '20160s' -p 8 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4399854-1568703332.xml, -tl, 20160s, -p, 8] 0.34/0.24 c 8 solvers in parallel 0.34/0.31 c parse instance... 3.02/1.01 c solve instance... 610.56/77.30 o 130 610.56/77.33 s OPTIMUM FOUND 610.56/77.33 v <instantiation> 610.56/77.33 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> 610.56/77.33 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> 610.56/77.33 v </instantiation>
OK 130
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (14219 MiB free) memory of node 1: 16384 MiB (14486 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399854-1568703332/watcher-4399854-1568703332 -o /tmp/evaluation-result-4399854-1568703332/solver-4399854-1568703332 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324215096-17677 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1239104247 HOME/instance-4399854-1568703332.xml running on 8 cores: 0-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 solver pid=19381, runsolver pid=19378 Current StackSize limit: 8192 KiB [startup+0.100112 s]* /proc/loadavg: 7.63 7.96 7.99 4/211 19402 /proc/meminfo: memFree=29378308/32770688 swapFree=66919992/67108860 [pid=19381] ppid=19378 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19381/stat : 19381 (xcsp3-exec) S 19378 19381 17650 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446339440 115843072 363 33554432000 4194304 5098028 140726707654688 140726707652792 140700945293948 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17563648 140726707659637 140726707659881 140726707659881 140726707662794 0 /proc/19381/statm: 28282 363 304 221 0 87 0 [pid=19383] ppid=19381 vsize=28227396 memory=30220 CPUtime=0.12 cores=0-7 /proc/19383/stat : 19383 (java) S 19381 19381 17650 0 -1 1077944320 5498 0 0 0 11 1 0 0 20 0 20 0 446339440 28904853504 7555 33554432000 4194304 4196468 140735441419648 140735441402192 140549356781303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 /proc/19383/statm: 7056849 7555 3124 1 0 7019032 0 [pid=19383/tid=19384] ppid=19381 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/19383/task/19384/stat : 19384 (java) R 19381 19381 17650 0 -1 4202560 3404 0 0 0 8 0 0 0 20 0 20 0 446339441 28904853504 7555 33554432000 4194304 4196468 140735441419648 140549361002112 140549356803229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19385] ppid=19381 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19383/task/19385/stat : 19385 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548908263696 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19386] ppid=19381 vsize=28227396 memory=140636843890304 CPUtime=0 cores=0-7 /proc/19383/task/19386/stat : 19386 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548907211152 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19387] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19387/stat : 19387 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548906158608 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19388] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19388/stat : 19388 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548905106064 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19389] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19389/stat : 19389 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548904053520 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19390] ppid=19381 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19383/task/19390/stat : 19390 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548903000976 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19391] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19391/stat : 19391 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548901948432 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19392] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19392/stat : 19392 (java) S 19381 19381 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548900895888 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19393] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19393/stat : 19393 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339443 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548472977392 140549356792450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19394] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19394/stat : 19394 (java) S 19381 19381 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446339444 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548471923616 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19395] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19395/stat : 19395 (java) S 19381 19381 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446339444 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548470871024 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19396] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19396/stat : 19396 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339447 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548469819600 140549356799899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19397] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19397/stat : 19397 (java) S 19381 19381 17650 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 446339447 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548468767216 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19398] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19398/stat : 19398 (java) S 19381 19381 17650 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446339447 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548467714672 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19399] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19399/stat : 19399 (java) R 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339447 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548466662128 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19400] ppid=19381 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19383/task/19400/stat : 19400 (java) S 19381 19381 17650 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 20 0 446339447 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548465609584 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19401] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19401/stat : 19401 (java) S 19381 19381 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446339447 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548464556256 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19402] ppid=19381 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19383/task/19402/stat : 19402 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339447 28904853504 7555 33554432000 4194304 4196468 140735441419648 140548463503792 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31672 KiB [startup+0.211109 s]* /proc/loadavg: 7.63 7.96 7.99 3/211 19402 /proc/meminfo: memFree=29366148/32770688 swapFree=66919992/67108860 [pid=19381] ppid=19378 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19381/stat : 19381 (xcsp3-exec) S 19378 19381 17650 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446339440 115843072 363 33554432000 4194304 5098028 140726707654688 140726707652792 140700945293948 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17563648 140726707659637 140726707659881 140726707659881 140726707662794 0 /proc/19381/statm: 28282 363 304 221 0 87 0 [pid=19383] ppid=19381 vsize=28227396 memory=40920 CPUtime=0.34 cores=0-7 /proc/19383/stat : 19383 (java) S 19381 19381 17650 0 -1 1077944320 9034 0 0 0 31 3 0 0 20 0 20 0 446339440 28904853504 10230 33554432000 4194304 4196468 140735441419648 140735441402192 140549356781303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 /proc/19383/statm: 7056849 10230 3218 1 0 7019032 0 [pid=19383/tid=19384] ppid=19381 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/19383/task/19384/stat : 19384 (java) R 19381 19381 17650 0 -1 4202560 6205 0 0 0 18 2 0 0 20 0 20 0 446339441 28904853504 10230 33554432000 4194304 4196468 140735441419648 140549361019376 140549356803229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19385] ppid=19381 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/19383/task/19385/stat : 19385 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548908263696 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19386] ppid=19381 vsize=28227396 memory=3617712245861209760 CPUtime=0 cores=0-7 /proc/19383/task/19386/stat : 19386 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548907211152 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19387] ppid=19381 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19383/task/19387/stat : 19387 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548906158608 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19388] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19388/stat : 19388 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548905106064 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19389] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19389/stat : 19389 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548904053520 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19390] ppid=19381 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19383/task/19390/stat : 19390 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548903000976 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19391] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19391/stat : 19391 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548901948432 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19392] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19392/stat : 19392 (java) S 19381 19381 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446339441 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548900895888 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19393] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19393/stat : 19393 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339443 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548472977392 140549356792450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19394] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19394/stat : 19394 (java) S 19381 19381 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446339444 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548471923616 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19395] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19395/stat : 19395 (java) S 19381 19381 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446339444 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548470871024 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19396] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19396/stat : 19396 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339447 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548469819600 140549356799899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19397] ppid=19381 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/19383/task/19397/stat : 19397 (java) S 19381 19381 17650 0 -1 1077944384 584 0 0 0 2 0 0 0 20 0 20 0 446339447 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548468767216 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19398] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19398/stat : 19398 (java) S 19381 19381 17650 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 446339447 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548467714672 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19399] ppid=19381 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/19383/task/19399/stat : 19399 (java) S 19381 19381 17650 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 446339447 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548466662128 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19400] ppid=19381 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/19383/task/19400/stat : 19400 (java) R 19381 19381 17650 0 -1 4202560 757 0 0 0 7 0 0 0 20 0 20 0 446339447 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548465609584 140549356802650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19401] ppid=19381 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19401/stat : 19401 (java) S 19381 19381 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446339447 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548464556256 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19402] ppid=19381 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19383/task/19402/stat : 19402 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339447 28904853504 10230 33554432000 4194304 4196468 140735441419648 140548463503792 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42372 KiB [startup+0.310882 s]* /proc/loadavg: 7.63 7.96 7.99 5/211 19402 /proc/meminfo: memFree=29361220/32770688 swapFree=66919992/67108860 [pid=19381] ppid=19378 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19381/stat : 19381 (xcsp3-exec) S 19378 19381 17650 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446339440 115843072 363 33554432000 4194304 5098028 140726707654688 140726707652792 140700945293948 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17563648 140726707659637 140726707659881 140726707659881 140726707662794 0 /proc/19381/statm: 28282 363 304 221 0 87 0 [pid=19383] ppid=19381 vsize=28231652 memory=46824 CPUtime=0.52 cores=0-7 /proc/19383/stat : 19383 (java) S 19381 19381 17650 0 -1 1077944320 10089 0 0 0 49 3 0 0 20 0 20 0 446339440 28909211648 11706 33554432000 4194304 4196468 140735441419648 140735441402192 140549356781303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 /proc/19383/statm: 7057913 11706 3313 1 0 7019032 0 [pid=19383/tid=19384] ppid=19381 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/19383/task/19384/stat : 19384 (java) R 19381 19381 17650 0 -1 4202560 7129 0 0 0 27 2 0 0 20 0 20 0 446339441 28909211648 11706 33554432000 4194304 4196468 140735441419648 140549361002816 140549356802650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19385] ppid=19381 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19385/stat : 19385 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339441 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548908263696 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19386] ppid=19381 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19386/stat : 19386 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339441 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548907211152 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19387] ppid=19381 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19387/stat : 19387 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339441 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548906158608 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19388] ppid=19381 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19388/stat : 19388 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339441 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548905106064 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19389] ppid=19381 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19389/stat : 19389 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339441 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548904053520 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19390] ppid=19381 vsize=28231652 memory=140636690934447 CPUtime=0 cores=0-7 /proc/19383/task/19390/stat : 19390 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339441 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548903000976 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19391] ppid=19381 vsize=28231652 memory=140636690936752 CPUtime=0 cores=0-7 /proc/19383/task/19391/stat : 19391 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339441 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548901948432 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19392] ppid=19381 vsize=28231652 memory=140636690939056 CPUtime=0 cores=0-7 /proc/19383/task/19392/stat : 19392 (java) S 19381 19381 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446339441 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548900895888 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19393] ppid=19381 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19393/stat : 19393 (java) S 19381 19381 17650 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446339443 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548472977392 140549356792450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19394] ppid=19381 vsize=28231652 memory=281273381891984 CPUtime=0 cores=0-7 /proc/19383/task/19394/stat : 19394 (java) S 19381 19381 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446339444 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548471923616 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19395] ppid=19381 vsize=28231652 memory=281273381889680 CPUtime=0 cores=0-7 /proc/19383/task/19395/stat : 19395 (java) S 19381 19381 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446339444 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548470871024 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19396] ppid=19381 vsize=28231652 memory=281273381896592 CPUtime=0 cores=0-7 /proc/19383/task/19396/stat : 19396 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339447 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548469819600 140549356799899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19397] ppid=19381 vsize=28231652 memory=281273381837872 CPUtime=0.03 cores=0-7 /proc/19383/task/19397/stat : 19397 (java) R 19381 19381 17650 0 -1 4202560 593 0 0 0 3 0 0 0 20 0 20 0 446339447 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548468767216 140549340192313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19398] ppid=19381 vsize=28231652 memory=281273381910416 CPUtime=0.02 cores=0-7 /proc/19383/task/19398/stat : 19398 (java) S 19381 19381 17650 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 20 0 446339447 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548467714672 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19399] ppid=19381 vsize=28231652 memory=281273381917328 CPUtime=0.02 cores=0-7 /proc/19383/task/19399/stat : 19399 (java) S 19381 19381 17650 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 20 0 446339447 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548466662128 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19400] ppid=19381 vsize=28231652 memory=281273381915024 CPUtime=0.12 cores=0-7 /proc/19383/task/19400/stat : 19400 (java) S 19381 19381 17650 0 -1 1077944384 829 0 0 0 12 0 0 0 20 0 20 0 446339447 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548465609584 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19401] ppid=19381 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19401/stat : 19401 (java) S 19381 19381 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446339447 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548464556256 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19402] ppid=19381 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/19383/task/19402/stat : 19402 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339447 28909211648 11706 33554432000 4194304 4196468 140735441419648 140548463503792 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48276 KiB [startup+0.700941 s] /proc/loadavg: 7.63 7.96 7.99 6/211 19402 /proc/meminfo: memFree=29349464/32770688 swapFree=66919992/67108860 [pid=19381] ppid=19378 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19381/stat : 19381 (xcsp3-exec) S 19378 19381 17650 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446339440 115843072 363 33554432000 4194304 5098028 140726707654688 140726707652792 140700945293948 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17563648 140726707659637 140726707659881 140726707659881 140726707662794 0 /proc/19381/statm: 28282 363 304 221 0 87 0 [pid=19383] ppid=19381 vsize=28233776 memory=80788 CPUtime=1.65 cores=0-7 /proc/19383/stat : 19383 (java) S 19381 19381 17650 0 -1 1077944320 13397 0 0 0 159 6 0 0 20 0 20 0 446339440 28911386624 20197 33554432000 4194304 4196468 140735441419648 140735441402192 140549356781303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 /proc/19383/statm: 7058444 20197 3458 1 0 7019544 0 [pid=19383/tid=19384] ppid=19381 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/19383/task/19384/stat : 19384 (java) R 19381 19381 17650 0 -1 4202560 8691 0 0 0 64 3 0 0 20 0 20 0 446339441 28911386624 20197 33554432000 4194304 4196468 140735441419648 140549361017056 140548994158656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19385] ppid=19381 vsize=28233776 memory=140636691145584 CPUtime=0 cores=0-7 /proc/19383/task/19385/stat : 19385 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339441 28911386624 20197 33554432000 4194304 4196468 140735441419648 140548908263696 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19386] ppid=19381 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/19383/task/19386/stat : 19386 (java) S 19381 19381 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446339441 28911386624 20197 33554432000 4194304 4196468 140735441419648 140548907211152 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19387] ppid=19381 vsize=28233776 memory=1176 CPUtime=0 cores=0-7 /proc/19383/task/19387/stat : 19387 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446339441 28911386624 20197 33554432000 4194304 4196468 140735441419648 140548906158608 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 ################ # More data... # ################ [pid=19383/tid=19400] ppid=19381 vsize=28766288 memory=660 CPUtime=0.87 cores=0-7 /proc/19383/task/19400/stat : 19400 (java) S 19381 19381 17650 0 -1 1077944384 7486 0 0 0 86 1 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548465609584 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19401] ppid=19381 vsize=28766288 memory=1556 CPUtime=0 cores=0-7 /proc/19383/task/19401/stat : 19401 (java) S 19381 19381 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548464556256 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19402] ppid=19381 vsize=28766288 memory=9588 CPUtime=0.02 cores=0-7 /proc/19383/task/19402/stat : 19402 (java) S 19381 19381 17650 0 -1 1077944384 1100 0 0 0 0 2 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548463503792 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19403] ppid=19381 vsize=28766288 memory=6791534058613427641 CPUtime=74.61 cores=0-7 /proc/19383/task/19403/stat : 19403 (java) R 19381 19381 17650 0 -1 4202560 870 0 0 0 7461 0 0 0 20 0 28 0 446339544 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548454283968 140549000702229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19404] ppid=19381 vsize=28766288 memory=1452 CPUtime=74.2 cores=0-7 /proc/19383/task/19404/stat : 19404 (java) R 19381 19381 17650 0 -1 4202560 790 0 0 0 7420 0 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548453232504 140549000841782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19405] ppid=19381 vsize=28766288 memory=303430223234596890 CPUtime=74.48 cores=0-7 /proc/19383/task/19405/stat : 19405 (java) R 19381 19381 17650 0 -1 4202560 702 0 0 0 7448 0 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548452179960 140549001317617 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19406] ppid=19381 vsize=28766288 memory=288230591755977018 CPUtime=74.28 cores=0-7 /proc/19383/task/19406/stat : 19406 (java) R 19381 19381 17650 0 -1 4202560 6889 0 0 0 7415 13 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548451127416 140549000702830 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19407] ppid=19381 vsize=28766288 memory=14413709237821127 CPUtime=74.92 cores=0-7 /proc/19383/task/19407/stat : 19407 (java) R 19381 19381 17650 0 -1 4202560 1414 0 0 0 7491 1 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548450074856 140549000702650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19408] ppid=19381 vsize=28766288 memory=33 CPUtime=75.07 cores=0-7 /proc/19383/task/19408/stat : 19408 (java) R 19381 19381 17650 0 -1 4202560 477 0 0 0 7507 0 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548449022176 140549001317630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19409] ppid=19381 vsize=28766288 memory=2828 CPUtime=74.83 cores=0-7 /proc/19383/task/19409/stat : 19409 (java) R 19381 19381 17650 0 -1 4202560 1202 0 0 0 7483 0 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548447968984 140549001502597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19410] ppid=19381 vsize=28766288 memory=1176 CPUtime=74.64 cores=0-7 /proc/19383/task/19410/stat : 19410 (java) R 19381 19381 17650 0 -1 4202560 1365 0 0 0 7462 2 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548446916536 140549000219164 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 Current children cumulated CPU time: 606.58 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 631776 KiB [startup+77.2017 s] /proc/loadavg: 7.53 7.86 7.95 9/219 19415 /proc/meminfo: memFree=28778012/32770688 swapFree=66919992/67108860 [pid=19381] ppid=19378 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19381/stat : 19381 (xcsp3-exec) S 19378 19381 17650 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446339440 115843072 363 33554432000 4194304 5098028 140726707654688 140726707652792 140700945293948 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17563648 140726707659637 140726707659881 140726707659881 140726707662794 0 /proc/19381/statm: 28282 363 304 221 0 87 0 [pid=19383] ppid=19381 vsize=28766288 memory=630324 CPUtime=609.76 cores=0-7 /proc/19383/stat : 19383 (java) S 19381 19381 17650 0 -1 1077944320 76890 0 0 0 60911 65 0 0 20 0 28 0 446339440 29456678912 157581 33554432000 4194304 4196468 140735441419648 140735441402192 140549356781303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 /proc/19383/statm: 7191572 157581 3534 1 0 7152672 0 [pid=19383/tid=19384] ppid=19381 vsize=28766288 memory=1724 CPUtime=1.02 cores=0-7 /proc/19383/task/19384/stat : 19384 (java) S 19381 19381 17650 0 -1 1077944384 9520 0 0 0 97 5 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140549361022080 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19385] ppid=19381 vsize=28766288 memory=1964 CPUtime=0.12 cores=0-7 /proc/19383/task/19385/stat : 19385 (java) S 19381 19381 17650 0 -1 1077944384 1987 0 0 0 8 4 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548908263696 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19386] ppid=19381 vsize=28766288 memory=2776 CPUtime=0.11 cores=0-7 /proc/19383/task/19386/stat : 19386 (java) S 19381 19381 17650 0 -1 1077944384 626 0 0 0 8 3 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548907211152 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19387] ppid=19381 vsize=28766288 memory=924 CPUtime=0.09 cores=0-7 /proc/19383/task/19387/stat : 19387 (java) S 19381 19381 17650 0 -1 1077944384 298 0 0 0 7 2 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548906158608 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19388] ppid=19381 vsize=28766288 memory=630320 CPUtime=0.12 cores=0-7 /proc/19383/task/19388/stat : 19388 (java) S 19381 19381 17650 0 -1 1077944384 577 0 0 0 9 3 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548905106064 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19389] ppid=19381 vsize=28766288 memory=2828 CPUtime=0.12 cores=0-7 /proc/19383/task/19389/stat : 19389 (java) S 19381 19381 17650 0 -1 1077944384 1078 0 0 0 9 3 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548904053520 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19390] ppid=19381 vsize=28766288 memory=1176 CPUtime=0.12 cores=0-7 /proc/19383/task/19390/stat : 19390 (java) S 19381 19381 17650 0 -1 1077944384 1209 0 0 0 9 3 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548903000976 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19391] ppid=19381 vsize=28766288 memory=1452 CPUtime=0.1 cores=0-7 /proc/19383/task/19391/stat : 19391 (java) S 19381 19381 17650 0 -1 1077944384 399 0 0 0 8 2 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548901948432 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19392] ppid=19381 vsize=28766288 memory=665508 CPUtime=0.11 cores=0-7 /proc/19383/task/19392/stat : 19392 (java) S 19381 19381 17650 0 -1 1077944384 1655 0 0 0 8 3 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548900895888 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19393] ppid=19381 vsize=28766288 memory=1764 CPUtime=0.03 cores=0-7 /proc/19383/task/19393/stat : 19393 (java) S 19381 19381 17650 0 -1 1077944384 1700 0 0 0 2 1 0 0 20 0 28 0 446339443 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548472977392 140549356792450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19394] ppid=19381 vsize=28766288 memory=111632 CPUtime=0 cores=0-7 /proc/19383/task/19394/stat : 19394 (java) S 19381 19381 17650 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 446339444 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548471923680 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19395] ppid=19381 vsize=28766288 memory=800 CPUtime=0 cores=0-7 /proc/19383/task/19395/stat : 19395 (java) S 19381 19381 17650 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 446339444 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548470871040 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19396] ppid=19381 vsize=28766288 memory=4100 CPUtime=0 cores=0-7 /proc/19383/task/19396/stat : 19396 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548469819600 140549356799899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19397] ppid=19381 vsize=28766288 memory=663144 CPUtime=2.25 cores=0-7 /proc/19383/task/19397/stat : 19397 (java) S 19381 19381 17650 0 -1 1077944384 12186 0 0 0 221 4 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548468767216 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19398] ppid=19381 vsize=28766288 memory=6791534058613427641 CPUtime=2.18 cores=0-7 /proc/19383/task/19398/stat : 19398 (java) S 19381 19381 17650 0 -1 1077944384 11510 0 0 0 215 3 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548467714672 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19399] ppid=19381 vsize=28766288 memory=1656 CPUtime=2.05 cores=0-7 /proc/19383/task/19399/stat : 19399 (java) S 19381 19381 17650 0 -1 1077944384 10506 0 0 0 203 2 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548466662128 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19400] ppid=19381 vsize=28766288 memory=1398722017469774279 CPUtime=0.87 cores=0-7 /proc/19383/task/19400/stat : 19400 (java) S 19381 19381 17650 0 -1 1077944384 7486 0 0 0 86 1 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548465609584 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19401] ppid=19381 vsize=28766288 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19383/task/19401/stat : 19401 (java) S 19381 19381 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548464556256 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19402] ppid=19381 vsize=28766288 memory=9588 CPUtime=0.02 cores=0-7 /proc/19383/task/19402/stat : 19402 (java) S 19381 19381 17650 0 -1 1077944384 1100 0 0 0 0 2 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548463503792 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19403] ppid=19381 vsize=28766288 memory=1712 CPUtime=75.01 cores=0-7 /proc/19383/task/19403/stat : 19403 (java) R 19381 19381 17650 0 -1 4202560 870 0 0 0 7501 0 0 0 20 0 28 0 446339544 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548454283968 140549000702243 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19404] ppid=19381 vsize=28766288 memory=5996 CPUtime=74.6 cores=0-7 /proc/19383/task/19404/stat : 19404 (java) R 19381 19381 17650 0 -1 4202560 790 0 0 0 7460 0 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548453232504 140549000702310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19405] ppid=19381 vsize=28766288 memory=4156 CPUtime=74.88 cores=0-7 /proc/19383/task/19405/stat : 19405 (java) R 19381 19381 17650 0 -1 4202560 702 0 0 0 7488 0 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548452179960 140549000841659 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19406] ppid=19381 vsize=28766288 memory=6791534058613427641 CPUtime=74.68 cores=0-7 /proc/19383/task/19406/stat : 19406 (java) R 19381 19381 17650 0 -1 4202560 6891 0 0 0 7455 13 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548451127416 140549000702650 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19407] ppid=19381 vsize=28766288 memory=6791534058613427641 CPUtime=75.32 cores=0-7 /proc/19383/task/19407/stat : 19407 (java) R 19381 19381 17650 0 -1 4202560 1414 0 0 0 7531 1 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548450074856 140549000225819 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19408] ppid=19381 vsize=28766288 memory=1452 CPUtime=75.47 cores=0-7 /proc/19383/task/19408/stat : 19408 (java) R 19381 19381 17650 0 -1 4202560 477 0 0 0 7547 0 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548449022176 140549000702683 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19409] ppid=19381 vsize=28766288 memory=630320 CPUtime=75.23 cores=0-7 /proc/19383/task/19409/stat : 19409 (java) R 19381 19381 17650 0 -1 4202560 1202 0 0 0 7523 0 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548447968984 140548995278476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19410] ppid=19381 vsize=28766288 memory=1452 CPUtime=75.02 cores=0-7 /proc/19383/task/19410/stat : 19410 (java) R 19381 19381 17650 0 -1 4202560 1365 0 0 0 7500 2 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548446916536 140549000226456 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 Current children cumulated CPU time: 609.76 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 631776 KiB [startup+77.3017 s] /proc/loadavg: 7.53 7.86 7.95 9/219 19415 /proc/meminfo: memFree=28778012/32770688 swapFree=66919992/67108860 [pid=19381] ppid=19378 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19381/stat : 19381 (xcsp3-exec) S 19378 19381 17650 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446339440 115843072 363 33554432000 4194304 5098028 140726707654688 140726707652792 140700945293948 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17563648 140726707659637 140726707659881 140726707659881 140726707662794 0 /proc/19381/statm: 28282 363 304 221 0 87 0 [pid=19383] ppid=19381 vsize=28766288 memory=630324 CPUtime=610.56 cores=0-7 /proc/19383/stat : 19383 (java) S 19381 19381 17650 0 -1 1077944320 76896 0 0 0 60991 65 0 0 20 0 28 0 446339440 29456678912 157581 33554432000 4194304 4196468 140735441419648 140735441402192 140549356781303 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 /proc/19383/statm: 7191572 157581 3534 1 0 7152672 0 [pid=19383/tid=19384] ppid=19381 vsize=28766288 memory=630320 CPUtime=1.02 cores=0-7 /proc/19383/task/19384/stat : 19384 (java) S 19381 19381 17650 0 -1 1077944384 9520 0 0 0 97 5 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140549361022080 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19385] ppid=19381 vsize=28766288 memory=630324 CPUtime=0.12 cores=0-7 /proc/19383/task/19385/stat : 19385 (java) S 19381 19381 17650 0 -1 1077944384 1987 0 0 0 8 4 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548908263696 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19386] ppid=19381 vsize=28766288 memory=630324 CPUtime=0.11 cores=0-7 /proc/19383/task/19386/stat : 19386 (java) S 19381 19381 17650 0 -1 1077944384 626 0 0 0 8 3 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548907211152 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19387] ppid=19381 vsize=28766288 memory=0 CPUtime=0.09 cores=0-7 /proc/19383/task/19387/stat : 19387 (java) S 19381 19381 17650 0 -1 1077944384 298 0 0 0 7 2 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548906158608 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19388] ppid=19381 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7 /proc/19383/task/19388/stat : 19388 (java) S 19381 19381 17650 0 -1 1077944384 577 0 0 0 9 3 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548905106064 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19389] ppid=19381 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7 /proc/19383/task/19389/stat : 19389 (java) S 19381 19381 17650 0 -1 1077944384 1078 0 0 0 9 3 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548904053520 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19390] ppid=19381 vsize=28766288 memory=11 CPUtime=0.12 cores=0-7 /proc/19383/task/19390/stat : 19390 (java) S 19381 19381 17650 0 -1 1077944384 1209 0 0 0 9 3 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548903000976 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19391] ppid=19381 vsize=28766288 memory=9 CPUtime=0.1 cores=0-7 /proc/19383/task/19391/stat : 19391 (java) S 19381 19381 17650 0 -1 1077944384 399 0 0 0 8 2 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548901948432 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19392] ppid=19381 vsize=28766288 memory=12 CPUtime=0.11 cores=0-7 /proc/19383/task/19392/stat : 19392 (java) S 19381 19381 17650 0 -1 1077944384 1655 0 0 0 8 3 0 0 20 0 28 0 446339441 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548900895888 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19393] ppid=19381 vsize=28766288 memory=980 CPUtime=0.03 cores=0-7 /proc/19383/task/19393/stat : 19393 (java) S 19381 19381 17650 0 -1 1077944384 1700 0 0 0 2 1 0 0 20 0 28 0 446339443 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548472977392 140549356792450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19394] ppid=19381 vsize=28766288 memory=14008 CPUtime=0 cores=0-7 /proc/19383/task/19394/stat : 19394 (java) S 19381 19381 17650 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 446339444 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548471923680 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19395] ppid=19381 vsize=28766288 memory=12028 CPUtime=0 cores=0-7 /proc/19383/task/19395/stat : 19395 (java) S 19381 19381 17650 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 446339444 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548470871040 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19396] ppid=19381 vsize=28766288 memory=776 CPUtime=0 cores=0-7 /proc/19383/task/19396/stat : 19396 (java) S 19381 19381 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548469819600 140549356799899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19397] ppid=19381 vsize=28766288 memory=660 CPUtime=2.25 cores=0-7 /proc/19383/task/19397/stat : 19397 (java) S 19381 19381 17650 0 -1 1077944384 12186 0 0 0 221 4 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548468767216 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19398] ppid=19381 vsize=28766288 memory=1556 CPUtime=2.18 cores=0-7 /proc/19383/task/19398/stat : 19398 (java) S 19381 19381 17650 0 -1 1077944384 11510 0 0 0 215 3 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548467714672 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19399] ppid=19381 vsize=28766288 memory=9588 CPUtime=2.05 cores=0-7 /proc/19383/task/19399/stat : 19399 (java) S 19381 19381 17650 0 -1 1077944384 10506 0 0 0 203 2 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548466662128 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19400] ppid=19381 vsize=28766288 memory=0 CPUtime=0.87 cores=0-7 /proc/19383/task/19400/stat : 19400 (java) S 19381 19381 17650 0 -1 1077944384 7486 0 0 0 86 1 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548465609584 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19401] ppid=19381 vsize=28766288 memory=224 CPUtime=0 cores=0-7 /proc/19383/task/19401/stat : 19401 (java) S 19381 19381 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548464556256 140549356791509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19402] ppid=19381 vsize=28766288 memory=216 CPUtime=0.02 cores=0-7 /proc/19383/task/19402/stat : 19402 (java) S 19381 19381 17650 0 -1 1077944384 1100 0 0 0 0 2 0 0 20 0 28 0 446339447 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548463503792 140549356792450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19403] ppid=19381 vsize=28766288 memory=3624 CPUtime=75.11 cores=0-7 /proc/19383/task/19403/stat : 19403 (java) R 19381 19381 17650 0 -1 4202560 870 0 0 0 7511 0 0 0 20 0 28 0 446339544 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548454283968 140549000841584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19404] ppid=19381 vsize=28766288 memory=1428 CPUtime=74.7 cores=0-7 /proc/19383/task/19404/stat : 19404 (java) R 19381 19381 17650 0 -1 4202560 790 0 0 0 7470 0 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548453232504 140549000702664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19405] ppid=19381 vsize=28766288 memory=776 CPUtime=74.98 cores=0-7 /proc/19383/task/19405/stat : 19405 (java) R 19381 19381 17650 0 -1 4202560 702 0 0 0 7498 0 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548452179960 140549001562619 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19406] ppid=19381 vsize=28766288 memory=660 CPUtime=74.78 cores=0-7 /proc/19383/task/19406/stat : 19406 (java) R 19381 19381 17650 0 -1 4202560 6893 0 0 0 7465 13 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548451127416 140549000297676 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19407] ppid=19381 vsize=28766288 memory=1556 CPUtime=75.42 cores=0-7 /proc/19383/task/19407/stat : 19407 (java) R 19381 19381 17650 0 -1 4202560 1416 0 0 0 7541 1 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548450074856 140549001563067 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19408] ppid=19381 vsize=28766288 memory=1712 CPUtime=75.57 cores=0-7 /proc/19383/task/19408/stat : 19408 (java) R 19381 19381 17650 0 -1 4202560 477 0 0 0 7557 0 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548449022176 140549001317671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19409] ppid=19381 vsize=28766288 memory=5996 CPUtime=75.33 cores=0-7 /proc/19383/task/19409/stat : 19409 (java) R 19381 19381 17650 0 -1 4202560 1204 0 0 0 7533 0 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548447968984 140549001502492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 [pid=19383/tid=19410] ppid=19381 vsize=28766288 memory=4156 CPUtime=75.12 cores=0-7 /proc/19383/task/19410/stat : 19410 (java) R 19381 19381 17650 0 -1 4202560 1365 0 0 0 7510 2 0 0 20 0 28 0 446339545 29456678912 157581 33554432000 4194304 4196468 140735441419648 140548446916536 140549000702234 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 8163328 140735441421290 140735441421462 140735441421462 140735441424335 0 Current children cumulated CPU time: 610.56 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 631776 KiB Child status: 0 Real time (s): 77.3513 CPU time (s): 610.725 CPU user time (s): 610.053 CPU system time (s): 0.671987 CPU usage (%): 789.546 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 666964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 610.053 system time used= 0.671987 maximum resident set size= 684208 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78896 page faults= 0 swaps= 0 block input operations= 0 block output operations= 232 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6708 involuntary context switches= 8175 # summary of solver processes directly reported to runsolver: # pid: 19381 # total CPU time (s): 610.725 # total CPU user time (s): 610.053 # total CPU system time (s): 0.671987 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.755869 second user time and 1.03849 second system time The end
Begin job on node120 at 2011-12-18 15:15:54 IDJOB=4399854 IDBENCH=124151 IDSOLVER=2854 FILE ID=node120/4399854-1568703332 RUNJOBID= node120-1324215096-17677 PBS_JOBID= 21703900 Free space on /tmp= 61628 MiB SOLVER NAME= choco-solver 2019-09-16 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 /tmp/evaluation-result-4399854-1568703332/watcher-4399854-1568703332 -o /tmp/evaluation-result-4399854-1568703332/solver-4399854-1568703332 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324215096-17677 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1239104247 HOME/instance-4399854-1568703332.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c061694c4fbf3df02ed1b2618516c596 RANDOM SEED=1239104247 node120.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 29395096 kB MemAvailable: 31804852 kB Buffers: 186396 kB Cached: 2508940 kB SwapCached: 77548 kB Active: 1483980 kB Inactive: 1293372 kB Active(anon): 4856 kB Inactive(anon): 127072 kB Active(file): 1479124 kB Inactive(file): 1166300 kB Unevictable: 107748 kB Mlocked: 107748 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 26488 kB Writeback: 0 kB AnonPages: 117492 kB Mapped: 53572 kB Shmem: 41008 kB Slab: 190592 kB SReclaimable: 160332 kB SUnreclaim: 30260 kB KernelStack: 3712 kB PageTables: 5632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 515112 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61604 MiB End job on node120 at 2011-12-18 15:17:11