Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-20 | OPT | 123 | 200.842 | 50.8397 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml |
| MD5SUM | b82332625d17a81d2c62c757de216262 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 123 |
| Best CPU time to get the best result obtained on this benchmark | 11.5853 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3507 |
| Number of constraints | 189 |
| Number of domains | 12 |
| Minimum domain size | 2 |
| Maximum domain size | 20 |
| Distribution of domain sizes | [{"size":2,"count":334},{"size":3,"count":334},{"size":5,"count":334},{"size":8,"count":167},{"size":9,"count":167},{"size":10,"count":334},{"size":11,"count":167},{"size":12,"count":167},{"size":14,"count":668},{"size":15,"count":334},{"size":18,"count":334},{"size":20,"count":167}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":3507}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 3340 |
| Distribution of constraint arities | [{"arity":21,"count":167},{"arity":167,"count":21},{"arity":3340,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":187}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403763-1568989488.xml" -tl '2520s' -p 4 0.14/0.18 c Choco 3fb4b153 0.14/0.18 c [HOME/instance-4403763-1568989488.xml, -tl, 2520s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.29 c parse instance... 1.67/0.78 c solve instance... 175.29/44.42 o 136 180.43/45.78 o 135 182.05/46.11 o 125 183.60/46.51 o 124 188.37/47.75 o 123 200.70/50.83 s OPTIMUM FOUND 200.70/50.83 v <instantiation> 200.70/50.83 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> 200.70/50.83 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 200.70/50.83 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 (7092 MiB free)
memory of node 1: 16384 MiB (1811 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403763-1568989488/watcher-4403763-1568989488 -o /tmp/evaluation-result-4403763-1568989488/solver-4403763-1568989488 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1529495700 HOME/instance-4403763-1568989488.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9589, runsolver pid=9586
Current StackSize limit: 8192 KiB
[startup+0.103881 s]*
/proc/loadavg: 8.48 8.01 6.54 7/234 9605
/proc/meminfo: memFree=9101676/32770624 swapFree=66986244/67108860
[pid=9589] ppid=9586 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9589/stat : 9589 (xcsp3-exec) S 9586 9589 7690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475205627 115843072 363 33554432000 4194304 5098028 140726758184896 140726758183000 139889211703932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140726758191994 140726758192237 140726758192237 140726758195146 0
/proc/9589/statm: 28282 363 304 221 0 87 0
[pid=9591] ppid=9589 vsize=15144776 memory=30032 CPUtime=0.14 cores=0,2,4,6
/proc/9591/stat : 9591 (java) S 9589 9589 7690 0 -1 1077944320 5951 0 0 0 13 1 0 0 20 0 15 0 475205628 15508250624 7508 33554432000 4194304 4196468 140727036172800 140727036155344 139729512812279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
/proc/9591/statm: 3786194 7508 3150 1 0 3748377 0
[pid=9591/tid=9592] ppid=9589 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/9591/task/9592/stat : 9592 (java) S 9589 9589 7690 0 -1 1077944384 3825 0 0 0 9 0 0 0 20 0 15 0 475205628 15508250624 7508 33554432000 4194304 4196468 140727036172800 139729517041088 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9593] ppid=9589 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9593/stat : 9593 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205629 15508250624 7508 33554432000 4194304 4196468 140727036172800 139729449048336 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9594] ppid=9589 vsize=15144776 memory=140681958368896 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9594/stat : 9594 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205629 15508250624 7508 33554432000 4194304 4196468 140727036172800 139729447995792 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9595] ppid=9589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9595/stat : 9595 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205629 15508250624 7508 33554432000 4194304 4196468 140727036172800 139729102756368 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9596] ppid=9589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9596/stat : 9596 (java) S 9589 9589 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475205629 15508250624 7508 33554432000 4194304 4196468 140727036172800 139729101703824 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9597] ppid=9589 vsize=15144776 memory=140681958368896 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9597/stat : 9597 (java) S 9589 9589 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475205630 15508250624 7508 33554432000 4194304 4196468 140727036172800 139729048590832 139729512823426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9598] ppid=9589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9598/stat : 9598 (java) S 9589 9589 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475205630 15508250624 7508 33554432000 4194304 4196468 140727036172800 139729047537056 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9599] ppid=9589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9599/stat : 9599 (java) S 9589 9589 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475205631 15508250624 7508 33554432000 4194304 4196468 140727036172800 139729046484464 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9600] ppid=9589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9600/stat : 9600 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475205633 15508250624 7508 33554432000 4194304 4196468 140727036172800 139729045433040 139729512830875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9601] ppid=9589 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9591/task/9601/stat : 9601 (java) R 9589 9589 7690 0 -1 4202560 459 0 0 0 1 0 0 0 20 0 15 0 475205633 15508250624 7508 33554432000 4194304 4196468 140727036172800 139728976332512 139729512833626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9602] ppid=9589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9602/stat : 9602 (java) R 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475205633 15508250624 7508 33554432000 4194304 4196468 140727036172800 139728975288528 139729512822485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9603] ppid=9589 vsize=15144776 memory=140681958368896 CPUtime=0.02 cores=0,2,4,6
/proc/9591/task/9603/stat : 9603 (java) R 9589 9589 7690 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 475205633 15508250624 7508 33554432000 4194304 4196468 140727036172800 139728974235888 139729512833626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9604] ppid=9589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9604/stat : 9604 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475205633 15508250624 7508 33554432000 4194304 4196468 140727036172800 139728973183584 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9605] ppid=9589 vsize=15144776 memory=140681958368896 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9605/stat : 9605 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205634 15508250624 7508 33554432000 4194304 4196468 140727036172800 139728972131120 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31484 KiB
[startup+0.211018 s]*
/proc/loadavg: 8.48 8.01 6.54 6/234 9605
/proc/meminfo: memFree=9088292/32770624 swapFree=66986244/67108860
[pid=9589] ppid=9586 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9589/stat : 9589 (xcsp3-exec) S 9586 9589 7690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475205627 115843072 363 33554432000 4194304 5098028 140726758184896 140726758183000 139889211703932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140726758191994 140726758192237 140726758192237 140726758195146 0
/proc/9589/statm: 28282 363 304 221 0 87 0
[pid=9591] ppid=9589 vsize=15144776 memory=41168 CPUtime=0.34 cores=0,2,4,6
/proc/9591/stat : 9591 (java) S 9589 9589 7690 0 -1 1077944320 9453 0 0 0 31 3 0 0 20 0 15 0 475205628 15508250624 10292 33554432000 4194304 4196468 140727036172800 140727036155344 139729512812279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
/proc/9591/statm: 3786194 10292 3318 1 0 3748377 0
[pid=9591/tid=9592] ppid=9589 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9591/task/9592/stat : 9592 (java) R 9589 9589 7690 0 -1 4202560 6628 0 0 0 18 2 0 0 20 0 15 0 475205628 15508250624 10292 33554432000 4194304 4196468 140727036172800 139729517043808 139729512824214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9593] ppid=9589 vsize=15144776 memory=1898699 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9593/stat : 9593 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205629 15508250624 10292 33554432000 4194304 4196468 140727036172800 139729449048336 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9594] ppid=9589 vsize=15144776 memory=3386244 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9594/stat : 9594 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205629 15508250624 10292 33554432000 4194304 4196468 140727036172800 139729447995792 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9595] ppid=9589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9595/stat : 9595 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205629 15508250624 10292 33554432000 4194304 4196468 140727036172800 139729102756368 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9596] ppid=9589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9596/stat : 9596 (java) S 9589 9589 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475205629 15508250624 10292 33554432000 4194304 4196468 140727036172800 139729101703824 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9597] ppid=9589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9597/stat : 9597 (java) S 9589 9589 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475205630 15508250624 10292 33554432000 4194304 4196468 140727036172800 139729048590832 139729512823426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9598] ppid=9589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9598/stat : 9598 (java) S 9589 9589 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475205630 15508250624 10292 33554432000 4194304 4196468 140727036172800 139729047537056 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9599] ppid=9589 vsize=15144776 memory=140681958368896 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9599/stat : 9599 (java) S 9589 9589 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475205631 15508250624 10292 33554432000 4194304 4196468 140727036172800 139729046484464 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9600] ppid=9589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9600/stat : 9600 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475205633 15508250624 10292 33554432000 4194304 4196468 140727036172800 139729045433040 139729512830875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9601] ppid=9589 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9591/task/9601/stat : 9601 (java) S 9589 9589 7690 0 -1 1077944384 563 0 0 0 3 0 0 0 20 0 15 0 475205633 15508250624 10292 33554432000 4194304 4196468 140727036172800 139728976340976 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9602] ppid=9589 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9591/task/9602/stat : 9602 (java) S 9589 9589 7690 0 -1 1077944384 209 0 0 0 2 0 0 0 20 0 15 0 475205633 15508250624 10292 33554432000 4194304 4196468 140727036172800 139728975288432 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9603] ppid=9589 vsize=15144776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9591/task/9603/stat : 9603 (java) R 9589 9589 7690 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 15 0 475205633 15508250624 10292 33554432000 4194304 4196468 140727036172800 139728974235888 139729512824214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9604] ppid=9589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9604/stat : 9604 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475205633 15508250624 10292 33554432000 4194304 4196468 140727036172800 139728973183584 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9605] ppid=9589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9605/stat : 9605 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205634 15508250624 10292 33554432000 4194304 4196468 140727036172800 139728972131120 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42620 KiB
[startup+0.310742 s]*
/proc/loadavg: 8.48 8.01 6.54 7/234 9605
/proc/meminfo: memFree=9083316/32770624 swapFree=66986244/67108860
[pid=9589] ppid=9586 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9589/stat : 9589 (xcsp3-exec) S 9586 9589 7690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475205627 115843072 363 33554432000 4194304 5098028 140726758184896 140726758183000 139889211703932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140726758191994 140726758192237 140726758192237 140726758195146 0
/proc/9589/statm: 28282 363 304 221 0 87 0
[pid=9591] ppid=9589 vsize=15149032 memory=49532 CPUtime=0.51 cores=0,2,4,6
/proc/9591/stat : 9591 (java) S 9589 9589 7690 0 -1 1077944320 10693 0 0 0 48 3 0 0 20 0 15 0 475205628 15512608768 12383 33554432000 4194304 4196468 140727036172800 140727036155344 139729512812279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
/proc/9591/statm: 3787258 12383 3353 1 0 3748377 0
[pid=9591/tid=9592] ppid=9589 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/9591/task/9592/stat : 9592 (java) R 9589 9589 7690 0 -1 4202560 7747 0 0 0 27 3 0 0 20 0 15 0 475205628 15512608768 12383 33554432000 4194304 4196468 140727036172800 139729517046064 139729496892766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9593] ppid=9589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9593/stat : 9593 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205629 15512608768 12383 33554432000 4194304 4196468 140727036172800 139729449048336 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9594] ppid=9589 vsize=15149032 memory=3384551 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9594/stat : 9594 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205629 15512608768 12383 33554432000 4194304 4196468 140727036172800 139729447995792 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9595] ppid=9589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9595/stat : 9595 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205629 15512608768 12383 33554432000 4194304 4196468 140727036172800 139729102756368 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9596] ppid=9589 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9596/stat : 9596 (java) S 9589 9589 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475205629 15512608768 12383 33554432000 4194304 4196468 140727036172800 139729101703824 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9597] ppid=9589 vsize=15149032 memory=140681958368896 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9597/stat : 9597 (java) S 9589 9589 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475205630 15512608768 12383 33554432000 4194304 4196468 140727036172800 139729048590832 139729512823426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9598] ppid=9589 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9598/stat : 9598 (java) S 9589 9589 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475205630 15512608768 12383 33554432000 4194304 4196468 140727036172800 139729047537056 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9599] ppid=9589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9599/stat : 9599 (java) S 9589 9589 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475205631 15512608768 12414 33554432000 4194304 4196468 140727036172800 139729046484464 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9600] ppid=9589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9600/stat : 9600 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475205633 15512608768 12414 33554432000 4194304 4196468 140727036172800 139729045433040 139729512830875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9601] ppid=9589 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9591/task/9601/stat : 9601 (java) S 9589 9589 7690 0 -1 1077944384 570 0 0 0 4 0 0 0 20 0 15 0 475205633 15512608768 12414 33554432000 4194304 4196468 140727036172800 139728976340976 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9602] ppid=9589 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/9591/task/9602/stat : 9602 (java) S 9589 9589 7690 0 -1 1077944384 234 0 0 0 4 0 0 0 20 0 15 0 475205633 15512608768 12414 33554432000 4194304 4196468 140727036172800 139728975288432 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9603] ppid=9589 vsize=15149032 memory=140681958368896 CPUtime=0.12 cores=0,2,4,6
/proc/9591/task/9603/stat : 9603 (java) S 9589 9589 7690 0 -1 1077944384 846 0 0 0 12 0 0 0 20 0 15 0 475205633 15512608768 12414 33554432000 4194304 4196468 140727036172800 139728974235888 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9604] ppid=9589 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9604/stat : 9604 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475205633 15512608768 12414 33554432000 4194304 4196468 140727036172800 139728973183584 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9605] ppid=9589 vsize=15149032 memory=140681958368896 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9605/stat : 9605 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205634 15512608768 12414 33554432000 4194304 4196468 140727036172800 139728972131120 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50984 KiB
[startup+0.702703 s]
/proc/loadavg: 8.48 8.01 6.54 9/234 9605
/proc/meminfo: memFree=9065292/32770624 swapFree=66986244/67108860
[pid=9589] ppid=9586 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9589/stat : 9589 (xcsp3-exec) S 9586 9589 7690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475205627 115843072 363 33554432000 4194304 5098028 140726758184896 140726758183000 139889211703932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140726758191994 140726758192237 140726758192237 140726758195146 0
/proc/9589/statm: 28282 363 304 221 0 87 0
[pid=9591] ppid=9589 vsize=15151156 memory=93384 CPUtime=1.67 cores=0,2,4,6
/proc/9591/stat : 9591 (java) S 9589 9589 7690 0 -1 1077944320 14002 0 0 0 162 5 0 0 20 0 15 0 475205628 15514783744 23346 33554432000 4194304 4196468 140727036172800 140727036155344 139729512812279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
/proc/9591/statm: 3787789 23346 3466 1 0 3748889 0
[pid=9591/tid=9592] ppid=9589 vsize=15151156 memory=2120 CPUtime=0.68 cores=0,2,4,6
/proc/9591/task/9592/stat : 9592 (java) R 9589 9589 7690 0 -1 4202560 9161 0 0 0 64 4 0 0 20 0 15 0 475205628 15514783744 23346 33554432000 4194304 4196468 140727036172800 139729517048152 139729127483119 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9593] ppid=9589 vsize=15151156 memory=532 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9593/stat : 9593 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205629 15514783744 23346 33554432000 4194304 4196468 140727036172800 139729449048336 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9594] ppid=9589 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9594/stat : 9594 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205629 15514783744 23346 33554432000 4194304 4196468 140727036172800 139729447995792 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9595] ppid=9589 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9595/stat : 9595 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205629 15514783744 23346 33554432000 4194304 4196468 140727036172800 139729102756368 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9596] ppid=9589 vsize=15151156 memory=1680 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9596/stat : 9596 (java) S 9589 9589 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475205629 15514783744 23346 33554432000 4194304 4196468 140727036172800 139729101703824 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9597] ppid=9589 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9597/stat : 9597 (java) S 9589 9589 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475205630 15514783744 23346 33554432000 4194304 4196468 140727036172800 139729048590832 139729512823426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9598] ppid=9589 vsize=15151156 memory=912 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9598/stat : 9598 (java) S 9589 9589 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475205630 15514783744 23346 33554432000 4194304 4196468 140727036172800 139729047537056 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9599] ppid=9589 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9599/stat : 9599 (java) S 9589 9589 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475205631 15514783744 23346 33554432000 4194304 4196468 140727036172800 139729046484464 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9600] ppid=9589 vsize=15151156 memory=2480 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9600/stat : 9600 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475205633 15514783744 23346 33554432000 4194304 4196468 140727036172800 139729045433040 139729512830875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9601] ppid=9589 vsize=15151156 memory=7302135314614015849 CPUtime=0.29 cores=0,2,4,6
/proc/9591/task/9601/stat : 9601 (java) R 9589 9589 7690 0 -1 4202560 1049 0 0 0 29 0 0 0 20 0 15 0 475205633 15514783744 23346 33554432000 4194304 4196468 140727036172800 139728976330416 139729493512576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9602] ppid=9589 vsize=15151156 memory=6010443378169637462 CPUtime=0.27 cores=0,2,4,6
/proc/9591/task/9602/stat : 9602 (java) R 9589 9589 7690 0 -1 4202560 782 0 0 0 27 0 0 0 20 0 15 0 475205633 15514783744 23346 33554432000 4194304 4196468 140727036172800 139728975274384 139729492474705 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9603] ppid=9589 vsize=15151156 memory=7295944995277656144 CPUtime=0.41 cores=0,2,4,6
/proc/9591/task/9603/stat : 9603 (java) R 9589 9589 7690 0 -1 4202560 1713 0 0 0 41 0 0 0 20 0 15 0 475205633 15514783744 23346 33554432000 4194304 4196468 140727036172800 139728974235888 139729512833626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9604] ppid=9589 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9604/stat : 9604 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475205633 15514783744 23346 33554432000 4194304 4196468 140727036172800 139728973183584 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9605] ppid=9589 vsize=15151156 memory=7523096512984082771 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9605/stat : 9605 (java) S 9589 9589 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475205634 15514783744 23346 33554432000 4194304 4196468 140727036172800 139728972131120 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94836 KiB
[startup+1.50871 s]
/proc/loadavg: 8.48 8.01 6.54 12/238 9609
/proc/meminfo: memFree=8998548/32770624 swapFree=66986244/67108860
[pid=9589] ppid=9586 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9589/stat : 9589 (xcsp3-exec) S 9586 9589 7690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475205627 115843072 363 33554432000 4194304 5098028 140726758184896 140726758183000 139889211703932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140726758191994 140726758192237 140726758192237 140726758195146 0
/proc/9589/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/9591/task/9605/stat : 9605 (java) S 9589 9589 7690 0 -1 1077944384 150 0 0 0 0 1 0 0 20 0 19 0 475205634 15787429888 50317 33554432000 4194304 4196468 140727036172800 139728972131120 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9629] ppid=9589 vsize=15417412 memory=201008 CPUtime=0.23 cores=0,2,4,6
/proc/9591/task/9629/stat : 9629 (java) R 9589 9589 7690 0 -1 4202560 66 0 0 0 23 0 0 0 20 0 19 0 475210403 15787429888 50317 33554432000 4194304 4196468 140727036172800 139728963151744 139729135437731 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9630] ppid=9589 vsize=15417412 memory=4104 CPUtime=0.25 cores=0,2,4,6
/proc/9591/task/9630/stat : 9630 (java) R 9589 9589 7690 0 -1 4202560 95 0 0 0 25 0 0 0 20 0 19 0 475210403 15787429888 50317 33554432000 4194304 4196468 140727036172800 139728959991504 139729135438044 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9631] ppid=9589 vsize=15417412 memory=1452 CPUtime=0.25 cores=0,2,4,6
/proc/9591/task/9631/stat : 9631 (java) R 9589 9589 7690 0 -1 4202560 20 0 0 0 25 0 0 0 20 0 19 0 475210403 15787429888 50317 33554432000 4194304 4196468 140727036172800 139728962099768 139729135437690 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9632] ppid=9589 vsize=15417412 memory=200564 CPUtime=0.25 cores=0,2,4,6
/proc/9591/task/9632/stat : 9632 (java) R 9589 9589 7690 0 -1 4202560 18 0 0 0 25 0 0 0 20 0 19 0 475210403 15787429888 50317 33554432000 4194304 4196468 140727036172800 139728961044472 139729133643433 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
Current children cumulated CPU time: 189.59 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 202720 KiB
[startup+49.6017 s]
/proc/loadavg: 8.57 8.10 6.65 10/236 9632
/proc/meminfo: memFree=8926752/32770624 swapFree=66986244/67108860
[pid=9589] ppid=9586 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9589/stat : 9589 (xcsp3-exec) S 9586 9589 7690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475205627 115843072 363 33554432000 4194304 5098028 140726758184896 140726758183000 139889211703932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140726758191994 140726758192237 140726758192237 140726758195146 0
/proc/9589/statm: 28282 363 304 221 0 87 0
[pid=9591] ppid=9589 vsize=15417412 memory=201372 CPUtime=195.92 cores=0,2,4,6
/proc/9591/stat : 9591 (java) S 9589 9589 7690 0 -1 1077944320 52354 0 0 0 19572 20 0 0 20 0 19 0 475205628 15787429888 50343 33554432000 4194304 4196468 140727036172800 140727036155344 139729512812279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
/proc/9591/statm: 3854353 50343 3534 1 0 3815453 0
[pid=9591/tid=9592] ppid=9589 vsize=15417412 memory=8112282956445269571 CPUtime=0.78 cores=0,2,4,6
/proc/9591/task/9592/stat : 9592 (java) S 9589 9589 7690 0 -1 1077944384 9614 0 0 0 74 4 0 0 20 0 19 0 475205628 15787429888 50343 33554432000 4194304 4196468 140727036172800 139729517053056 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9593] ppid=9589 vsize=15417412 memory=2120 CPUtime=0.09 cores=0,2,4,6
/proc/9591/task/9593/stat : 9593 (java) S 9589 9589 7690 0 -1 1077944384 2048 0 0 0 8 1 0 0 20 0 19 0 475205629 15787429888 50343 33554432000 4194304 4196468 140727036172800 139729449048336 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9594] ppid=9589 vsize=15417412 memory=532 CPUtime=0.1 cores=0,2,4,6
/proc/9591/task/9594/stat : 9594 (java) S 9589 9589 7690 0 -1 1077944384 992 0 0 0 8 2 0 0 20 0 19 0 475205629 15787429888 50343 33554432000 4194304 4196468 140727036172800 139729447995792 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9595] ppid=9589 vsize=15417412 memory=1564 CPUtime=0.08 cores=0,2,4,6
/proc/9591/task/9595/stat : 9595 (java) S 9589 9589 7690 0 -1 1077944384 339 0 0 0 7 1 0 0 20 0 19 0 475205629 15787429888 50343 33554432000 4194304 4196468 140727036172800 139729102756368 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9596] ppid=9589 vsize=15417412 memory=97985 CPUtime=0.1 cores=0,2,4,6
/proc/9591/task/9596/stat : 9596 (java) S 9589 9589 7690 0 -1 1077944384 1129 0 0 0 8 2 0 0 20 0 19 0 475205629 15787429888 50343 33554432000 4194304 4196468 140727036172800 139729101703824 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9597] ppid=9589 vsize=15417412 memory=-7087961436404368800 CPUtime=0.03 cores=0,2,4,6
/proc/9591/task/9597/stat : 9597 (java) S 9589 9589 7690 0 -1 1077944384 918 0 0 0 2 1 0 0 20 0 19 0 475205630 15787429888 50343 33554432000 4194304 4196468 140727036172800 139729048590832 139729512823426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9598] ppid=9589 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9598/stat : 9598 (java) S 9589 9589 7690 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475205630 15787429888 50343 33554432000 4194304 4196468 140727036172800 139729047537120 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9599] ppid=9589 vsize=15417412 memory=5787213835721533265 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9599/stat : 9599 (java) S 9589 9589 7690 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 475205631 15787429888 50343 33554432000 4194304 4196468 140727036172800 139729046484480 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9600] ppid=9589 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9600/stat : 9600 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475205633 15787429888 50343 33554432000 4194304 4196468 140727036172800 139729045433040 139729512830875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9601] ppid=9589 vsize=15417412 memory=8112282956445269571 CPUtime=2.33 cores=0,2,4,6
/proc/9591/task/9601/stat : 9601 (java) S 9589 9589 7690 0 -1 1077944384 12847 0 0 0 232 1 0 0 20 0 19 0 475205633 15787429888 50343 33554432000 4194304 4196468 140727036172800 139728976340976 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9602] ppid=9589 vsize=15417412 memory=3024 CPUtime=2.01 cores=0,2,4,6
/proc/9591/task/9602/stat : 9602 (java) S 9589 9589 7690 0 -1 1077944384 10460 0 0 0 200 1 0 0 20 0 19 0 475205633 15787429888 50343 33554432000 4194304 4196468 140727036172800 139728975288432 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9603] ppid=9589 vsize=15417412 memory=1452 CPUtime=0.75 cores=0,2,4,6
/proc/9591/task/9603/stat : 9603 (java) S 9589 9589 7690 0 -1 1077944384 7182 0 0 0 74 1 0 0 20 0 19 0 475205633 15787429888 50343 33554432000 4194304 4196468 140727036172800 139728974235888 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9604] ppid=9589 vsize=15417412 memory=201008 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9604/stat : 9604 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475205633 15787429888 50343 33554432000 4194304 4196468 140727036172800 139728973183584 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9605] ppid=9589 vsize=15417412 memory=1416 CPUtime=0.01 cores=0,2,4,6
/proc/9591/task/9605/stat : 9605 (java) S 9589 9589 7690 0 -1 1077944384 150 0 0 0 0 1 0 0 20 0 19 0 475205634 15787429888 50343 33554432000 4194304 4196468 140727036172800 139728972131120 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9629] ppid=9589 vsize=15417412 memory=1712 CPUtime=1.74 cores=0,2,4,6
/proc/9591/task/9629/stat : 9629 (java) R 9589 9589 7690 0 -1 4202560 66 0 0 0 174 0 0 0 20 0 19 0 475210403 15787429888 50343 33554432000 4194304 4196468 140727036172800 139728963148408 139729135479760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9630] ppid=9589 vsize=15417412 memory=692 CPUtime=1.8 cores=0,2,4,6
/proc/9591/task/9630/stat : 9630 (java) R 9589 9589 7690 0 -1 4202560 120 0 0 0 180 0 0 0 20 0 19 0 475210403 15787429888 50343 33554432000 4194304 4196468 140727036172800 139728959993320 139729135437669 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9631] ppid=9589 vsize=15417412 memory=1056 CPUtime=1.79 cores=0,2,4,6
/proc/9591/task/9631/stat : 9631 (java) R 9589 9589 7690 0 -1 4202560 20 0 0 0 179 0 0 0 20 0 19 0 475210403 15787429888 50343 33554432000 4194304 4196468 140727036172800 139728962097992 139729135749420 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9632] ppid=9589 vsize=15417412 memory=1556 CPUtime=1.83 cores=0,2,4,6
/proc/9591/task/9632/stat : 9632 (java) R 9589 9589 7690 0 -1 4202560 20 0 0 0 183 0 0 0 20 0 19 0 475210403 15787429888 50343 33554432000 4194304 4196468 140727036172800 139728961045976 139729135437690 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
Current children cumulated CPU time: 195.92 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 202824 KiB
[startup+50.4017 s]
/proc/loadavg: 8.57 8.10 6.65 9/236 9632
/proc/meminfo: memFree=8926752/32770624 swapFree=66986244/67108860
[pid=9589] ppid=9586 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9589/stat : 9589 (xcsp3-exec) S 9586 9589 7690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475205627 115843072 363 33554432000 4194304 5098028 140726758184896 140726758183000 139889211703932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140726758191994 140726758192237 140726758192237 140726758195146 0
/proc/9589/statm: 28282 363 304 221 0 87 0
[pid=9591] ppid=9589 vsize=15417412 memory=201468 CPUtime=199.11 cores=0,2,4,6
/proc/9591/stat : 9591 (java) S 9589 9589 7690 0 -1 1077944320 52432 0 0 0 19891 20 0 0 20 0 19 0 475205628 15787429888 50367 33554432000 4194304 4196468 140727036172800 140727036155344 139729512812279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
/proc/9591/statm: 3854353 50367 3534 1 0 3815453 0
[pid=9591/tid=9592] ppid=9589 vsize=15417412 memory=201344 CPUtime=0.78 cores=0,2,4,6
/proc/9591/task/9592/stat : 9592 (java) S 9589 9589 7690 0 -1 1077944384 9614 0 0 0 74 4 0 0 20 0 19 0 475205628 15787429888 50367 33554432000 4194304 4196468 140727036172800 139729517053056 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9593] ppid=9589 vsize=15417412 memory=4126316290023845779 CPUtime=0.09 cores=0,2,4,6
/proc/9591/task/9593/stat : 9593 (java) S 9589 9589 7690 0 -1 1077944384 2048 0 0 0 8 1 0 0 20 0 19 0 475205629 15787429888 50367 33554432000 4194304 4196468 140727036172800 139729449048336 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9594] ppid=9589 vsize=15417412 memory=7552 CPUtime=0.1 cores=0,2,4,6
/proc/9591/task/9594/stat : 9594 (java) S 9589 9589 7690 0 -1 1077944384 992 0 0 0 8 2 0 0 20 0 19 0 475205629 15787429888 50367 33554432000 4194304 4196468 140727036172800 139729447995792 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9595] ppid=9589 vsize=15417412 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/9591/task/9595/stat : 9595 (java) S 9589 9589 7690 0 -1 1077944384 339 0 0 0 7 1 0 0 20 0 19 0 475205629 15787429888 50367 33554432000 4194304 4196468 140727036172800 139729102756368 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9596] ppid=9589 vsize=15417412 memory=201468 CPUtime=0.1 cores=0,2,4,6
/proc/9591/task/9596/stat : 9596 (java) S 9589 9589 7690 0 -1 1077944384 1129 0 0 0 8 2 0 0 20 0 19 0 475205629 15787429888 50367 33554432000 4194304 4196468 140727036172800 139729101703824 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9597] ppid=9589 vsize=15417412 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/9591/task/9597/stat : 9597 (java) S 9589 9589 7690 0 -1 1077944384 919 0 0 0 2 1 0 0 20 0 19 0 475205630 15787429888 50367 33554432000 4194304 4196468 140727036172800 139729048590832 139729512823426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9598] ppid=9589 vsize=15417412 memory=201344 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9598/stat : 9598 (java) S 9589 9589 7690 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475205630 15787429888 50367 33554432000 4194304 4196468 140727036172800 139729047537120 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9599] ppid=9589 vsize=15417412 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9599/stat : 9599 (java) S 9589 9589 7690 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 475205631 15787429888 50367 33554432000 4194304 4196468 140727036172800 139729046484480 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9600] ppid=9589 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9600/stat : 9600 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475205633 15787429888 50367 33554432000 4194304 4196468 140727036172800 139729045433040 139729512830875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9601] ppid=9589 vsize=15417412 memory=201276 CPUtime=2.36 cores=0,2,4,6
/proc/9591/task/9601/stat : 9601 (java) S 9589 9589 7690 0 -1 1077944384 12862 0 0 0 235 1 0 0 20 0 19 0 475205633 15787429888 50367 33554432000 4194304 4196468 140727036172800 139728976340976 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9602] ppid=9589 vsize=15417412 memory=3616 CPUtime=2.03 cores=0,2,4,6
/proc/9591/task/9602/stat : 9602 (java) S 9589 9589 7690 0 -1 1077944384 10497 0 0 0 202 1 0 0 20 0 19 0 475205633 15787429888 50367 33554432000 4194304 4196468 140727036172800 139728975288432 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9603] ppid=9589 vsize=15417412 memory=55304 CPUtime=0.75 cores=0,2,4,6
/proc/9591/task/9603/stat : 9603 (java) S 9589 9589 7690 0 -1 1077944384 7182 0 0 0 74 1 0 0 20 0 19 0 475205633 15787429888 50367 33554432000 4194304 4196468 140727036172800 139728974235888 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9604] ppid=9589 vsize=15417412 memory=988 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9604/stat : 9604 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475205633 15787429888 50367 33554432000 4194304 4196468 140727036172800 139728973183584 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9605] ppid=9589 vsize=15417412 memory=2004 CPUtime=0.01 cores=0,2,4,6
/proc/9591/task/9605/stat : 9605 (java) S 9589 9589 7690 0 -1 1077944384 150 0 0 0 0 1 0 0 20 0 19 0 475205634 15787429888 50367 33554432000 4194304 4196468 140727036172800 139728972131120 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9629] ppid=9589 vsize=15417412 memory=1416 CPUtime=2.51 cores=0,2,4,6
/proc/9591/task/9629/stat : 9629 (java) R 9589 9589 7690 0 -1 4202560 72 0 0 0 251 0 0 0 20 0 19 0 475210403 15787429888 50367 33554432000 4194304 4196468 140727036172800 139728963148144 139729135139740 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9630] ppid=9589 vsize=15417412 memory=1712 CPUtime=2.58 cores=0,2,4,6
/proc/9591/task/9630/stat : 9630 (java) R 9589 9589 7690 0 -1 4202560 131 0 0 0 258 0 0 0 20 0 19 0 475210403 15787429888 50367 33554432000 4194304 4196468 140727036172800 139728959992248 139729134792085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9631] ppid=9589 vsize=15417412 memory=8112282956445269571 CPUtime=2.57 cores=0,2,4,6
/proc/9591/task/9631/stat : 9631 (java) R 9589 9589 7690 0 -1 4202560 24 0 0 0 257 0 0 0 20 0 19 0 475210403 15787429888 50367 33554432000 4194304 4196468 140727036172800 139728962097192 139729135437690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9632] ppid=9589 vsize=15417412 memory=14048 CPUtime=2.63 cores=0,2,4,6
/proc/9591/task/9632/stat : 9632 (java) R 9589 9589 7690 0 -1 4202560 24 0 0 0 263 0 0 0 20 0 19 0 475210403 15787429888 50367 33554432000 4194304 4196468 140727036172800 139728961044696 139729128495048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
Current children cumulated CPU time: 199.11 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 202920 KiB
[startup+50.8017 s]
/proc/loadavg: 8.57 8.10 6.65 9/236 9632
/proc/meminfo: memFree=8926752/32770624 swapFree=66986244/67108860
[pid=9589] ppid=9586 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9589/stat : 9589 (xcsp3-exec) S 9586 9589 7690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475205627 115843072 363 33554432000 4194304 5098028 140726758184896 140726758183000 139889211703932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140726758191994 140726758192237 140726758192237 140726758195146 0
/proc/9589/statm: 28282 363 304 221 0 87 0
[pid=9591] ppid=9589 vsize=15417412 memory=201536 CPUtime=200.7 cores=0,2,4,6
/proc/9591/stat : 9591 (java) S 9589 9589 7690 0 -1 1077944320 52778 0 0 0 20050 20 0 0 20 0 19 0 475205628 15787429888 50384 33554432000 4194304 4196468 140727036172800 140727036155344 139729512812279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
/proc/9591/statm: 3854353 50384 3534 1 0 3815453 0
[pid=9591/tid=9592] ppid=9589 vsize=15417412 memory=16098169624726078 CPUtime=0.78 cores=0,2,4,6
/proc/9591/task/9592/stat : 9592 (java) S 9589 9589 7690 0 -1 1077944384 9614 0 0 0 74 4 0 0 20 0 19 0 475205628 15787429888 50384 33554432000 4194304 4196468 140727036172800 139729517053056 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9593] ppid=9589 vsize=15417412 memory=780 CPUtime=0.09 cores=0,2,4,6
/proc/9591/task/9593/stat : 9593 (java) S 9589 9589 7690 0 -1 1077944384 2048 0 0 0 8 1 0 0 20 0 19 0 475205629 15787429888 50384 33554432000 4194304 4196468 140727036172800 139729449048336 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9594] ppid=9589 vsize=15417412 memory=3616 CPUtime=0.1 cores=0,2,4,6
/proc/9591/task/9594/stat : 9594 (java) S 9589 9589 7690 0 -1 1077944384 992 0 0 0 8 2 0 0 20 0 19 0 475205629 15787429888 50384 33554432000 4194304 4196468 140727036172800 139729447995792 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9595] ppid=9589 vsize=15417412 memory=1112 CPUtime=0.08 cores=0,2,4,6
/proc/9591/task/9595/stat : 9595 (java) S 9589 9589 7690 0 -1 1077944384 339 0 0 0 7 1 0 0 20 0 19 0 475205629 15787429888 50384 33554432000 4194304 4196468 140727036172800 139729102756368 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9596] ppid=9589 vsize=15417412 memory=6048 CPUtime=0.1 cores=0,2,4,6
/proc/9591/task/9596/stat : 9596 (java) S 9589 9589 7690 0 -1 1077944384 1129 0 0 0 8 2 0 0 20 0 19 0 475205629 15787429888 50384 33554432000 4194304 4196468 140727036172800 139729101703824 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9597] ppid=9589 vsize=15417412 memory=7552 CPUtime=0.03 cores=0,2,4,6
/proc/9591/task/9597/stat : 9597 (java) S 9589 9589 7690 0 -1 1077944384 919 0 0 0 2 1 0 0 20 0 19 0 475205630 15787429888 50384 33554432000 4194304 4196468 140727036172800 139729048590832 139729512823426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9598] ppid=9589 vsize=15417412 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9598/stat : 9598 (java) S 9589 9589 7690 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475205630 15787429888 50384 33554432000 4194304 4196468 140727036172800 139729047537120 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9599] ppid=9589 vsize=15417412 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9599/stat : 9599 (java) S 9589 9589 7690 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 475205631 15787429888 50384 33554432000 4194304 4196468 140727036172800 139729046484480 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9600] ppid=9589 vsize=15417412 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9600/stat : 9600 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475205633 15787429888 50384 33554432000 4194304 4196468 140727036172800 139729045433040 139729512830875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9601] ppid=9589 vsize=15417412 memory=14048 CPUtime=2.36 cores=0,2,4,6
/proc/9591/task/9601/stat : 9601 (java) S 9589 9589 7690 0 -1 1077944384 12862 0 0 0 235 1 0 0 20 0 19 0 475205633 15787429888 50384 33554432000 4194304 4196468 140727036172800 139728976340976 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9602] ppid=9589 vsize=15417412 memory=29424 CPUtime=2.03 cores=0,2,4,6
/proc/9591/task/9602/stat : 9602 (java) S 9589 9589 7690 0 -1 1077944384 10497 0 0 0 202 1 0 0 20 0 19 0 475205633 15787429888 50384 33554432000 4194304 4196468 140727036172800 139728975288432 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9603] ppid=9589 vsize=15417412 memory=2120 CPUtime=0.75 cores=0,2,4,6
/proc/9591/task/9603/stat : 9603 (java) S 9589 9589 7690 0 -1 1077944384 7182 0 0 0 74 1 0 0 20 0 19 0 475205633 15787429888 50384 33554432000 4194304 4196468 140727036172800 139728974235888 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9604] ppid=9589 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9591/task/9604/stat : 9604 (java) S 9589 9589 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475205633 15787429888 50384 33554432000 4194304 4196468 140727036172800 139728973183584 139729512822485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9605] ppid=9589 vsize=15417412 memory=140681856208856 CPUtime=0.01 cores=0,2,4,6
/proc/9591/task/9605/stat : 9605 (java) S 9589 9589 7690 0 -1 1077944384 150 0 0 0 0 1 0 0 20 0 19 0 475205634 15787429888 50384 33554432000 4194304 4196468 140727036172800 139728972131120 139729512823426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9629] ppid=9589 vsize=15417412 memory=7824336315716348491 CPUtime=2.91 cores=0,2,4,6
/proc/9591/task/9629/stat : 9629 (java) R 9589 9589 7690 0 -1 4202560 125 0 0 0 291 0 0 0 20 0 19 0 475210403 15787429888 50384 33554432000 4194304 4196468 140727036172800 139728963148384 139729135437690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9630] ppid=9589 vsize=15417412 memory=-8412652169205224307 CPUtime=2.98 cores=0,2,4,6
/proc/9591/task/9630/stat : 9630 (java) R 9589 9589 7690 0 -1 4202560 317 0 0 0 298 0 0 0 20 0 19 0 475210403 15787429888 50384 33554432000 4194304 4196468 140727036172800 139728959991504 139729135437624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9631] ppid=9589 vsize=15417412 memory=7379539859719414355 CPUtime=2.97 cores=0,2,4,6
/proc/9591/task/9631/stat : 9631 (java) R 9589 9589 7690 0 -1 4202560 95 0 0 0 297 0 0 0 20 0 19 0 475210403 15787429888 50384 33554432000 4194304 4196468 140727036172800 139728962097104 139729133502325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
[pid=9591/tid=9632] ppid=9589 vsize=15417412 memory=7162246589324026983 CPUtime=3.03 cores=0,2,4,6
/proc/9591/task/9632/stat : 9632 (java) R 9589 9589 7690 0 -1 4202560 60 0 0 0 303 0 0 0 20 0 19 0 475210403 15787429888 50384 33554432000 4194304 4196468 140727036172800 139728961044792 139729135479736 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18849792 140727036179439 140727036179610 140727036179610 140727036182479 0
Current children cumulated CPU time: 200.7 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 202988 KiB
Child status: 0
Real time (s): 50.8397
CPU time (s): 200.842
CPU user time (s): 200.628
CPU system time (s): 0.214774
CPU usage (%): 395.051
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 252872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 200.628
system time used= 0.214774
maximum resident set size= 251420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54774
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4981
involuntary context switches= 5480
# summary of solver processes directly reported to runsolver:
# pid: 9589
# total CPU time (s): 200.842
# total CPU user time (s): 200.628
# total CPU system time (s): 0.214774
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.350635 second user time and 0.63071 second system time
The end
Begin job on node104 at 2019-09-20 15:14:27 IDJOB=4403763 IDBENCH=124135 IDSOLVER=2863 FILE ID=node104/4403763-1568989488 RUNJOBID= node104-1568983762-7721 PBS_JOBID= 21704640 Free space on /tmp= 9560 MiB SOLVER NAME= choco-solver 2019-09-20 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403763-1568989488/watcher-4403763-1568989488 -o /tmp/evaluation-result-4403763-1568989488/solver-4403763-1568989488 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1529495700 HOME/instance-4403763-1568989488.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=1529495700 node104.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 : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 9118292 kB MemAvailable: 27647180 kB Buffers: 100184 kB Cached: 18336028 kB SwapCached: 22652 kB Active: 13371596 kB Inactive: 9268260 kB Active(anon): 4178208 kB Inactive(anon): 74632 kB Active(file): 9193388 kB Inactive(file): 9193628 kB Unevictable: 109712 kB Mlocked: 109712 kB SwapTotal: 67108860 kB SwapFree: 66986244 kB Dirty: 25920 kB Writeback: 0 kB AnonPages: 4296932 kB Mapped: 65364 kB Shmem: 40708 kB Slab: 599536 kB SReclaimable: 570332 kB SUnreclaim: 29204 kB KernelStack: 3984 kB PageTables: 13904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5442044 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4087808 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9532 MiB End job on node104 at 2019-09-20 15:15:18