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-18) | OPT | 122 | 4053.0701 | 508.758 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml |
| MD5SUM | e28ebc68094c3335bce51ae11fa43933 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 122 |
| Best CPU time to get the best result obtained on this benchmark | 340.91699 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3591 |
| Number of constraints | 193 |
| Number of domains | 15 |
| Minimum domain size | 2 |
| Maximum domain size | 21 |
| Distribution of domain sizes | [{"size":2,"count":342},{"size":3,"count":342},{"size":4,"count":171},{"size":5,"count":171},{"size":6,"count":171},{"size":8,"count":171},{"size":9,"count":171},{"size":10,"count":171},{"size":12,"count":684},{"size":14,"count":171},{"size":15,"count":171},{"size":16,"count":171},{"size":17,"count":171},{"size":18,"count":171},{"size":21,"count":342}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":3591}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 3420 |
| Distribution of constraint arities | [{"arity":21,"count":171},{"arity":171,"count":21},{"arity":3420,"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":191}] |
| 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-4280324-1503130076.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280324-1503130076.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.26 c parse instance... 2.31/0.85 c solve instance... 5.82/1.40 o 171 8.06/1.65 o 170 8.83/1.76 o 169 9.65/1.88 o 168 10.40/1.99 o 167 11.99/2.16 o 166 12.71/2.27 o 165 13.48/2.37 o 164 14.26/2.47 o 163 15.03/2.57 o 162 15.80/2.67 o 161 16.57/2.78 o 160 17.34/2.88 o 159 18.12/2.98 o 158 18.98/3.09 o 157 19.72/3.19 o 156 21.10/3.33 o 155 21.88/3.43 o 154 22.66/3.52 o 153 23.44/3.62 o 152 24.26/3.72 o 151 25.00/3.82 o 150 25.77/3.92 o 149 26.59/4.05 o 148 27.41/4.15 o 147 28.06/4.25 o 146 28.84/4.35 o 145 29.60/4.44 o 144 30.38/4.54 o 143 31.13/4.63 o 142 31.96/4.73 o 141 32.63/4.83 o 140 33.37/4.93 o 139 34.16/5.02 o 138 34.94/5.11 o 137 35.64/5.21 o 136 36.41/5.30 o 135 36.41/5.39 o 134 37.20/5.48 o 133 37.93/5.59 o 132 38.75/5.68 o 131 39.47/5.78 o 130 40.24/5.87 o 129 41.02/5.96 o 128 41.86/6.05 o 127 42.61/6.15 o 126 43.27/6.24 o 125 44.04/6.34 o 124 44.77/6.43 o 123 45.55/6.52 o 122 4052.79/508.73 s OPTIMUM FOUND 4052.79/508.73 v <instantiation> 4052.79/508.73 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] p[167] p[168] p[169] p[170] 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] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] </list> 4052.79/508.73 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 4052.79/508.73 v </instantiation>
OK 122
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 (11936 MiB free)
memory of node 1: 16384 MiB (12150 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280324-1503130076/watcher-4280324-1503130076 -o /tmp/evaluation-result-4280324-1503130076/solver-4280324-1503130076 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503121607-22112 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2079192436 HOME/instance-4280324-1503130076.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
solver pid=29093, runsolver pid=29090
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 8.03 8.26 8.24 3/200 29114
/proc/meminfo: memFree=24650364/32770624 swapFree=67108860/67108860
[pid=29093] ppid=29090 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29093/stat : 29093 (xcsp3-exec) S 29090 29093 22085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146088350 9740288 346 33554432000 4194304 5098028 140726935688752 140726935686856 139917986243196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38326272 140726935692388 140726935692599 140726935692599 140726935695339 0
/proc/29093/statm: 2378 346 289 221 0 87 0
[pid=29095] ppid=29093 vsize=25999808 memory=26364 CPUtime=0.11 cores=0-7
/proc/29095/stat : 29095 (java) S 29093 29093 22085 0 -1 1077944320 5484 0 0 0 10 1 0 0 20 0 20 0 146088350 26623803392 6591 33554432000 4194304 4196468 140723766519008 140723766501552 140183907245815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
/proc/29095/statm: 6499952 6591 2862 1 0 6488269 0
[pid=29095/tid=29096] ppid=29093 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/29095/task/29096/stat : 29096 (java) R 29093 29093 22085 0 -1 4202560 3485 0 0 0 8 1 0 0 20 0 20 0 146088350 26623803392 6591 33554432000 4194304 4196468 140723766519008 140183911480352 140183907257750 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29097] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29097/stat : 29097 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26623803392 6591 33554432000 4194304 4196468 140723766519008 140183859865872 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29098] ppid=29093 vsize=25999808 memory=140364970022528 CPUtime=0 cores=0-7
/proc/29095/task/29098/stat : 29098 (java) S 29093 29093 22085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146088351 26623803392 6591 33554432000 4194304 4196468 140723766519008 140183858813328 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29099] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29099/stat : 29099 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26623803392 6591 33554432000 4194304 4196468 140723766519008 140183857760784 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29100] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29100/stat : 29100 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26623803392 6591 33554432000 4194304 4196468 140723766519008 140183856708240 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29101] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29101/stat : 29101 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26623803392 6591 33554432000 4194304 4196468 140723766519008 140183855655696 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29102] ppid=29093 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29095/task/29102/stat : 29102 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26623803392 6591 33554432000 4194304 4196468 140723766519008 140183854603152 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29103] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29103/stat : 29103 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26623803392 6591 33554432000 4194304 4196468 140723766519008 140183853550608 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29104] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29104/stat : 29104 (java) S 29093 29093 22085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146088351 26623803392 6591 33554432000 4194304 4196468 140723766519008 140183852498064 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29105] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29105/stat : 29105 (java) S 29093 29093 22085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146088353 26623803392 6591 33554432000 4194304 4196468 140723766519008 140182649366512 140183907256962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29106] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29106/stat : 29106 (java) S 29093 29093 22085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146088353 26623803392 6591 33554432000 4194304 4196468 140723766519008 140182648312736 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29107] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29107/stat : 29107 (java) S 29093 29093 22085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146088353 26623803392 6591 33554432000 4194304 4196468 140723766519008 140182647260144 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29108] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29108/stat : 29108 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088356 26623803392 6591 33554432000 4194304 4196468 140723766519008 140182646208720 140183907264411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29109] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29109/stat : 29109 (java) S 29093 29093 22085 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 146088356 26623803392 6591 33554432000 4194304 4196468 140723766519008 140182645156336 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29110] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29110/stat : 29110 (java) S 29093 29093 22085 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 146088356 26623803392 6591 33554432000 4194304 4196468 140723766519008 140182644103792 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29111] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29111/stat : 29111 (java) R 29093 29093 22085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146088356 26623803392 6591 33554432000 4194304 4196468 140723766519008 140182643051248 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29112] ppid=29093 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/29095/task/29112/stat : 29112 (java) R 29093 29093 22085 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 20 0 146088356 26623803392 6591 33554432000 4194304 4196468 140723766519008 140182641998704 140183907267162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29113] ppid=29093 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29113/stat : 29113 (java) S 29093 29093 22085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146088356 26623803392 6591 33554432000 4194304 4196468 140723766519008 140182640945376 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29114] ppid=29093 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29095/task/29114/stat : 29114 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088356 26623803392 6591 33554432000 4194304 4196468 140723766519008 140182639892912 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27748 KiB
[startup+0.209785 s]*
/proc/loadavg: 8.03 8.26 8.24 3/200 29114
/proc/meminfo: memFree=24638040/32770624 swapFree=67108860/67108860
[pid=29093] ppid=29090 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29093/stat : 29093 (xcsp3-exec) S 29090 29093 22085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146088350 9740288 346 33554432000 4194304 5098028 140726935688752 140726935686856 139917986243196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38326272 140726935692388 140726935692599 140726935692599 140726935695339 0
/proc/29093/statm: 2378 346 289 221 0 87 0
[pid=29095] ppid=29093 vsize=26004064 memory=39084 CPUtime=0.32 cores=0-7
/proc/29095/stat : 29095 (java) S 29093 29093 22085 0 -1 1077944320 8361 0 0 0 30 2 0 0 20 0 20 0 146088350 26628161536 9771 33554432000 4194304 4196468 140723766519008 140723766501552 140183907245815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
/proc/29095/statm: 6501016 9771 3043 1 0 6488269 0
[pid=29095/tid=29096] ppid=29093 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/29095/task/29096/stat : 29096 (java) R 29093 29093 22085 0 -1 4202560 5395 0 0 0 18 1 0 0 20 0 20 0 146088350 26628161536 9771 33554432000 4194304 4196468 140723766519008 140183911459408 140183907267741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29097] ppid=29093 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/29095/task/29097/stat : 29097 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 9771 33554432000 4194304 4196468 140723766519008 140183859865872 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29098] ppid=29093 vsize=26004064 memory=288370741121734272 CPUtime=0 cores=0-7
/proc/29095/task/29098/stat : 29098 (java) S 29093 29093 22085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 9771 33554432000 4194304 4196468 140723766519008 140183858813328 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29099] ppid=29093 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29095/task/29099/stat : 29099 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 9771 33554432000 4194304 4196468 140723766519008 140183857760784 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29100] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29100/stat : 29100 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 9771 33554432000 4194304 4196468 140723766519008 140183856708240 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29101] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29101/stat : 29101 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 9771 33554432000 4194304 4196468 140723766519008 140183855655696 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29102] ppid=29093 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29095/task/29102/stat : 29102 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 9771 33554432000 4194304 4196468 140723766519008 140183854603152 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29103] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29103/stat : 29103 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 9771 33554432000 4194304 4196468 140723766519008 140183853550608 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29104] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29104/stat : 29104 (java) S 29093 29093 22085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 9771 33554432000 4194304 4196468 140723766519008 140183852498064 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29105] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29105/stat : 29105 (java) S 29093 29093 22085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146088353 26628161536 9771 33554432000 4194304 4196468 140723766519008 140182649366512 140183907256962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29106] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29106/stat : 29106 (java) S 29093 29093 22085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146088353 26628161536 9771 33554432000 4194304 4196468 140723766519008 140182648312736 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29107] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29107/stat : 29107 (java) S 29093 29093 22085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146088353 26628161536 9771 33554432000 4194304 4196468 140723766519008 140182647260144 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29108] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29108/stat : 29108 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088356 26628161536 9771 33554432000 4194304 4196468 140723766519008 140182646208720 140183907264411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29109] ppid=29093 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/29095/task/29109/stat : 29109 (java) S 29093 29093 22085 0 -1 1077944384 378 0 0 0 1 0 0 0 20 0 20 0 146088356 26628161536 9771 33554432000 4194304 4196468 140723766519008 140182645156336 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29110] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29110/stat : 29110 (java) S 29093 29093 22085 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 20 0 146088356 26628161536 9771 33554432000 4194304 4196468 140723766519008 140182644103792 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29111] ppid=29093 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/29095/task/29111/stat : 29111 (java) S 29093 29093 22085 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 20 0 146088356 26628161536 9771 33554432000 4194304 4196468 140723766519008 140182643051248 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29112] ppid=29093 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/29095/task/29112/stat : 29112 (java) R 29093 29093 22085 0 -1 4202560 775 0 0 0 7 0 0 0 20 0 20 0 146088356 26628161536 9771 33554432000 4194304 4196468 140723766519008 140182641998832 140183891326302 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29113] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29113/stat : 29113 (java) S 29093 29093 22085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146088356 26628161536 9771 33554432000 4194304 4196468 140723766519008 140182640945376 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29114] ppid=29093 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29095/task/29114/stat : 29114 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088356 26628161536 9771 33554432000 4194304 4196468 140723766519008 140182639892912 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40468 KiB
[startup+0.309473 s]*
/proc/loadavg: 8.03 8.26 8.24 3/200 29114
/proc/meminfo: memFree=24634032/32770624 swapFree=67108860/67108860
[pid=29093] ppid=29090 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29093/stat : 29093 (xcsp3-exec) S 29090 29093 22085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146088350 9740288 346 33554432000 4194304 5098028 140726935688752 140726935686856 139917986243196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38326272 140726935692388 140726935692599 140726935692599 140726935695339 0
/proc/29093/statm: 2378 346 289 221 0 87 0
[pid=29095] ppid=29093 vsize=26004064 memory=45492 CPUtime=0.49 cores=0-7
/proc/29095/stat : 29095 (java) S 29093 29093 22085 0 -1 1077944320 9129 0 0 0 46 3 0 0 20 0 20 0 146088350 26628161536 11373 33554432000 4194304 4196468 140723766519008 140723766501552 140183907245815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
/proc/29095/statm: 6501016 11373 3059 1 0 6488269 0
[pid=29095/tid=29096] ppid=29093 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29095/task/29096/stat : 29096 (java) R 29093 29093 22085 0 -1 4202560 6063 0 0 0 27 2 0 0 20 0 20 0 146088350 26628161536 11373 33554432000 4194304 4196468 140723766519008 140183911482048 140183899496405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29097] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29097/stat : 29097 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 11373 33554432000 4194304 4196468 140723766519008 140183859865872 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29098] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29098/stat : 29098 (java) S 29093 29093 22085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 11373 33554432000 4194304 4196468 140723766519008 140183858813328 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29099] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29099/stat : 29099 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 11373 33554432000 4194304 4196468 140723766519008 140183857760784 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29100] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29100/stat : 29100 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 11373 33554432000 4194304 4196468 140723766519008 140183856708240 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29101] ppid=29093 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/29095/task/29101/stat : 29101 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 11373 33554432000 4194304 4196468 140723766519008 140183855655696 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29102] ppid=29093 vsize=26004064 memory=140364832928687 CPUtime=0 cores=0-7
/proc/29095/task/29102/stat : 29102 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 11373 33554432000 4194304 4196468 140723766519008 140183854603152 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29103] ppid=29093 vsize=26004064 memory=140364832930992 CPUtime=0 cores=0-7
/proc/29095/task/29103/stat : 29103 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 11373 33554432000 4194304 4196468 140723766519008 140183853550608 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29104] ppid=29093 vsize=26004064 memory=140364832933296 CPUtime=0 cores=0-7
/proc/29095/task/29104/stat : 29104 (java) S 29093 29093 22085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146088351 26628161536 11373 33554432000 4194304 4196468 140723766519008 140183852498064 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29105] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29105/stat : 29105 (java) S 29093 29093 22085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146088353 26628161536 11373 33554432000 4194304 4196468 140723766519008 140182649366512 140183907256962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29106] ppid=29093 vsize=26004064 memory=280729665873552 CPUtime=0 cores=0-7
/proc/29095/task/29106/stat : 29106 (java) S 29093 29093 22085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146088353 26628161536 11373 33554432000 4194304 4196468 140723766519008 140182648312736 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29107] ppid=29093 vsize=26004064 memory=280729665880464 CPUtime=0 cores=0-7
/proc/29095/task/29107/stat : 29107 (java) S 29093 29093 22085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146088353 26628161536 11373 33554432000 4194304 4196468 140723766519008 140182647260144 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29108] ppid=29093 vsize=26004064 memory=280729665821744 CPUtime=0 cores=0-7
/proc/29095/task/29108/stat : 29108 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088356 26628161536 11373 33554432000 4194304 4196468 140723766519008 140182646208720 140183907264411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29109] ppid=29093 vsize=26004064 memory=280729665894288 CPUtime=0.01 cores=0-7
/proc/29095/task/29109/stat : 29109 (java) S 29093 29093 22085 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 20 0 146088356 26628161536 11373 33554432000 4194304 4196468 140723766519008 140182645156336 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29110] ppid=29093 vsize=26004064 memory=280729665901200 CPUtime=0.01 cores=0-7
/proc/29095/task/29110/stat : 29110 (java) S 29093 29093 22085 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 146088356 26628161536 11373 33554432000 4194304 4196468 140723766519008 140182644103792 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29111] ppid=29093 vsize=26004064 memory=280729665898896 CPUtime=0.03 cores=0-7
/proc/29095/task/29111/stat : 29111 (java) S 29093 29093 22085 0 -1 1077944384 366 0 0 0 3 0 0 0 20 0 20 0 146088356 26628161536 11373 33554432000 4194304 4196468 140723766519008 140182643051248 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29112] ppid=29093 vsize=26004064 memory=280729665915056 CPUtime=0.11 cores=0-7
/proc/29095/task/29112/stat : 29112 (java) R 29093 29093 22085 0 -1 4202560 854 0 0 0 11 0 0 0 20 0 20 0 146088356 26628161536 11373 33554432000 4194304 4196468 140723766519008 140182641998704 140183886204194 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29113] ppid=29093 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29113/stat : 29113 (java) S 29093 29093 22085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146088356 26628161536 11373 33554432000 4194304 4196468 140723766519008 140182640945376 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29114] ppid=29093 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29095/task/29114/stat : 29114 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088356 26628161536 11373 33554432000 4194304 4196468 140723766519008 140182639892912 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46876 KiB
[startup+0.700894 s]
/proc/loadavg: 8.03 8.26 8.24 4/200 29114
/proc/meminfo: memFree=24614996/32770624 swapFree=67108860/67108860
[pid=29093] ppid=29090 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29093/stat : 29093 (xcsp3-exec) S 29090 29093 22085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146088350 9740288 346 33554432000 4194304 5098028 140726935688752 140726935686856 139917986243196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38326272 140726935692388 140726935692599 140726935692599 140726935695339 0
/proc/29093/statm: 2378 346 289 221 0 87 0
[pid=29095] ppid=29093 vsize=26006188 memory=113220 CPUtime=1.88 cores=0-7
/proc/29095/stat : 29095 (java) S 29093 29093 22085 0 -1 1077944320 14725 0 0 0 184 4 0 0 20 0 20 0 146088350 26630336512 28305 33554432000 4194304 4196468 140723766519008 140723766501552 140183907245815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
/proc/29095/statm: 6501547 28305 3219 1 0 6488781 0
[pid=29095/tid=29096] ppid=29093 vsize=26006188 memory=280729666272944 CPUtime=0.67 cores=0-7
/proc/29095/task/29096/stat : 29096 (java) R 29093 29093 22085 0 -1 4202560 6654 0 0 0 64 3 0 0 20 0 20 0 146088350 26630336512 28305 33554432000 4194304 4196468 140723766519008 140183911479856 140183525994618 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29097] ppid=29093 vsize=26006188 memory=140364833137520 CPUtime=0 cores=0-7
/proc/29095/task/29097/stat : 29097 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26630336512 28305 33554432000 4194304 4196468 140723766519008 140183859865872 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29098] ppid=29093 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/29095/task/29098/stat : 29098 (java) S 29093 29093 22085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146088351 26630336512 28305 33554432000 4194304 4196468 140723766519008 140183858813328 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29099] ppid=29093 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/29095/task/29099/stat : 29099 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146088351 26630336512 28305 33554432000 4194304 4196468 140723766519008 140183857760784 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
################
# More data... #
################
[pid=29095/tid=29112] ppid=29093 vsize=26538700 memory=7091312709104657262 CPUtime=0.79 cores=0-7
/proc/29095/task/29112/stat : 29112 (java) S 29093 29093 22085 0 -1 1077944384 10266 0 0 0 78 1 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182641998704 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29113] ppid=29093 vsize=26538700 memory=7091312709104657262 CPUtime=0 cores=0-7
/proc/29095/task/29113/stat : 29113 (java) S 29093 29093 22085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182640945376 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29114] ppid=29093 vsize=26538700 memory=7595134307256200802 CPUtime=0.09 cores=0-7
/proc/29095/task/29114/stat : 29114 (java) S 29093 29093 22085 0 -1 1077944384 1442 0 0 0 0 9 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182639892912 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29515] ppid=29093 vsize=26538700 memory=7954035784442013027 CPUtime=499.67 cores=0-7
/proc/29095/task/29515/stat : 29515 (java) R 29093 29093 22085 0 -1 4202560 1990 0 0 0 49966 1 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182226455168 140183527462994 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29516] ppid=29093 vsize=26538700 memory=7091312709104657262 CPUtime=501.74 cores=0-7
/proc/29095/task/29516/stat : 29516 (java) R 29093 29093 22085 0 -1 4202560 920 0 0 0 50174 0 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182222246312 140183527463445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29517] ppid=29093 vsize=26538700 memory=5937829405562463849 CPUtime=500.37 cores=0-7
/proc/29095/task/29517/stat : 29517 (java) R 29093 29093 22085 0 -1 4202560 1636 0 0 0 50037 0 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182225404456 140183527462994 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29518] ppid=29093 vsize=26538700 memory=7451313779807512896 CPUtime=501.68 cores=0-7
/proc/29095/task/29518/stat : 29518 (java) R 29093 29093 22085 0 -1 4202560 1322 0 0 0 50168 0 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182223299240 140183528470257 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29519] ppid=29093 vsize=26538700 memory=4715433313220523562 CPUtime=499.42 cores=0-7
/proc/29095/task/29519/stat : 29519 (java) R 29093 29093 22085 0 -1 4202560 3412 0 0 0 49941 1 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182227510056 140183528470205 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29520] ppid=29093 vsize=26538700 memory=1384 CPUtime=499.46 cores=0-7
/proc/29095/task/29520/stat : 29520 (java) R 29093 29093 22085 0 -1 4202560 8601 0 0 0 49935 11 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182224352168 140183528470128 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29521] ppid=29093 vsize=26538700 memory=1384 CPUtime=501.68 cores=0-7
/proc/29095/task/29521/stat : 29521 (java) R 29093 29093 22085 0 -1 4202560 803 0 0 0 50168 0 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182221193256 140183527462994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29522] ppid=29093 vsize=26538700 memory=680508 CPUtime=498.67 cores=0-7
/proc/29095/task/29522/stat : 29522 (java) R 29093 29093 22085 0 -1 4202560 4622 0 0 0 49866 1 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182633984168 140183530606625 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
Current children cumulated CPU time: 4050.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 681892 KiB
[startup+508.602 s]
/proc/loadavg: 8.72 8.32 8.27 9/208 29554
/proc/meminfo: memFree=23997344/32770624 swapFree=67108860/67108860
[pid=29093] ppid=29090 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29093/stat : 29093 (xcsp3-exec) S 29090 29093 22085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146088350 9740288 346 33554432000 4194304 5098028 140726935688752 140726935686856 139917986243196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38326272 140726935692388 140726935692599 140726935692599 140726935695339 0
/proc/29093/statm: 2378 346 289 221 0 87 0
[pid=29095] ppid=29093 vsize=26538700 memory=680508 CPUtime=4051.99 cores=0-7
/proc/29095/stat : 29095 (java) S 29093 29093 22085 0 -1 1077944320 92164 0 0 0 405118 81 0 0 20 0 28 0 146088350 27175628800 170127 33554432000 4194304 4196468 140723766519008 140723766501552 140183907245815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
/proc/29095/statm: 6634675 170127 3289 1 0 6621909 0
[pid=29095/tid=29096] ppid=29093 vsize=26538700 memory=1008 CPUtime=0.92 cores=0-7
/proc/29095/task/29096/stat : 29096 (java) S 29093 29093 22085 0 -1 1077944384 6764 0 0 0 88 4 0 0 20 0 28 0 146088350 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183911486592 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29097] ppid=29093 vsize=26538700 memory=1944 CPUtime=0.14 cores=0-7
/proc/29095/task/29097/stat : 29097 (java) S 29093 29093 22085 0 -1 1077944384 257 0 0 0 9 5 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183859865872 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29098] ppid=29093 vsize=26538700 memory=1200 CPUtime=0.11 cores=0-7
/proc/29095/task/29098/stat : 29098 (java) S 29093 29093 22085 0 -1 1077944384 1125 0 0 0 7 4 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183858813328 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29099] ppid=29093 vsize=26538700 memory=1424 CPUtime=0.12 cores=0-7
/proc/29095/task/29099/stat : 29099 (java) S 29093 29093 22085 0 -1 1077944384 1639 0 0 0 8 4 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183857760784 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29100] ppid=29093 vsize=26538700 memory=8596 CPUtime=0.12 cores=0-7
/proc/29095/task/29100/stat : 29100 (java) S 29093 29093 22085 0 -1 1077944384 1296 0 0 0 7 5 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183856708240 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29101] ppid=29093 vsize=26538700 memory=15876 CPUtime=0.12 cores=0-7
/proc/29095/task/29101/stat : 29101 (java) S 29093 29093 22085 0 -1 1077944384 575 0 0 0 7 5 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183855655696 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29102] ppid=29093 vsize=26538700 memory=4052 CPUtime=0.14 cores=0-7
/proc/29095/task/29102/stat : 29102 (java) S 29093 29093 22085 0 -1 1077944384 586 0 0 0 9 5 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183854603152 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29103] ppid=29093 vsize=26538700 memory=23636 CPUtime=0.14 cores=0-7
/proc/29095/task/29103/stat : 29103 (java) S 29093 29093 22085 0 -1 1077944384 853 0 0 0 8 6 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183853550608 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29104] ppid=29093 vsize=26538700 memory=18472 CPUtime=0.13 cores=0-7
/proc/29095/task/29104/stat : 29104 (java) S 29093 29093 22085 0 -1 1077944384 268 0 0 0 9 4 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183852498064 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29105] ppid=29093 vsize=26538700 memory=303430223234596890 CPUtime=0.04 cores=0-7
/proc/29095/task/29105/stat : 29105 (java) S 29093 29093 22085 0 -1 1077944384 2894 0 0 0 3 1 0 0 20 0 28 0 146088353 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182649366512 140183907256962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29106] ppid=29093 vsize=26538700 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/29095/task/29106/stat : 29106 (java) S 29093 29093 22085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 146088353 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182648312800 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29107] ppid=29093 vsize=26538700 memory=13571500561144915 CPUtime=0 cores=0-7
/proc/29095/task/29107/stat : 29107 (java) S 29093 29093 22085 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 146088353 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182647260144 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29108] ppid=29093 vsize=26538700 memory=2428 CPUtime=0 cores=0-7
/proc/29095/task/29108/stat : 29108 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182646208720 140183907264411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29109] ppid=29093 vsize=26538700 memory=1728 CPUtime=1.89 cores=0-7
/proc/29095/task/29109/stat : 29109 (java) S 29093 29093 22085 0 -1 1077944384 8530 0 0 0 188 1 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182645156336 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29110] ppid=29093 vsize=26538700 memory=792 CPUtime=2.1 cores=0-7
/proc/29095/task/29110/stat : 29110 (java) S 29093 29093 22085 0 -1 1077944384 14182 0 0 0 207 3 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182644103792 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29111] ppid=29093 vsize=26538700 memory=10096 CPUtime=1.95 cores=0-7
/proc/29095/task/29111/stat : 29111 (java) S 29093 29093 22085 0 -1 1077944384 9673 0 0 0 194 1 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182643051248 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29112] ppid=29093 vsize=26538700 memory=1224 CPUtime=0.79 cores=0-7
/proc/29095/task/29112/stat : 29112 (java) S 29093 29093 22085 0 -1 1077944384 10266 0 0 0 78 1 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182641998704 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29113] ppid=29093 vsize=26538700 memory=5784 CPUtime=0 cores=0-7
/proc/29095/task/29113/stat : 29113 (java) S 29093 29093 22085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182640945376 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29114] ppid=29093 vsize=26538700 memory=1720 CPUtime=0.09 cores=0-7
/proc/29095/task/29114/stat : 29114 (java) S 29093 29093 22085 0 -1 1077944384 1442 0 0 0 0 9 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182639892912 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29515] ppid=29093 vsize=26538700 memory=4612 CPUtime=499.87 cores=0-7
/proc/29095/task/29515/stat : 29515 (java) R 29093 29093 22085 0 -1 4202560 1990 0 0 0 49986 1 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182226455168 140183527462901 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29516] ppid=29093 vsize=26538700 memory=1008 CPUtime=501.94 cores=0-7
/proc/29095/task/29516/stat : 29516 (java) R 29093 29093 22085 0 -1 4202560 920 0 0 0 50194 0 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182222246312 140183527462994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29517] ppid=29093 vsize=26538700 memory=1944 CPUtime=500.57 cores=0-7
/proc/29095/task/29517/stat : 29517 (java) R 29093 29093 22085 0 -1 4202560 1636 0 0 0 50057 0 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182225404456 140183527462946 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29518] ppid=29093 vsize=26538700 memory=1200 CPUtime=501.88 cores=0-7
/proc/29095/task/29518/stat : 29518 (java) R 29093 29093 22085 0 -1 4202560 1322 0 0 0 50188 0 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182223299240 140183527901120 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29519] ppid=29093 vsize=26538700 memory=0 CPUtime=499.62 cores=0-7
/proc/29095/task/29519/stat : 29519 (java) R 29093 29093 22085 0 -1 4202560 3412 0 0 0 49961 1 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182227510056 140183527462946 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29520] ppid=29093 vsize=26538700 memory=6003974951263497062 CPUtime=499.66 cores=0-7
/proc/29095/task/29520/stat : 29520 (java) R 29093 29093 22085 0 -1 4202560 8601 0 0 0 49955 11 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182224352168 140183527462999 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29521] ppid=29093 vsize=26538700 memory=7378395177903743591 CPUtime=501.88 cores=0-7
/proc/29095/task/29521/stat : 29521 (java) R 29093 29093 22085 0 -1 4202560 803 0 0 0 50188 0 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182221193256 140183527462946 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29522] ppid=29093 vsize=26538700 memory=7301270024984094571 CPUtime=498.87 cores=0-7
/proc/29095/task/29522/stat : 29522 (java) R 29093 29093 22085 0 -1 4202560 4622 0 0 0 49886 1 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182633984168 140183522597444 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
Current children cumulated CPU time: 4051.99 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 681892 KiB
[startup+508.702 s]
/proc/loadavg: 8.72 8.32 8.27 9/208 29554
/proc/meminfo: memFree=23997344/32770624 swapFree=67108860/67108860
[pid=29093] ppid=29090 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29093/stat : 29093 (xcsp3-exec) S 29090 29093 22085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146088350 9740288 346 33554432000 4194304 5098028 140726935688752 140726935686856 139917986243196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38326272 140726935692388 140726935692599 140726935692599 140726935695339 0
/proc/29093/statm: 2378 346 289 221 0 87 0
[pid=29095] ppid=29093 vsize=26538700 memory=680508 CPUtime=4052.79 cores=0-7
/proc/29095/stat : 29095 (java) S 29093 29093 22085 0 -1 1077944320 92164 0 0 0 405198 81 0 0 20 0 28 0 146088350 27175628800 170127 33554432000 4194304 4196468 140723766519008 140723766501552 140183907245815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
/proc/29095/statm: 6634675 170127 3289 1 0 6621909 0
[pid=29095/tid=29096] ppid=29093 vsize=26538700 memory=680508 CPUtime=0.92 cores=0-7
/proc/29095/task/29096/stat : 29096 (java) S 29093 29093 22085 0 -1 1077944384 6764 0 0 0 88 4 0 0 20 0 28 0 146088350 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183911486592 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29097] ppid=29093 vsize=26538700 memory=680508 CPUtime=0.14 cores=0-7
/proc/29095/task/29097/stat : 29097 (java) S 29093 29093 22085 0 -1 1077944384 257 0 0 0 9 5 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183859865872 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29098] ppid=29093 vsize=26538700 memory=1384 CPUtime=0.11 cores=0-7
/proc/29095/task/29098/stat : 29098 (java) S 29093 29093 22085 0 -1 1077944384 1125 0 0 0 7 4 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183858813328 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29099] ppid=29093 vsize=26538700 memory=680508 CPUtime=0.12 cores=0-7
/proc/29095/task/29099/stat : 29099 (java) S 29093 29093 22085 0 -1 1077944384 1639 0 0 0 8 4 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183857760784 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29100] ppid=29093 vsize=26538700 memory=676924 CPUtime=0.12 cores=0-7
/proc/29095/task/29100/stat : 29100 (java) S 29093 29093 22085 0 -1 1077944384 1296 0 0 0 7 5 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183856708240 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29101] ppid=29093 vsize=26538700 memory=640 CPUtime=0.12 cores=0-7
/proc/29095/task/29101/stat : 29101 (java) S 29093 29093 22085 0 -1 1077944384 575 0 0 0 7 5 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183855655696 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29102] ppid=29093 vsize=26538700 memory=1796 CPUtime=0.14 cores=0-7
/proc/29095/task/29102/stat : 29102 (java) S 29093 29093 22085 0 -1 1077944384 586 0 0 0 9 5 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183854603152 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29103] ppid=29093 vsize=26538700 memory=1384 CPUtime=0.14 cores=0-7
/proc/29095/task/29103/stat : 29103 (java) S 29093 29093 22085 0 -1 1077944384 853 0 0 0 8 6 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183853550608 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29104] ppid=29093 vsize=26538700 memory=1384 CPUtime=0.13 cores=0-7
/proc/29095/task/29104/stat : 29104 (java) S 29093 29093 22085 0 -1 1077944384 268 0 0 0 9 4 0 0 20 0 28 0 146088351 27175628800 170127 33554432000 4194304 4196468 140723766519008 140183852498064 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29105] ppid=29093 vsize=26538700 memory=1384 CPUtime=0.04 cores=0-7
/proc/29095/task/29105/stat : 29105 (java) S 29093 29093 22085 0 -1 1077944384 2894 0 0 0 3 1 0 0 20 0 28 0 146088353 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182649366512 140183907256962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29106] ppid=29093 vsize=26538700 memory=680508 CPUtime=0 cores=0-7
/proc/29095/task/29106/stat : 29106 (java) S 29093 29093 22085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 146088353 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182648312800 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29107] ppid=29093 vsize=26538700 memory=4144 CPUtime=0 cores=0-7
/proc/29095/task/29107/stat : 29107 (java) S 29093 29093 22085 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 146088353 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182647260144 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29108] ppid=29093 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/29095/task/29108/stat : 29108 (java) S 29093 29093 22085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182646208720 140183907264411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29109] ppid=29093 vsize=26538700 memory=1696 CPUtime=1.89 cores=0-7
/proc/29095/task/29109/stat : 29109 (java) S 29093 29093 22085 0 -1 1077944384 8530 0 0 0 188 1 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182645156336 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29110] ppid=29093 vsize=26538700 memory=920 CPUtime=2.1 cores=0-7
/proc/29095/task/29110/stat : 29110 (java) S 29093 29093 22085 0 -1 1077944384 14182 0 0 0 207 3 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182644103792 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29111] ppid=29093 vsize=26538700 memory=1384 CPUtime=1.95 cores=0-7
/proc/29095/task/29111/stat : 29111 (java) S 29093 29093 22085 0 -1 1077944384 9673 0 0 0 194 1 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182643051248 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29112] ppid=29093 vsize=26538700 memory=680508 CPUtime=0.79 cores=0-7
/proc/29095/task/29112/stat : 29112 (java) S 29093 29093 22085 0 -1 1077944384 10266 0 0 0 78 1 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182641998704 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29113] ppid=29093 vsize=26538700 memory=40788 CPUtime=0 cores=0-7
/proc/29095/task/29113/stat : 29113 (java) S 29093 29093 22085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182640945376 140183907256021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29114] ppid=29093 vsize=26538700 memory=1384 CPUtime=0.09 cores=0-7
/proc/29095/task/29114/stat : 29114 (java) S 29093 29093 22085 0 -1 1077944384 1442 0 0 0 0 9 0 0 20 0 28 0 146088356 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182639892912 140183907256962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29515] ppid=29093 vsize=26538700 memory=680508 CPUtime=499.97 cores=0-7
/proc/29095/task/29515/stat : 29515 (java) R 29093 29093 22085 0 -1 4202560 1990 0 0 0 49996 1 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182226455168 140183527462994 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29516] ppid=29093 vsize=26538700 memory=4612 CPUtime=502.04 cores=0-7
/proc/29095/task/29516/stat : 29516 (java) R 29093 29093 22085 0 -1 4202560 920 0 0 0 50204 0 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182222246312 140183527901162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29517] ppid=29093 vsize=26538700 memory=1008 CPUtime=500.67 cores=0-7
/proc/29095/task/29517/stat : 29517 (java) R 29093 29093 22085 0 -1 4202560 1636 0 0 0 50067 0 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182225404456 140183527902833 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29518] ppid=29093 vsize=26538700 memory=6791534058613427641 CPUtime=501.98 cores=0-7
/proc/29095/task/29518/stat : 29518 (java) R 29093 29093 22085 0 -1 4202560 1322 0 0 0 50198 0 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182223299240 140183527462996 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29519] ppid=29093 vsize=26538700 memory=5784 CPUtime=499.72 cores=0-7
/proc/29095/task/29519/stat : 29519 (java) R 29093 29093 22085 0 -1 4202560 3412 0 0 0 49971 1 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182227510056 140183528283604 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29520] ppid=29093 vsize=26538700 memory=4144 CPUtime=499.76 cores=0-7
/proc/29095/task/29520/stat : 29520 (java) R 29093 29093 22085 0 -1 4202560 8601 0 0 0 49965 11 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182224352168 140183527972091 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29521] ppid=29093 vsize=26538700 memory=40788 CPUtime=501.98 cores=0-7
/proc/29095/task/29521/stat : 29521 (java) R 29093 29093 22085 0 -1 4202560 803 0 0 0 50198 0 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182221193256 140183527462946 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
[pid=29095/tid=29522] ppid=29093 vsize=26538700 memory=1292 CPUtime=498.97 cores=0-7
/proc/29095/task/29522/stat : 29522 (java) R 29093 29093 22085 0 -1 4202560 4622 0 0 0 49896 1 0 0 20 0 28 0 146089002 27175628800 170127 33554432000 4194304 4196468 140723766519008 140182633984168 140183527462994 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 34230272 140723766527122 140723766527299 140723766527299 140723766529999 0
Current children cumulated CPU time: 4052.79 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 681892 KiB
Child status: 0
Real time (s): 508.758
CPU time (s): 4053.07
CPU user time (s): 4052.24
CPU system time (s): 0.83091
CPU usage (%): 796.661
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 685548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4052.24
system time used= 0.83091
maximum resident set size= 695964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94388
page faults= 0
swaps= 0
block input operations= 0
block output operations= 632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19448
involuntary context switches= 41732
# summary of solver processes directly reported to runsolver:
# pid: 29093
# total CPU time (s): 4053.07
# total CPU user time (s): 4052.24
# total CPU system time (s): 0.83091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.69895 second user time and 4.57339 second system time
The end
Begin job on node151 at 2017-08-19 09:53:36 IDJOB=4280324 IDBENCH=124212 IDSOLVER=2675 FILE ID=node151/4280324-1503130076 RUNJOBID= node151-1503121607-22112 PBS_JOBID= 20630774 Free space on /tmp= 61804 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-2.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-4280324-1503130076/watcher-4280324-1503130076 -o /tmp/evaluation-result-4280324-1503130076/solver-4280324-1503130076 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503121607-22112 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2079192436 HOME/instance-4280324-1503130076.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e28ebc68094c3335bce51ae11fa43933 RANDOM SEED=2079192436 node151.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 : 5332.95 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 : 5332.95 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 : 5332.95 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 : 5332.95 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: 24665772 kB MemAvailable: 31975060 kB Buffers: 320772 kB Cached: 7281124 kB SwapCached: 0 kB Active: 1787872 kB Inactive: 5865456 kB Active(anon): 43640 kB Inactive(anon): 44340 kB Active(file): 1744232 kB Inactive(file): 5821116 kB Unevictable: 7576 kB Mlocked: 7576 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7968 kB Writeback: 0 kB AnonPages: 59576 kB Mapped: 50776 kB Shmem: 33416 kB Slab: 146004 kB SReclaimable: 119548 kB SUnreclaim: 26456 kB KernelStack: 3152 kB PageTables: 4680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332780 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61796 MiB End job on node151 at 2017-08-19 10:02:05