Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | OPT | 123 | 71.192902 | 9.7268896 |
| 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 | 7.4963198 |
| 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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270513-1502702656.xml" -tl '20160s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4270513-1502702656.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 2.27/0.85 c solve instance... 8.13/1.65 o 167 9.71/1.87 o 166 11.31/2.02 o 165 12.16/2.13 o 164 12.79/2.25 o 163 13.55/2.35 o 162 14.33/2.45 o 161 15.15/2.55 o 160 15.83/2.65 o 159 16.61/2.75 o 158 17.36/2.80 o 156 17.36/2.81 o 155 17.36/2.83 o 154 17.36/2.84 o 153 18.10/2.93 o 152 18.89/3.03 o 151 19.63/3.12 o 150 20.41/3.21 o 149 21.08/3.34 o 148 21.86/3.43 o 147 22.61/3.53 o 146 23.37/3.62 o 145 24.15/3.72 o 144 24.91/3.81 o 143 25.69/3.90 o 142 25.69/3.99 o 141 26.53/4.08 o 140 27.37/4.18 o 139 27.95/4.28 o 138 28.68/4.37 o 137 29.43/4.46 o 136 30.17/4.56 o 135 30.91/4.65 o 134 31.69/4.74 o 133 32.43/4.83 o 132 33.19/4.91 o 131 33.19/5.00 o 130 34.00/5.09 o 129 34.77/5.18 o 128 35.40/5.27 o 127 36.18/5.35 o 126 36.96/5.44 o 125 37.68/5.53 o 124 38.44/5.61 o 123 71.07/9.71 s OPTIMUM FOUND 71.07/9.71 v <instantiation> 71.07/9.71 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] </list> 71.07/9.71 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 71.07/9.71 v </instantiation>
OK 123
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12284 MiB free)
memory of node 1: 16384 MiB (13571 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270513-1502702656/watcher-4270513-1502702656 -o /tmp/evaluation-result-4270513-1502702656/solver-4270513-1502702656 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502691658-2181 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1138940563 HOME/instance-4270513-1502702656.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4307, runsolver pid=4304
[startup+0.100155 s]*
/proc/loadavg: 7.65 8.20 7.73 3/199 4328
/proc/meminfo: memFree=26462924/32770624 swapFree=67108860/67108860
[pid=4307] ppid=4304 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4307/stat : 4307 (xcsp3-exec) S 4304 4307 2154 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103337238 9740288 346 33554432000 4194304 5098028 140731974841968 140731974840072 140089384469116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18190336 140731974845540 140731974845751 140731974845751 140731974848491 0
/proc/4307/statm: 2378 346 289 221 0 87 0
[pid=4309] ppid=4307 vsize=25999808 memory=24664 CPUtime=0.11 cores=0-7
/proc/4309/stat : 4309 (java) S 4307 4307 2154 0 -1 1077944320 5586 0 0 0 10 1 0 0 20 0 20 0 103337238 26623803392 6166 33554432000 4194304 4196468 140731374954384 140731374936928 140148037865207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
/proc/4309/statm: 6499952 6166 2862 1 0 6488269 0
[pid=4309/tid=4310] ppid=4307 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/4309/task/4310/stat : 4310 (java) R 4307 4307 2154 0 -1 4202560 3559 0 0 0 8 1 0 0 20 0 20 0 103337238 26623803392 6166 33554432000 4194304 4196468 140731374954384 140148042098480 140148021908837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4311] ppid=4307 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4309/task/4311/stat : 4311 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26623803392 6166 33554432000 4194304 4196468 140731374954384 140148005423632 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4312] ppid=4307 vsize=25999808 memory=140501568390784 CPUtime=0 cores=0-7
/proc/4309/task/4312/stat : 4312 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103337239 26623803392 6166 33554432000 4194304 4196468 140731374954384 140147595283088 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4313] ppid=4307 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4313/stat : 4313 (java) S 4307 4307 2154 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103337239 26623803392 6166 33554432000 4194304 4196468 140731374954384 140147594230032 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4314] ppid=4307 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4314/stat : 4314 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26623803392 6166 33554432000 4194304 4196468 140731374954384 140147593177488 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4315] ppid=4307 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4315/stat : 4315 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26623803392 6166 33554432000 4194304 4196468 140731374954384 140147592125456 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4316] ppid=4307 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4309/task/4316/stat : 4316 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26623803392 6166 33554432000 4194304 4196468 140731374954384 140147591072912 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4317] ppid=4307 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4317/stat : 4317 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26623803392 6166 33554432000 4194304 4196468 140731374954384 140147590019856 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4318] ppid=4307 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4318/stat : 4318 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103337239 26623803392 6166 33554432000 4194304 4196468 140731374954384 140147588967312 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4319] ppid=4307 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4319/stat : 4319 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337240 26623803392 6166 33554432000 4194304 4196468 140731374954384 140146578606320 140148037876354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4320] ppid=4307 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4320/stat : 4320 (java) S 4307 4307 2154 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103337241 26623803392 6166 33554432000 4194304 4196468 140731374954384 140146577552544 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4321] ppid=4307 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4321/stat : 4321 (java) S 4307 4307 2154 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103337241 26623803392 6166 33554432000 4194304 4196468 140731374954384 140146576499440 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4322] ppid=4307 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4322/stat : 4322 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103337243 26623803392 6166 33554432000 4194304 4196468 140731374954384 140146575448016 140148037883803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4323] ppid=4307 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4323/stat : 4323 (java) S 4307 4307 2154 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 103337243 26623803392 6166 33554432000 4194304 4196468 140731374954384 140146574396144 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4324] ppid=4307 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4324/stat : 4324 (java) S 4307 4307 2154 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 103337244 26623803392 6166 33554432000 4194304 4196468 140731374954384 140146573343600 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4325] ppid=4307 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4325/stat : 4325 (java) S 4307 4307 2154 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103337244 26623803392 6166 33554432000 4194304 4196468 140731374954384 140146572290544 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4326] ppid=4307 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4309/task/4326/stat : 4326 (java) S 4307 4307 2154 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 20 0 103337244 26623803392 6166 33554432000 4194304 4196468 140731374954384 140146571238000 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4327] ppid=4307 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4327/stat : 4327 (java) S 4307 4307 2154 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103337244 26623803392 6166 33554432000 4194304 4196468 140731374954384 140146570185184 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4328] ppid=4307 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4309/task/4328/stat : 4328 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103337244 26623803392 6166 33554432000 4194304 4196468 140731374954384 140146569132720 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 26048 KiB
[startup+0.21063 s]*
/proc/loadavg: 7.65 8.20 7.73 2/199 4328
/proc/meminfo: memFree=26453732/32770624 swapFree=67108860/67108860
[pid=4307] ppid=4304 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4307/stat : 4307 (xcsp3-exec) S 4304 4307 2154 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103337238 9740288 346 33554432000 4194304 5098028 140731974841968 140731974840072 140089384469116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18190336 140731974845540 140731974845751 140731974845751 140731974848491 0
/proc/4307/statm: 2378 346 289 221 0 87 0
[pid=4309] ppid=4307 vsize=26004064 memory=37624 CPUtime=0.33 cores=0-7
/proc/4309/stat : 4309 (java) S 4307 4307 2154 0 -1 1077944320 8483 0 0 0 31 2 0 0 20 0 20 0 103337238 26628161536 9406 33554432000 4194304 4196468 140731374954384 140731374936928 140148037865207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
/proc/4309/statm: 6501016 9406 3051 1 0 6488269 0
[pid=4309/tid=4310] ppid=4307 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4309/task/4310/stat : 4310 (java) R 4307 4307 2154 0 -1 4202560 5465 0 0 0 18 1 0 0 20 0 20 0 103337238 26628161536 9406 33554432000 4194304 4196468 140731374954384 140148042079216 140148037887133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4311] ppid=4307 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/4309/task/4311/stat : 4311 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 9406 33554432000 4194304 4196468 140731374954384 140148005423632 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4312] ppid=4307 vsize=26004064 memory=140501568401563 CPUtime=0 cores=0-7
/proc/4309/task/4312/stat : 4312 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 9406 33554432000 4194304 4196468 140731374954384 140147595283088 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4313] ppid=4307 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4309/task/4313/stat : 4313 (java) S 4307 4307 2154 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 9406 33554432000 4194304 4196468 140731374954384 140147594230032 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4314] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4314/stat : 4314 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 9406 33554432000 4194304 4196468 140731374954384 140147593177488 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4315] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4315/stat : 4315 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 9406 33554432000 4194304 4196468 140731374954384 140147592125456 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4316] ppid=4307 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4309/task/4316/stat : 4316 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 9406 33554432000 4194304 4196468 140731374954384 140147591072912 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4317] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4317/stat : 4317 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 9406 33554432000 4194304 4196468 140731374954384 140147590019856 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4318] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4318/stat : 4318 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 9406 33554432000 4194304 4196468 140731374954384 140147588967312 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4319] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4319/stat : 4319 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337240 26628161536 9406 33554432000 4194304 4196468 140731374954384 140146578606320 140148037876354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4320] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4320/stat : 4320 (java) S 4307 4307 2154 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103337241 26628161536 9406 33554432000 4194304 4196468 140731374954384 140146577552544 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4321] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4321/stat : 4321 (java) S 4307 4307 2154 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103337241 26628161536 9406 33554432000 4194304 4196468 140731374954384 140146576499440 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4322] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4322/stat : 4322 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103337243 26628161536 9406 33554432000 4194304 4196468 140731374954384 140146575448016 140148037883803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4323] ppid=4307 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4309/task/4323/stat : 4323 (java) S 4307 4307 2154 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 20 0 103337243 26628161536 9406 33554432000 4194304 4196468 140731374954384 140146574396144 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4324] ppid=4307 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4309/task/4324/stat : 4324 (java) S 4307 4307 2154 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 103337244 26628161536 9406 33554432000 4194304 4196468 140731374954384 140146573343600 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4325] ppid=4307 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4309/task/4325/stat : 4325 (java) S 4307 4307 2154 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 103337244 26628161536 9406 33554432000 4194304 4196468 140731374954384 140146572290544 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4326] ppid=4307 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/4309/task/4326/stat : 4326 (java) S 4307 4307 2154 0 -1 1077944384 865 0 0 0 7 0 0 0 20 0 20 0 103337244 26628161536 9406 33554432000 4194304 4196468 140731374954384 140146571238000 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4327] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4327/stat : 4327 (java) S 4307 4307 2154 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103337244 26628161536 9406 33554432000 4194304 4196468 140731374954384 140146570185184 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4328] ppid=4307 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4309/task/4328/stat : 4328 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103337244 26628161536 9406 33554432000 4194304 4196468 140731374954384 140146569132720 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39008 KiB
[startup+0.311777 s]*
/proc/loadavg: 7.65 8.20 7.73 4/199 4328
/proc/meminfo: memFree=26446916/32770624 swapFree=67108860/67108860
[pid=4307] ppid=4304 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4307/stat : 4307 (xcsp3-exec) S 4304 4307 2154 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103337238 9740288 346 33554432000 4194304 5098028 140731974841968 140731974840072 140089384469116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18190336 140731974845540 140731974845751 140731974845751 140731974848491 0
/proc/4307/statm: 2378 346 289 221 0 87 0
[pid=4309] ppid=4307 vsize=26004064 memory=42528 CPUtime=0.5 cores=0-7
/proc/4309/stat : 4309 (java) S 4307 4307 2154 0 -1 1077944320 9445 0 0 0 47 3 0 0 20 0 20 0 103337238 26628161536 10632 33554432000 4194304 4196468 140731374954384 140731374936928 140148037865207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
/proc/4309/statm: 6501016 10632 3099 1 0 6488269 0
[pid=4309/tid=4310] ppid=4307 vsize=26004064 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/4309/task/4310/stat : 4310 (java) R 4307 4307 2154 0 -1 4202560 6138 0 0 0 28 2 0 0 20 0 20 0 103337238 26628161536 10632 33554432000 4194304 4196468 140731374954384 140148042101440 140147674424720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4311] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4311/stat : 4311 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 10632 33554432000 4194304 4196468 140731374954384 140148005423632 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4312] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4312/stat : 4312 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 10632 33554432000 4194304 4196468 140731374954384 140147595283088 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4313] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4313/stat : 4313 (java) S 4307 4307 2154 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 10632 33554432000 4194304 4196468 140731374954384 140147594230032 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4314] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4314/stat : 4314 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 10632 33554432000 4194304 4196468 140731374954384 140147593177488 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4315] ppid=4307 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/4309/task/4315/stat : 4315 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 10632 33554432000 4194304 4196468 140731374954384 140147592125456 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4316] ppid=4307 vsize=26004064 memory=140501466575791 CPUtime=0 cores=0-7
/proc/4309/task/4316/stat : 4316 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 10632 33554432000 4194304 4196468 140731374954384 140147591072912 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4317] ppid=4307 vsize=26004064 memory=140501466578096 CPUtime=0 cores=0-7
/proc/4309/task/4317/stat : 4317 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 10632 33554432000 4194304 4196468 140731374954384 140147590019856 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4318] ppid=4307 vsize=26004064 memory=140501466580400 CPUtime=0 cores=0-7
/proc/4309/task/4318/stat : 4318 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103337239 26628161536 10632 33554432000 4194304 4196468 140731374954384 140147588967312 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4319] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4319/stat : 4319 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337240 26628161536 10632 33554432000 4194304 4196468 140731374954384 140146578606320 140148037876354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4320] ppid=4307 vsize=26004064 memory=281002933167760 CPUtime=0 cores=0-7
/proc/4309/task/4320/stat : 4320 (java) S 4307 4307 2154 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103337241 26628161536 10632 33554432000 4194304 4196468 140731374954384 140146577552544 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4321] ppid=4307 vsize=26004064 memory=281002933174672 CPUtime=0 cores=0-7
/proc/4309/task/4321/stat : 4321 (java) S 4307 4307 2154 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103337241 26628161536 10632 33554432000 4194304 4196468 140731374954384 140146576499440 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4322] ppid=4307 vsize=26004064 memory=281002933115952 CPUtime=0 cores=0-7
/proc/4309/task/4322/stat : 4322 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103337243 26628161536 10632 33554432000 4194304 4196468 140731374954384 140146575448016 140148037883803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4323] ppid=4307 vsize=26004064 memory=281002933188496 CPUtime=0.02 cores=0-7
/proc/4309/task/4323/stat : 4323 (java) R 4307 4307 2154 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 20 0 103337243 26628161536 10632 33554432000 4194304 4196468 140731374954384 140146574396144 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4324] ppid=4307 vsize=26004064 memory=281002933195408 CPUtime=0.02 cores=0-7
/proc/4309/task/4324/stat : 4324 (java) S 4307 4307 2154 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 20 0 103337244 26628161536 10632 33554432000 4194304 4196468 140731374954384 140146573343600 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4325] ppid=4307 vsize=26004064 memory=281002933193104 CPUtime=0.02 cores=0-7
/proc/4309/task/4325/stat : 4325 (java) R 4307 4307 2154 0 -1 4202560 64 0 0 0 2 0 0 0 20 0 20 0 103337244 26628161536 10632 33554432000 4194304 4196468 140731374954384 140146572290544 140148021076891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4326] ppid=4307 vsize=26004064 memory=281002933209264 CPUtime=0.12 cores=0-7
/proc/4309/task/4326/stat : 4326 (java) R 4307 4307 2154 0 -1 4202560 1033 0 0 0 12 0 0 0 20 0 20 0 103337244 26628161536 10632 33554432000 4194304 4196468 140731374954384 140146571234368 140148016015750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4327] ppid=4307 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4327/stat : 4327 (java) S 4307 4307 2154 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103337244 26628161536 10632 33554432000 4194304 4196468 140731374954384 140146570185184 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4328] ppid=4307 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4309/task/4328/stat : 4328 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103337244 26628161536 10632 33554432000 4194304 4196468 140731374954384 140146569132720 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 43912 KiB
[startup+0.70107 s]
/proc/loadavg: 7.65 8.20 7.73 4/199 4328
/proc/meminfo: memFree=26429144/32770624 swapFree=67108860/67108860
[pid=4307] ppid=4304 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4307/stat : 4307 (xcsp3-exec) S 4304 4307 2154 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103337238 9740288 346 33554432000 4194304 5098028 140731974841968 140731974840072 140089384469116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18190336 140731974845540 140731974845751 140731974845751 140731974848491 0
/proc/4307/statm: 2378 346 289 221 0 87 0
[pid=4309] ppid=4307 vsize=26006188 memory=107868 CPUtime=1.83 cores=0-7
/proc/4309/stat : 4309 (java) S 4307 4307 2154 0 -1 1077944320 13973 0 0 0 178 5 0 0 20 0 20 0 103337238 26630336512 26967 33554432000 4194304 4196468 140731374954384 140731374936928 140148037865207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
/proc/4309/statm: 6501547 26967 3219 1 0 6488781 0
[pid=4309/tid=4310] ppid=4307 vsize=26006188 memory=281002933567152 CPUtime=0.67 cores=0-7
/proc/4309/task/4310/stat : 4310 (java) R 4307 4307 2154 0 -1 4202560 6735 0 0 0 65 2 0 0 20 0 20 0 103337238 26630336512 26967 33554432000 4194304 4196468 140731374954384 140148042100768 140148037877142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4311] ppid=4307 vsize=26006188 memory=140501466784624 CPUtime=0 cores=0-7
/proc/4309/task/4311/stat : 4311 (java) S 4307 4307 2154 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103337239 26630336512 26967 33554432000 4194304 4196468 140731374954384 140148005423632 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4312] ppid=4307 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4312/stat : 4312 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103337239 26630336512 26967 33554432000 4194304 4196468 140731374954384 140147595283088 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4313] ppid=4307 vsize=26006188 memory=1428 CPUtime=0 cores=0-7
/proc/4309/task/4313/stat : 4313 (java) S 4307 4307 2154 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103337239 26630336512 26967 33554432000 4194304 4196468 140731374954384 140147594230032 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
################
# More data... #
################
[pid=4309/tid=4326] ppid=4307 vsize=26738392 memory=0 CPUtime=0.77 cores=0-7
/proc/4309/task/4326/stat : 4326 (java) S 4307 4307 2154 0 -1 1077944384 3026 0 0 0 76 1 0 0 20 0 28 0 103337244 27380113408 96253 33554432000 4194304 4196468 140731374954384 140146571238000 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4327] ppid=4307 vsize=26738392 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4327/stat : 4327 (java) S 4307 4307 2154 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103337244 27380113408 96253 33554432000 4194304 4196468 140731374954384 140146570185184 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4328] ppid=4307 vsize=26738392 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4328/stat : 4328 (java) S 4307 4307 2154 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 103337244 27380113408 96253 33554432000 4194304 4196468 140731374954384 140146569132720 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4689] ppid=4307 vsize=26738392 memory=4137280412607091059 CPUtime=3.54 cores=0-7
/proc/4309/task/4689/stat : 4689 (java) R 4307 4307 2154 0 -1 4202560 55 0 0 0 354 0 0 0 20 0 28 0 103337799 27380113408 96253 33554432000 4194304 4196468 140731374954384 140146560067792 140147680274178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4690] ppid=4307 vsize=26738392 memory=0 CPUtime=3.56 cores=0-7
/proc/4309/task/4690/stat : 4690 (java) R 4307 4307 2154 0 -1 4202560 65 0 0 0 356 0 0 0 20 0 28 0 103337799 27380113408 96253 33554432000 4194304 4196468 140731374954384 140146555858496 140147681035042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4691] ppid=4307 vsize=26738392 memory=0 CPUtime=3.53 cores=0-7
/proc/4309/task/4691/stat : 4691 (java) R 4307 4307 2154 0 -1 4202560 89 0 0 0 353 0 0 0 20 0 28 0 103337799 27380113408 96253 33554432000 4194304 4196468 140731374954384 140146551648632 140147681035042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4692] ppid=4307 vsize=26738392 memory=0 CPUtime=3.55 cores=0-7
/proc/4309/task/4692/stat : 4692 (java) R 4307 4307 2154 0 -1 4202560 230 0 0 0 355 0 0 0 20 0 28 0 103337799 27380113408 96253 33554432000 4194304 4196468 140731374954384 140146550595936 140147681194910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4693] ppid=4307 vsize=26738392 memory=0 CPUtime=3.55 cores=0-7
/proc/4309/task/4693/stat : 4693 (java) R 4307 4307 2154 0 -1 4202560 284 0 0 0 355 0 0 0 20 0 28 0 103337799 27380113408 96253 33554432000 4194304 4196468 140731374954384 140146561122240 140147680274228 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4694] ppid=4307 vsize=26738392 memory=140501467295632 CPUtime=3.54 cores=0-7
/proc/4309/task/4694/stat : 4694 (java) R 4307 4307 2154 0 -1 4202560 57 0 0 0 354 0 0 0 20 0 28 0 103337799 27380113408 96253 33554432000 4194304 4196468 140731374954384 140146556911688 140147680584254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4695] ppid=4307 vsize=26738392 memory=0 CPUtime=3.44 cores=0-7
/proc/4309/task/4695/stat : 4695 (java) R 4307 4307 2154 0 -1 4202560 69 0 0 0 344 0 0 0 20 0 28 0 103337799 27380113408 96253 33554432000 4194304 4196468 140731374954384 140146553753288 140147680584219 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4696] ppid=4307 vsize=26738392 memory=0 CPUtime=3.41 cores=0-7
/proc/4309/task/4696/stat : 4696 (java) R 4307 4307 2154 0 -1 4202560 224 0 0 0 341 0 0 0 20 0 28 0 103337799 27380113408 96253 33554432000 4194304 4196468 140731374954384 140146552700144 140147677627819 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
Current children cumulated CPU time: 67.08 s
Current children cumulated vsize: 26747904 KiB
Current children cumulated memory: 386396 KiB
[startup+9.6012 s]
/proc/loadavg: 7.28 8.12 7.71 9/208 4696
/proc/meminfo: memFree=26102900/32770624 swapFree=67108860/67108860
[pid=4307] ppid=4304 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4307/stat : 4307 (xcsp3-exec) S 4304 4307 2154 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103337238 9740288 346 33554432000 4194304 5098028 140731974841968 140731974840072 140089384469116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18190336 140731974845540 140731974845751 140731974845751 140731974848491 0
/proc/4307/statm: 2378 346 289 221 0 87 0
[pid=4309] ppid=4307 vsize=26738392 memory=385104 CPUtime=70.27 cores=0-7
/proc/4309/stat : 4309 (java) S 4307 4307 2154 0 -1 1077944320 30746 0 0 0 6996 31 0 0 20 0 28 0 103337238 27380113408 96276 33554432000 4194304 4196468 140731374954384 140731374936928 140148037865207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
/proc/4309/statm: 6684598 96276 3278 1 0 6671832 0
[pid=4309/tid=4310] ppid=4307 vsize=26738392 memory=1708 CPUtime=0.91 cores=0-7
/proc/4309/task/4310/stat : 4310 (java) S 4307 4307 2154 0 -1 1077944384 6833 0 0 0 87 4 0 0 20 0 28 0 103337238 27380113408 96276 33554432000 4194304 4196468 140731374954384 140148042105984 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4311] ppid=4307 vsize=26738392 memory=1384 CPUtime=0.04 cores=0-7
/proc/4309/task/4311/stat : 4311 (java) S 4307 4307 2154 0 -1 1077944384 36 0 0 0 3 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140148005423632 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4312] ppid=4307 vsize=26738392 memory=232292 CPUtime=0.05 cores=0-7
/proc/4309/task/4312/stat : 4312 (java) S 4307 4307 2154 0 -1 1077944384 44 0 0 0 4 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147595283088 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4313] ppid=4307 vsize=26738392 memory=6382321403058 CPUtime=0.04 cores=0-7
/proc/4309/task/4313/stat : 4313 (java) S 4307 4307 2154 0 -1 1077944384 47 0 0 0 3 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147594230032 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4314] ppid=4307 vsize=26738392 memory=288230621803970871 CPUtime=0.03 cores=0-7
/proc/4309/task/4314/stat : 4314 (java) S 4307 4307 2154 0 -1 1077944384 26 0 0 0 2 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147593177488 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4315] ppid=4307 vsize=26738392 memory=14414830190725064 CPUtime=0.03 cores=0-7
/proc/4309/task/4315/stat : 4315 (java) S 4307 4307 2154 0 -1 1077944384 40 0 0 0 2 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147592125456 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4316] ppid=4307 vsize=26738392 memory=0 CPUtime=0.04 cores=0-7
/proc/4309/task/4316/stat : 4316 (java) S 4307 4307 2154 0 -1 1077944384 36 0 0 0 3 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147591072912 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4317] ppid=4307 vsize=26738392 memory=0 CPUtime=0.04 cores=0-7
/proc/4309/task/4317/stat : 4317 (java) S 4307 4307 2154 0 -1 1077944384 33 0 0 0 3 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147590019856 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4318] ppid=4307 vsize=26738392 memory=0 CPUtime=0.04 cores=0-7
/proc/4309/task/4318/stat : 4318 (java) S 4307 4307 2154 0 -1 1077944384 38 0 0 0 3 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147588967312 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4319] ppid=4307 vsize=26738392 memory=0 CPUtime=0.01 cores=0-7
/proc/4309/task/4319/stat : 4319 (java) S 4307 4307 2154 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 28 0 103337240 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146578606320 140148037876354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4320] ppid=4307 vsize=26738392 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4320/stat : 4320 (java) S 4307 4307 2154 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 103337241 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146577552608 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4321] ppid=4307 vsize=26738392 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4321/stat : 4321 (java) S 4307 4307 2154 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 103337241 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146576499440 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4322] ppid=4307 vsize=26738392 memory=4012 CPUtime=0 cores=0-7
/proc/4309/task/4322/stat : 4322 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103337243 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146575448016 140148037883803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4323] ppid=4307 vsize=26738392 memory=29504 CPUtime=1.65 cores=0-7
/proc/4309/task/4323/stat : 4323 (java) S 4307 4307 2154 0 -1 1077944384 3644 0 0 0 164 1 0 0 20 0 28 0 103337243 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146574396144 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4324] ppid=4307 vsize=26738392 memory=1296 CPUtime=1.89 cores=0-7
/proc/4309/task/4324/stat : 4324 (java) S 4307 4307 2154 0 -1 1077944384 4096 0 0 0 188 1 0 0 20 0 28 0 103337244 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146573343600 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4325] ppid=4307 vsize=26738392 memory=2400 CPUtime=1.82 cores=0-7
/proc/4309/task/4325/stat : 4325 (java) S 4307 4307 2154 0 -1 1077944384 3734 0 0 0 181 1 0 0 20 0 28 0 103337244 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146572290544 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4326] ppid=4307 vsize=26738392 memory=1728 CPUtime=0.77 cores=0-7
/proc/4309/task/4326/stat : 4326 (java) S 4307 4307 2154 0 -1 1077944384 3026 0 0 0 76 1 0 0 20 0 28 0 103337244 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146571238000 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4327] ppid=4307 vsize=26738392 memory=12032 CPUtime=0 cores=0-7
/proc/4309/task/4327/stat : 4327 (java) S 4307 4307 2154 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103337244 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146570185184 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4328] ppid=4307 vsize=26738392 memory=1708 CPUtime=0 cores=0-7
/proc/4309/task/4328/stat : 4328 (java) S 4307 4307 2154 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 103337244 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146569132720 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4689] ppid=4307 vsize=26738392 memory=1012 CPUtime=3.94 cores=0-7
/proc/4309/task/4689/stat : 4689 (java) R 4307 4307 2154 0 -1 4202560 55 0 0 0 394 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146560067928 140147680584304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4690] ppid=4307 vsize=26738392 memory=796 CPUtime=3.96 cores=0-7
/proc/4309/task/4690/stat : 4690 (java) R 4307 4307 2154 0 -1 4202560 66 0 0 0 396 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146555858632 140147680274650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4691] ppid=4307 vsize=26738392 memory=1228 CPUtime=3.93 cores=0-7
/proc/4309/task/4691/stat : 4691 (java) R 4307 4307 2154 0 -1 4202560 89 0 0 0 393 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146551648632 140147680274106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4692] ppid=4307 vsize=26738392 memory=384256 CPUtime=3.94 cores=0-7
/proc/4309/task/4692/stat : 4692 (java) R 4307 4307 2154 0 -1 4202560 238 0 0 0 394 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146550596072 140147680274216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4693] ppid=4307 vsize=26738392 memory=0 CPUtime=3.95 cores=0-7
/proc/4309/task/4693/stat : 4693 (java) R 4307 4307 2154 0 -1 4202560 287 0 0 0 395 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146561122376 140147680274228 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4694] ppid=4307 vsize=26738392 memory=116 CPUtime=3.94 cores=0-7
/proc/4309/task/4694/stat : 4694 (java) R 4307 4307 2154 0 -1 4202560 57 0 0 0 394 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146556911688 140147681035042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4695] ppid=4307 vsize=26738392 memory=3446 CPUtime=3.84 cores=0-7
/proc/4309/task/4695/stat : 4695 (java) R 4307 4307 2154 0 -1 4202560 69 0 0 0 384 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146553753288 140147681035042 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4696] ppid=4307 vsize=26738392 memory=0 CPUtime=3.8 cores=0-7
/proc/4309/task/4696/stat : 4696 (java) R 4307 4307 2154 0 -1 4202560 225 0 0 0 380 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146552701224 140147680274228 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
Current children cumulated CPU time: 70.27 s
Current children cumulated vsize: 26747904 KiB
Current children cumulated memory: 386488 KiB
[startup+9.7012 s]
/proc/loadavg: 7.28 8.12 7.71 9/208 4696
/proc/meminfo: memFree=26102900/32770624 swapFree=67108860/67108860
[pid=4307] ppid=4304 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4307/stat : 4307 (xcsp3-exec) S 4304 4307 2154 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 103337238 9740288 346 33554432000 4194304 5098028 140731974841968 140731974840072 140089384469116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18190336 140731974845540 140731974845751 140731974845751 140731974848491 0
/proc/4307/statm: 2378 346 289 221 0 87 0
[pid=4309] ppid=4307 vsize=26738392 memory=385104 CPUtime=71.07 cores=0-7
/proc/4309/stat : 4309 (java) S 4307 4307 2154 0 -1 1077944320 30749 0 0 0 7076 31 0 0 20 0 28 0 103337238 27380113408 96276 33554432000 4194304 4196468 140731374954384 140731374936928 140148037865207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
/proc/4309/statm: 6684598 96276 3278 1 0 6671832 0
[pid=4309/tid=4310] ppid=4307 vsize=26738392 memory=385012 CPUtime=0.91 cores=0-7
/proc/4309/task/4310/stat : 4310 (java) S 4307 4307 2154 0 -1 1077944384 6833 0 0 0 87 4 0 0 20 0 28 0 103337238 27380113408 96276 33554432000 4194304 4196468 140731374954384 140148042105984 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4311] ppid=4307 vsize=26738392 memory=1384 CPUtime=0.04 cores=0-7
/proc/4309/task/4311/stat : 4311 (java) S 4307 4307 2154 0 -1 1077944384 36 0 0 0 3 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140148005423632 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4312] ppid=4307 vsize=26738392 memory=384256 CPUtime=0.05 cores=0-7
/proc/4309/task/4312/stat : 4312 (java) S 4307 4307 2154 0 -1 1077944384 44 0 0 0 4 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147595283088 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4313] ppid=4307 vsize=26738392 memory=384256 CPUtime=0.04 cores=0-7
/proc/4309/task/4313/stat : 4313 (java) S 4307 4307 2154 0 -1 1077944384 47 0 0 0 3 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147594230032 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4314] ppid=4307 vsize=26738392 memory=1384 CPUtime=0.03 cores=0-7
/proc/4309/task/4314/stat : 4314 (java) S 4307 4307 2154 0 -1 1077944384 26 0 0 0 2 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147593177488 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4315] ppid=4307 vsize=26738392 memory=231140 CPUtime=0.03 cores=0-7
/proc/4309/task/4315/stat : 4315 (java) S 4307 4307 2154 0 -1 1077944384 40 0 0 0 2 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147592125456 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4316] ppid=4307 vsize=26738392 memory=384256 CPUtime=0.04 cores=0-7
/proc/4309/task/4316/stat : 4316 (java) S 4307 4307 2154 0 -1 1077944384 36 0 0 0 3 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147591072912 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4317] ppid=4307 vsize=26738392 memory=288230621803970871 CPUtime=0.04 cores=0-7
/proc/4309/task/4317/stat : 4317 (java) S 4307 4307 2154 0 -1 1077944384 33 0 0 0 3 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147590019856 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4318] ppid=4307 vsize=26738392 memory=1384 CPUtime=0.04 cores=0-7
/proc/4309/task/4318/stat : 4318 (java) S 4307 4307 2154 0 -1 1077944384 38 0 0 0 3 1 0 0 20 0 28 0 103337239 27380113408 96276 33554432000 4194304 4196468 140731374954384 140147588967312 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4319] ppid=4307 vsize=26738392 memory=0 CPUtime=0.01 cores=0-7
/proc/4309/task/4319/stat : 4319 (java) S 4307 4307 2154 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 28 0 103337240 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146578606320 140148037876354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4320] ppid=4307 vsize=26738392 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4320/stat : 4320 (java) S 4307 4307 2154 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 103337241 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146577552608 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4321] ppid=4307 vsize=26738392 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4321/stat : 4321 (java) S 4307 4307 2154 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 103337241 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146576499440 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4322] ppid=4307 vsize=26738392 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4322/stat : 4322 (java) S 4307 4307 2154 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103337243 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146575448016 140148037883803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4323] ppid=4307 vsize=26738392 memory=1384 CPUtime=1.65 cores=0-7
/proc/4309/task/4323/stat : 4323 (java) S 4307 4307 2154 0 -1 1077944384 3644 0 0 0 164 1 0 0 20 0 28 0 103337243 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146574396144 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4324] ppid=4307 vsize=26738392 memory=4012 CPUtime=1.89 cores=0-7
/proc/4309/task/4324/stat : 4324 (java) S 4307 4307 2154 0 -1 1077944384 4096 0 0 0 188 1 0 0 20 0 28 0 103337244 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146573343600 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4325] ppid=4307 vsize=26738392 memory=29504 CPUtime=1.82 cores=0-7
/proc/4309/task/4325/stat : 4325 (java) S 4307 4307 2154 0 -1 1077944384 3734 0 0 0 181 1 0 0 20 0 28 0 103337244 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146572290544 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4326] ppid=4307 vsize=26738392 memory=1384 CPUtime=0.77 cores=0-7
/proc/4309/task/4326/stat : 4326 (java) S 4307 4307 2154 0 -1 1077944384 3026 0 0 0 76 1 0 0 20 0 28 0 103337244 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146571238000 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4327] ppid=4307 vsize=26738392 memory=37349035614710 CPUtime=0 cores=0-7
/proc/4309/task/4327/stat : 4327 (java) S 4307 4307 2154 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103337244 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146570185184 140148037875413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4328] ppid=4307 vsize=26738392 memory=0 CPUtime=0 cores=0-7
/proc/4309/task/4328/stat : 4328 (java) S 4307 4307 2154 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 103337244 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146569132720 140148037876354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4689] ppid=4307 vsize=26738392 memory=0 CPUtime=4.04 cores=0-7
/proc/4309/task/4689/stat : 4689 (java) R 4307 4307 2154 0 -1 4202560 55 0 0 0 404 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146560067928 140147680584304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4690] ppid=4307 vsize=26738392 memory=281002933606528 CPUtime=4.06 cores=0-7
/proc/4309/task/4690/stat : 4690 (java) R 4307 4307 2154 0 -1 4202560 66 0 0 0 406 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146555858632 140147681035042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4691] ppid=4307 vsize=26738392 memory=8112282956445269571 CPUtime=4.03 cores=0-7
/proc/4309/task/4691/stat : 4691 (java) R 4307 4307 2154 0 -1 4202560 89 0 0 0 403 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146551648632 140147680274238 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4692] ppid=4307 vsize=26738392 memory=1064 CPUtime=4.04 cores=0-7
/proc/4309/task/4692/stat : 4692 (java) R 4307 4307 2154 0 -1 4202560 241 0 0 0 404 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146550596072 140147677627764 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4693] ppid=4307 vsize=26738392 memory=68 CPUtime=4.05 cores=0-7
/proc/4309/task/4693/stat : 4693 (java) R 4307 4307 2154 0 -1 4202560 287 0 0 0 405 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146561122376 140147680584254 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4694] ppid=4307 vsize=26738392 memory=54 CPUtime=4.04 cores=0-7
/proc/4309/task/4694/stat : 4694 (java) R 4307 4307 2154 0 -1 4202560 57 0 0 0 404 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146556911688 140147681901714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4695] ppid=4307 vsize=26738392 memory=246 CPUtime=3.94 cores=0-7
/proc/4309/task/4695/stat : 4695 (java) R 4307 4307 2154 0 -1 4202560 69 0 0 0 394 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146553753288 140147680274228 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
[pid=4309/tid=4696] ppid=4307 vsize=26738392 memory=4 CPUtime=3.9 cores=0-7
/proc/4309/task/4696/stat : 4696 (java) R 4307 4307 2154 0 -1 4202560 225 0 0 0 390 0 0 0 20 0 28 0 103337799 27380113408 96276 33554432000 4194304 4196468 140731374954384 140146552701224 140147680274143 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140731374957714 140731374957891 140731374957891 140731374960591 0
Current children cumulated CPU time: 71.07 s
Current children cumulated vsize: 26747904 KiB
Current children cumulated memory: 386488 KiB
Child status: 0
Real time (s): 9.72689
CPU time (s): 71.1929
CPU user time (s): 70.8658
CPU system time (s): 0.327105
CPU usage (%): 731.919
Max. virtual memory (cumulated for all children) (KiB): 26747904
Max. memory (cumulated for all children) (KiB): 386488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.8658
system time used= 0.327105
maximum resident set size= 385488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32271
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= 6985
involuntary context switches= 1427
# summary of solver processes directly reported to runsolver:
# pid: 4307
# total CPU time (s): 71.1929
# total CPU user time (s): 70.8658
# total CPU system time (s): 0.327105
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.103275 second user time and 0.154912 second system time
The end
Begin job on node105 at 2017-08-14 11:09:58 IDJOB=4270513 IDBENCH=124135 IDSOLVER=2662 FILE ID=node105/4270513-1502702656 RUNJOBID= node105-1502691658-2181 PBS_JOBID= 20629002 Free space on /tmp= 60664 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270513-1502702656/watcher-4270513-1502702656 -o /tmp/evaluation-result-4270513-1502702656/solver-4270513-1502702656 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502691658-2181 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1138940563 HOME/instance-4270513-1502702656.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=1138940563 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 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: 26476756 kB MemAvailable: 31974900 kB Buffers: 202444 kB Cached: 5569620 kB SwapCached: 0 kB Active: 734148 kB Inactive: 5091712 kB Active(anon): 56548 kB Inactive(anon): 25060 kB Active(file): 677600 kB Inactive(file): 5066652 kB Unevictable: 6248 kB Mlocked: 6248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7824 kB Writeback: 28 kB AnonPages: 60056 kB Mapped: 44432 kB Shmem: 25228 kB Slab: 165176 kB SReclaimable: 139452 kB SUnreclaim: 25724 kB KernelStack: 3168 kB PageTables: 4648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 322908 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60656 MiB End job on node105 at 2017-08-14 11:10:08