Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-20 parallel | OPT | 123 | 391.351 | 49.7391 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml |
| MD5SUM | b82332625d17a81d2c62c757de216262 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 123 |
| Best CPU time to get the best result obtained on this benchmark | 10.9455 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3507 |
| Number of constraints | 189 |
| Number of domains | 12 |
| Minimum domain size | 2 |
| Maximum domain size | 20 |
| Distribution of domain sizes | [{"size":2,"count":334},{"size":3,"count":334},{"size":5,"count":334},{"size":8,"count":167},{"size":9,"count":167},{"size":10,"count":334},{"size":11,"count":167},{"size":12,"count":167},{"size":14,"count":668},{"size":15,"count":334},{"size":18,"count":334},{"size":20,"count":167}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":3507}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 3340 |
| Distribution of constraint arities | [{"arity":21,"count":167},{"arity":167,"count":21},{"arity":3340,"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":187}] |
| 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-4404963-1569003763.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404963-1569003763.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.24/0.89 c solve instance... 337.25/42.92 o 136 348.31/44.39 o 135 351.47/44.75 o 125 354.72/45.17 o 124 364.96/46.47 o 123 391.23/49.71 s OPTIMUM FOUND 391.23/49.71 v <instantiation> 391.23/49.71 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] 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] </list> 391.23/49.71 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 391.23/49.71 v </instantiation>
OK 123
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 (12378 MiB free)
memory of node 1: 16384 MiB (12783 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404963-1569003763/watcher-4404963-1569003763 -o /var/tmp/evaluation-result-4404963-1569003763/solver-4404963-1569003763 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1702060200 HOME/instance-4404963-1569003763.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30267, runsolver pid=30264
Current StackSize limit: 8192 KiB
[startup+0.100136 s]*
/proc/loadavg: 7.47 8.00 8.12 2/212 30288
/proc/meminfo: memFree=25746116/32770624 swapFree=66966844/67108860
[pid=30267] ppid=30264 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30267/stat : 30267 (xcsp3-exec) S 30264 30267 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476312761 115843072 364 33554432000 4194304 5098028 140732154051648 140732154049752 140538681049724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28012544 140732154057559 140732154057818 140732154057818 140732154060742 0
/proc/30267/statm: 28282 364 305 221 0 87 0
[pid=30269] ppid=30267 vsize=28227396 memory=31992 CPUtime=0.12 cores=0-7
/proc/30269/stat : 30269 (java) S 30267 30267 23748 0 -1 1077944320 5385 0 0 0 11 1 0 0 20 0 20 0 476312761 28904853504 7998 33554432000 4194304 4196468 140728251463264 140728251445808 139899678789367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
/proc/30269/statm: 7056849 7998 3146 1 0 7019032 0
[pid=30269/tid=30270] ppid=30267 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30269/task/30270/stat : 30270 (java) R 30267 30267 23748 0 -1 4202560 3306 0 0 0 8 1 0 0 20 0 20 0 476312762 28904853504 7998 33554432000 4194304 4196468 140728251463264 139899683015840 140728252139701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30271] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30271/stat : 30271 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 7998 33554432000 4194304 4196468 140728251463264 139899635341840 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30272] ppid=30267 vsize=28227396 memory=140151192118912 CPUtime=0 cores=0-7
/proc/30269/task/30272/stat : 30272 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 7998 33554432000 4194304 4196468 140728251463264 139899229559440 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30273] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30273/stat : 30273 (java) S 30267 30267 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 7998 33554432000 4194304 4196468 140728251463264 139899228506384 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30274] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30274/stat : 30274 (java) S 30267 30267 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 7998 33554432000 4194304 4196468 140728251463264 139899227453840 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30275] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30275/stat : 30275 (java) S 30267 30267 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 7998 33554432000 4194304 4196468 140728251463264 139899226401808 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30276] ppid=30267 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30269/task/30276/stat : 30276 (java) S 30267 30267 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 7998 33554432000 4194304 4196468 140728251463264 139899225349264 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30277] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30277/stat : 30277 (java) S 30267 30267 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 7998 33554432000 4194304 4196468 140728251463264 139899224296208 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30278] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30278/stat : 30278 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 7998 33554432000 4194304 4196468 140728251463264 139899223243664 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30279] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30279/stat : 30279 (java) S 30267 30267 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476312764 28904853504 7998 33554432000 4194304 4196468 140728251463264 139898795059440 139899678800514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30280] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30280/stat : 30280 (java) S 30267 30267 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476312764 28904853504 7998 33554432000 4194304 4196468 140728251463264 139898794005664 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30281] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30281/stat : 30281 (java) S 30267 30267 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476312765 28904853504 7998 33554432000 4194304 4196468 140728251463264 139898792952560 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30282] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30282/stat : 30282 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312767 28904853504 7998 33554432000 4194304 4196468 140728251463264 139898791901136 139899678807963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30283] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30283/stat : 30283 (java) S 30267 30267 23748 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 476312767 28904853504 7998 33554432000 4194304 4196468 140728251463264 139898790849264 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30284] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30284/stat : 30284 (java) R 30267 30267 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476312767 28904853504 7998 33554432000 4194304 4196468 140728251463264 139898789796720 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30285] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30285/stat : 30285 (java) S 30267 30267 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476312767 28904853504 7998 33554432000 4194304 4196468 140728251463264 139898788743664 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30286] ppid=30267 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30269/task/30286/stat : 30286 (java) R 30267 30267 23748 0 -1 4202560 336 0 0 0 1 0 0 0 20 0 20 0 476312767 28904853504 7998 33554432000 4194304 4196468 140728251463264 139898787691120 139899678801302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30287] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30287/stat : 30287 (java) S 30267 30267 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476312767 28904853504 7998 33554432000 4194304 4196468 140728251463264 139898786638304 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30288] ppid=30267 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30269/task/30288/stat : 30288 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312768 28904853504 7998 33554432000 4194304 4196468 140728251463264 139898785585840 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 33448 KiB
[startup+0.210652 s]*
/proc/loadavg: 7.47 8.00 8.12 2/212 30288
/proc/meminfo: memFree=25734096/32770624 swapFree=66966844/67108860
[pid=30267] ppid=30264 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30267/stat : 30267 (xcsp3-exec) S 30264 30267 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476312761 115843072 364 33554432000 4194304 5098028 140732154051648 140732154049752 140538681049724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28012544 140732154057559 140732154057818 140732154057818 140732154060742 0
/proc/30267/statm: 28282 364 305 221 0 87 0
[pid=30269] ppid=30267 vsize=28227396 memory=42968 CPUtime=0.33 cores=0-7
/proc/30269/stat : 30269 (java) S 30267 30267 23748 0 -1 1077944320 8984 0 0 0 30 3 0 0 20 0 20 0 476312761 28904853504 10742 33554432000 4194304 4196468 140728251463264 140728251445808 139899678789367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
/proc/30269/statm: 7056849 10742 3302 1 0 7019032 0
[pid=30269/tid=30270] ppid=30267 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/30269/task/30270/stat : 30270 (java) R 30267 30267 23748 0 -1 4202560 6105 0 0 0 18 2 0 0 20 0 20 0 476312762 28904853504 10742 33554432000 4194304 4196468 140728251463264 139899683021280 139899678801302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30271] ppid=30267 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/30269/task/30271/stat : 30271 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 10742 33554432000 4194304 4196468 140728251463264 139899635341840 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30272] ppid=30267 vsize=28227396 memory=288370527343830656 CPUtime=0 cores=0-7
/proc/30269/task/30272/stat : 30272 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 10742 33554432000 4194304 4196468 140728251463264 139899229559440 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30273] ppid=30267 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30269/task/30273/stat : 30273 (java) S 30267 30267 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 10742 33554432000 4194304 4196468 140728251463264 139899228506384 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30274] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30274/stat : 30274 (java) S 30267 30267 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 10742 33554432000 4194304 4196468 140728251463264 139899227453840 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30275] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30275/stat : 30275 (java) S 30267 30267 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 10742 33554432000 4194304 4196468 140728251463264 139899226401808 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30276] ppid=30267 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30269/task/30276/stat : 30276 (java) S 30267 30267 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 10742 33554432000 4194304 4196468 140728251463264 139899225349264 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30277] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30277/stat : 30277 (java) S 30267 30267 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 10742 33554432000 4194304 4196468 140728251463264 139899224296208 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30278] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30278/stat : 30278 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312762 28904853504 10742 33554432000 4194304 4196468 140728251463264 139899223243664 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30279] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30279/stat : 30279 (java) S 30267 30267 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476312764 28904853504 10742 33554432000 4194304 4196468 140728251463264 139898795059440 139899678800514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30280] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30280/stat : 30280 (java) S 30267 30267 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476312764 28904853504 10742 33554432000 4194304 4196468 140728251463264 139898794005664 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30281] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30281/stat : 30281 (java) S 30267 30267 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476312765 28904853504 10742 33554432000 4194304 4196468 140728251463264 139898792952560 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30282] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30282/stat : 30282 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312767 28904853504 10742 33554432000 4194304 4196468 140728251463264 139898791901136 139899678807963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30283] ppid=30267 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30269/task/30283/stat : 30283 (java) S 30267 30267 23748 0 -1 1077944384 496 0 0 0 1 0 0 0 20 0 20 0 476312767 28904853504 10742 33554432000 4194304 4196468 140728251463264 139898790849264 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30284] ppid=30267 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30269/task/30284/stat : 30284 (java) S 30267 30267 23748 0 -1 1077944384 232 0 0 0 1 0 0 0 20 0 20 0 476312767 28904853504 10742 33554432000 4194304 4196468 140728251463264 139898789796720 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30285] ppid=30267 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/30269/task/30285/stat : 30285 (java) S 30267 30267 23748 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 20 0 476312767 28904853504 10742 33554432000 4194304 4196468 140728251463264 139898788743664 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30286] ppid=30267 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/30269/task/30286/stat : 30286 (java) R 30267 30267 23748 0 -1 4202560 713 0 0 0 7 0 0 0 20 0 20 0 476312767 28904853504 10742 33554432000 4194304 4196468 140728251463264 139898787691120 139899657744542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30287] ppid=30267 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30287/stat : 30287 (java) S 30267 30267 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476312767 28904853504 10742 33554432000 4194304 4196468 140728251463264 139898786638304 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30288] ppid=30267 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30269/task/30288/stat : 30288 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312768 28904853504 10742 33554432000 4194304 4196468 140728251463264 139898785585840 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 44424 KiB
[startup+0.310505 s]*
/proc/loadavg: 7.47 8.00 8.12 3/212 30288
/proc/meminfo: memFree=25727456/32770624 swapFree=66966844/67108860
[pid=30267] ppid=30264 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30267/stat : 30267 (xcsp3-exec) S 30264 30267 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476312761 115843072 364 33554432000 4194304 5098028 140732154051648 140732154049752 140538681049724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28012544 140732154057559 140732154057818 140732154057818 140732154060742 0
/proc/30267/statm: 28282 364 305 221 0 87 0
[pid=30269] ppid=30267 vsize=28231652 memory=51112 CPUtime=0.51 cores=0-7
/proc/30269/stat : 30269 (java) S 30267 30267 23748 0 -1 1077944320 10163 0 0 0 47 4 0 0 20 0 20 0 476312761 28909211648 12778 33554432000 4194304 4196468 140728251463264 140728251445808 139899678789367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
/proc/30269/statm: 7057913 12778 3337 1 0 7019032 0
[pid=30269/tid=30270] ppid=30267 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/30269/task/30270/stat : 30270 (java) R 30267 30267 23748 0 -1 4202560 7177 0 0 0 27 3 0 0 20 0 20 0 476312762 28909211648 12778 33554432000 4194304 4196468 140728251463264 139899683020480 139899662869854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30271] ppid=30267 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30271/stat : 30271 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312762 28909211648 12778 33554432000 4194304 4196468 140728251463264 139899635341840 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30272] ppid=30267 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30272/stat : 30272 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312762 28909211648 12778 33554432000 4194304 4196468 140728251463264 139899229559440 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30273] ppid=30267 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30273/stat : 30273 (java) S 30267 30267 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476312762 28909211648 12778 33554432000 4194304 4196468 140728251463264 139899228506384 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30274] ppid=30267 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30274/stat : 30274 (java) S 30267 30267 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476312762 28909211648 12778 33554432000 4194304 4196468 140728251463264 139899227453840 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30275] ppid=30267 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/30269/task/30275/stat : 30275 (java) S 30267 30267 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476312762 28909211648 12778 33554432000 4194304 4196468 140728251463264 139899226401808 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30276] ppid=30267 vsize=28231652 memory=140151091196847 CPUtime=0 cores=0-7
/proc/30269/task/30276/stat : 30276 (java) S 30267 30267 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476312762 28909211648 12778 33554432000 4194304 4196468 140728251463264 139899225349264 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30277] ppid=30267 vsize=28231652 memory=140151091199152 CPUtime=0 cores=0-7
/proc/30269/task/30277/stat : 30277 (java) S 30267 30267 23748 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476312762 28909211648 12778 33554432000 4194304 4196468 140728251463264 139899224296208 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30278] ppid=30267 vsize=28231652 memory=3472464049272370656 CPUtime=0 cores=0-7
/proc/30269/task/30278/stat : 30278 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312762 28909211648 12778 33554432000 4194304 4196468 140728251463264 139899223243664 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30279] ppid=30267 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30279/stat : 30279 (java) S 30267 30267 23748 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476312764 28909211648 12778 33554432000 4194304 4196468 140728251463264 139898795059440 139899678800514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30280] ppid=30267 vsize=28231652 memory=280302182409872 CPUtime=0 cores=0-7
/proc/30269/task/30280/stat : 30280 (java) S 30267 30267 23748 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476312764 28909211648 12805 33554432000 4194304 4196468 140728251463264 139898794005664 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30281] ppid=30267 vsize=28231652 memory=280302182416784 CPUtime=0 cores=0-7
/proc/30269/task/30281/stat : 30281 (java) S 30267 30267 23748 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476312765 28909211648 12805 33554432000 4194304 4196468 140728251463264 139898792952560 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30282] ppid=30267 vsize=28231652 memory=280302182358032 CPUtime=0 cores=0-7
/proc/30269/task/30282/stat : 30282 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312767 28909211648 12805 33554432000 4194304 4196468 140728251463264 139898791901136 139899678807963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30283] ppid=30267 vsize=28231652 memory=280302182430608 CPUtime=0.02 cores=0-7
/proc/30269/task/30283/stat : 30283 (java) S 30267 30267 23748 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 20 0 476312767 28909211648 12805 33554432000 4194304 4196468 140728251463264 139898790849264 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30284] ppid=30267 vsize=28231652 memory=280302182437520 CPUtime=0.02 cores=0-7
/proc/30269/task/30284/stat : 30284 (java) S 30267 30267 23748 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 20 0 476312767 28909211648 12805 33554432000 4194304 4196468 140728251463264 139898789796720 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30285] ppid=30267 vsize=28231652 memory=280302182435216 CPUtime=0.02 cores=0-7
/proc/30269/task/30285/stat : 30285 (java) S 30267 30267 23748 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 20 0 476312767 28909211648 12805 33554432000 4194304 4196468 140728251463264 139898788743664 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30286] ppid=30267 vsize=28231652 memory=280302182451376 CPUtime=0.12 cores=0-7
/proc/30269/task/30286/stat : 30286 (java) S 30267 30267 23748 0 -1 1077944384 797 0 0 0 12 0 0 0 20 0 20 0 476312767 28909211648 12805 33554432000 4194304 4196468 140728251463264 139898787691120 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30287] ppid=30267 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30287/stat : 30287 (java) S 30267 30267 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476312767 28909211648 12805 33554432000 4194304 4196468 140728251463264 139898786638304 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30288] ppid=30267 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/30269/task/30288/stat : 30288 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312768 28909211648 12805 33554432000 4194304 4196468 140728251463264 139898785585840 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 52568 KiB
[startup+0.701004 s]
/proc/loadavg: 7.47 8.00 8.12 5/212 30288
/proc/meminfo: memFree=25710388/32770624 swapFree=66966844/67108860
[pid=30267] ppid=30264 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30267/stat : 30267 (xcsp3-exec) S 30264 30267 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476312761 115843072 364 33554432000 4194304 5098028 140732154051648 140732154049752 140538681049724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28012544 140732154057559 140732154057818 140732154057818 140732154060742 0
/proc/30267/statm: 28282 364 305 221 0 87 0
[pid=30269] ppid=30267 vsize=28233776 memory=99668 CPUtime=1.8 cores=0-7
/proc/30269/stat : 30269 (java) S 30267 30267 23748 0 -1 1077944320 14637 0 0 0 173 7 0 0 20 0 20 0 476312761 28911386624 24917 33554432000 4194304 4196468 140728251463264 140728251445808 139899678789367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
/proc/30269/statm: 7058444 24917 3464 1 0 7019544 0
[pid=30269/tid=30270] ppid=30267 vsize=28233776 memory=280302182809264 CPUtime=0.67 cores=0-7
/proc/30269/task/30270/stat : 30270 (java) R 30267 30267 23748 0 -1 4202560 8655 0 0 0 63 4 0 0 20 0 20 0 476312762 28911386624 24917 33554432000 4194304 4196468 140728251463264 139899683028032 139899317371985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30271] ppid=30267 vsize=28233776 memory=140151091405680 CPUtime=0 cores=0-7
/proc/30269/task/30271/stat : 30271 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312762 28911386624 24917 33554432000 4194304 4196468 140728251463264 139899635341840 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30272] ppid=30267 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/30269/task/30272/stat : 30272 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476312762 28911386624 24983 33554432000 4194304 4196468 140728251463264 139899229559440 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30273] ppid=30267 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/30269/task/30273/stat : 30273 (java) S 30267 30267 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476312762 28911386624 24983 33554432000 4194304 4196468 140728251463264 139899228506384 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
################
# More data... #
################
[pid=30269/tid=30286] ppid=30267 vsize=28766288 memory=30544 CPUtime=0.78 cores=0-7
/proc/30269/task/30286/stat : 30286 (java) S 30267 30267 23748 0 -1 1077944384 6942 0 0 0 77 1 0 0 20 0 28 0 476312767 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898787691120 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30287] ppid=30267 vsize=28766288 memory=2120 CPUtime=0 cores=0-7
/proc/30269/task/30287/stat : 30287 (java) S 30267 30267 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476312767 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898786638304 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30288] ppid=30267 vsize=28766288 memory=508 CPUtime=0.01 cores=0-7
/proc/30269/task/30288/stat : 30288 (java) S 30267 30267 23748 0 -1 1077944384 367 0 0 0 0 1 0 0 20 0 28 0 476312768 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898785585840 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30332] ppid=30267 vsize=28766288 memory=1560 CPUtime=2.71 cores=0-7
/proc/30269/task/30332/stat : 30332 (java) R 30267 30267 23748 0 -1 4202560 189 0 0 0 271 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898768996712 139899322173472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30333] ppid=30267 vsize=28766288 memory=932 CPUtime=2.66 cores=0-7
/proc/30269/task/30333/stat : 30333 (java) R 30267 30267 23748 0 -1 4202560 83 0 0 0 266 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898776366664 139899322696163 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30334] ppid=30267 vsize=28766288 memory=1568 CPUtime=2.64 cores=0-7
/proc/30269/task/30334/stat : 30334 (java) R 30267 30267 23748 0 -1 4202560 96 0 0 0 264 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898771104456 139899322173472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30335] ppid=30267 vsize=28766288 memory=1444 CPUtime=2.64 cores=0-7
/proc/30269/task/30335/stat : 30335 (java) R 30267 30267 23748 0 -1 4202560 666 0 0 0 264 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898775315416 139899324281354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30336] ppid=30267 vsize=28766288 memory=864 CPUtime=2.66 cores=0-7
/proc/30269/task/30336/stat : 30336 (java) R 30267 30267 23748 0 -1 4202560 170 0 0 0 266 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898774261568 139899318199488 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30337] ppid=30267 vsize=28766288 memory=1976 CPUtime=2.71 cores=0-7
/proc/30269/task/30337/stat : 30337 (java) R 30267 30267 23748 0 -1 4202560 355 0 0 0 271 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898773209320 139899322346631 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30338] ppid=30267 vsize=28766288 memory=2496 CPUtime=2.6 cores=0-7
/proc/30269/task/30338/stat : 30338 (java) R 30267 30267 23748 0 -1 4202560 87 0 0 0 260 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898772156216 139899322346626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30339] ppid=30267 vsize=28766288 memory=288230574492221466 CPUtime=2.67 cores=0-7
/proc/30269/task/30339/stat : 30339 (java) R 30267 30267 23748 0 -1 4202560 109 0 0 0 267 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898770050744 139899322346577 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
Current children cumulated CPU time: 387.23 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 630704 KiB
[startup+49.6013 s]
/proc/loadavg: 8.05 8.07 8.14 9/220 30339
/proc/meminfo: memFree=25148240/32770624 swapFree=66966844/67108860
[pid=30267] ppid=30264 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30267/stat : 30267 (xcsp3-exec) S 30264 30267 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476312761 115843072 364 33554432000 4194304 5098028 140732154051648 140732154049752 140538681049724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28012544 140732154057559 140732154057818 140732154057818 140732154060742 0
/proc/30267/statm: 28282 364 305 221 0 87 0
[pid=30269] ppid=30267 vsize=28766288 memory=629248 CPUtime=390.42 cores=0-7
/proc/30269/stat : 30269 (java) S 30267 30267 23748 0 -1 1077944320 61122 0 0 0 38977 65 0 0 20 0 28 0 476312761 29456678912 157312 33554432000 4194304 4196468 140728251463264 140728251445808 139899678789367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
/proc/30269/statm: 7191572 157312 3535 1 0 7152672 0
[pid=30269/tid=30270] ppid=30267 vsize=28766288 memory=6791534058613427641 CPUtime=0.91 cores=0-7
/proc/30269/task/30270/stat : 30270 (java) S 30267 30267 23748 0 -1 1077944384 9026 0 0 0 86 5 0 0 20 0 28 0 476312762 29456678912 157312 33554432000 4194304 4196468 140728251463264 139899683030144 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30271] ppid=30267 vsize=28766288 memory=0 CPUtime=0.11 cores=0-7
/proc/30269/task/30271/stat : 30271 (java) S 30267 30267 23748 0 -1 1077944384 1221 0 0 0 7 4 0 0 20 0 28 0 476312762 29456678912 157312 33554432000 4194304 4196468 140728251463264 139899635341840 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30272] ppid=30267 vsize=28766288 memory=0 CPUtime=0.11 cores=0-7
/proc/30269/task/30272/stat : 30272 (java) S 30267 30267 23748 0 -1 1077944384 1208 0 0 0 7 4 0 0 20 0 28 0 476312762 29456678912 157312 33554432000 4194304 4196468 140728251463264 139899229559440 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30273] ppid=30267 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/30269/task/30273/stat : 30273 (java) S 30267 30267 23748 0 -1 1077944384 1160 0 0 0 7 3 0 0 20 0 28 0 476312762 29456678912 157312 33554432000 4194304 4196468 140728251463264 139899228506384 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30274] ppid=30267 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7
/proc/30269/task/30274/stat : 30274 (java) S 30267 30267 23748 0 -1 1077944384 451 0 0 0 8 4 0 0 20 0 28 0 476312762 29456678912 157312 33554432000 4194304 4196468 140728251463264 139899227453840 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30275] ppid=30267 vsize=28766288 memory=2020 CPUtime=0.12 cores=0-7
/proc/30269/task/30275/stat : 30275 (java) S 30267 30267 23748 0 -1 1077944384 251 0 0 0 8 4 0 0 20 0 28 0 476312762 29456678912 157312 33554432000 4194304 4196468 140728251463264 139899226401808 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30276] ppid=30267 vsize=28766288 memory=1432 CPUtime=0.1 cores=0-7
/proc/30269/task/30276/stat : 30276 (java) S 30267 30267 23748 0 -1 1077944384 1473 0 0 0 7 3 0 0 20 0 28 0 476312762 29456678912 157312 33554432000 4194304 4196468 140728251463264 139899225349264 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30277] ppid=30267 vsize=28766288 memory=776 CPUtime=0.1 cores=0-7
/proc/30269/task/30277/stat : 30277 (java) S 30267 30267 23748 0 -1 1077944384 349 0 0 0 7 3 0 0 20 0 28 0 476312762 29456678912 157312 33554432000 4194304 4196468 140728251463264 139899224296208 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30278] ppid=30267 vsize=28766288 memory=1056 CPUtime=0.12 cores=0-7
/proc/30269/task/30278/stat : 30278 (java) S 30267 30267 23748 0 -1 1077944384 423 0 0 0 8 4 0 0 20 0 28 0 476312762 29456678912 157312 33554432000 4194304 4196468 140728251463264 139899223243664 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30279] ppid=30267 vsize=28766288 memory=3616 CPUtime=0.02 cores=0-7
/proc/30269/task/30279/stat : 30279 (java) S 30267 30267 23748 0 -1 1077944384 1232 0 0 0 2 0 0 0 20 0 28 0 476312764 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898795059440 139899678800514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30280] ppid=30267 vsize=28766288 memory=1552 CPUtime=0 cores=0-7
/proc/30269/task/30280/stat : 30280 (java) S 30267 30267 23748 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476312764 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898794005664 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30281] ppid=30267 vsize=28766288 memory=3608 CPUtime=0 cores=0-7
/proc/30269/task/30281/stat : 30281 (java) S 30267 30267 23748 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 476312765 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898792952560 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30282] ppid=30267 vsize=28766288 memory=55132 CPUtime=0 cores=0-7
/proc/30269/task/30282/stat : 30282 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476312767 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898791901136 139899678807963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30283] ppid=30267 vsize=28766288 memory=1456 CPUtime=1.69 cores=0-7
/proc/30269/task/30283/stat : 30283 (java) S 30267 30267 23748 0 -1 1077944384 6733 0 0 0 167 2 0 0 20 0 28 0 476312767 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898790849264 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30284] ppid=30267 vsize=28766288 memory=628644 CPUtime=1.64 cores=0-7
/proc/30269/task/30284/stat : 30284 (java) S 30267 30267 23748 0 -1 1077944384 7938 0 0 0 162 2 0 0 20 0 28 0 476312767 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898789796720 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30285] ppid=30267 vsize=28766288 memory=3608 CPUtime=1.71 cores=0-7
/proc/30269/task/30285/stat : 30285 (java) R 30267 30267 23748 0 -1 4202560 8126 0 0 0 169 2 0 0 20 0 28 0 476312767 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898788743960 139899658483024 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30286] ppid=30267 vsize=28766288 memory=55132 CPUtime=0.78 cores=0-7
/proc/30269/task/30286/stat : 30286 (java) S 30267 30267 23748 0 -1 1077944384 6942 0 0 0 77 1 0 0 20 0 28 0 476312767 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898787691120 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30287] ppid=30267 vsize=28766288 memory=1456 CPUtime=0 cores=0-7
/proc/30269/task/30287/stat : 30287 (java) S 30267 30267 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476312767 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898786638304 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30288] ppid=30267 vsize=28766288 memory=508 CPUtime=0.01 cores=0-7
/proc/30269/task/30288/stat : 30288 (java) S 30267 30267 23748 0 -1 1077944384 367 0 0 0 0 1 0 0 20 0 28 0 476312768 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898785585840 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30332] ppid=30267 vsize=28766288 memory=1560 CPUtime=3.11 cores=0-7
/proc/30269/task/30332/stat : 30332 (java) R 30267 30267 23748 0 -1 4202560 195 0 0 0 311 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898768996696 139899319111817 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30333] ppid=30267 vsize=28766288 memory=932 CPUtime=3.05 cores=0-7
/proc/30269/task/30333/stat : 30333 (java) R 30267 30267 23748 0 -1 4202560 91 0 0 0 305 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898776366776 139899322542331 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30334] ppid=30267 vsize=28766288 memory=1568 CPUtime=3.04 cores=0-7
/proc/30269/task/30334/stat : 30334 (java) R 30267 30267 23748 0 -1 4202560 113 0 0 0 304 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898771103944 139899322173603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30335] ppid=30267 vsize=28766288 memory=1444 CPUtime=3.03 cores=0-7
/proc/30269/task/30335/stat : 30335 (java) R 30267 30267 23748 0 -1 4202560 720 0 0 0 303 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898775314920 139899322801751 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30336] ppid=30267 vsize=28766288 memory=864 CPUtime=3.06 cores=0-7
/proc/30269/task/30336/stat : 30336 (java) R 30267 30267 23748 0 -1 4202560 183 0 0 0 306 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898774261816 139899322524521 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30337] ppid=30267 vsize=28766288 memory=1976 CPUtime=3.11 cores=0-7
/proc/30269/task/30337/stat : 30337 (java) R 30267 30267 23748 0 -1 4202560 366 0 0 0 311 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898773209112 139899318199509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30338] ppid=30267 vsize=28766288 memory=1456 CPUtime=3 cores=0-7
/proc/30269/task/30338/stat : 30338 (java) R 30267 30267 23748 0 -1 4202560 92 0 0 0 300 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898772155856 139899322346666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30339] ppid=30267 vsize=28766288 memory=628804 CPUtime=3.07 cores=0-7
/proc/30269/task/30339/stat : 30339 (java) R 30267 30267 23748 0 -1 4202560 121 0 0 0 307 0 0 0 20 0 28 0 476317409 29456678912 157312 33554432000 4194304 4196468 140728251463264 139898770051000 139899322173598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
Current children cumulated CPU time: 390.42 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 630704 KiB
[startup+49.7013 s]
/proc/loadavg: 8.05 8.07 8.14 9/220 30339
/proc/meminfo: memFree=25148240/32770624 swapFree=66966844/67108860
[pid=30267] ppid=30264 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/30267/stat : 30267 (xcsp3-exec) S 30264 30267 23748 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476312761 115843072 364 33554432000 4194304 5098028 140732154051648 140732154049752 140538681049724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28012544 140732154057559 140732154057818 140732154057818 140732154060742 0
/proc/30267/statm: 28282 364 305 221 0 87 0
[pid=30269] ppid=30267 vsize=28766288 memory=629256 CPUtime=391.23 cores=0-7
/proc/30269/stat : 30269 (java) S 30267 30267 23748 0 -1 1077944320 61840 0 0 0 39057 66 0 0 20 0 28 0 476312761 29456678912 157314 33554432000 4194304 4196468 140728251463264 140728251445808 139899678789367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
/proc/30269/statm: 7191572 157314 3535 1 0 7152672 0
[pid=30269/tid=30270] ppid=30267 vsize=28766288 memory=1456 CPUtime=0.91 cores=0-7
/proc/30269/task/30270/stat : 30270 (java) S 30267 30267 23748 0 -1 1077944384 9026 0 0 0 86 5 0 0 20 0 28 0 476312762 29456678912 157314 33554432000 4194304 4196468 140728251463264 139899683030144 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30271] ppid=30267 vsize=28766288 memory=628424 CPUtime=0.11 cores=0-7
/proc/30269/task/30271/stat : 30271 (java) S 30267 30267 23748 0 -1 1077944384 1221 0 0 0 7 4 0 0 20 0 28 0 476312762 29456678912 157314 33554432000 4194304 4196468 140728251463264 139899635341840 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30272] ppid=30267 vsize=28766288 memory=1056 CPUtime=0.11 cores=0-7
/proc/30269/task/30272/stat : 30272 (java) S 30267 30267 23748 0 -1 1077944384 1208 0 0 0 7 4 0 0 20 0 28 0 476312762 29456678912 157314 33554432000 4194304 4196468 140728251463264 139899229559440 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30273] ppid=30267 vsize=28766288 memory=1456 CPUtime=0.1 cores=0-7
/proc/30269/task/30273/stat : 30273 (java) S 30267 30267 23748 0 -1 1077944384 1160 0 0 0 7 3 0 0 20 0 28 0 476312762 29456678912 157314 33554432000 4194304 4196468 140728251463264 139899228506384 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30274] ppid=30267 vsize=28766288 memory=280302183594208 CPUtime=0.12 cores=0-7
/proc/30269/task/30274/stat : 30274 (java) S 30267 30267 23748 0 -1 1077944384 451 0 0 0 8 4 0 0 20 0 28 0 476312762 29456678912 157314 33554432000 4194304 4196468 140728251463264 139899227453840 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30275] ppid=30267 vsize=28766288 memory=8 CPUtime=0.12 cores=0-7
/proc/30269/task/30275/stat : 30275 (java) S 30267 30267 23748 0 -1 1077944384 251 0 0 0 8 4 0 0 20 0 28 0 476312762 29456678912 157314 33554432000 4194304 4196468 140728251463264 139899226401808 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30276] ppid=30267 vsize=28766288 memory=1432 CPUtime=0.1 cores=0-7
/proc/30269/task/30276/stat : 30276 (java) S 30267 30267 23748 0 -1 1077944384 1473 0 0 0 7 3 0 0 20 0 28 0 476312762 29456678912 157314 33554432000 4194304 4196468 140728251463264 139899225349264 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30277] ppid=30267 vsize=28766288 memory=776 CPUtime=0.1 cores=0-7
/proc/30269/task/30277/stat : 30277 (java) S 30267 30267 23748 0 -1 1077944384 349 0 0 0 7 3 0 0 20 0 28 0 476312762 29456678912 157314 33554432000 4194304 4196468 140728251463264 139899224296208 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30278] ppid=30267 vsize=28766288 memory=1456 CPUtime=0.12 cores=0-7
/proc/30269/task/30278/stat : 30278 (java) S 30267 30267 23748 0 -1 1077944384 423 0 0 0 8 4 0 0 20 0 28 0 476312762 29456678912 157314 33554432000 4194304 4196468 140728251463264 139899223243664 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30279] ppid=30267 vsize=28766288 memory=3608 CPUtime=0.02 cores=0-7
/proc/30269/task/30279/stat : 30279 (java) S 30267 30267 23748 0 -1 1077944384 1232 0 0 0 2 0 0 0 20 0 28 0 476312764 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898795059440 139899678800514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30280] ppid=30267 vsize=28766288 memory=280302183686640 CPUtime=0 cores=0-7
/proc/30269/task/30280/stat : 30280 (java) S 30267 30267 23748 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476312764 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898794005664 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30281] ppid=30267 vsize=28766288 memory=7300482607024154769 CPUtime=0 cores=0-7
/proc/30269/task/30281/stat : 30281 (java) S 30267 30267 23748 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 476312765 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898792952560 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30282] ppid=30267 vsize=28766288 memory=628800 CPUtime=0 cores=0-7
/proc/30269/task/30282/stat : 30282 (java) S 30267 30267 23748 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476312767 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898791901136 139899678807963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30283] ppid=30267 vsize=28766288 memory=1456 CPUtime=1.71 cores=0-7
/proc/30269/task/30283/stat : 30283 (java) R 30267 30267 23748 0 -1 12591168 7408 0 0 0 169 2 0 0 20 0 28 0 476312767 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898790849560 139899671030757 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30284] ppid=30267 vsize=28766288 memory=628424 CPUtime=1.64 cores=0-7
/proc/30269/task/30284/stat : 30284 (java) S 30267 30267 23748 0 -1 1077944384 7938 0 0 0 162 2 0 0 20 0 28 0 476312767 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898789796720 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30285] ppid=30267 vsize=28766288 memory=1456 CPUtime=1.72 cores=0-7
/proc/30269/task/30285/stat : 30285 (java) S 30267 30267 23748 0 -1 1077944384 8164 0 0 0 170 2 0 0 20 0 28 0 476312767 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898788743664 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30286] ppid=30267 vsize=28766288 memory=628888 CPUtime=0.78 cores=0-7
/proc/30269/task/30286/stat : 30286 (java) S 30267 30267 23748 0 -1 1077944384 6942 0 0 0 77 1 0 0 20 0 28 0 476312767 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898787691120 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30287] ppid=30267 vsize=28766288 memory=4104 CPUtime=0 cores=0-7
/proc/30269/task/30287/stat : 30287 (java) S 30267 30267 23748 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476312767 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898786638304 139899678799573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30288] ppid=30267 vsize=28766288 memory=1456 CPUtime=0.01 cores=0-7
/proc/30269/task/30288/stat : 30288 (java) S 30267 30267 23748 0 -1 1077944384 367 0 0 0 0 1 0 0 20 0 28 0 476312768 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898785585840 139899678800514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30332] ppid=30267 vsize=28766288 memory=1456 CPUtime=3.21 cores=0-7
/proc/30269/task/30332/stat : 30332 (java) R 30267 30267 23748 0 -1 4202560 195 0 0 0 321 0 0 0 20 0 28 0 476317409 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898768996696 139899322346602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30333] ppid=30267 vsize=28766288 memory=628596 CPUtime=3.15 cores=0-7
/proc/30269/task/30333/stat : 30333 (java) R 30267 30267 23748 0 -1 4202560 91 0 0 0 315 0 0 0 20 0 28 0 476317409 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898776366776 139899322542336 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30334] ppid=30267 vsize=28766288 memory=1456 CPUtime=3.13 cores=0-7
/proc/30269/task/30334/stat : 30334 (java) R 30267 30267 23748 0 -1 4202560 113 0 0 0 313 0 0 0 20 0 28 0 476317409 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898771103944 139899322347037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30335] ppid=30267 vsize=28766288 memory=1456 CPUtime=3.12 cores=0-7
/proc/30269/task/30335/stat : 30335 (java) R 30267 30267 23748 0 -1 4202560 725 0 0 0 312 0 0 0 20 0 28 0 476317409 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898775315176 139899324281409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30336] ppid=30267 vsize=28766288 memory=629244 CPUtime=3.16 cores=0-7
/proc/30269/task/30336/stat : 30336 (java) R 30267 30267 23748 0 -1 4202560 183 0 0 0 316 0 0 0 20 0 28 0 476317409 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898774261816 139899318199509 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30337] ppid=30267 vsize=28766288 memory=3608 CPUtime=3.21 cores=0-7
/proc/30269/task/30337/stat : 30337 (java) R 30267 30267 23748 0 -1 4202560 366 0 0 0 321 0 0 0 20 0 28 0 476317409 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898773209112 139899322346992 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30338] ppid=30267 vsize=28766288 memory=55132 CPUtime=3.09 cores=0-7
/proc/30269/task/30338/stat : 30338 (java) R 30267 30267 23748 0 -1 4202560 92 0 0 0 309 0 0 0 20 0 28 0 476317409 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898772155856 139899322696163 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
[pid=30269/tid=30339] ppid=30267 vsize=28766288 memory=988 CPUtime=3.17 cores=0-7
/proc/30269/task/30339/stat : 30339 (java) R 30267 30267 23748 0 -1 4202560 121 0 0 0 317 0 0 0 20 0 28 0 476317409 29456678912 157314 33554432000 4194304 4196468 140728251463264 139898770051000 139899322524331 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23015424 140728251470812 140728251470987 140728251470987 140728251473871 0
Current children cumulated CPU time: 391.23 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 630712 KiB
Child status: 0
Real time (s): 49.7391
CPU time (s): 391.351
CPU user time (s): 390.671
CPU system time (s): 0.679879
CPU usage (%): 786.808
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 650004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 390.671
system time used= 0.679879
maximum resident set size= 669236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6401
involuntary context switches= 5365
# summary of solver processes directly reported to runsolver:
# pid: 30267
# total CPU time (s): 391.351
# total CPU user time (s): 390.671
# total CPU system time (s): 0.679879
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.445741 second user time and 0.639114 second system time
The end
Begin job on node145 at 2019-09-20 20:22:01 IDJOB=4404963 IDBENCH=124135 IDSOLVER=2866 FILE ID=node145/4404963-1569003763 RUNJOBID= node145-1568994215-23775 PBS_JOBID= 21704717 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404963-1569003763/watcher-4404963-1569003763 -o /var/tmp/evaluation-result-4404963-1569003763/solver-4404963-1569003763 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1568994215-23775 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1702060200 HOME/instance-4404963-1569003763.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=1702060200 node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 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: 25765628 kB MemAvailable: 31820376 kB Buffers: 96528 kB Cached: 6119732 kB SwapCached: 32484 kB Active: 3019432 kB Inactive: 3232324 kB Active(anon): 4688 kB Inactive(anon): 79836 kB Active(file): 3014744 kB Inactive(file): 3152488 kB Unevictable: 110664 kB Mlocked: 110664 kB SwapTotal: 67108860 kB SwapFree: 66966844 kB Dirty: 26212 kB Writeback: 0 kB AnonPages: 46540 kB Mapped: 52040 kB Shmem: 40640 kB Slab: 344356 kB SReclaimable: 315976 kB SUnreclaim: 28380 kB KernelStack: 3728 kB PageTables: 5344 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506808 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13488 MiB End job on node145 at 2019-09-20 20:22:51