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-06-14 parallel | OPT | 123 | 407.195 | 52.8745 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml |
| MD5SUM | b82332625d17a81d2c62c757de216262 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 123 |
| Best CPU time to get the best result obtained on this benchmark | 10.9455 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3507 |
| Number of constraints | 189 |
| Number of domains | 12 |
| Minimum domain size | 2 |
| Maximum domain size | 20 |
| Distribution of domain sizes | [{"size":2,"count":334},{"size":3,"count":334},{"size":5,"count":334},{"size":8,"count":167},{"size":9,"count":167},{"size":10,"count":334},{"size":11,"count":167},{"size":12,"count":167},{"size":14,"count":668},{"size":15,"count":334},{"size":18,"count":334},{"size":20,"count":167}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":3507}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 3340 |
| Distribution of constraint arities | [{"arity":21,"count":167},{"arity":167,"count":21},{"arity":3340,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":187}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394503-1568423571.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394503-1568423571.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.67/0.92 c solve instance... 299.70/38.45 o 153 350.32/44.97 o 134 352.33/45.36 o 133 354.98/45.79 o 132 366.20/47.25 o 130 369.07/47.66 o 129 370.23/47.90 o 128 373.96/48.35 o 127 377.95/49.04 o 126 378.86/49.21 o 125 381.90/49.63 o 124 384.10/49.97 o 123 406.91/52.85 s OPTIMUM FOUND 406.91/52.85 v <instantiation> 406.91/52.85 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> 406.91/52.85 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 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 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 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 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> 406.91/52.85 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 (15298 MiB free)
memory of node 1: 16384 MiB (15495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394503-1568423571/watcher-4394503-1568423571 -o /tmp/evaluation-result-4394503-1568423571/solver-4394503-1568423571 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1350181564 HOME/instance-4394503-1568423571.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=13211, runsolver pid=13208
[startup+0.100165 s]*
/proc/loadavg: 6.95 6.95 6.87 3/212 13232
/proc/meminfo: memFree=31517360/32770624 swapFree=66995640/67108860
[pid=13211] ppid=13208 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13211/stat : 13211 (xcsp3-exec) S 13208 13211 7170 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418608579 115843072 363 33554432000 4194304 5098028 140735879385552 140735879383656 140180380242556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35016704 140735879394165 140735879394409 140735879394409 140735879397322 0
/proc/13211/statm: 28282 363 304 221 0 87 0
[pid=13213] ppid=13211 vsize=28227388 memory=29144 CPUtime=0.12 cores=0-7
/proc/13213/stat : 13213 (java) S 13211 13211 7170 0 -1 1077944320 5694 0 0 0 11 1 0 0 20 0 20 0 418608580 28904845312 7286 33554432000 4194304 4196468 140732704250208 140732704232752 140158807183095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
/proc/13213/statm: 7056847 7286 3157 1 0 7019032 0
[pid=13213/tid=13214] ppid=13211 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/13213/task/13214/stat : 13214 (java) R 13211 13211 7170 0 -1 4202560 3602 0 0 0 8 1 0 0 20 0 20 0 418608580 28904845312 7286 33554432000 4194304 4196468 140732704250208 140158811417632 140158422895655 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13215] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13215/stat : 13215 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 7286 33554432000 4194304 4196468 140732704250208 140158759803408 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13216] ppid=13211 vsize=28227388 memory=140068830756284 CPUtime=0 cores=0-7
/proc/13213/task/13216/stat : 13216 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 7286 33554432000 4194304 4196468 140732704250208 140158758750864 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13217] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13217/stat : 13217 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 7286 33554432000 4194304 4196468 140732704250208 140158757697808 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13218] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13218/stat : 13218 (java) S 13211 13211 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 7286 33554432000 4194304 4196468 140732704250208 140158756645264 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13219] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13219/stat : 13219 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 7286 33554432000 4194304 4196468 140732704250208 140158755593232 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13220] ppid=13211 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13213/task/13220/stat : 13220 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 7286 33554432000 4194304 4196468 140732704250208 140158754540688 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13221] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13221/stat : 13221 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 7286 33554432000 4194304 4196468 140732704250208 140158753487632 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13222] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13222/stat : 13222 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 7286 33554432000 4194304 4196468 140732704250208 140158752435088 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13223] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13223/stat : 13223 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608582 28904845312 7286 33554432000 4194304 4196468 140732704250208 140157271353584 140158807194242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13224] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13224/stat : 13224 (java) S 13211 13211 7170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418608583 28904845312 7286 33554432000 4194304 4196468 140732704250208 140157270299808 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13225] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13225/stat : 13225 (java) S 13211 13211 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418608583 28904845312 7286 33554432000 4194304 4196468 140732704250208 140157269246704 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13226] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13226/stat : 13226 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608585 28904845312 7286 33554432000 4194304 4196468 140732704250208 140157268195280 140158807201691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13227] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13227/stat : 13227 (java) R 13211 13211 7170 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 20 0 418608585 28904845312 7286 33554432000 4194304 4196468 140732704250208 140157267143408 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13228] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13228/stat : 13228 (java) R 13211 13211 7170 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 20 0 418608585 28904845312 7286 33554432000 4194304 4196468 140732704250208 140156622158400 140158790618833 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13229] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13229/stat : 13229 (java) R 13211 13211 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418608585 28904845312 7286 33554432000 4194304 4196468 140732704250208 140156621113840 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13230] ppid=13211 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/13213/task/13230/stat : 13230 (java) R 13211 13211 7170 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 20 0 418608585 28904845312 7286 33554432000 4194304 4196468 140732704250208 140156620061296 140158807195030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13231] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13231/stat : 13231 (java) S 13211 13211 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418608585 28904845312 7286 33554432000 4194304 4196468 140732704250208 140156619008480 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13232] ppid=13211 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13213/task/13232/stat : 13232 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608586 28904845312 7286 33554432000 4194304 4196468 140732704250208 140156617956016 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30596 KiB
[startup+0.210012 s]*
/proc/loadavg: 6.95 6.95 6.87 3/212 13232
/proc/meminfo: memFree=31503352/32770624 swapFree=66995640/67108860
[pid=13211] ppid=13208 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13211/stat : 13211 (xcsp3-exec) S 13208 13211 7170 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418608579 115843072 363 33554432000 4194304 5098028 140735879385552 140735879383656 140180380242556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35016704 140735879394165 140735879394409 140735879394409 140735879397322 0
/proc/13211/statm: 28282 363 304 221 0 87 0
[pid=13213] ppid=13211 vsize=28227388 memory=41064 CPUtime=0.34 cores=0-7
/proc/13213/stat : 13213 (java) S 13211 13211 7170 0 -1 1077944320 9534 0 0 0 31 3 0 0 20 0 20 0 418608580 28904845312 10266 33554432000 4194304 4196468 140732704250208 140732704232752 140158807183095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
/proc/13213/statm: 7056847 10266 3284 1 0 7019032 0
[pid=13213/tid=13214] ppid=13211 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13213/task/13214/stat : 13214 (java) R 13211 13211 7170 0 -1 4202560 6633 0 0 0 17 2 0 0 20 0 20 0 418608580 28904845312 10266 33554432000 4194304 4196468 140732704250208 140158811416976 140158807195030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13215] ppid=13211 vsize=28227388 memory=288230600413020516 CPUtime=0 cores=0-7
/proc/13213/task/13215/stat : 13215 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 10266 33554432000 4194304 4196468 140732704250208 140158759803408 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13216] ppid=13211 vsize=28227388 memory=4050345296939161248 CPUtime=0 cores=0-7
/proc/13213/task/13216/stat : 13216 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 10266 33554432000 4194304 4196468 140732704250208 140158758750864 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13217] ppid=13211 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13213/task/13217/stat : 13217 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 10266 33554432000 4194304 4196468 140732704250208 140158757697808 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13218] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13218/stat : 13218 (java) S 13211 13211 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 10266 33554432000 4194304 4196468 140732704250208 140158756645264 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13219] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13219/stat : 13219 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 10266 33554432000 4194304 4196468 140732704250208 140158755593232 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13220] ppid=13211 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13213/task/13220/stat : 13220 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 10266 33554432000 4194304 4196468 140732704250208 140158754540688 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13221] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13221/stat : 13221 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 10266 33554432000 4194304 4196468 140732704250208 140158753487632 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13222] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13222/stat : 13222 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608581 28904845312 10266 33554432000 4194304 4196468 140732704250208 140158752435088 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13223] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13223/stat : 13223 (java) S 13211 13211 7170 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418608582 28904845312 10266 33554432000 4194304 4196468 140732704250208 140157271353584 140158807194242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13224] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13224/stat : 13224 (java) S 13211 13211 7170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418608583 28904845312 10266 33554432000 4194304 4196468 140732704250208 140157270299808 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13225] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13225/stat : 13225 (java) S 13211 13211 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418608583 28904845312 10266 33554432000 4194304 4196468 140732704250208 140157269246704 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13226] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13226/stat : 13226 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608585 28904845312 10266 33554432000 4194304 4196468 140732704250208 140157268195280 140158807201691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13227] ppid=13211 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/13213/task/13227/stat : 13227 (java) S 13211 13211 7170 0 -1 1077944384 439 0 0 0 1 0 0 0 20 0 20 0 418608585 28904845312 10266 33554432000 4194304 4196468 140732704250208 140157267143408 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13228] ppid=13211 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/13213/task/13228/stat : 13228 (java) S 13211 13211 7170 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 418608585 28904845312 10266 33554432000 4194304 4196468 140732704250208 140156622166896 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13229] ppid=13211 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/13213/task/13229/stat : 13229 (java) S 13211 13211 7170 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 20 0 418608585 28904845312 10266 33554432000 4194304 4196468 140732704250208 140156621113840 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13230] ppid=13211 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/13213/task/13230/stat : 13230 (java) R 13211 13211 7170 0 -1 4202560 767 0 0 0 8 0 0 0 20 0 20 0 418608585 28904845312 10266 33554432000 4194304 4196468 140732704250208 140156620061296 140158799420222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13231] ppid=13211 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13231/stat : 13231 (java) S 13211 13211 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418608585 28904845312 10266 33554432000 4194304 4196468 140732704250208 140156619008480 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13232] ppid=13211 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13213/task/13232/stat : 13232 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608586 28904845312 10266 33554432000 4194304 4196468 140732704250208 140156617956016 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42516 KiB
[startup+0.309623 s]*
/proc/loadavg: 6.95 6.95 6.87 4/212 13232
/proc/meminfo: memFree=31495704/32770624 swapFree=66995640/67108860
[pid=13211] ppid=13208 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13211/stat : 13211 (xcsp3-exec) S 13208 13211 7170 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418608579 115843072 363 33554432000 4194304 5098028 140735879385552 140735879383656 140180380242556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35016704 140735879394165 140735879394409 140735879394409 140735879397322 0
/proc/13211/statm: 28282 363 304 221 0 87 0
[pid=13213] ppid=13211 vsize=28231644 memory=50228 CPUtime=0.53 cores=0-7
/proc/13213/stat : 13213 (java) S 13211 13211 7170 0 -1 1077944320 10917 0 0 0 49 4 0 0 20 0 20 0 418608580 28909203456 12557 33554432000 4194304 4196468 140732704250208 140732704232752 140158807183095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
/proc/13213/statm: 7057911 12557 3349 1 0 7019032 0
[pid=13213/tid=13214] ppid=13211 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/13213/task/13214/stat : 13214 (java) R 13211 13211 7170 0 -1 4202560 7783 0 0 0 27 2 0 0 20 0 20 0 418608580 28909203456 12557 33554432000 4194304 4196468 140732704250208 140158811414208 140158791263582 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13215] ppid=13211 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13215/stat : 13215 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608581 28909203456 12557 33554432000 4194304 4196468 140732704250208 140158759803408 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13216] ppid=13211 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13216/stat : 13216 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608581 28909203456 12557 33554432000 4194304 4196468 140732704250208 140158758750864 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13217] ppid=13211 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13217/stat : 13217 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608581 28909203456 12557 33554432000 4194304 4196468 140732704250208 140158757697808 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13218] ppid=13211 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13218/stat : 13218 (java) S 13211 13211 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418608581 28909203456 12557 33554432000 4194304 4196468 140732704250208 140158756645264 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13219] ppid=13211 vsize=28231644 memory=140068681509551 CPUtime=0 cores=0-7
/proc/13213/task/13219/stat : 13219 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608581 28909203456 12557 33554432000 4194304 4196468 140732704250208 140158755593232 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13220] ppid=13211 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/13213/task/13220/stat : 13220 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608581 28909203456 12557 33554432000 4194304 4196468 140732704250208 140158754540688 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13221] ppid=13211 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/13213/task/13221/stat : 13221 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608581 28909203456 12557 33554432000 4194304 4196468 140732704250208 140158753487632 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13222] ppid=13211 vsize=28231644 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/13213/task/13222/stat : 13222 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608581 28909203456 12557 33554432000 4194304 4196468 140732704250208 140158752435088 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13223] ppid=13211 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13223/stat : 13223 (java) S 13211 13211 7170 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418608582 28909203456 12557 33554432000 4194304 4196468 140732704250208 140157271353584 140158807194242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13224] ppid=13211 vsize=28231644 memory=280137363042176 CPUtime=0 cores=0-7
/proc/13213/task/13224/stat : 13224 (java) S 13211 13211 7170 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418608583 28909203456 12557 33554432000 4194304 4196468 140732704250208 140157270299808 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13225] ppid=13211 vsize=28231644 memory=280137363046784 CPUtime=0 cores=0-7
/proc/13213/task/13225/stat : 13225 (java) S 13211 13211 7170 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418608583 28909203456 12557 33554432000 4194304 4196468 140732704250208 140157269246704 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13226] ppid=13211 vsize=28231644 memory=280137363051392 CPUtime=0 cores=0-7
/proc/13213/task/13226/stat : 13226 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608585 28909203456 12557 33554432000 4194304 4196468 140732704250208 140157268195280 140158807201691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13227] ppid=13211 vsize=28231644 memory=280137363056000 CPUtime=0.02 cores=0-7
/proc/13213/task/13227/stat : 13227 (java) R 13211 13211 7170 0 -1 4202560 558 0 0 0 2 0 0 0 20 0 20 0 418608585 28909203456 12557 33554432000 4194304 4196468 140732704250208 140157267143408 140158792290777 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13228] ppid=13211 vsize=28231644 memory=280137363060608 CPUtime=0.03 cores=0-7
/proc/13213/task/13228/stat : 13228 (java) S 13211 13211 7170 0 -1 1077944384 108 0 0 0 3 0 0 0 20 0 20 0 418608585 28909203456 12557 33554432000 4194304 4196468 140732704250208 140156622166896 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13229] ppid=13211 vsize=28231644 memory=280137363065216 CPUtime=0.03 cores=0-7
/proc/13213/task/13229/stat : 13229 (java) S 13211 13211 7170 0 -1 1077944384 300 0 0 0 3 0 0 0 20 0 20 0 418608585 28909203456 12557 33554432000 4194304 4196468 140732704250208 140156621113840 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13230] ppid=13211 vsize=28231644 memory=280137363069824 CPUtime=0.12 cores=0-7
/proc/13213/task/13230/stat : 13230 (java) S 13211 13211 7170 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 20 0 418608585 28909203456 12557 33554432000 4194304 4196468 140732704250208 140156620061296 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13231] ppid=13211 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13231/stat : 13231 (java) S 13211 13211 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418608585 28909203456 12557 33554432000 4194304 4196468 140732704250208 140156619008480 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13232] ppid=13211 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/13213/task/13232/stat : 13232 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608586 28909203456 12557 33554432000 4194304 4196468 140732704250208 140156617956016 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51680 KiB
[startup+0.700889 s]
/proc/loadavg: 6.95 6.95 6.87 5/212 13232
/proc/meminfo: memFree=31478848/32770624 swapFree=66995640/67108860
[pid=13211] ppid=13208 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13211/stat : 13211 (xcsp3-exec) S 13208 13211 7170 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418608579 115843072 363 33554432000 4194304 5098028 140735879385552 140735879383656 140180380242556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35016704 140735879394165 140735879394409 140735879394409 140735879397322 0
/proc/13211/statm: 28282 363 304 221 0 87 0
[pid=13213] ppid=13211 vsize=28233768 memory=95608 CPUtime=1.81 cores=0-7
/proc/13213/stat : 13213 (java) S 13211 13211 7170 0 -1 1077944320 15116 0 0 0 175 6 0 0 20 0 20 0 418608580 28911378432 23902 33554432000 4194304 4196468 140732704250208 140732704232752 140158807183095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
/proc/13213/statm: 7058442 23902 3462 1 0 7019544 0
[pid=13213/tid=13214] ppid=13211 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7
/proc/13213/task/13214/stat : 13214 (java) R 13211 13211 7170 0 -1 4202560 9223 0 0 0 63 4 0 0 20 0 20 0 418608580 28911378432 23902 33554432000 4194304 4196468 140732704250208 140158811418656 140158426001565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13215] ppid=13211 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13215/stat : 13215 (java) S 13211 13211 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418608581 28911378432 23902 33554432000 4194304 4196468 140732704250208 140158759803408 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13216] ppid=13211 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/13213/task/13216/stat : 13216 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608581 28911378432 23902 33554432000 4194304 4196468 140732704250208 140158758750864 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13217] ppid=13211 vsize=28233768 memory=8556 CPUtime=0 cores=0-7
/proc/13213/task/13217/stat : 13217 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418608581 28911378432 23902 33554432000 4194304 4196468 140732704250208 140158757697808 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
################
# More data... #
################
[pid=13213/tid=13230] ppid=13211 vsize=28768328 memory=8556 CPUtime=1.15 cores=0-7
/proc/13213/task/13230/stat : 13230 (java) S 13211 13211 7170 0 -1 1077944384 10901 0 0 0 112 3 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156620061296 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13231] ppid=13211 vsize=28768328 memory=1052 CPUtime=0 cores=0-7
/proc/13213/task/13231/stat : 13231 (java) S 13211 13211 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156619008480 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13232] ppid=13211 vsize=28768328 memory=6852 CPUtime=0.02 cores=0-7
/proc/13213/task/13232/stat : 13232 (java) S 13211 13211 7170 0 -1 1077944384 1129 0 0 0 0 2 0 0 20 0 28 0 418608586 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156617956016 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13331] ppid=13211 vsize=28768328 memory=12040 CPUtime=2.03 cores=0-7
/proc/13213/task/13331/stat : 13331 (java) R 13211 13211 7170 0 -1 4202560 17 0 0 0 203 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156607928464 140158430345319 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13332] ppid=13211 vsize=28768328 memory=2124 CPUtime=2.03 cores=0-7
/proc/13213/task/13332/stat : 13332 (java) R 13211 13211 7170 0 -1 4202560 18 0 0 0 203 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156606877448 140158429809794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13333] ppid=13211 vsize=28768328 memory=1556 CPUtime=2.02 cores=0-7
/proc/13213/task/13333/stat : 13333 (java) R 13211 13211 7170 0 -1 4202560 77 0 0 0 202 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156602667096 140158431267155 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13334] ppid=13211 vsize=28768328 memory=496 CPUtime=2.03 cores=0-7
/proc/13213/task/13334/stat : 13334 (java) R 13211 13211 7170 0 -1 4202560 19 0 0 0 203 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156605825416 140158430579718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13335] ppid=13211 vsize=28768328 memory=928 CPUtime=2.03 cores=0-7
/proc/13213/task/13335/stat : 13335 (java) R 13211 13211 7170 0 -1 4202560 18 0 0 0 203 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156604772360 140158429809747 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13336] ppid=13211 vsize=28768328 memory=1604 CPUtime=1.98 cores=0-7
/proc/13213/task/13336/stat : 13336 (java) R 13211 13211 7170 0 -1 4202560 22 0 0 0 198 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156603720344 140158429809722 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13337] ppid=13211 vsize=28768328 memory=1980 CPUtime=2.03 cores=0-7
/proc/13213/task/13337/stat : 13337 (java) R 13211 13211 7170 0 -1 4202560 18 0 0 0 203 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156601614616 140158430580052 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13338] ppid=13211 vsize=28768328 memory=2356 CPUtime=2.03 cores=0-7
/proc/13213/task/13338/stat : 13338 (java) R 13211 13211 7170 0 -1 4202560 18 0 0 0 203 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156608982936 140158429809747 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
Current children cumulated CPU time: 400.59 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1339300 KiB
[startup+52.4012 s]
/proc/loadavg: 7.90 7.24 6.97 10/220 13338
/proc/meminfo: memFree=30205004/32770624 swapFree=66995640/67108860
[pid=13211] ppid=13208 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13211/stat : 13211 (xcsp3-exec) S 13208 13211 7170 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418608579 115843072 363 33554432000 4194304 5098028 140735879385552 140735879383656 140180380242556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35016704 140735879394165 140735879394409 140735879394409 140735879397322 0
/proc/13211/statm: 28282 363 304 221 0 87 0
[pid=13213] ppid=13211 vsize=28768328 memory=1337848 CPUtime=403.72 cores=0-7
/proc/13213/stat : 13213 (java) S 13211 13211 7170 0 -1 1077944320 117748 0 0 0 40226 146 0 0 20 0 28 0 418608580 29458767872 334462 33554432000 4194304 4196468 140732704250208 140732704232752 140158807183095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
/proc/13213/statm: 7192082 334462 3540 1 0 7153184 0
[pid=13213/tid=13214] ppid=13211 vsize=28768328 memory=3047711553320166262 CPUtime=0.97 cores=0-7
/proc/13213/task/13214/stat : 13214 (java) S 13211 13211 7170 0 -1 1077944384 9856 0 0 0 92 5 0 0 20 0 28 0 418608580 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158811423872 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13215] ppid=13211 vsize=28768328 memory=1452 CPUtime=0.2 cores=0-7
/proc/13213/task/13215/stat : 13215 (java) S 13211 13211 7170 0 -1 1077944384 1223 0 0 0 11 9 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158759803408 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13216] ppid=13211 vsize=28768328 memory=0 CPUtime=0.21 cores=0-7
/proc/13213/task/13216/stat : 13216 (java) S 13211 13211 7170 0 -1 1077944384 738 0 0 0 12 9 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158758750864 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13217] ppid=13211 vsize=28768328 memory=1452 CPUtime=0.22 cores=0-7
/proc/13213/task/13217/stat : 13217 (java) S 13211 13211 7170 0 -1 1077944384 2443 0 0 0 13 9 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158757697808 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13218] ppid=13211 vsize=28768328 memory=1337848 CPUtime=0.21 cores=0-7
/proc/13213/task/13218/stat : 13218 (java) S 13211 13211 7170 0 -1 1077944384 438 0 0 0 12 9 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158756645264 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13219] ppid=13211 vsize=28768328 memory=820 CPUtime=0.21 cores=0-7
/proc/13213/task/13219/stat : 13219 (java) S 13211 13211 7170 0 -1 1077944384 1111 0 0 0 13 8 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158755593232 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13220] ppid=13211 vsize=28768328 memory=1764 CPUtime=0.22 cores=0-7
/proc/13213/task/13220/stat : 13220 (java) S 13211 13211 7170 0 -1 1077944384 709 0 0 0 12 10 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158754540688 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13221] ppid=13211 vsize=28768328 memory=111632 CPUtime=0.22 cores=0-7
/proc/13213/task/13221/stat : 13221 (java) S 13211 13211 7170 0 -1 1077944384 461 0 0 0 13 9 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158753487632 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13222] ppid=13211 vsize=28768328 memory=808 CPUtime=0.2 cores=0-7
/proc/13213/task/13222/stat : 13222 (java) S 13211 13211 7170 0 -1 1077944384 593 0 0 0 12 8 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158752435088 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13223] ppid=13211 vsize=28768328 memory=1452 CPUtime=0.04 cores=0-7
/proc/13213/task/13223/stat : 13223 (java) S 13211 13211 7170 0 -1 1077944384 2628 0 0 0 3 1 0 0 20 0 28 0 418608582 29458767872 334462 33554432000 4194304 4196468 140732704250208 140157271353584 140158807194242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13224] ppid=13211 vsize=28768328 memory=-7019007802211101846 CPUtime=0 cores=0-7
/proc/13213/task/13224/stat : 13224 (java) S 13211 13211 7170 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 418608583 29458767872 334462 33554432000 4194304 4196468 140732704250208 140157270299808 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13225] ppid=13211 vsize=28768328 memory=7684433391216329530 CPUtime=0 cores=0-7
/proc/13213/task/13225/stat : 13225 (java) S 13211 13211 7170 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418608583 29458767872 334462 33554432000 4194304 4196468 140732704250208 140157269246704 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13226] ppid=13211 vsize=28768328 memory=6944657691966988345 CPUtime=0 cores=0-7
/proc/13213/task/13226/stat : 13226 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140157268195280 140158807201691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13227] ppid=13211 vsize=28768328 memory=8329294824090543255 CPUtime=4.04 cores=0-7
/proc/13213/task/13227/stat : 13227 (java) S 13211 13211 7170 0 -1 1077944384 16989 0 0 0 400 4 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140157267143408 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13228] ppid=13211 vsize=28768328 memory=-7522837415797432223 CPUtime=3.86 cores=0-7
/proc/13213/task/13228/stat : 13228 (java) S 13211 13211 7170 0 -1 1077944384 17240 0 0 0 382 4 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156622166896 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13229] ppid=13211 vsize=28768328 memory=-8990767739041652640 CPUtime=4.43 cores=0-7
/proc/13213/task/13229/stat : 13229 (java) S 13211 13211 7170 0 -1 1077944384 24037 0 0 0 439 4 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156621113840 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13230] ppid=13211 vsize=28768328 memory=6944613755495348631 CPUtime=1.15 cores=0-7
/proc/13213/task/13230/stat : 13230 (java) S 13211 13211 7170 0 -1 1077944384 10901 0 0 0 112 3 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156620061296 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13231] ppid=13211 vsize=28768328 memory=-7384994774051102368 CPUtime=0 cores=0-7
/proc/13213/task/13231/stat : 13231 (java) S 13211 13211 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156619008480 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13232] ppid=13211 vsize=28768328 memory=8026088980684891472 CPUtime=0.02 cores=0-7
/proc/13213/task/13232/stat : 13232 (java) S 13211 13211 7170 0 -1 1077944384 1129 0 0 0 0 2 0 0 20 0 28 0 418608586 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156617956016 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13331] ppid=13211 vsize=28768328 memory=8026088980684891472 CPUtime=2.42 cores=0-7
/proc/13213/task/13331/stat : 13331 (java) R 13211 13211 7170 0 -1 4202560 17 0 0 0 242 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156607928464 140158429809834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13332] ppid=13211 vsize=28768328 memory=1280304 CPUtime=2.42 cores=0-7
/proc/13213/task/13332/stat : 13332 (java) R 13211 13211 7170 0 -1 4202560 18 0 0 0 242 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156606877448 140158430580142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13333] ppid=13211 vsize=28768328 memory=1452 CPUtime=2.41 cores=0-7
/proc/13213/task/13333/stat : 13333 (java) R 13211 13211 7170 0 -1 4202560 86 0 0 0 241 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156602667096 140158432683690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13334] ppid=13211 vsize=28768328 memory=1266456 CPUtime=2.42 cores=0-7
/proc/13213/task/13334/stat : 13334 (java) R 13211 13211 7170 0 -1 4202560 19 0 0 0 242 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156605827816 140158430328541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13335] ppid=13211 vsize=28768328 memory=2356 CPUtime=2.42 cores=0-7
/proc/13213/task/13335/stat : 13335 (java) R 13211 13211 7170 0 -1 4202560 18 0 0 0 242 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156604772360 140158430642184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13336] ppid=13211 vsize=28768328 memory=1440 CPUtime=2.36 cores=0-7
/proc/13213/task/13336/stat : 13336 (java) R 13211 13211 7170 0 -1 4202560 24 0 0 0 236 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156603720344 140158430642085 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13337] ppid=13211 vsize=28768328 memory=820 CPUtime=2.42 cores=0-7
/proc/13213/task/13337/stat : 13337 (java) R 13211 13211 7170 0 -1 4202560 18 0 0 0 242 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156601614616 140158430344927 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13338] ppid=13211 vsize=28768328 memory=1764 CPUtime=2.42 cores=0-7
/proc/13213/task/13338/stat : 13338 (java) R 13211 13211 7170 0 -1 4202560 18 0 0 0 242 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156608982936 140158429809742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
Current children cumulated CPU time: 403.72 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1339300 KiB
[startup+52.8012 s]
/proc/loadavg: 7.90 7.24 6.97 10/220 13338
/proc/meminfo: memFree=30205004/32770624 swapFree=66995640/67108860
[pid=13211] ppid=13208 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13211/stat : 13211 (xcsp3-exec) S 13208 13211 7170 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418608579 115843072 363 33554432000 4194304 5098028 140735879385552 140735879383656 140180380242556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35016704 140735879394165 140735879394409 140735879394409 140735879397322 0
/proc/13211/statm: 28282 363 304 221 0 87 0
[pid=13213] ppid=13211 vsize=28768328 memory=1337848 CPUtime=406.91 cores=0-7
/proc/13213/stat : 13213 (java) S 13211 13211 7170 0 -1 1077944320 117757 0 0 0 40545 146 0 0 20 0 28 0 418608580 29458767872 334462 33554432000 4194304 4196468 140732704250208 140732704232752 140158807183095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
/proc/13213/statm: 7192082 334462 3540 1 0 7153184 0
[pid=13213/tid=13214] ppid=13211 vsize=28768328 memory=111632 CPUtime=0.97 cores=0-7
/proc/13213/task/13214/stat : 13214 (java) S 13211 13211 7170 0 -1 1077944384 9856 0 0 0 92 5 0 0 20 0 28 0 418608580 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158811423872 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13215] ppid=13211 vsize=28768328 memory=808 CPUtime=0.2 cores=0-7
/proc/13213/task/13215/stat : 13215 (java) S 13211 13211 7170 0 -1 1077944384 1223 0 0 0 11 9 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158759803408 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13216] ppid=13211 vsize=28768328 memory=1452 CPUtime=0.21 cores=0-7
/proc/13213/task/13216/stat : 13216 (java) S 13211 13211 7170 0 -1 1077944384 738 0 0 0 12 9 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158758750864 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13217] ppid=13211 vsize=28768328 memory=1280304 CPUtime=0.22 cores=0-7
/proc/13213/task/13217/stat : 13217 (java) S 13211 13211 7170 0 -1 1077944384 2443 0 0 0 13 9 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158757697808 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13218] ppid=13211 vsize=28768328 memory=1564 CPUtime=0.21 cores=0-7
/proc/13213/task/13218/stat : 13218 (java) S 13211 13211 7170 0 -1 1077944384 438 0 0 0 12 9 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158756645264 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13219] ppid=13211 vsize=28768328 memory=3632 CPUtime=0.21 cores=0-7
/proc/13213/task/13219/stat : 13219 (java) S 13211 13211 7170 0 -1 1077944384 1111 0 0 0 13 8 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158755593232 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13220] ppid=13211 vsize=28768328 memory=1452 CPUtime=0.22 cores=0-7
/proc/13213/task/13220/stat : 13220 (java) S 13211 13211 7170 0 -1 1077944384 709 0 0 0 12 10 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158754540688 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13221] ppid=13211 vsize=28768328 memory=1337780 CPUtime=0.22 cores=0-7
/proc/13213/task/13221/stat : 13221 (java) S 13211 13211 7170 0 -1 1077944384 461 0 0 0 13 9 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158753487632 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13222] ppid=13211 vsize=28768328 memory=6791534058613427641 CPUtime=0.2 cores=0-7
/proc/13213/task/13222/stat : 13222 (java) S 13211 13211 7170 0 -1 1077944384 593 0 0 0 12 8 0 0 20 0 28 0 418608581 29458767872 334462 33554432000 4194304 4196468 140732704250208 140158752435088 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13223] ppid=13211 vsize=28768328 memory=1337780 CPUtime=0.04 cores=0-7
/proc/13213/task/13223/stat : 13223 (java) S 13211 13211 7170 0 -1 1077944384 2628 0 0 0 3 1 0 0 20 0 28 0 418608582 29458767872 334462 33554432000 4194304 4196468 140732704250208 140157271353584 140158807194242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13224] ppid=13211 vsize=28768328 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/13213/task/13224/stat : 13224 (java) S 13211 13211 7170 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 418608583 29458767872 334462 33554432000 4194304 4196468 140732704250208 140157270299808 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13225] ppid=13211 vsize=28768328 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/13213/task/13225/stat : 13225 (java) S 13211 13211 7170 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418608583 29458767872 334462 33554432000 4194304 4196468 140732704250208 140157269246704 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13226] ppid=13211 vsize=28768328 memory=6933690279252828208 CPUtime=0 cores=0-7
/proc/13213/task/13226/stat : 13226 (java) S 13211 13211 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140157268195280 140158807201691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13227] ppid=13211 vsize=28768328 memory=140068827677793 CPUtime=4.04 cores=0-7
/proc/13213/task/13227/stat : 13227 (java) S 13211 13211 7170 0 -1 1077944384 16989 0 0 0 400 4 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140157267143408 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13228] ppid=13211 vsize=28768328 memory=140068827675585 CPUtime=3.86 cores=0-7
/proc/13213/task/13228/stat : 13228 (java) S 13211 13211 7170 0 -1 1077944384 17240 0 0 0 382 4 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156622166896 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13229] ppid=13211 vsize=28768328 memory=1452 CPUtime=4.43 cores=0-7
/proc/13213/task/13229/stat : 13229 (java) S 13211 13211 7170 0 -1 1077944384 24037 0 0 0 439 4 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156621113840 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13230] ppid=13211 vsize=28768328 memory=1337848 CPUtime=1.15 cores=0-7
/proc/13213/task/13230/stat : 13230 (java) S 13211 13211 7170 0 -1 1077944384 10901 0 0 0 112 3 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156620061296 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13231] ppid=13211 vsize=28768328 memory=140068682817952 CPUtime=0 cores=0-7
/proc/13213/task/13231/stat : 13231 (java) S 13211 13211 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418608585 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156619008480 140158807193301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13232] ppid=13211 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7
/proc/13213/task/13232/stat : 13232 (java) S 13211 13211 7170 0 -1 1077944384 1129 0 0 0 0 2 0 0 20 0 28 0 418608586 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156617956016 140158807194242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13331] ppid=13211 vsize=28768328 memory=0 CPUtime=2.82 cores=0-7
/proc/13213/task/13331/stat : 13331 (java) R 13211 13211 7170 0 -1 4202560 17 0 0 0 282 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156607928464 140158429809777 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13332] ppid=13211 vsize=28768328 memory=0 CPUtime=2.82 cores=0-7
/proc/13213/task/13332/stat : 13332 (java) R 13211 13211 7170 0 -1 4202560 18 0 0 0 282 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156606877448 140158430580025 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13333] ppid=13211 vsize=28768328 memory=0 CPUtime=2.81 cores=0-7
/proc/13213/task/13333/stat : 13333 (java) R 13211 13211 7170 0 -1 4202560 95 0 0 0 281 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156602667096 140158432651586 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13334] ppid=13211 vsize=28768328 memory=0 CPUtime=2.82 cores=0-7
/proc/13213/task/13334/stat : 13334 (java) R 13211 13211 7170 0 -1 4202560 19 0 0 0 282 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156605827816 140158429809794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13335] ppid=13211 vsize=28768328 memory=1452 CPUtime=2.82 cores=0-7
/proc/13213/task/13335/stat : 13335 (java) R 13211 13211 7170 0 -1 4202560 18 0 0 0 282 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156604772360 140158430642200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13336] ppid=13211 vsize=28768328 memory=6791534058613427641 CPUtime=2.76 cores=0-7
/proc/13213/task/13336/stat : 13336 (java) R 13211 13211 7170 0 -1 4202560 24 0 0 0 276 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156603720344 140158429809821 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13337] ppid=13211 vsize=28768328 memory=1564 CPUtime=2.82 cores=0-7
/proc/13213/task/13337/stat : 13337 (java) R 13211 13211 7170 0 -1 4202560 18 0 0 0 282 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156601614616 140158423085380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
[pid=13213/tid=13338] ppid=13211 vsize=28768328 memory=8556 CPUtime=2.82 cores=0-7
/proc/13213/task/13338/stat : 13338 (java) R 13211 13211 7170 0 -1 4202560 18 0 0 0 282 0 0 0 20 0 28 0 418613577 29458767872 334462 33554432000 4194304 4196468 140732704250208 140156608982936 140158430579764 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8261632 140732704252906 140732704253078 140732704253078 140732704255951 0
Current children cumulated CPU time: 406.91 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1339300 KiB
Child status: 0
Real time (s): 52.8745
CPU time (s): 407.195
CPU user time (s): 405.713
CPU system time (s): 1.48207
CPU usage (%): 770.117
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 1339300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 405.713
system time used= 1.48207
maximum resident set size= 1338324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118550
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8084
involuntary context switches= 6865
# summary of solver processes directly reported to runsolver:
# pid: 13211
# total CPU time (s): 407.195
# total CPU user time (s): 405.713
# total CPU system time (s): 1.48207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.462895 second user time and 0.689494 second system time
The end
Begin job on node102 at 2019-09-14 03:12:06 IDJOB=4394503 IDBENCH=124135 IDSOLVER=2843 FILE ID=node102/4394503-1568423571 RUNJOBID= node102-1568416723-7197 PBS_JOBID= 21702264 Free space on /tmp= 59328 MiB SOLVER NAME= choco-solver parallel 2019-06-14 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 /tmp/evaluation-result-4394503-1568423571/watcher-4394503-1568423571 -o /tmp/evaluation-result-4394503-1568423571/solver-4394503-1568423571 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1350181564 HOME/instance-4394503-1568423571.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=1350181564 node102.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.13 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.54 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.13 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.54 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.13 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.54 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.13 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31532268 kB MemAvailable: 31918552 kB Buffers: 169124 kB Cached: 510508 kB SwapCached: 9552 kB Active: 339820 kB Inactive: 350740 kB Active(anon): 8436 kB Inactive(anon): 33860 kB Active(file): 331384 kB Inactive(file): 316880 kB Unevictable: 110432 kB Mlocked: 110432 kB SwapTotal: 67108860 kB SwapFree: 66995640 kB Dirty: 26060 kB Writeback: 0 kB AnonPages: 93836 kB Mapped: 35280 kB Shmem: 22688 kB Slab: 136604 kB SReclaimable: 107708 kB SUnreclaim: 28896 kB KernelStack: 3488 kB PageTables: 5292 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498800 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 49152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59304 MiB End job on node102 at 2019-09-14 03:12:59