Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 130 | 332.384 | 45.7575 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-0.xml |
MD5SUM | c061694c4fbf3df02ed1b2618516c596 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 130 |
Best CPU time to get the best result obtained on this benchmark | 9.15235 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3738 |
Number of constraints | 200 |
Number of domains | 14 |
Minimum domain size | 2 |
Maximum domain size | 22 |
Distribution of domain sizes | [{"size":2,"count":534},{"size":5,"count":178},{"size":6,"count":178},{"size":7,"count":178},{"size":8,"count":178},{"size":9,"count":356},{"size":11,"count":178},{"size":12,"count":712},{"size":13,"count":356},{"size":14,"count":178},{"size":16,"count":178},{"size":17,"count":178},{"size":18,"count":178},{"size":22,"count":178}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":3738}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 3560 |
Distribution of constraint arities | [{"arity":21,"count":178},{"arity":178,"count":21},{"arity":3560,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":198}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394494-1568423733.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394494-1568423733.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.70/0.92 c solve instance... 307.06/39.25 o 136 317.35/40.54 o 135 319.68/41.35 o 133 324.86/42.30 o 132 327.84/43.48 o 131 331.29/44.80 o 130 332.31/45.74 s OPTIMUM FOUND 332.31/45.74 v <instantiation> 332.31/45.74 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> 332.31/45.74 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 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 1 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 1 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 1 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 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 332.31/45.74 v </instantiation>
OK 130
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14934 MiB free) memory of node 1: 16384 MiB (15606 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394494-1568423733/watcher-4394494-1568423733 -o /tmp/evaluation-result-4394494-1568423733/solver-4394494-1568423733 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568417371-3125 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 988188059 HOME/instance-4394494-1568423733.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=4957, runsolver pid=4954 Current StackSize limit: 8192 KiB [startup+0.100145 s]* /proc/loadavg: 4.36 3.58 3.23 2/212 4978 /proc/meminfo: memFree=31258004/32770624 swapFree=67000496/67108860 [pid=4957] ppid=4954 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4957/stat : 4957 (xcsp3-exec) S 4954 4957 3098 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418287330 115843072 364 33554432000 4194304 5098028 140721023284464 140721023282568 139636483924604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31805440 140721023288182 140721023288425 140721023288425 140721023291338 0 /proc/4957/statm: 28282 364 305 221 0 87 0 [pid=4959] ppid=4957 vsize=28227388 memory=29048 CPUtime=0.12 cores=0-7 /proc/4959/stat : 4959 (java) S 4957 4957 3098 0 -1 1077944320 5736 0 0 0 11 1 0 0 20 0 20 0 418287330 28904845312 7262 33554432000 4194304 4196468 140734181328432 140734181310976 140450457931511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 /proc/4959/statm: 7056847 7262 3122 1 0 7019032 0 [pid=4959/tid=4960] ppid=4957 vsize=28227388 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/4959/task/4960/stat : 4960 (java) R 4957 4957 3098 0 -1 4202560 3646 0 0 0 8 1 0 0 20 0 20 0 418287331 28904845312 7262 33554432000 4194304 4196468 140734181328432 140450462163392 140450457953437 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4961] ppid=4957 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4959/task/4961/stat : 4961 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28904845312 7262 33554432000 4194304 4196468 140734181328432 140450410551568 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4962] ppid=4957 vsize=28227388 memory=139839100417664 CPUtime=0 cores=0-7 /proc/4959/task/4962/stat : 4962 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28904845312 7262 33554432000 4194304 4196468 140734181328432 140450409499024 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4963] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4963/stat : 4963 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28904845312 7262 33554432000 4194304 4196468 140734181328432 140450408446480 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4964] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4964/stat : 4964 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28904845312 7262 33554432000 4194304 4196468 140734181328432 140450407393936 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4965] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4965/stat : 4965 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287332 28904845312 7262 33554432000 4194304 4196468 140734181328432 140450406341392 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4966] ppid=4957 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4959/task/4966/stat : 4966 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287332 28904845312 7262 33554432000 4194304 4196468 140734181328432 140450405288848 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4967] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4967/stat : 4967 (java) S 4957 4957 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418287332 28904845312 7262 33554432000 4194304 4196468 140734181328432 140450404236304 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4968] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4968/stat : 4968 (java) S 4957 4957 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418287332 28904845312 7262 33554432000 4194304 4196468 140734181328432 140450403183760 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4969] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4969/stat : 4969 (java) S 4957 4957 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418287333 28904845312 7262 33554432000 4194304 4196468 140734181328432 140449123379184 140450457942658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4970] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4970/stat : 4970 (java) S 4957 4957 3098 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418287333 28904845312 7262 33554432000 4194304 4196468 140734181328432 140448853124000 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4971] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4971/stat : 4971 (java) S 4957 4957 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418287334 28904845312 7262 33554432000 4194304 4196468 140734181328432 140448852071408 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4972] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4972/stat : 4972 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287336 28904845312 7262 33554432000 4194304 4196468 140734181328432 140448851019984 140450457950107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4973] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4973/stat : 4973 (java) S 4957 4957 3098 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 418287336 28904845312 7262 33554432000 4194304 4196468 140734181328432 140448849967600 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4974] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4974/stat : 4974 (java) S 4957 4957 3098 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 418287336 28904845312 7262 33554432000 4194304 4196468 140734181328432 140448848915056 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4975] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4975/stat : 4975 (java) S 4957 4957 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418287336 28904845312 7262 33554432000 4194304 4196468 140734181328432 140448847862512 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4976] ppid=4957 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/4959/task/4976/stat : 4976 (java) S 4957 4957 3098 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 20 0 418287336 28904845312 7262 33554432000 4194304 4196468 140734181328432 140448846809968 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4977] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4977/stat : 4977 (java) S 4957 4957 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418287336 28904845312 7262 33554432000 4194304 4196468 140734181328432 140448845756640 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4978] ppid=4957 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4959/task/4978/stat : 4978 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287337 28904845312 7262 33554432000 4194304 4196468 140734181328432 140448844704176 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30504 KiB [startup+0.20992 s]* /proc/loadavg: 4.36 3.58 3.23 3/212 4978 /proc/meminfo: memFree=31244752/32770624 swapFree=67000496/67108860 [pid=4957] ppid=4954 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4957/stat : 4957 (xcsp3-exec) S 4954 4957 3098 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418287330 115843072 364 33554432000 4194304 5098028 140721023284464 140721023282568 139636483924604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31805440 140721023288182 140721023288425 140721023288425 140721023291338 0 /proc/4957/statm: 28282 364 305 221 0 87 0 [pid=4959] ppid=4957 vsize=28227388 memory=41004 CPUtime=0.33 cores=0-7 /proc/4959/stat : 4959 (java) S 4957 4957 3098 0 -1 1077944320 9481 0 0 0 30 3 0 0 20 0 20 0 418287330 28904845312 10251 33554432000 4194304 4196468 140734181328432 140734181310976 140450457931511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 /proc/4959/statm: 7056847 10251 3298 1 0 7019032 0 [pid=4959/tid=4960] ppid=4957 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/4959/task/4960/stat : 4960 (java) R 4957 4957 3098 0 -1 4202560 6642 0 0 0 17 2 0 0 20 0 20 0 418287331 28904845312 10251 33554432000 4194304 4196468 140734181328432 140450462165632 140450442011998 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4961] ppid=4957 vsize=28227388 memory=288230596134830447 CPUtime=0 cores=0-7 /proc/4959/task/4961/stat : 4961 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28904845312 10251 33554432000 4194304 4196468 140734181328432 140450410551568 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4962] ppid=4957 vsize=28227388 memory=139839100432371 CPUtime=0 cores=0-7 /proc/4959/task/4962/stat : 4962 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28904845312 10251 33554432000 4194304 4196468 140734181328432 140450409499024 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4963] ppid=4957 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4959/task/4963/stat : 4963 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28904845312 10251 33554432000 4194304 4196468 140734181328432 140450408446480 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4964] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4964/stat : 4964 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28904845312 10251 33554432000 4194304 4196468 140734181328432 140450407393936 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4965] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4965/stat : 4965 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287332 28904845312 10251 33554432000 4194304 4196468 140734181328432 140450406341392 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4966] ppid=4957 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4959/task/4966/stat : 4966 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287332 28904845312 10251 33554432000 4194304 4196468 140734181328432 140450405288848 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4967] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4967/stat : 4967 (java) S 4957 4957 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418287332 28904845312 10251 33554432000 4194304 4196468 140734181328432 140450404236304 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4968] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4968/stat : 4968 (java) S 4957 4957 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418287332 28904845312 10251 33554432000 4194304 4196468 140734181328432 140450403183760 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4969] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4969/stat : 4969 (java) S 4957 4957 3098 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 418287333 28904845312 10251 33554432000 4194304 4196468 140734181328432 140449123379184 140450457942658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4970] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4970/stat : 4970 (java) S 4957 4957 3098 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418287333 28904845312 10251 33554432000 4194304 4196468 140734181328432 140448853124000 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4971] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4971/stat : 4971 (java) S 4957 4957 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418287334 28904845312 10251 33554432000 4194304 4196468 140734181328432 140448852071408 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4972] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4972/stat : 4972 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287336 28904845312 10251 33554432000 4194304 4196468 140734181328432 140448851019984 140450457950107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4973] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4973/stat : 4973 (java) S 4957 4957 3098 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 20 0 418287336 28904845312 10251 33554432000 4194304 4196468 140734181328432 140448849967600 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4974] ppid=4957 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/4959/task/4974/stat : 4974 (java) S 4957 4957 3098 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 20 0 418287336 28904845312 10251 33554432000 4194304 4196468 140734181328432 140448848915056 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4975] ppid=4957 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/4959/task/4975/stat : 4975 (java) S 4957 4957 3098 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 20 0 418287336 28904845312 10251 33554432000 4194304 4196468 140734181328432 140448847862512 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4976] ppid=4957 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7 /proc/4959/task/4976/stat : 4976 (java) R 4957 4957 3098 0 -1 4202560 768 0 0 0 8 0 0 0 20 0 20 0 418287336 28904845312 10251 33554432000 4194304 4196468 140734181328432 140448846809968 140450442011998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4977] ppid=4957 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4977/stat : 4977 (java) S 4957 4957 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418287336 28904845312 10251 33554432000 4194304 4196468 140734181328432 140448845756640 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4978] ppid=4957 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/4959/task/4978/stat : 4978 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287337 28904845312 10251 33554432000 4194304 4196468 140734181328432 140448844704176 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42460 KiB [startup+0.309534 s]* /proc/loadavg: 4.36 3.58 3.23 4/212 4978 /proc/meminfo: memFree=31237712/32770624 swapFree=67000496/67108860 [pid=4957] ppid=4954 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4957/stat : 4957 (xcsp3-exec) S 4954 4957 3098 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418287330 115843072 364 33554432000 4194304 5098028 140721023284464 140721023282568 139636483924604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31805440 140721023288182 140721023288425 140721023288425 140721023291338 0 /proc/4957/statm: 28282 364 305 221 0 87 0 [pid=4959] ppid=4957 vsize=28231644 memory=50264 CPUtime=0.53 cores=0-7 /proc/4959/stat : 4959 (java) S 4957 4957 3098 0 -1 1077944320 10874 0 0 0 49 4 0 0 20 0 20 0 418287330 28909203456 12566 33554432000 4194304 4196468 140734181328432 140734181310976 140450457931511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 /proc/4959/statm: 7057911 12566 3346 1 0 7019032 0 [pid=4959/tid=4960] ppid=4957 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/4959/task/4960/stat : 4960 (java) R 4957 4957 3098 0 -1 4202560 7780 0 0 0 27 2 0 0 20 0 20 0 418287331 28909203456 12566 33554432000 4194304 4196468 140734181328432 140450462165600 140450442011998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4961] ppid=4957 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4961/stat : 4961 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28909203456 12566 33554432000 4194304 4196468 140734181328432 140450410551568 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4962] ppid=4957 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4962/stat : 4962 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28909203456 12566 33554432000 4194304 4196468 140734181328432 140450409499024 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4963] ppid=4957 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4963/stat : 4963 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28909203456 12566 33554432000 4194304 4196468 140734181328432 140450408446480 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4964] ppid=4957 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4964/stat : 4964 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28909203456 12566 33554432000 4194304 4196468 140734181328432 140450407393936 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4965] ppid=4957 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/4959/task/4965/stat : 4965 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287332 28909203456 12566 33554432000 4194304 4196468 140734181328432 140450406341392 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4966] ppid=4957 vsize=28231644 memory=139838967870383 CPUtime=0 cores=0-7 /proc/4959/task/4966/stat : 4966 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287332 28909203456 12566 33554432000 4194304 4196468 140734181328432 140450405288848 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4967] ppid=4957 vsize=28231644 memory=139838967872688 CPUtime=0 cores=0-7 /proc/4959/task/4967/stat : 4967 (java) S 4957 4957 3098 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418287332 28909203456 12566 33554432000 4194304 4196468 140734181328432 140450404236304 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4968] ppid=4957 vsize=28231644 memory=139838967874992 CPUtime=0 cores=0-7 /proc/4959/task/4968/stat : 4968 (java) S 4957 4957 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418287332 28909203456 12566 33554432000 4194304 4196468 140734181328432 140450403183760 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4969] ppid=4957 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4969/stat : 4969 (java) S 4957 4957 3098 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 418287333 28909203456 12566 33554432000 4194304 4196468 140734181328432 140449123379184 140450457942658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4970] ppid=4957 vsize=28231644 memory=279677935756944 CPUtime=0 cores=0-7 /proc/4959/task/4970/stat : 4970 (java) S 4957 4957 3098 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418287333 28909203456 12566 33554432000 4194304 4196468 140734181328432 140448853124000 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4971] ppid=4957 vsize=28231644 memory=279677935763856 CPUtime=0 cores=0-7 /proc/4959/task/4971/stat : 4971 (java) S 4957 4957 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418287334 28909203456 12566 33554432000 4194304 4196468 140734181328432 140448852071408 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4972] ppid=4957 vsize=28231644 memory=279677935705136 CPUtime=0 cores=0-7 /proc/4959/task/4972/stat : 4972 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287336 28909203456 12566 33554432000 4194304 4196468 140734181328432 140448851019984 140450457950107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4973] ppid=4957 vsize=28231644 memory=279677935777680 CPUtime=0.01 cores=0-7 /proc/4959/task/4973/stat : 4973 (java) S 4957 4957 3098 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 418287336 28909203456 12566 33554432000 4194304 4196468 140734181328432 140448849967600 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4974] ppid=4957 vsize=28231644 memory=279677935784592 CPUtime=0.03 cores=0-7 /proc/4959/task/4974/stat : 4974 (java) R 4957 4957 3098 0 -1 4202560 279 0 0 0 3 0 0 0 20 0 20 0 418287336 28909203456 12566 33554432000 4194304 4196468 140734181328432 140448848896072 140450439475664 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4975] ppid=4957 vsize=28231644 memory=279677935782288 CPUtime=0.03 cores=0-7 /proc/4959/task/4975/stat : 4975 (java) S 4957 4957 3098 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 20 0 418287336 28909203456 12566 33554432000 4194304 4196468 140734181328432 140448847862512 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4976] ppid=4957 vsize=28231644 memory=279677935798448 CPUtime=0.12 cores=0-7 /proc/4959/task/4976/stat : 4976 (java) S 4957 4957 3098 0 -1 1077944384 870 0 0 0 12 0 0 0 20 0 20 0 418287336 28909203456 12566 33554432000 4194304 4196468 140734181328432 140448846809968 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4977] ppid=4957 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4977/stat : 4977 (java) S 4957 4957 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418287336 28909203456 12566 33554432000 4194304 4196468 140734181328432 140448845756640 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4978] ppid=4957 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/4959/task/4978/stat : 4978 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287337 28909203456 12566 33554432000 4194304 4196468 140734181328432 140448844704176 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51720 KiB [startup+0.700895 s] /proc/loadavg: 4.36 3.58 3.23 4/212 4978 /proc/meminfo: memFree=31223252/32770624 swapFree=67000496/67108860 [pid=4957] ppid=4954 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4957/stat : 4957 (xcsp3-exec) S 4954 4957 3098 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418287330 115843072 364 33554432000 4194304 5098028 140721023284464 140721023282568 139636483924604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31805440 140721023288182 140721023288425 140721023288425 140721023291338 0 /proc/4957/statm: 28282 364 305 221 0 87 0 [pid=4959] ppid=4957 vsize=28233768 memory=98072 CPUtime=1.82 cores=0-7 /proc/4959/stat : 4959 (java) S 4957 4957 3098 0 -1 1077944320 15684 0 0 0 176 6 0 0 20 0 20 0 418287330 28911378432 24518 33554432000 4194304 4196468 140734181328432 140734181310976 140450457931511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 /proc/4959/statm: 7058442 24518 3466 1 0 7019544 0 [pid=4959/tid=4960] ppid=4957 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7 /proc/4959/task/4960/stat : 4960 (java) R 4957 4957 3098 0 -1 4202560 9184 0 0 0 64 3 0 0 20 0 20 0 418287331 28911378432 24518 33554432000 4194304 4196468 140734181328432 140450462164264 140450078018564 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4961] ppid=4957 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4961/stat : 4961 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28911378432 24518 33554432000 4194304 4196468 140734181328432 140450410551568 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4962] ppid=4957 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4962/stat : 4962 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28911378432 24518 33554432000 4194304 4196468 140734181328432 140450409499024 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4963] ppid=4957 vsize=28233768 memory=1056 CPUtime=0 cores=0-7 /proc/4959/task/4963/stat : 4963 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418287331 28911378432 24518 33554432000 4194304 4196468 140734181328432 140450408446480 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 ################ # More data... # ################ [pid=4959/tid=4976] ppid=4957 vsize=28768328 memory=6655300316396806240 CPUtime=1.12 cores=0-7 /proc/4959/task/4976/stat : 4976 (java) S 4957 4957 3098 0 -1 1077944384 12265 0 0 0 110 2 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448846809968 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4977] ppid=4957 vsize=28768328 memory=-7161732098442470212 CPUtime=0 cores=0-7 /proc/4959/task/4977/stat : 4977 (java) S 4957 4957 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448845756640 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4978] ppid=4957 vsize=28768328 memory=-3704326594976386922 CPUtime=0.01 cores=0-7 /proc/4959/task/4978/stat : 4978 (java) S 4957 4957 3098 0 -1 1077944384 462 0 0 0 0 1 0 0 20 0 28 0 418287337 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448844704176 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5030] ppid=4957 vsize=28768328 memory=-7449383003082255510 CPUtime=0 cores=0-7 /proc/4959/task/5030/stat : 5030 (java) S 4957 4957 3098 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448828366384 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5031] ppid=4957 vsize=28768328 memory=1399101730491701635 CPUtime=0 cores=0-7 /proc/4959/task/5031/stat : 5031 (java) S 4957 4957 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448835736656 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5032] ppid=4957 vsize=28768328 memory=-6528659786915370398 CPUtime=0.37 cores=0-7 /proc/4959/task/5032/stat : 5032 (java) R 4957 4957 3098 0 -1 4202560 23 0 0 0 37 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448832572360 140450086455719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5033] ppid=4957 vsize=28768328 memory=-6160033262581300882 CPUtime=0 cores=0-7 /proc/4959/task/5033/stat : 5033 (java) S 4957 4957 3098 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448829420880 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5034] ppid=4957 vsize=28768328 memory=4629541544090176886 CPUtime=0 cores=0-7 /proc/4959/task/5034/stat : 5034 (java) S 4957 4957 3098 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448830473680 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5035] ppid=4957 vsize=28768328 memory=1456 CPUtime=0 cores=0-7 /proc/4959/task/5035/stat : 5035 (java) S 4957 4957 3098 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448834684496 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5036] ppid=4957 vsize=28768328 memory=1238200 CPUtime=0 cores=0-7 /proc/4959/task/5036/stat : 5036 (java) S 4957 4957 3098 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448833630928 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5037] ppid=4957 vsize=28768328 memory=279677936687216 CPUtime=0 cores=0-7 /proc/4959/task/5037/stat : 5037 (java) S 4957 4957 3098 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448831525712 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 Current children cumulated CPU time: 331.81 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1280864 KiB [startup+45.6012 s] /proc/loadavg: 5.87 4.13 3.43 2/220 5037 /proc/meminfo: memFree=30008096/32770624 swapFree=67000496/67108860 [pid=4957] ppid=4954 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4957/stat : 4957 (xcsp3-exec) S 4954 4957 3098 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418287330 115843072 364 33554432000 4194304 5098028 140721023284464 140721023282568 139636483924604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31805440 140721023288182 140721023288425 140721023288425 140721023291338 0 /proc/4957/statm: 28282 364 305 221 0 87 0 [pid=4959] ppid=4957 vsize=28768328 memory=1279408 CPUtime=332.21 cores=0-7 /proc/4959/stat : 4959 (java) S 4957 4957 3098 0 -1 1077944320 87676 0 0 0 33113 108 0 0 20 0 28 0 418287330 29458767872 319852 33554432000 4194304 4196468 140734181328432 140734181310976 140450457931511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 /proc/4959/statm: 7192082 319852 3535 1 0 7153184 0 [pid=4959/tid=4960] ppid=4957 vsize=28768328 memory=8112282956445269571 CPUtime=0.97 cores=0-7 /proc/4959/task/4960/stat : 4960 (java) S 4957 4957 3098 0 -1 1077944384 9583 0 0 0 92 5 0 0 20 0 28 0 418287331 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450462172288 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4961] ppid=4957 vsize=28768328 memory=2012 CPUtime=0.17 cores=0-7 /proc/4959/task/4961/stat : 4961 (java) S 4957 4957 3098 0 -1 1077944384 319 0 0 0 10 7 0 0 20 0 28 0 418287331 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450410551568 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4962] ppid=4957 vsize=28768328 memory=1240 CPUtime=0.17 cores=0-7 /proc/4959/task/4962/stat : 4962 (java) S 4957 4957 3098 0 -1 1077944384 312 0 0 0 10 7 0 0 20 0 28 0 418287331 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450409499024 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4963] ppid=4957 vsize=28768328 memory=580 CPUtime=0.18 cores=0-7 /proc/4959/task/4963/stat : 4963 (java) S 4957 4957 3098 0 -1 1077944384 2331 0 0 0 11 7 0 0 20 0 28 0 418287331 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450408446480 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4964] ppid=4957 vsize=28768328 memory=1696 CPUtime=0.16 cores=0-7 /proc/4959/task/4964/stat : 4964 (java) S 4957 4957 3098 0 -1 1077944384 290 0 0 0 9 7 0 0 20 0 28 0 418287331 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450407393936 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4965] ppid=4957 vsize=28768328 memory=3436 CPUtime=0.18 cores=0-7 /proc/4959/task/4965/stat : 4965 (java) S 4957 4957 3098 0 -1 1077944384 792 0 0 0 11 7 0 0 20 0 28 0 418287332 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450406341392 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4966] ppid=4957 vsize=28768328 memory=1456 CPUtime=0.18 cores=0-7 /proc/4959/task/4966/stat : 4966 (java) S 4957 4957 3098 0 -1 1077944384 735 0 0 0 11 7 0 0 20 0 28 0 418287332 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450405288848 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4967] ppid=4957 vsize=28768328 memory=1249732 CPUtime=0.18 cores=0-7 /proc/4959/task/4967/stat : 4967 (java) S 4957 4957 3098 0 -1 1077944384 1156 0 0 0 11 7 0 0 20 0 28 0 418287332 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450404236304 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4968] ppid=4957 vsize=28768328 memory=4936 CPUtime=0.18 cores=0-7 /proc/4959/task/4968/stat : 4968 (java) S 4957 4957 3098 0 -1 1077944384 493 0 0 0 10 8 0 0 20 0 28 0 418287332 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450403183760 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4969] ppid=4957 vsize=28768328 memory=4100 CPUtime=0.03 cores=0-7 /proc/4959/task/4969/stat : 4969 (java) S 4957 4957 3098 0 -1 1077944384 2865 0 0 0 2 1 0 0 20 0 28 0 418287333 29458767872 319852 33554432000 4194304 4196468 140734181328432 140449123379184 140450457942658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4970] ppid=4957 vsize=28768328 memory=732 CPUtime=0 cores=0-7 /proc/4959/task/4970/stat : 4970 (java) S 4957 4957 3098 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 418287333 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448853124064 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4971] ppid=4957 vsize=28768328 memory=1412 CPUtime=0 cores=0-7 /proc/4959/task/4971/stat : 4971 (java) S 4957 4957 3098 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418287334 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448852071408 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4972] ppid=4957 vsize=28768328 memory=3232 CPUtime=0 cores=0-7 /proc/4959/task/4972/stat : 4972 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448851019984 140450457950107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4973] ppid=4957 vsize=28768328 memory=7548 CPUtime=3.5 cores=0-7 /proc/4959/task/4973/stat : 4973 (java) S 4957 4957 3098 0 -1 1077944384 11940 0 0 0 346 4 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448849967600 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4974] ppid=4957 vsize=28768328 memory=2832 CPUtime=3.15 cores=0-7 /proc/4959/task/4974/stat : 4974 (java) S 4957 4957 3098 0 -1 1077944384 12178 0 0 0 313 2 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448848915056 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4975] ppid=4957 vsize=28768328 memory=1224 CPUtime=3.59 cores=0-7 /proc/4959/task/4975/stat : 4975 (java) S 4957 4957 3098 0 -1 1077944384 10919 0 0 0 355 4 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448847862512 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4976] ppid=4957 vsize=28768328 memory=5916 CPUtime=1.12 cores=0-7 /proc/4959/task/4976/stat : 4976 (java) S 4957 4957 3098 0 -1 1077944384 12265 0 0 0 110 2 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448846809968 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4977] ppid=4957 vsize=28768328 memory=772 CPUtime=0 cores=0-7 /proc/4959/task/4977/stat : 4977 (java) S 4957 4957 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448845756640 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4978] ppid=4957 vsize=28768328 memory=1556 CPUtime=0.01 cores=0-7 /proc/4959/task/4978/stat : 4978 (java) S 4957 4957 3098 0 -1 1077944384 462 0 0 0 0 1 0 0 20 0 28 0 418287337 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448844704176 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5030] ppid=4957 vsize=28768328 memory=1056 CPUtime=0 cores=0-7 /proc/4959/task/5030/stat : 5030 (java) S 4957 4957 3098 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448828366384 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5031] ppid=4957 vsize=28768328 memory=964 CPUtime=0 cores=0-7 /proc/4959/task/5031/stat : 5031 (java) S 4957 4957 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448835736656 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5032] ppid=4957 vsize=28768328 memory=14008 CPUtime=0.77 cores=0-7 /proc/4959/task/5032/stat : 5032 (java) R 4957 4957 3098 0 -1 4202560 29 0 0 0 77 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448832572360 140450089226784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5033] ppid=4957 vsize=28768328 memory=2116 CPUtime=0 cores=0-7 /proc/4959/task/5033/stat : 5033 (java) S 4957 4957 3098 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448829420880 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5034] ppid=4957 vsize=28768328 memory=20488 CPUtime=0 cores=0-7 /proc/4959/task/5034/stat : 5034 (java) S 4957 4957 3098 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448830473680 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5035] ppid=4957 vsize=28768328 memory=11852 CPUtime=0 cores=0-7 /proc/4959/task/5035/stat : 5035 (java) S 4957 4957 3098 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448834684496 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5036] ppid=4957 vsize=28768328 memory=532 CPUtime=0 cores=0-7 /proc/4959/task/5036/stat : 5036 (java) S 4957 4957 3098 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448833630928 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5037] ppid=4957 vsize=28768328 memory=1564 CPUtime=0 cores=0-7 /proc/4959/task/5037/stat : 5037 (java) S 4957 4957 3098 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448831525712 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 Current children cumulated CPU time: 332.21 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1280864 KiB [startup+45.7012 s] /proc/loadavg: 5.87 4.13 3.43 2/220 5037 /proc/meminfo: memFree=30008096/32770624 swapFree=67000496/67108860 [pid=4957] ppid=4954 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4957/stat : 4957 (xcsp3-exec) S 4954 4957 3098 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418287330 115843072 364 33554432000 4194304 5098028 140721023284464 140721023282568 139636483924604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31805440 140721023288182 140721023288425 140721023288425 140721023291338 0 /proc/4957/statm: 28282 364 305 221 0 87 0 [pid=4959] ppid=4957 vsize=28768328 memory=1279408 CPUtime=332.31 cores=0-7 /proc/4959/stat : 4959 (java) S 4957 4957 3098 0 -1 1077944320 87679 0 0 0 33123 108 0 0 20 0 28 0 418287330 29458767872 319852 33554432000 4194304 4196468 140734181328432 140734181310976 140450457931511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 /proc/4959/statm: 7192082 319852 3535 1 0 7153184 0 [pid=4959/tid=4960] ppid=4957 vsize=28768328 memory=988 CPUtime=0.97 cores=0-7 /proc/4959/task/4960/stat : 4960 (java) S 4957 4957 3098 0 -1 1077944384 9583 0 0 0 92 5 0 0 20 0 28 0 418287331 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450462172288 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4961] ppid=4957 vsize=28768328 memory=2012 CPUtime=0.17 cores=0-7 /proc/4959/task/4961/stat : 4961 (java) S 4957 4957 3098 0 -1 1077944384 319 0 0 0 10 7 0 0 20 0 28 0 418287331 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450410551568 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4962] ppid=4957 vsize=28768328 memory=1456 CPUtime=0.17 cores=0-7 /proc/4959/task/4962/stat : 4962 (java) S 4957 4957 3098 0 -1 1077944384 312 0 0 0 10 7 0 0 20 0 28 0 418287331 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450409499024 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4963] ppid=4957 vsize=28768328 memory=956524 CPUtime=0.18 cores=0-7 /proc/4959/task/4963/stat : 4963 (java) S 4957 4957 3098 0 -1 1077944384 2331 0 0 0 11 7 0 0 20 0 28 0 418287331 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450408446480 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4964] ppid=4957 vsize=28768328 memory=301741373374332954 CPUtime=0.16 cores=0-7 /proc/4959/task/4964/stat : 4964 (java) S 4957 4957 3098 0 -1 1077944384 290 0 0 0 9 7 0 0 20 0 28 0 418287331 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450407393936 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4965] ppid=4957 vsize=28768328 memory=288230596050944315 CPUtime=0.18 cores=0-7 /proc/4959/task/4965/stat : 4965 (java) S 4957 4957 3098 0 -1 1077944384 792 0 0 0 11 7 0 0 20 0 28 0 418287332 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450406341392 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4966] ppid=4957 vsize=28768328 memory=0 CPUtime=0.18 cores=0-7 /proc/4959/task/4966/stat : 4966 (java) S 4957 4957 3098 0 -1 1077944384 735 0 0 0 11 7 0 0 20 0 28 0 418287332 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450405288848 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4967] ppid=4957 vsize=28768328 memory=0 CPUtime=0.18 cores=0-7 /proc/4959/task/4967/stat : 4967 (java) S 4957 4957 3098 0 -1 1077944384 1156 0 0 0 11 7 0 0 20 0 28 0 418287332 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450404236304 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4968] ppid=4957 vsize=28768328 memory=164 CPUtime=0.18 cores=0-7 /proc/4959/task/4968/stat : 4968 (java) S 4957 4957 3098 0 -1 1077944384 493 0 0 0 10 8 0 0 20 0 28 0 418287332 29458767872 319852 33554432000 4194304 4196468 140734181328432 140450403183760 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4969] ppid=4957 vsize=28768328 memory=279677936206048 CPUtime=0.03 cores=0-7 /proc/4959/task/4969/stat : 4969 (java) S 4957 4957 3098 0 -1 1077944384 2865 0 0 0 2 1 0 0 20 0 28 0 418287333 29458767872 319852 33554432000 4194304 4196468 140734181328432 140449123379184 140450457942658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4970] ppid=4957 vsize=28768328 memory=1249732 CPUtime=0 cores=0-7 /proc/4959/task/4970/stat : 4970 (java) S 4957 4957 3098 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 418287333 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448853124064 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4971] ppid=4957 vsize=28768328 memory=4639948313719891052 CPUtime=0 cores=0-7 /proc/4959/task/4971/stat : 4971 (java) S 4957 4957 3098 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418287334 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448852071408 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4972] ppid=4957 vsize=28768328 memory=1249668 CPUtime=0 cores=0-7 /proc/4959/task/4972/stat : 4972 (java) S 4957 4957 3098 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448851019984 140450457950107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4973] ppid=4957 vsize=28768328 memory=7308607065974924645 CPUtime=3.5 cores=0-7 /proc/4959/task/4973/stat : 4973 (java) S 4957 4957 3098 0 -1 1077944384 11940 0 0 0 346 4 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448849967600 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4974] ppid=4957 vsize=28768328 memory=8112282956445269571 CPUtime=3.15 cores=0-7 /proc/4959/task/4974/stat : 4974 (java) S 4957 4957 3098 0 -1 1077944384 12178 0 0 0 313 2 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448848915056 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4975] ppid=4957 vsize=28768328 memory=-7097495483846587584 CPUtime=3.59 cores=0-7 /proc/4959/task/4975/stat : 4975 (java) S 4957 4957 3098 0 -1 1077944384 10919 0 0 0 355 4 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448847862512 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4976] ppid=4957 vsize=28768328 memory=7105 CPUtime=1.12 cores=0-7 /proc/4959/task/4976/stat : 4976 (java) S 4957 4957 3098 0 -1 1077944384 12265 0 0 0 110 2 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448846809968 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4977] ppid=4957 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/4977/stat : 4977 (java) S 4957 4957 3098 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418287336 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448845756640 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=4978] ppid=4957 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7 /proc/4959/task/4978/stat : 4978 (java) S 4957 4957 3098 0 -1 1077944384 462 0 0 0 0 1 0 0 20 0 28 0 418287337 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448844704176 140450457942658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5030] ppid=4957 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/5030/stat : 5030 (java) S 4957 4957 3098 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448828366384 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5031] ppid=4957 vsize=28768328 memory=4134692831991783777 CPUtime=0 cores=0-7 /proc/4959/task/5031/stat : 5031 (java) S 4957 4957 3098 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448835736656 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5032] ppid=4957 vsize=28768328 memory=5939245615210326869 CPUtime=0.87 cores=0-7 /proc/4959/task/5032/stat : 5032 (java) R 4957 4957 3098 0 -1 4202560 32 0 0 0 87 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448832572360 140450086454761 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5033] ppid=4957 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/4959/task/5033/stat : 5033 (java) S 4957 4957 3098 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448829420880 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5034] ppid=4957 vsize=28768328 memory=1456 CPUtime=0 cores=0-7 /proc/4959/task/5034/stat : 5034 (java) S 4957 4957 3098 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448830473680 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5035] ppid=4957 vsize=28768328 memory=1456 CPUtime=0 cores=0-7 /proc/4959/task/5035/stat : 5035 (java) S 4957 4957 3098 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448834684496 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5036] ppid=4957 vsize=28768328 memory=3616 CPUtime=0 cores=0-7 /proc/4959/task/5036/stat : 5036 (java) S 4957 4957 3098 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448833630928 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 [pid=4959/tid=5037] ppid=4957 vsize=28768328 memory=36960 CPUtime=0 cores=0-7 /proc/4959/task/5037/stat : 5037 (java) S 4957 4957 3098 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 418291811 29458767872 319852 33554432000 4194304 4196468 140734181328432 140448831525712 140450457941717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22962176 140734181336042 140734181336214 140734181336214 140734181339087 0 Current children cumulated CPU time: 332.31 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1280864 KiB Child status: 0 Real time (s): 45.7575 CPU time (s): 332.384 CPU user time (s): 331.285 CPU system time (s): 1.09935 CPU usage (%): 726.404 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 1280864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 331.285 system time used= 1.09935 maximum resident set size= 1280452 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88344 page faults= 0 swaps= 0 block input operations= 0 block output operations= 216 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7159 involuntary context switches= 5507 # summary of solver processes directly reported to runsolver: # pid: 4957 # total CPU time (s): 332.384 # total CPU user time (s): 331.285 # total CPU system time (s): 1.09935 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.418249 second user time and 0.578103 second system time The end
Begin job on node146 at 2019-09-14 03:14:53 IDJOB=4394494 IDBENCH=124151 IDSOLVER=2843 FILE ID=node146/4394494-1568423733 RUNJOBID= node146-1568417371-3125 PBS_JOBID= 21702271 Free space on /tmp= 59032 MiB SOLVER NAME= choco-solver parallel 2019-06-14 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-4394494-1568423733/watcher-4394494-1568423733 -o /tmp/evaluation-result-4394494-1568423733/solver-4394494-1568423733 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568417371-3125 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 988188059 HOME/instance-4394494-1568423733.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c061694c4fbf3df02ed1b2618516c596 RANDOM SEED=988188059 node146.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31273404 kB MemAvailable: 31878420 kB Buffers: 182656 kB Cached: 687840 kB SwapCached: 4764 kB Active: 503980 kB Inactive: 374120 kB Active(anon): 24040 kB Inactive(anon): 21924 kB Active(file): 479940 kB Inactive(file): 352196 kB Unevictable: 110128 kB Mlocked: 110128 kB SwapTotal: 67108860 kB SwapFree: 67000496 kB Dirty: 25768 kB Writeback: 0 kB AnonPages: 53528 kB Mapped: 41940 kB Shmem: 29876 kB Slab: 207900 kB SReclaimable: 177428 kB SUnreclaim: 30472 kB KernelStack: 3888 kB PageTables: 5432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 500424 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 59004 MiB End job on node146 at 2019-09-14 03:15:38