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 | 384.389 | 48.8913 |
| 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 | 11.5853 |
| 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-4404663-1568996838.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404663-1568996838.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.68/0.90 c solve instance... 326.71/41.61 o 136 339.35/43.28 o 135 342.52/43.63 o 125 345.76/44.07 o 124 357.63/45.51 o 123 383.96/48.86 s OPTIMUM FOUND 383.96/48.86 v <instantiation> 383.96/48.86 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> 383.96/48.86 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> 383.96/48.86 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 (6734 MiB free)
memory of node 1: 16384 MiB (7042 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404663-1568996838/watcher-4404663-1568996838 -o /var/tmp/evaluation-result-4404663-1568996838/solver-4404663-1568996838 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1568994231-28588 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2101397451 HOME/instance-4404663-1568996838.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29854, runsolver pid=29851
[startup+0.100138 s]*
/proc/loadavg: 7.53 8.12 8.18 2/211 29875
/proc/meminfo: memFree=14091340/32770624 swapFree=66953204/67108860
[pid=29854] ppid=29851 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/29854/stat : 29854 (xcsp3-exec) S 29851 29854 28561 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475598656 115843072 362 33554432000 4194304 5098028 140737191834032 140737191832136 140534534898300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19341312 140737191842641 140737191842901 140737191842901 140737191845830 0
/proc/29854/statm: 28282 362 304 221 0 87 0
[pid=29856] ppid=29854 vsize=28227396 memory=28800 CPUtime=0.12 cores=0-7
/proc/29856/stat : 29856 (java) S 29854 29854 28561 0 -1 1077944320 5699 0 0 0 11 1 0 0 20 0 20 0 475598656 28904853504 7200 33554432000 4194304 4196468 140730693088080 140730693070624 140327938785015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
/proc/29856/statm: 7056849 7200 3123 1 0 7019032 0
[pid=29856/tid=29857] ppid=29854 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/29856/task/29857/stat : 29857 (java) R 29854 29854 28561 0 -1 4202560 3602 0 0 0 8 0 0 0 20 0 20 0 475598657 28904853504 7200 33554432000 4194304 4196468 140730693088080 140327943018288 140327922865532 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29858] ppid=29854 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29856/task/29858/stat : 29858 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 7200 33554432000 4194304 4196468 140730693088080 140327858637968 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29859] ppid=29854 vsize=28227396 memory=139740275930752 CPUtime=0 cores=0-7
/proc/29856/task/29859/stat : 29859 (java) S 29854 29854 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 7200 33554432000 4194304 4196468 140730693088080 140327857585168 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29860] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29860/stat : 29860 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 7200 33554432000 4194304 4196468 140730693088080 140327487921040 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29861] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29861/stat : 29861 (java) S 29854 29854 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 7200 33554432000 4194304 4196468 140730693088080 140327486868240 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29862] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29862/stat : 29862 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 7200 33554432000 4194304 4196468 140730693088080 140327485815440 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29863] ppid=29854 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29856/task/29863/stat : 29863 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 7200 33554432000 4194304 4196468 140730693088080 140327484762640 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29864] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29864/stat : 29864 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 7200 33554432000 4194304 4196468 140730693088080 140327483709840 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29865] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29865/stat : 29865 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 7200 33554432000 4194304 4196468 140730693088080 140327482657040 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29866] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29866/stat : 29866 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598659 28904853504 7200 33554432000 4194304 4196468 140730693088080 140326653422448 140327938796162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29867] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29867/stat : 29867 (java) S 29854 29854 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475598659 28904853504 7200 33554432000 4194304 4196468 140730693088080 140326652368416 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29868] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29868/stat : 29868 (java) S 29854 29854 28561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475598659 28904853504 7200 33554432000 4194304 4196468 140730693088080 140326651315568 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29869] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29869/stat : 29869 (java) S 29854 29854 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598662 28904853504 7200 33554432000 4194304 4196468 140730693088080 140326650263888 140327938803611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29870] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29870/stat : 29870 (java) S 29854 29854 28561 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 475598662 28904853504 7200 33554432000 4194304 4196468 140730693088080 140326649211248 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29871] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29871/stat : 29871 (java) S 29854 29854 28561 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 475598662 28904853504 7200 33554432000 4194304 4196468 140730693088080 140326128969968 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29872] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29872/stat : 29872 (java) S 29854 29854 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598662 28904853504 7200 33554432000 4194304 4196468 140730693088080 140326127917168 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29873] ppid=29854 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/29856/task/29873/stat : 29873 (java) R 29854 29854 28561 0 -1 4202560 363 0 0 0 1 0 0 0 20 0 20 0 475598662 28904853504 7200 33554432000 4194304 4196468 140730693088080 140326126864368 140327917708894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29874] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29874/stat : 29874 (java) S 29854 29854 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598662 28904853504 7200 33554432000 4194304 4196468 140730693088080 140326125812832 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29875] ppid=29854 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29856/task/29875/stat : 29875 (java) S 29854 29854 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598662 28904853504 7200 33554432000 4194304 4196468 140730693088080 140326124760112 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30248 KiB
[startup+0.210696 s]*
/proc/loadavg: 7.53 8.12 8.18 3/211 29875
/proc/meminfo: memFree=14078956/32770624 swapFree=66953204/67108860
[pid=29854] ppid=29851 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/29854/stat : 29854 (xcsp3-exec) S 29851 29854 28561 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475598656 115843072 362 33554432000 4194304 5098028 140737191834032 140737191832136 140534534898300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19341312 140737191842641 140737191842901 140737191842901 140737191845830 0
/proc/29854/statm: 28282 362 304 221 0 87 0
[pid=29856] ppid=29854 vsize=28227396 memory=40556 CPUtime=0.34 cores=0-7
/proc/29856/stat : 29856 (java) S 29854 29854 28561 0 -1 1077944320 9405 0 0 0 31 3 0 0 20 0 20 0 475598656 28904853504 10139 33554432000 4194304 4196468 140730693088080 140730693070624 140327938785015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
/proc/29856/statm: 7056849 10139 3289 1 0 7019032 0
[pid=29856/tid=29857] ppid=29854 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/29856/task/29857/stat : 29857 (java) R 29854 29854 28561 0 -1 4202560 6621 0 0 0 18 1 0 0 20 0 20 0 475598657 28904853504 10139 33554432000 4194304 4196468 140730693088080 140327943019056 140327922865502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29858] ppid=29854 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/29856/task/29858/stat : 29858 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 10139 33554432000 4194304 4196468 140730693088080 140327858637968 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29859] ppid=29854 vsize=28227396 memory=3762674260850898592 CPUtime=0 cores=0-7
/proc/29856/task/29859/stat : 29859 (java) S 29854 29854 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 10139 33554432000 4194304 4196468 140730693088080 140327857585168 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29860] ppid=29854 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29856/task/29860/stat : 29860 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 10139 33554432000 4194304 4196468 140730693088080 140327487921040 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29861] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29861/stat : 29861 (java) S 29854 29854 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 10139 33554432000 4194304 4196468 140730693088080 140327486868240 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29862] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29862/stat : 29862 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 10139 33554432000 4194304 4196468 140730693088080 140327485815440 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29863] ppid=29854 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29856/task/29863/stat : 29863 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 10139 33554432000 4194304 4196468 140730693088080 140327484762640 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29864] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29864/stat : 29864 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 10139 33554432000 4194304 4196468 140730693088080 140327483709840 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29865] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29865/stat : 29865 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28904853504 10139 33554432000 4194304 4196468 140730693088080 140327482657040 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29866] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29866/stat : 29866 (java) S 29854 29854 28561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475598659 28904853504 10139 33554432000 4194304 4196468 140730693088080 140326653422448 140327938796162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29867] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29867/stat : 29867 (java) S 29854 29854 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475598659 28904853504 10139 33554432000 4194304 4196468 140730693088080 140326652368416 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29868] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29868/stat : 29868 (java) S 29854 29854 28561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475598659 28904853504 10139 33554432000 4194304 4196468 140730693088080 140326651315568 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29869] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29869/stat : 29869 (java) S 29854 29854 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598662 28904853504 10139 33554432000 4194304 4196468 140730693088080 140326650263888 140327938803611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29870] ppid=29854 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/29856/task/29870/stat : 29870 (java) S 29854 29854 28561 0 -1 1077944384 430 0 0 0 1 0 0 0 20 0 20 0 475598662 28904853504 10139 33554432000 4194304 4196468 140730693088080 140326649211248 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29871] ppid=29854 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/29856/task/29871/stat : 29871 (java) S 29854 29854 28561 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 475598662 28904853504 10139 33554432000 4194304 4196468 140730693088080 140326128969968 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29872] ppid=29854 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/29856/task/29872/stat : 29872 (java) S 29854 29854 28561 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 20 0 475598662 28904853504 10139 33554432000 4194304 4196468 140730693088080 140326127917168 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29873] ppid=29854 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/29856/task/29873/stat : 29873 (java) R 29854 29854 28561 0 -1 4202560 812 0 0 0 7 0 0 0 20 0 20 0 475598662 28904853504 10139 33554432000 4194304 4196468 140730693088080 140326126864176 140327931022142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29874] ppid=29854 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29874/stat : 29874 (java) S 29854 29854 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598662 28904853504 10139 33554432000 4194304 4196468 140730693088080 140326125812832 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29875] ppid=29854 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29856/task/29875/stat : 29875 (java) S 29854 29854 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598662 28904853504 10139 33554432000 4194304 4196468 140730693088080 140326124760112 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42004 KiB
[startup+0.310413 s]*
/proc/loadavg: 7.53 8.12 8.18 3/211 29875
/proc/meminfo: memFree=14071188/32770624 swapFree=66953204/67108860
[pid=29854] ppid=29851 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/29854/stat : 29854 (xcsp3-exec) S 29851 29854 28561 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475598656 115843072 362 33554432000 4194304 5098028 140737191834032 140737191832136 140534534898300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19341312 140737191842641 140737191842901 140737191842901 140737191845830 0
/proc/29854/statm: 28282 362 304 221 0 87 0
[pid=29856] ppid=29854 vsize=28231652 memory=49796 CPUtime=0.53 cores=0-7
/proc/29856/stat : 29856 (java) S 29854 29854 28561 0 -1 1077944320 10825 0 0 0 49 4 0 0 20 0 20 0 475598656 28909211648 12449 33554432000 4194304 4196468 140730693088080 140730693070624 140327938785015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
/proc/29856/statm: 7057913 12449 3348 1 0 7019032 0
[pid=29856/tid=29857] ppid=29854 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/29856/task/29857/stat : 29857 (java) R 29854 29854 28561 0 -1 4202560 7771 0 0 0 27 2 0 0 20 0 20 0 475598657 28909211648 12449 33554432000 4194304 4196468 140730693088080 140327943016128 140327922865502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29858] ppid=29854 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29858/stat : 29858 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28909211648 12449 33554432000 4194304 4196468 140730693088080 140327858637968 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29859] ppid=29854 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29859/stat : 29859 (java) S 29854 29854 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598657 28909211648 12449 33554432000 4194304 4196468 140730693088080 140327857585168 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29860] ppid=29854 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29860/stat : 29860 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28909211648 12449 33554432000 4194304 4196468 140730693088080 140327487921040 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29861] ppid=29854 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29861/stat : 29861 (java) S 29854 29854 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598657 28909211648 12449 33554432000 4194304 4196468 140730693088080 140327486868240 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29862] ppid=29854 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29862/stat : 29862 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28909211648 12449 33554432000 4194304 4196468 140730693088080 140327485815440 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29863] ppid=29854 vsize=28231652 memory=139740116511407 CPUtime=0 cores=0-7
/proc/29856/task/29863/stat : 29863 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28909211648 12449 33554432000 4194304 4196468 140730693088080 140327484762640 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29864] ppid=29854 vsize=28231652 memory=139740116513712 CPUtime=0 cores=0-7
/proc/29856/task/29864/stat : 29864 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28909211648 12449 33554432000 4194304 4196468 140730693088080 140327483709840 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29865] ppid=29854 vsize=28231652 memory=139740116516016 CPUtime=0 cores=0-7
/proc/29856/task/29865/stat : 29865 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28909211648 12449 33554432000 4194304 4196468 140730693088080 140327482657040 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29866] ppid=29854 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29866/stat : 29866 (java) S 29854 29854 28561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475598659 28909211648 12449 33554432000 4194304 4196468 140730693088080 140326653422448 140327938796162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29867] ppid=29854 vsize=28231652 memory=279480233045904 CPUtime=0 cores=0-7
/proc/29856/task/29867/stat : 29867 (java) S 29854 29854 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475598659 28909211648 12449 33554432000 4194304 4196468 140730693088080 140326652368416 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29868] ppid=29854 vsize=28231652 memory=279480233043600 CPUtime=0 cores=0-7
/proc/29856/task/29868/stat : 29868 (java) S 29854 29854 28561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475598659 28909211648 12449 33554432000 4194304 4196468 140730693088080 140326651315568 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29869] ppid=29854 vsize=28231652 memory=279480233050512 CPUtime=0 cores=0-7
/proc/29856/task/29869/stat : 29869 (java) S 29854 29854 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598662 28909211648 12449 33554432000 4194304 4196468 140730693088080 140326650263888 140327938803611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29870] ppid=29854 vsize=28231652 memory=279480232991792 CPUtime=0.02 cores=0-7
/proc/29856/task/29870/stat : 29870 (java) S 29854 29854 28561 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 20 0 475598662 28909211648 12449 33554432000 4194304 4196468 140730693088080 140326649211248 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29871] ppid=29854 vsize=28231652 memory=279480233064336 CPUtime=0.03 cores=0-7
/proc/29856/task/29871/stat : 29871 (java) S 29854 29854 28561 0 -1 1077944384 181 0 0 0 3 0 0 0 20 0 20 0 475598662 28909211648 12449 33554432000 4194304 4196468 140730693088080 140326128969968 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29872] ppid=29854 vsize=28231652 memory=279480233071248 CPUtime=0.03 cores=0-7
/proc/29856/task/29872/stat : 29872 (java) R 29854 29854 28561 0 -1 4202560 158 0 0 0 3 0 0 0 20 0 20 0 475598662 28909211648 12449 33554432000 4194304 4196468 140730693088080 140326127898184 140327920309255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29873] ppid=29854 vsize=28231652 memory=279480233068944 CPUtime=0.12 cores=0-7
/proc/29856/task/29873/stat : 29873 (java) S 29854 29854 28561 0 -1 1077944384 976 0 0 0 12 0 0 0 20 0 20 0 475598662 28909211648 12449 33554432000 4194304 4196468 140730693088080 140326126864368 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29874] ppid=29854 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29874/stat : 29874 (java) S 29854 29854 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598662 28909211648 12449 33554432000 4194304 4196468 140730693088080 140326125812832 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29875] ppid=29854 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/29856/task/29875/stat : 29875 (java) S 29854 29854 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598662 28909211648 12449 33554432000 4194304 4196468 140730693088080 140326124760112 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51244 KiB
[startup+0.701012 s]
/proc/loadavg: 7.53 8.12 8.18 4/211 29875
/proc/meminfo: memFree=14053728/32770624 swapFree=66953204/67108860
[pid=29854] ppid=29851 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/29854/stat : 29854 (xcsp3-exec) S 29851 29854 28561 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475598656 115843072 362 33554432000 4194304 5098028 140737191834032 140737191832136 140534534898300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19341312 140737191842641 140737191842901 140737191842901 140737191845830 0
/proc/29854/statm: 28282 362 304 221 0 87 0
[pid=29856] ppid=29854 vsize=28233776 memory=99740 CPUtime=1.82 cores=0-7
/proc/29856/stat : 29856 (java) S 29854 29854 28561 0 -1 1077944320 15074 0 0 0 175 7 0 0 20 0 20 0 475598656 28911386624 24935 33554432000 4194304 4196468 140730693088080 140730693070624 140327938785015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
/proc/29856/statm: 7058444 24935 3465 1 0 7019544 0
[pid=29856/tid=29857] ppid=29854 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/29856/task/29857/stat : 29857 (java) R 29854 29854 28561 0 -1 4202560 9256 0 0 0 64 4 0 0 20 0 20 0 475598657 28911386624 24935 33554432000 4194304 4196468 140730693088080 140327943020864 140327938796950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29858] ppid=29854 vsize=28233776 memory=139740116722544 CPUtime=0 cores=0-7
/proc/29856/task/29858/stat : 29858 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28911386624 24935 33554432000 4194304 4196468 140730693088080 140327858637968 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29859] ppid=29854 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/29856/task/29859/stat : 29859 (java) S 29854 29854 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598657 28911386624 24935 33554432000 4194304 4196468 140730693088080 140327857585168 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29860] ppid=29854 vsize=28233776 memory=1256 CPUtime=0 cores=0-7
/proc/29856/task/29860/stat : 29860 (java) S 29854 29854 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598657 28911386624 24935 33554432000 4194304 4196468 140730693088080 140327487921040 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
################
# More data... #
################
[pid=29856/tid=29873] ppid=29854 vsize=28766288 memory=924 CPUtime=0.8 cores=0-7
/proc/29856/task/29873/stat : 29873 (java) S 29854 29854 28561 0 -1 1077944384 5848 0 0 0 78 2 0 0 20 0 28 0 475598662 29456678912 156621 33554432000 4194304 4196468 140730693088080 140326126864368 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29874] ppid=29854 vsize=28766288 memory=3688 CPUtime=0 cores=0-7
/proc/29856/task/29874/stat : 29874 (java) S 29854 29854 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475598662 29456678912 156621 33554432000 4194304 4196468 140730693088080 140326125812832 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29875] ppid=29854 vsize=28766288 memory=1984 CPUtime=0.02 cores=0-7
/proc/29856/task/29875/stat : 29875 (java) S 29854 29854 28561 0 -1 1077944384 469 0 0 0 1 1 0 0 20 0 28 0 475598662 29456678912 156621 33554432000 4194304 4196468 140730693088080 140326124760112 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29920] ppid=29854 vsize=28766288 memory=6791534058613427641 CPUtime=2.48 cores=0-7
/proc/29856/task/29920/stat : 29920 (java) R 29854 29854 28561 0 -1 4202560 81 0 0 0 248 0 0 0 20 0 28 0 475603208 29456678912 156621 33554432000 4194304 4196468 140730693088080 140325669387280 140327543813527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29921] ppid=29854 vsize=28766288 memory=55368 CPUtime=2.36 cores=0-7
/proc/29856/task/29921/stat : 29921 (java) R 29854 29854 28561 0 -1 4202560 66 0 0 0 236 0 0 0 20 0 28 0 475603208 29456678912 156621 33554432000 4194304 4196468 140730693088080 140326114726008 140327543826026 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29922] ppid=29854 vsize=28766288 memory=988 CPUtime=2.48 cores=0-7
/proc/29856/task/29922/stat : 29922 (java) R 29854 29854 28561 0 -1 4202560 112 0 0 0 248 0 0 0 20 0 28 0 475603208 29456678912 156621 33554432000 4194304 4196468 140730693088080 140325666230280 140327538235712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29923] ppid=29854 vsize=28766288 memory=2008 CPUtime=2.48 cores=0-7
/proc/29856/task/29923/stat : 29923 (java) R 29854 29854 28561 0 -1 4202560 680 0 0 0 248 0 0 0 20 0 28 0 475603208 29456678912 156621 33554432000 4194304 4196468 140730693088080 140325668335624 140327543826096 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29924] ppid=29854 vsize=28766288 memory=1424 CPUtime=2.48 cores=0-7
/proc/29856/task/29924/stat : 29924 (java) R 29854 29854 28561 0 -1 4202560 235 0 0 0 248 0 0 0 20 0 28 0 475603208 29456678912 156621 33554432000 4194304 4196468 140730693088080 140326112622696 140327544821190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29925] ppid=29854 vsize=28766288 memory=3640 CPUtime=2.48 cores=0-7
/proc/29856/task/29925/stat : 29925 (java) R 29854 29854 28561 0 -1 4202560 87 0 0 0 248 0 0 0 20 0 28 0 475603208 29456678912 156621 33554432000 4194304 4196468 140730693088080 140325667282568 140327544821112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29926] ppid=29854 vsize=28766288 memory=1548 CPUtime=2.48 cores=0-7
/proc/29856/task/29926/stat : 29926 (java) R 29854 29854 28561 0 -1 4202560 90 0 0 0 248 0 0 0 20 0 28 0 475603208 29456678912 156621 33554432000 4194304 4196468 140730693088080 140326115779064 140327543826007 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29927] ppid=29854 vsize=28766288 memory=1728 CPUtime=2.43 cores=0-7
/proc/29856/task/29927/stat : 29927 (java) R 29854 29854 28561 0 -1 4202560 132 0 0 0 243 0 0 0 20 0 28 0 475603208 29456678912 156621 33554432000 4194304 4196468 140730693088080 140326113673472 140327544821104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
Current children cumulated CPU time: 377.61 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 627932 KiB
[startup+48.4017 s]
/proc/loadavg: 7.90 8.14 8.18 9/219 29927
/proc/meminfo: memFree=13496760/32770624 swapFree=66953204/67108860
[pid=29854] ppid=29851 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/29854/stat : 29854 (xcsp3-exec) S 29851 29854 28561 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475598656 115843072 362 33554432000 4194304 5098028 140737191834032 140737191832136 140534534898300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19341312 140737191842641 140737191842901 140737191842901 140737191845830 0
/proc/29854/statm: 28282 362 304 221 0 87 0
[pid=29856] ppid=29854 vsize=28766288 memory=626492 CPUtime=380.73 cores=0-7
/proc/29856/stat : 29856 (java) S 29854 29854 28561 0 -1 1077944320 59193 0 0 0 38010 63 0 0 20 0 28 0 475598656 29456678912 156623 33554432000 4194304 4196468 140730693088080 140730693070624 140327938785015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
/proc/29856/statm: 7191572 156623 3536 1 0 7152672 0
[pid=29856/tid=29857] ppid=29854 vsize=28766288 memory=1760 CPUtime=0.92 cores=0-7
/proc/29856/task/29857/stat : 29857 (java) S 29854 29854 28561 0 -1 1077944384 9615 0 0 0 87 5 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327943025792 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29858] ppid=29854 vsize=28766288 memory=6791534058613427641 CPUtime=0.12 cores=0-7
/proc/29856/task/29858/stat : 29858 (java) S 29854 29854 28561 0 -1 1077944384 1326 0 0 0 8 4 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327858637968 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29859] ppid=29854 vsize=28766288 memory=626416 CPUtime=0.12 cores=0-7
/proc/29856/task/29859/stat : 29859 (java) S 29854 29854 28561 0 -1 1077944384 360 0 0 0 8 4 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327857585168 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29860] ppid=29854 vsize=28766288 memory=279480234737040 CPUtime=0.11 cores=0-7
/proc/29856/task/29860/stat : 29860 (java) S 29854 29854 28561 0 -1 1077944384 333 0 0 0 8 3 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327487921040 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29861] ppid=29854 vsize=28766288 memory=0 CPUtime=0.11 cores=0-7
/proc/29856/task/29861/stat : 29861 (java) S 29854 29854 28561 0 -1 1077944384 2725 0 0 0 8 3 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327486868240 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29862] ppid=29854 vsize=28766288 memory=6791534058613427641 CPUtime=0.11 cores=0-7
/proc/29856/task/29862/stat : 29862 (java) S 29854 29854 28561 0 -1 1077944384 329 0 0 0 8 3 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327485815440 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29863] ppid=29854 vsize=28766288 memory=6944656575208382560 CPUtime=0.12 cores=0-7
/proc/29856/task/29863/stat : 29863 (java) S 29854 29854 28561 0 -1 1077944384 1461 0 0 0 8 4 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327484762640 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29864] ppid=29854 vsize=28766288 memory=6655300316396806240 CPUtime=0.11 cores=0-7
/proc/29856/task/29864/stat : 29864 (java) S 29854 29854 28561 0 -1 1077944384 559 0 0 0 7 4 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327483709840 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29865] ppid=29854 vsize=28766288 memory=8334083345238234249 CPUtime=0.1 cores=0-7
/proc/29856/task/29865/stat : 29865 (java) S 29854 29854 28561 0 -1 1077944384 448 0 0 0 7 3 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327482657040 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29866] ppid=29854 vsize=28766288 memory=6944656575208382560 CPUtime=0.02 cores=0-7
/proc/29856/task/29866/stat : 29866 (java) S 29854 29854 28561 0 -1 1077944384 1359 0 0 0 2 0 0 0 20 0 28 0 475598659 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326653422448 140327938796162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29867] ppid=29854 vsize=28766288 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/29856/task/29867/stat : 29867 (java) S 29854 29854 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 475598659 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326652368416 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29868] ppid=29854 vsize=28766288 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/29856/task/29868/stat : 29868 (java) S 29854 29854 28561 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475598659 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326651315568 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29869] ppid=29854 vsize=28766288 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/29856/task/29869/stat : 29869 (java) S 29854 29854 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326650263888 140327938803611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29870] ppid=29854 vsize=28766288 memory=8317482817917895235 CPUtime=1.62 cores=0-7
/proc/29856/task/29870/stat : 29870 (java) S 29854 29854 28561 0 -1 1077944384 6535 0 0 0 160 2 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326649211248 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29871] ppid=29854 vsize=28766288 memory=30472 CPUtime=1.74 cores=0-7
/proc/29856/task/29871/stat : 29871 (java) S 29854 29854 28561 0 -1 1077944384 6080 0 0 0 173 1 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326128969968 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29872] ppid=29854 vsize=28766288 memory=14056 CPUtime=1.96 cores=0-7
/proc/29856/task/29872/stat : 29872 (java) S 29854 29854 28561 0 -1 1077944384 8592 0 0 0 194 2 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326127917168 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29873] ppid=29854 vsize=28766288 memory=2116 CPUtime=0.8 cores=0-7
/proc/29856/task/29873/stat : 29873 (java) S 29854 29854 28561 0 -1 1077944384 5848 0 0 0 78 2 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326126864368 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29874] ppid=29854 vsize=28766288 memory=520 CPUtime=0 cores=0-7
/proc/29856/task/29874/stat : 29874 (java) S 29854 29854 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326125812832 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29875] ppid=29854 vsize=28766288 memory=1560 CPUtime=0.02 cores=0-7
/proc/29856/task/29875/stat : 29875 (java) S 29854 29854 28561 0 -1 1077944384 471 0 0 0 1 1 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326124760112 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29920] ppid=29854 vsize=28766288 memory=924 CPUtime=2.87 cores=0-7
/proc/29856/task/29920/stat : 29920 (java) R 29854 29854 28561 0 -1 4202560 94 0 0 0 287 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140325669387416 140327543813353 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29921] ppid=29854 vsize=28766288 memory=3688 CPUtime=2.75 cores=0-7
/proc/29856/task/29921/stat : 29921 (java) R 29854 29854 28561 0 -1 4202560 72 0 0 0 275 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326114726008 140327544418298 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29922] ppid=29854 vsize=28766288 memory=1984 CPUtime=2.87 cores=0-7
/proc/29856/task/29922/stat : 29922 (java) R 29854 29854 28561 0 -1 4202560 126 0 0 0 287 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140325666230280 140327543826002 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29923] ppid=29854 vsize=28766288 memory=1440 CPUtime=2.87 cores=0-7
/proc/29856/task/29923/stat : 29923 (java) R 29854 29854 28561 0 -1 4202560 756 0 0 0 287 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140325668335992 140327543826007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29924] ppid=29854 vsize=28766288 memory=800 CPUtime=2.87 cores=0-7
/proc/29856/task/29924/stat : 29924 (java) R 29854 29854 28561 0 -1 4202560 293 0 0 0 287 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326112622696 140327544820683 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29925] ppid=29854 vsize=28766288 memory=2580 CPUtime=2.87 cores=0-7
/proc/29856/task/29925/stat : 29925 (java) R 29854 29854 28561 0 -1 4202560 102 0 0 0 287 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140325667282568 140327544821190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29926] ppid=29854 vsize=28766288 memory=1760 CPUtime=2.87 cores=0-7
/proc/29856/task/29926/stat : 29926 (java) R 29854 29854 28561 0 -1 4202560 94 0 0 0 287 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326115779064 140327543813542 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29927] ppid=29854 vsize=28766288 memory=0 CPUtime=2.82 cores=0-7
/proc/29856/task/29927/stat : 29927 (java) R 29854 29854 28561 0 -1 4202560 146 0 0 0 282 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326113673472 140327543813760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
Current children cumulated CPU time: 380.73 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 627940 KiB
[startup+48.8067 s]
/proc/loadavg: 7.90 8.14 8.18 9/219 29927
/proc/meminfo: memFree=13496760/32770624 swapFree=66953204/67108860
[pid=29854] ppid=29851 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/29854/stat : 29854 (xcsp3-exec) S 29851 29854 28561 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475598656 115843072 362 33554432000 4194304 5098028 140737191834032 140737191832136 140534534898300 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19341312 140737191842641 140737191842901 140737191842901 140737191845830 0
/proc/29854/statm: 28282 362 304 221 0 87 0
[pid=29856] ppid=29854 vsize=28766288 memory=626492 CPUtime=383.96 cores=0-7
/proc/29856/stat : 29856 (java) S 29854 29854 28561 0 -1 1077944320 59736 0 0 0 38333 63 0 0 20 0 28 0 475598656 29456678912 156623 33554432000 4194304 4196468 140730693088080 140730693070624 140327938785015 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
/proc/29856/statm: 7191572 156623 3536 1 0 7152672 0
[pid=29856/tid=29857] ppid=29854 vsize=28766288 memory=6791534058613427641 CPUtime=0.92 cores=0-7
/proc/29856/task/29857/stat : 29857 (java) S 29854 29854 28561 0 -1 1077944384 9615 0 0 0 87 5 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327943025792 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29858] ppid=29854 vsize=28766288 memory=302585819863187771 CPUtime=0.12 cores=0-7
/proc/29856/task/29858/stat : 29858 (java) S 29854 29854 28561 0 -1 1077944384 1326 0 0 0 8 4 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327858637968 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29859] ppid=29854 vsize=28766288 memory=15254861486763338 CPUtime=0.12 cores=0-7
/proc/29856/task/29859/stat : 29859 (java) S 29854 29854 28561 0 -1 1077944384 360 0 0 0 8 4 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327857585168 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29860] ppid=29854 vsize=28766288 memory=-1088251628401078322 CPUtime=0.11 cores=0-7
/proc/29856/task/29860/stat : 29860 (java) S 29854 29854 28561 0 -1 1077944384 333 0 0 0 8 3 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327487921040 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29861] ppid=29854 vsize=28766288 memory=-6078272389418215777 CPUtime=0.11 cores=0-7
/proc/29856/task/29861/stat : 29861 (java) S 29854 29854 28561 0 -1 1077944384 2725 0 0 0 8 3 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327486868240 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29862] ppid=29854 vsize=28766288 memory=-3472574513799858009 CPUtime=0.11 cores=0-7
/proc/29856/task/29862/stat : 29862 (java) S 29854 29854 28561 0 -1 1077944384 329 0 0 0 8 3 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327485815440 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29863] ppid=29854 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7
/proc/29856/task/29863/stat : 29863 (java) S 29854 29854 28561 0 -1 1077944384 1461 0 0 0 8 4 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327484762640 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29864] ppid=29854 vsize=28766288 memory=0 CPUtime=0.11 cores=0-7
/proc/29856/task/29864/stat : 29864 (java) S 29854 29854 28561 0 -1 1077944384 559 0 0 0 7 4 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327483709840 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29865] ppid=29854 vsize=28766288 memory=33 CPUtime=0.1 cores=0-7
/proc/29856/task/29865/stat : 29865 (java) S 29854 29854 28561 0 -1 1077944384 448 0 0 0 7 3 0 0 20 0 28 0 475598657 29456678912 156623 33554432000 4194304 4196468 140730693088080 140327482657040 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29866] ppid=29854 vsize=28766288 memory=6944656592387989600 CPUtime=0.02 cores=0-7
/proc/29856/task/29866/stat : 29866 (java) S 29854 29854 28561 0 -1 1077944384 1392 0 0 0 2 0 0 0 20 0 28 0 475598659 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326653422448 140327938796162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29867] ppid=29854 vsize=28766288 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/29856/task/29867/stat : 29867 (java) S 29854 29854 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 475598659 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326652368416 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29868] ppid=29854 vsize=28766288 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/29856/task/29868/stat : 29868 (java) S 29854 29854 28561 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475598659 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326651315568 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29869] ppid=29854 vsize=28766288 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/29856/task/29869/stat : 29869 (java) S 29854 29854 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326650263888 140327938803611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29870] ppid=29854 vsize=28766288 memory=6791534058613427641 CPUtime=1.62 cores=0-7
/proc/29856/task/29870/stat : 29870 (java) S 29854 29854 28561 0 -1 1077944384 6535 0 0 0 160 2 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326649211248 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29871] ppid=29854 vsize=28766288 memory=2116 CPUtime=1.74 cores=0-7
/proc/29856/task/29871/stat : 29871 (java) S 29854 29854 28561 0 -1 1077944384 6080 0 0 0 173 1 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326128969968 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29872] ppid=29854 vsize=28766288 memory=3504 CPUtime=1.96 cores=0-7
/proc/29856/task/29872/stat : 29872 (java) S 29854 29854 28561 0 -1 1077944384 8592 0 0 0 194 2 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326127917168 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29873] ppid=29854 vsize=28766288 memory=55368 CPUtime=0.8 cores=0-7
/proc/29856/task/29873/stat : 29873 (java) S 29854 29854 28561 0 -1 1077944384 5848 0 0 0 78 2 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326126864368 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29874] ppid=29854 vsize=28766288 memory=988 CPUtime=0 cores=0-7
/proc/29856/task/29874/stat : 29874 (java) S 29854 29854 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326125812832 140327938795221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29875] ppid=29854 vsize=28766288 memory=2008 CPUtime=0.02 cores=0-7
/proc/29856/task/29875/stat : 29875 (java) S 29854 29854 28561 0 -1 1077944384 490 0 0 0 1 1 0 0 20 0 28 0 475598662 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326124760112 140327938796162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29920] ppid=29854 vsize=28766288 memory=1424 CPUtime=3.28 cores=0-7
/proc/29856/task/29920/stat : 29920 (java) R 29854 29854 28561 0 -1 4202560 125 0 0 0 328 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140325669387264 140327543826139 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29921] ppid=29854 vsize=28766288 memory=3640 CPUtime=3.15 cores=0-7
/proc/29856/task/29921/stat : 29921 (java) R 29854 29854 28561 0 -1 4202560 86 0 0 0 315 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326114726136 140327543813527 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29922] ppid=29854 vsize=28766288 memory=6791534058613427641 CPUtime=3.27 cores=0-7
/proc/29856/task/29922/stat : 29922 (java) R 29854 29854 28561 0 -1 4202560 189 0 0 0 327 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140325666230144 140327543826096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29923] ppid=29854 vsize=28766288 memory=2008 CPUtime=3.27 cores=0-7
/proc/29856/task/29923/stat : 29923 (java) R 29854 29854 28561 0 -1 4202560 851 0 0 0 327 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140325668335504 140327545717276 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29924] ppid=29854 vsize=28766288 memory=1424 CPUtime=3.27 cores=0-7
/proc/29856/task/29924/stat : 29924 (java) R 29854 29854 28561 0 -1 4202560 508 0 0 0 327 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326112620224 140327544820701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29925] ppid=29854 vsize=28766288 memory=3640 CPUtime=3.28 cores=0-7
/proc/29856/task/29925/stat : 29925 (java) R 29854 29854 28561 0 -1 4202560 133 0 0 0 328 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140325667282240 140327543826007 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29926] ppid=29854 vsize=28766288 memory=1548 CPUtime=3.28 cores=0-7
/proc/29856/task/29926/stat : 29926 (java) R 29854 29854 28561 0 -1 4202560 113 0 0 0 328 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326115779080 140327543826096 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
[pid=29856/tid=29927] ppid=29854 vsize=28766288 memory=1728 CPUtime=3.23 cores=0-7
/proc/29856/task/29927/stat : 29927 (java) R 29854 29854 28561 0 -1 4202560 169 0 0 0 323 0 0 0 20 0 28 0 475603208 29456678912 156623 33554432000 4194304 4196468 140730693088080 140326113673456 140327543813796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29417472 140730693092310 140730693092486 140730693092486 140730693095375 0
Current children cumulated CPU time: 383.96 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 627940 KiB
Child status: 0
Real time (s): 48.8913
CPU time (s): 384.389
CPU user time (s): 383.737
CPU system time (s): 0.65192
CPU usage (%): 786.211
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 666344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 383.737
system time used= 0.65192
maximum resident set size= 667012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63101
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6218
involuntary context switches= 5243
# summary of solver processes directly reported to runsolver:
# pid: 29854
# total CPU time (s): 384.389
# total CPU user time (s): 383.737
# total CPU system time (s): 0.65192
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.447393 second user time and 0.637589 second system time
The end
Begin job on node119 at 2019-09-20 18:26:38 IDJOB=4404663 IDBENCH=124135 IDSOLVER=2865 FILE ID=node119/4404663-1568996838 RUNJOBID= node119-1568994231-28588 PBS_JOBID= 21704718 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-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-4404663-1568996838/watcher-4404663-1568996838 -o /var/tmp/evaluation-result-4404663-1568996838/solver-4404663-1568996838 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1568994231-28588 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2101397451 HOME/instance-4404663-1568996838.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=2101397451 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 14108496 kB MemAvailable: 31806252 kB Buffers: 150932 kB Cached: 17474492 kB SwapCached: 46584 kB Active: 8779916 kB Inactive: 8894988 kB Active(anon): 4808 kB Inactive(anon): 94032 kB Active(file): 8775108 kB Inactive(file): 8800956 kB Unevictable: 109120 kB Mlocked: 109120 kB SwapTotal: 67108860 kB SwapFree: 66953204 kB Dirty: 26776 kB Writeback: 0 kB AnonPages: 146364 kB Mapped: 52600 kB Shmem: 40128 kB Slab: 578288 kB SReclaimable: 550152 kB SUnreclaim: 28136 kB KernelStack: 3744 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505908 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 100352 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13488 MiB End job on node119 at 2019-09-20 18:27:27