Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | OPT | 122 | 16185.5 | 2029.27 |
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-4270514-1502705465.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270514-1502705465.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 2.29/0.83 c solve instance... 6.05/1.33 o 171 8.19/1.66 o 170 10.25/1.98 o 169 11.84/2.12 o 168 12.54/2.23 o 167 13.27/2.34 o 166 14.02/2.45 o 165 15.59/2.61 o 164 16.37/2.73 o 163 17.07/2.83 o 162 17.83/2.98 o 161 19.47/3.11 o 160 20.15/3.27 o 159 20.91/3.37 o 158 21.77/3.47 o 157 22.48/3.57 o 156 23.24/3.66 o 155 24.80/3.83 o 154 25.48/3.95 o 153 26.30/4.05 o 152 27.05/4.15 o 151 27.73/4.25 o 150 28.48/4.34 o 149 29.27/4.44 o 148 30.01/4.54 o 147 30.78/4.63 o 146 31.55/4.73 o 145 32.33/4.82 o 144 33.09/4.92 o 143 33.90/5.02 o 142 34.67/5.11 o 141 35.36/5.21 o 140 36.12/5.30 o 139 36.12/5.39 o 138 36.91/5.48 o 137 37.70/5.57 o 136 38.37/5.67 o 135 39.14/5.76 o 134 39.93/5.85 o 133 40.68/5.95 o 132 41.56/6.04 o 131 42.24/6.13 o 130 42.92/6.22 o 129 43.64/6.33 o 128 44.40/6.42 o 127 45.18/6.51 o 126 45.94/6.60 o 125 45.94/6.69 o 124 46.72/6.78 o 123 47.46/6.87 o 122 16185.32/2029.26 s OPTIMUM FOUND 16185.32/2029.26 v <instantiation> 16185.32/2029.26 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> 16185.32/2029.26 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> 16185.32/2029.26 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 (12924 MiB free) memory of node 1: 16384 MiB (14962 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270514-1502705465/watcher-4270514-1502705465 -o /tmp/evaluation-result-4270514-1502705465/solver-4270514-1502705465 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502702077-24188 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 792890569 HOME/instance-4270514-1502705465.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=24878, runsolver pid=24875 [startup+0.100152 s]* /proc/loadavg: 7.51 8.12 8.24 2/199 24899 /proc/meminfo: memFree=28539996/32770624 swapFree=67108860/67108860 [pid=24878] ppid=24875 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24878/stat : 24878 (xcsp3-exec) S 24875 24878 24161 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 103634389 9740288 346 33554432000 4194304 5098028 140736479625808 140736479623912 140687737561724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26701824 140736479630437 140736479630647 140736479630647 140736479633387 0 /proc/24878/statm: 2378 346 289 221 0 87 0 [pid=24880] ppid=24878 vsize=25999808 memory=27016 CPUtime=0.12 cores=0-7 /proc/24880/stat : 24880 (java) S 24878 24878 24161 0 -1 1077944320 5632 0 0 0 11 1 0 0 20 0 20 0 103634389 26623803392 6754 33554432000 4194304 4196468 140726015825792 140726015808336 140178260995831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 /proc/24880/statm: 6499952 6754 2860 1 0 6488269 0 [pid=24880/tid=24881] ppid=24878 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/24880/task/24881/stat : 24881 (java) R 24878 24878 24161 0 -1 4202560 3632 0 0 0 8 0 0 0 20 0 20 0 103634389 26623803392 6754 33554432000 4194304 4196468 140726015825792 140178265228096 140178261007766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24882] ppid=24878 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/24880/task/24882/stat : 24882 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634390 26623803392 6754 33554432000 4194304 4196468 140726015825792 140178213616784 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24883] ppid=24878 vsize=25999808 memory=140516437005952 CPUtime=0 cores=0-7 /proc/24880/task/24883/stat : 24883 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634390 26623803392 6754 33554432000 4194304 4196468 140726015825792 140178212563984 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24884] ppid=24878 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24884/stat : 24884 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634390 26623803392 6754 33554432000 4194304 4196468 140726015825792 140178211511184 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24885] ppid=24878 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24885/stat : 24885 (java) S 24878 24878 24161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103634390 26623803392 6754 33554432000 4194304 4196468 140726015825792 140178210458384 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24886] ppid=24878 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24886/stat : 24886 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634390 26623803392 6754 33554432000 4194304 4196468 140726015825792 140178209405584 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24887] ppid=24878 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/24880/task/24887/stat : 24887 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634390 26623803392 6754 33554432000 4194304 4196468 140726015825792 140178208352784 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24888] ppid=24878 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24888/stat : 24888 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634390 26623803392 6754 33554432000 4194304 4196468 140726015825792 140178207299984 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24889] ppid=24878 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24889/stat : 24889 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634390 26623803392 6754 33554432000 4194304 4196468 140726015825792 140178206247184 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24890] ppid=24878 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24890/stat : 24890 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634391 26623803392 6754 33554432000 4194304 4196468 140726015825792 140177321188208 140178261006978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24891] ppid=24878 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24891/stat : 24891 (java) S 24878 24878 24161 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103634392 26623803392 6754 33554432000 4194304 4196468 140726015825792 140177320134176 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24892] ppid=24878 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24892/stat : 24892 (java) S 24878 24878 24161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103634392 26623803392 6754 33554432000 4194304 4196468 140726015825792 140177319081328 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24893] ppid=24878 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24893/stat : 24893 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634395 26623803392 6754 33554432000 4194304 4196468 140726015825792 140177318029648 140178261014427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24894] ppid=24878 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24894/stat : 24894 (java) R 24878 24878 24161 0 -1 4202560 441 0 0 0 0 0 0 0 20 0 20 0 103634395 26623803392 6754 33554432000 4194304 4196468 140726015825792 140177316977008 140178261006978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24895] ppid=24878 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24895/stat : 24895 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634395 26623803392 6754 33554432000 4194304 4196468 140726015825792 140177315924208 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24896] ppid=24878 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24896/stat : 24896 (java) R 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634395 26623803392 6754 33554432000 4194304 4196468 140726015825792 140177314871504 140178261007766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24897] ppid=24878 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/24880/task/24897/stat : 24897 (java) R 24878 24878 24161 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 103634395 26623803392 6754 33554432000 4194304 4196468 140726015825792 140177313818608 140178242248400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24898] ppid=24878 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24898/stat : 24898 (java) S 24878 24878 24161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103634395 26623803392 6754 33554432000 4194304 4196468 140726015825792 140177312767072 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24899] ppid=24878 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/24880/task/24899/stat : 24899 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634395 26623803392 6754 33554432000 4194304 4196468 140726015825792 140177311714352 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28400 KiB [startup+0.210545 s]* /proc/loadavg: 7.51 8.12 8.24 2/199 24899 /proc/meminfo: memFree=28528692/32770624 swapFree=67108860/67108860 [pid=24878] ppid=24875 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24878/stat : 24878 (xcsp3-exec) S 24875 24878 24161 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 103634389 9740288 346 33554432000 4194304 5098028 140736479625808 140736479623912 140687737561724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26701824 140736479630437 140736479630647 140736479630647 140736479633387 0 /proc/24878/statm: 2378 346 289 221 0 87 0 [pid=24880] ppid=24878 vsize=26004096 memory=39024 CPUtime=0.33 cores=0-7 /proc/24880/stat : 24880 (java) S 24878 24878 24161 0 -1 1077944320 8349 0 0 0 31 2 0 0 20 0 20 0 103634389 26628194304 9756 33554432000 4194304 4196468 140726015825792 140726015808336 140178260995831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 /proc/24880/statm: 6501024 9756 3056 1 0 6488277 0 [pid=24880/tid=24881] ppid=24878 vsize=26004096 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/24880/task/24881/stat : 24881 (java) R 24878 24878 24161 0 -1 4202560 5450 0 0 0 18 1 0 0 20 0 20 0 103634389 26628194304 9756 33554432000 4194304 4196468 140726015825792 140178265197552 140178253675549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24882] ppid=24878 vsize=26004096 memory=330 CPUtime=0 cores=0-7 /proc/24880/task/24882/stat : 24882 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634390 26628194304 9756 33554432000 4194304 4196468 140726015825792 140178213616784 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24883] ppid=24878 vsize=26004064 memory=140516437440892 CPUtime=0 cores=0-7 /proc/24880/task/24883/stat : 24883 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 9756 33554432000 4194304 4196468 140726015825792 140178212563984 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24884] ppid=24878 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24880/task/24884/stat : 24884 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 9756 33554432000 4194304 4196468 140726015825792 140178211511184 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24885] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24885/stat : 24885 (java) S 24878 24878 24161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 9756 33554432000 4194304 4196468 140726015825792 140178210458384 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24886] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24886/stat : 24886 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 9756 33554432000 4194304 4196468 140726015825792 140178209405584 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24887] ppid=24878 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24880/task/24887/stat : 24887 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 9756 33554432000 4194304 4196468 140726015825792 140178208352784 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24888] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24888/stat : 24888 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 9756 33554432000 4194304 4196468 140726015825792 140178207299984 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24889] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24889/stat : 24889 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 9756 33554432000 4194304 4196468 140726015825792 140178206247184 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24890] ppid=24878 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24890/stat : 24890 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634391 26628194304 9756 33554432000 4194304 4196468 140726015825792 140177321188208 140178261006978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24891] ppid=24878 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24891/stat : 24891 (java) S 24878 24878 24161 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103634392 26628194304 9756 33554432000 4194304 4196468 140726015825792 140177320134176 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24892] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24892/stat : 24892 (java) S 24878 24878 24161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103634392 26628161536 9756 33554432000 4194304 4196468 140726015825792 140177319081328 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24893] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24893/stat : 24893 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634395 26628161536 9756 33554432000 4194304 4196468 140726015825792 140177318029648 140178261014427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24894] ppid=24878 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/24880/task/24894/stat : 24894 (java) S 24878 24878 24161 0 -1 1077944384 531 0 0 0 1 0 0 0 20 0 20 0 103634395 26628161536 9756 33554432000 4194304 4196468 140726015825792 140177316977008 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24895] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24895/stat : 24895 (java) S 24878 24878 24161 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 20 0 103634395 26628161536 9756 33554432000 4194304 4196468 140726015825792 140177315924208 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24896] ppid=24878 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/24880/task/24896/stat : 24896 (java) S 24878 24878 24161 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 20 0 103634395 26628161536 9756 33554432000 4194304 4196468 140726015825792 140177314871408 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24897] ppid=24878 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7 /proc/24880/task/24897/stat : 24897 (java) S 24878 24878 24161 0 -1 1077944384 725 0 0 0 7 0 0 0 20 0 20 0 103634395 26628194304 9756 33554432000 4194304 4196468 140726015825792 140177313818608 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24898] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24898/stat : 24898 (java) S 24878 24878 24161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103634395 26628161536 9756 33554432000 4194304 4196468 140726015825792 140177312767072 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24899] ppid=24878 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24880/task/24899/stat : 24899 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634395 26628161536 9756 33554432000 4194304 4196468 140726015825792 140177311714352 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013608 KiB Current children cumulated memory: 40408 KiB [startup+0.3108 s]* /proc/loadavg: 7.51 8.12 8.24 4/199 24899 /proc/meminfo: memFree=28523916/32770624 swapFree=67108860/67108860 [pid=24878] ppid=24875 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24878/stat : 24878 (xcsp3-exec) S 24875 24878 24161 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 103634389 9740288 346 33554432000 4194304 5098028 140736479625808 140736479623912 140687737561724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26701824 140736479630437 140736479630647 140736479630647 140736479633387 0 /proc/24878/statm: 2378 346 289 221 0 87 0 [pid=24880] ppid=24878 vsize=26004064 memory=45904 CPUtime=0.5 cores=0-7 /proc/24880/stat : 24880 (java) S 24878 24878 24161 0 -1 1077944320 9254 0 0 0 47 3 0 0 20 0 20 0 103634389 26628161536 11476 33554432000 4194304 4196468 140726015825792 140726015808336 140178260995831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 /proc/24880/statm: 6501016 11476 3076 1 0 6488269 0 [pid=24880/tid=24881] ppid=24878 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/24880/task/24881/stat : 24881 (java) R 24878 24878 24161 0 -1 4202560 6109 0 0 0 28 1 0 0 20 0 20 0 103634389 26628161536 11476 33554432000 4194304 4196468 140726015825792 140178265219648 140178246363983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24882] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24882/stat : 24882 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 11476 33554432000 4194304 4196468 140726015825792 140178213616784 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24883] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24883/stat : 24883 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 11476 33554432000 4194304 4196468 140726015825792 140178212563984 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24884] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24884/stat : 24884 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 11476 33554432000 4194304 4196468 140726015825792 140178211511184 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24885] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24885/stat : 24885 (java) S 24878 24878 24161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 11476 33554432000 4194304 4196468 140726015825792 140178210458384 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24886] ppid=24878 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/24880/task/24886/stat : 24886 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 11476 33554432000 4194304 4196468 140726015825792 140178209405584 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24887] ppid=24878 vsize=26004064 memory=140516297634735 CPUtime=0 cores=0-7 /proc/24880/task/24887/stat : 24887 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 11476 33554432000 4194304 4196468 140726015825792 140178208352784 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24888] ppid=24878 vsize=26004064 memory=140516297637040 CPUtime=0 cores=0-7 /proc/24880/task/24888/stat : 24888 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 11476 33554432000 4194304 4196468 140726015825792 140178207299984 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24889] ppid=24878 vsize=26004064 memory=140516297639344 CPUtime=0 cores=0-7 /proc/24880/task/24889/stat : 24889 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634390 26628161536 11476 33554432000 4194304 4196468 140726015825792 140178206247184 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24890] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24890/stat : 24890 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634391 26628161536 11476 33554432000 4194304 4196468 140726015825792 140177321188208 140178261006978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24891] ppid=24878 vsize=26004064 memory=281032595285648 CPUtime=0 cores=0-7 /proc/24880/task/24891/stat : 24891 (java) S 24878 24878 24161 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103634392 26628161536 11476 33554432000 4194304 4196468 140726015825792 140177320134176 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24892] ppid=24878 vsize=26004064 memory=281032595292560 CPUtime=0 cores=0-7 /proc/24880/task/24892/stat : 24892 (java) S 24878 24878 24161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103634392 26628161536 11476 33554432000 4194304 4196468 140726015825792 140177319081328 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24893] ppid=24878 vsize=26004064 memory=281032595233840 CPUtime=0 cores=0-7 /proc/24880/task/24893/stat : 24893 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634395 26628161536 11476 33554432000 4194304 4196468 140726015825792 140177318029648 140178261014427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24894] ppid=24878 vsize=26004064 memory=281032595306384 CPUtime=0.02 cores=0-7 /proc/24880/task/24894/stat : 24894 (java) S 24878 24878 24161 0 -1 1077944384 622 0 0 0 2 0 0 0 20 0 20 0 103634395 26628161536 11476 33554432000 4194304 4196468 140726015825792 140177316977008 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24895] ppid=24878 vsize=26004064 memory=281032595313296 CPUtime=0.01 cores=0-7 /proc/24880/task/24895/stat : 24895 (java) S 24878 24878 24161 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 103634395 26628161536 11476 33554432000 4194304 4196468 140726015825792 140177315924208 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24896] ppid=24878 vsize=26004064 memory=281032595310992 CPUtime=0.02 cores=0-7 /proc/24880/task/24896/stat : 24896 (java) S 24878 24878 24161 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 20 0 103634395 26628161536 11476 33554432000 4194304 4196468 140726015825792 140177314871408 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24897] ppid=24878 vsize=26004064 memory=281032595327152 CPUtime=0.12 cores=0-7 /proc/24880/task/24897/stat : 24897 (java) R 24878 24878 24161 0 -1 4202560 856 0 0 0 12 0 0 0 20 0 20 0 103634395 26628161536 11476 33554432000 4194304 4196468 140726015825792 140177313814976 140178240423329 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24898] ppid=24878 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24898/stat : 24898 (java) S 24878 24878 24161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103634395 26628161536 11476 33554432000 4194304 4196468 140726015825792 140177312767072 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24899] ppid=24878 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24880/task/24899/stat : 24899 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634395 26628161536 11476 33554432000 4194304 4196468 140726015825792 140177311714352 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47288 KiB [startup+0.701013 s] /proc/loadavg: 7.51 8.12 8.24 5/199 24899 /proc/meminfo: memFree=28504620/32770624 swapFree=67108860/67108860 [pid=24878] ppid=24875 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24878/stat : 24878 (xcsp3-exec) S 24875 24878 24161 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 103634389 9740288 346 33554432000 4194304 5098028 140736479625808 140736479623912 140687737561724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26701824 140736479630437 140736479630647 140736479630647 140736479633387 0 /proc/24878/statm: 2378 346 289 221 0 87 0 [pid=24880] ppid=24878 vsize=26006188 memory=110260 CPUtime=1.86 cores=0-7 /proc/24880/stat : 24880 (java) S 24878 24878 24161 0 -1 1077944320 14282 0 0 0 181 5 0 0 20 0 20 0 103634389 26630336512 27565 33554432000 4194304 4196468 140726015825792 140726015808336 140178260995831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 /proc/24880/statm: 6501547 27565 3218 1 0 6488781 0 [pid=24880/tid=24881] ppid=24878 vsize=26006188 memory=281032595685040 CPUtime=0.67 cores=0-7 /proc/24880/task/24881/stat : 24881 (java) R 24878 24878 24161 0 -1 4202560 6822 0 0 0 65 2 0 0 20 0 20 0 103634389 26630336512 27565 33554432000 4194304 4196468 140726015825792 140178265233600 140177888534188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24882] ppid=24878 vsize=26006188 memory=140516297843568 CPUtime=0 cores=0-7 /proc/24880/task/24882/stat : 24882 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634390 26630336512 27565 33554432000 4194304 4196468 140726015825792 140178213616784 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24883] ppid=24878 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/24880/task/24883/stat : 24883 (java) S 24878 24878 24161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103634390 26630336512 27565 33554432000 4194304 4196468 140726015825792 140178212563984 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24884] ppid=24878 vsize=26006188 memory=11008 CPUtime=0 cores=0-7 /proc/24880/task/24884/stat : 24884 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103634390 26630336512 27565 33554432000 4194304 4196468 140726015825792 140178211511184 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 ################ # More data... # ################ [pid=24880/tid=24897] ppid=24878 vsize=26539728 memory=310548 CPUtime=0.85 cores=0-7 /proc/24880/task/24897/stat : 24897 (java) S 24878 24878 24161 0 -1 1077944384 10224 0 0 0 83 2 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177313818608 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24898] ppid=24878 vsize=26539728 memory=1384 CPUtime=0 cores=0-7 /proc/24880/task/24898/stat : 24898 (java) S 24878 24878 24161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177312767072 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24899] ppid=24878 vsize=26539728 memory=314652 CPUtime=0.43 cores=0-7 /proc/24880/task/24899/stat : 24899 (java) R 24878 24878 24161 0 -1 1077944384 1664 0 0 0 0 43 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177311714352 140178261006978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25300] ppid=24878 vsize=26539728 memory=6944656575208382560 CPUtime=2020.13 cores=0-7 /proc/24880/task/25300/stat : 25300 (java) R 24878 24878 24161 0 -1 4202560 2084 0 0 0 202012 1 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177297386512 140177890800961 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25301] ppid=24878 vsize=26539728 memory=6656426216303648864 CPUtime=2009.85 cores=0-7 /proc/24880/task/25301/stat : 25301 (java) R 24878 24878 24161 0 -1 4202560 1381 0 0 0 200956 29 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177303703864 140177890387666 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25302] ppid=24878 vsize=26539728 memory=6944656592455359580 CPUtime=2012.49 cores=0-7 /proc/24880/task/25302/stat : 25302 (java) R 24878 24878 24161 0 -1 4202560 2613 0 0 0 201231 18 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177299492920 140177890388039 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25303] ppid=24878 vsize=26539728 memory=2340 CPUtime=2015.05 cores=0-7 /proc/24880/task/25303/stat : 25303 (java) R 24878 24878 24161 0 -1 4202560 7983 0 0 0 201492 13 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177295282168 140177890387546 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25304] ppid=24878 vsize=26539728 memory=1580 CPUtime=2020.44 cores=0-7 /proc/24880/task/25304/stat : 25304 (java) R 24878 24878 24161 0 -1 4202560 6013 0 0 0 202037 7 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177298439992 140177893630601 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25305] ppid=24878 vsize=26539728 memory=928 CPUtime=2017.77 cores=0-7 /proc/24880/task/25305/stat : 25305 (java) R 24878 24878 24161 0 -1 4202560 14656 0 0 0 201753 24 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177301600288 140177889933504 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25306] ppid=24878 vsize=26539728 memory=2240 CPUtime=2015.61 cores=0-7 /proc/24880/task/25306/stat : 25306 (java) R 24878 24878 24161 0 -1 4202560 1818 0 0 0 201548 13 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177300546040 140177890387666 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25307] ppid=24878 vsize=26539728 memory=4128 CPUtime=2013.43 cores=0-7 /proc/24880/task/25307/stat : 25307 (java) R 24878 24878 24161 0 -1 4202560 2332 0 0 0 201326 17 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177296335352 140177891238463 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 Current children cumulated CPU time: 16175.8 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 308856 KiB [startup+2028.8 s] /proc/loadavg: 8.31 8.29 8.25 9/208 25366 /proc/meminfo: memFree=28259804/32770624 swapFree=67108860/67108860 [pid=24878] ppid=24875 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24878/stat : 24878 (xcsp3-exec) S 24875 24878 24161 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 103634389 9740288 346 33554432000 4194304 5098028 140736479625808 140736479623912 140687737561724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26701824 140736479630437 140736479630647 140736479630647 140736479633387 0 /proc/24878/statm: 2378 346 289 221 0 87 0 [pid=24880] ppid=24878 vsize=26539728 memory=307472 CPUtime=16182.1 cores=0-7 /proc/24880/stat : 24880 (java) S 24878 24878 24161 0 -1 1077944320 131310 0 0 0 1618037 177 0 0 20 0 28 0 103634389 27176681472 76868 33554432000 4194304 4196468 140726015825792 140726015808336 140178260995831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 /proc/24880/statm: 6634932 76868 3288 1 0 6622166 0 [pid=24880/tid=24881] ppid=24878 vsize=26539728 memory=307472 CPUtime=0.91 cores=0-7 /proc/24880/task/24881/stat : 24881 (java) S 24878 24878 24161 0 -1 1077944384 6933 0 0 0 88 3 0 0 20 0 28 0 103634389 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178265236608 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24882] ppid=24878 vsize=26539728 memory=6791534058613427641 CPUtime=0.15 cores=0-7 /proc/24880/task/24882/stat : 24882 (java) S 24878 24878 24161 0 -1 1077944384 1386 0 0 0 12 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178213616784 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24883] ppid=24878 vsize=26539728 memory=307472 CPUtime=0.15 cores=0-7 /proc/24880/task/24883/stat : 24883 (java) S 24878 24878 24161 0 -1 1077944384 1412 0 0 0 12 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178212563984 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24884] ppid=24878 vsize=26539728 memory=307472 CPUtime=0.15 cores=0-7 /proc/24880/task/24884/stat : 24884 (java) S 24878 24878 24161 0 -1 1077944384 2863 0 0 0 12 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178211511184 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24885] ppid=24878 vsize=26539728 memory=6655300316396806240 CPUtime=0.16 cores=0-7 /proc/24880/task/24885/stat : 24885 (java) S 24878 24878 24161 0 -1 1077944384 920 0 0 0 13 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178210458384 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24886] ppid=24878 vsize=26539728 memory=-4546129931942301828 CPUtime=0.17 cores=0-7 /proc/24880/task/24886/stat : 24886 (java) S 24878 24878 24161 0 -1 1077944384 2118 0 0 0 14 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178209405584 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24887] ppid=24878 vsize=26539728 memory=8560 CPUtime=0.14 cores=0-7 /proc/24880/task/24887/stat : 24887 (java) S 24878 24878 24161 0 -1 1077944384 2315 0 0 0 11 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178208352784 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24888] ppid=24878 vsize=26539728 memory=5516 CPUtime=0.15 cores=0-7 /proc/24880/task/24888/stat : 24888 (java) S 24878 24878 24161 0 -1 1077944384 1916 0 0 0 12 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178207299984 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24889] ppid=24878 vsize=26539728 memory=4616 CPUtime=0.16 cores=0-7 /proc/24880/task/24889/stat : 24889 (java) S 24878 24878 24161 0 -1 1077944384 2083 0 0 0 13 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178206247184 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24890] ppid=24878 vsize=26539728 memory=1008 CPUtime=0.1 cores=0-7 /proc/24880/task/24890/stat : 24890 (java) S 24878 24878 24161 0 -1 1077944384 6589 0 0 0 7 3 0 0 20 0 28 0 103634391 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177321188208 140178261006978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24891] ppid=24878 vsize=26539728 memory=11008 CPUtime=0 cores=0-7 /proc/24880/task/24891/stat : 24891 (java) S 24878 24878 24161 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 103634392 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177320134240 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24892] ppid=24878 vsize=26539728 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/24880/task/24892/stat : 24892 (java) S 24878 24878 24161 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 103634392 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177319081344 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24893] ppid=24878 vsize=26539728 memory=4616 CPUtime=0 cores=0-7 /proc/24880/task/24893/stat : 24893 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177318029648 140178261014427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24894] ppid=24878 vsize=26539728 memory=1008 CPUtime=2.46 cores=0-7 /proc/24880/task/24894/stat : 24894 (java) S 24878 24878 24161 0 -1 1077944384 13791 0 0 0 244 2 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177316977008 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24895] ppid=24878 vsize=26539728 memory=11008 CPUtime=2.31 cores=0-7 /proc/24880/task/24895/stat : 24895 (java) S 24878 24878 24161 0 -1 1077944384 15481 0 0 0 229 2 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177315924208 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24896] ppid=24878 vsize=26539728 memory=1228 CPUtime=2.52 cores=0-7 /proc/24880/task/24896/stat : 24896 (java) S 24878 24878 24161 0 -1 1077944384 14162 0 0 0 249 3 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177314871408 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24897] ppid=24878 vsize=26539728 memory=1384 CPUtime=0.85 cores=0-7 /proc/24880/task/24897/stat : 24897 (java) S 24878 24878 24161 0 -1 1077944384 10224 0 0 0 83 2 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177313818608 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24898] ppid=24878 vsize=26539728 memory=310548 CPUtime=0 cores=0-7 /proc/24880/task/24898/stat : 24898 (java) S 24878 24878 24161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177312767072 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24899] ppid=24878 vsize=26539728 memory=1384 CPUtime=0.43 cores=0-7 /proc/24880/task/24899/stat : 24899 (java) S 24878 24878 24161 0 -1 1077944384 1664 0 0 0 0 43 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177311714352 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25300] ppid=24878 vsize=26539728 memory=310548 CPUtime=2020.92 cores=0-7 /proc/24880/task/25300/stat : 25300 (java) R 24878 24878 24161 0 -1 4202560 2084 0 0 0 202091 1 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177297386512 140177890387666 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25301] ppid=24878 vsize=26539728 memory=310548 CPUtime=2010.64 cores=0-7 /proc/24880/task/25301/stat : 25301 (java) R 24878 24878 24161 0 -1 4202560 1381 0 0 0 201035 29 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177303703864 140177891238513 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25302] ppid=24878 vsize=26539728 memory=1728 CPUtime=2013.27 cores=0-7 /proc/24880/task/25302/stat : 25302 (java) R 24878 24878 24161 0 -1 4202560 2613 0 0 0 201309 18 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177299492920 140177890800961 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25303] ppid=24878 vsize=26539728 memory=1716 CPUtime=2015.84 cores=0-7 /proc/24880/task/25303/stat : 25303 (java) R 24878 24878 24161 0 -1 4202560 7984 0 0 0 201571 13 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177295282168 140177890388039 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25304] ppid=24878 vsize=26539728 memory=796 CPUtime=2021.23 cores=0-7 /proc/24880/task/25304/stat : 25304 (java) R 24878 24878 24161 0 -1 4202560 6013 0 0 0 202116 7 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177298439992 140177890387602 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25305] ppid=24878 vsize=26539728 memory=1952 CPUtime=2018.56 cores=0-7 /proc/24880/task/25305/stat : 25305 (java) R 24878 24878 24161 0 -1 4202560 14656 0 0 0 201832 24 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177301600288 140177890388052 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25306] ppid=24878 vsize=26539728 memory=1200 CPUtime=2016.4 cores=0-7 /proc/24880/task/25306/stat : 25306 (java) R 24878 24878 24161 0 -1 4202560 1818 0 0 0 201627 13 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177300546040 140177891238903 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25307] ppid=24878 vsize=26539728 memory=916 CPUtime=2014.22 cores=0-7 /proc/24880/task/25307/stat : 25307 (java) R 24878 24878 24161 0 -1 4202560 2332 0 0 0 201405 17 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177296335352 140177890387546 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 Current children cumulated CPU time: 16182.1 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 308856 KiB [startup+2029.2 s] /proc/loadavg: 8.28 8.28 8.25 9/208 25366 /proc/meminfo: memFree=28259808/32770624 swapFree=67108860/67108860 [pid=24878] ppid=24875 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24878/stat : 24878 (xcsp3-exec) S 24875 24878 24161 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 103634389 9740288 346 33554432000 4194304 5098028 140736479625808 140736479623912 140687737561724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26701824 140736479630437 140736479630647 140736479630647 140736479633387 0 /proc/24878/statm: 2378 346 289 221 0 87 0 [pid=24880] ppid=24878 vsize=26539728 memory=307472 CPUtime=16185.3 cores=0-7 /proc/24880/stat : 24880 (java) S 24878 24878 24161 0 -1 1077944320 131310 0 0 0 1618355 177 0 0 20 0 28 0 103634389 27176681472 76868 33554432000 4194304 4196468 140726015825792 140726015808336 140178260995831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 /proc/24880/statm: 6634932 76868 3288 1 0 6622166 0 [pid=24880/tid=24881] ppid=24878 vsize=26539728 memory=1384 CPUtime=0.91 cores=0-7 /proc/24880/task/24881/stat : 24881 (java) S 24878 24878 24161 0 -1 1077944384 6933 0 0 0 88 3 0 0 20 0 28 0 103634389 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178265236608 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24882] ppid=24878 vsize=26539728 memory=310548 CPUtime=0.15 cores=0-7 /proc/24880/task/24882/stat : 24882 (java) S 24878 24878 24161 0 -1 1077944384 1386 0 0 0 12 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178213616784 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24883] ppid=24878 vsize=26539728 memory=6791534058613427641 CPUtime=0.15 cores=0-7 /proc/24880/task/24883/stat : 24883 (java) S 24878 24878 24161 0 -1 1077944384 1412 0 0 0 12 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178212563984 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24884] ppid=24878 vsize=26539728 memory=1384 CPUtime=0.15 cores=0-7 /proc/24880/task/24884/stat : 24884 (java) S 24878 24878 24161 0 -1 1077944384 2863 0 0 0 12 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178211511184 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24885] ppid=24878 vsize=26539728 memory=307472 CPUtime=0.16 cores=0-7 /proc/24880/task/24885/stat : 24885 (java) S 24878 24878 24161 0 -1 1077944384 920 0 0 0 13 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178210458384 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24886] ppid=24878 vsize=26539728 memory=1952 CPUtime=0.17 cores=0-7 /proc/24880/task/24886/stat : 24886 (java) S 24878 24878 24161 0 -1 1077944384 2118 0 0 0 14 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178209405584 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24887] ppid=24878 vsize=26539728 memory=1200 CPUtime=0.14 cores=0-7 /proc/24880/task/24887/stat : 24887 (java) S 24878 24878 24161 0 -1 1077944384 2315 0 0 0 11 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178208352784 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24888] ppid=24878 vsize=26539728 memory=8560 CPUtime=0.15 cores=0-7 /proc/24880/task/24888/stat : 24888 (java) S 24878 24878 24161 0 -1 1077944384 1916 0 0 0 12 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178207299984 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24889] ppid=24878 vsize=26539728 memory=33 CPUtime=0.16 cores=0-7 /proc/24880/task/24889/stat : 24889 (java) S 24878 24878 24161 0 -1 1077944384 2083 0 0 0 13 3 0 0 20 0 28 0 103634390 27176681472 76868 33554432000 4194304 4196468 140726015825792 140178206247184 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24890] ppid=24878 vsize=26539728 memory=4048 CPUtime=0.1 cores=0-7 /proc/24880/task/24890/stat : 24890 (java) S 24878 24878 24161 0 -1 1077944384 6589 0 0 0 7 3 0 0 20 0 28 0 103634391 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177321188208 140178261006978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24891] ppid=24878 vsize=26539728 memory=1236 CPUtime=0 cores=0-7 /proc/24880/task/24891/stat : 24891 (java) S 24878 24878 24161 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 103634392 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177320134240 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24892] ppid=24878 vsize=26539728 memory=644 CPUtime=0 cores=0-7 /proc/24880/task/24892/stat : 24892 (java) S 24878 24878 24161 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 103634392 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177319081344 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24893] ppid=24878 vsize=26539728 memory=1788 CPUtime=0 cores=0-7 /proc/24880/task/24893/stat : 24893 (java) S 24878 24878 24161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177318029648 140178261014427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24894] ppid=24878 vsize=26539728 memory=952 CPUtime=2.46 cores=0-7 /proc/24880/task/24894/stat : 24894 (java) S 24878 24878 24161 0 -1 1077944384 13791 0 0 0 244 2 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177316977008 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24895] ppid=24878 vsize=26539728 memory=2340 CPUtime=2.31 cores=0-7 /proc/24880/task/24895/stat : 24895 (java) S 24878 24878 24161 0 -1 1077944384 15481 0 0 0 229 2 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177315924208 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24896] ppid=24878 vsize=26539728 memory=1580 CPUtime=2.52 cores=0-7 /proc/24880/task/24896/stat : 24896 (java) S 24878 24878 24161 0 -1 1077944384 14162 0 0 0 249 3 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177314871408 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24897] ppid=24878 vsize=26539728 memory=928 CPUtime=0.85 cores=0-7 /proc/24880/task/24897/stat : 24897 (java) S 24878 24878 24161 0 -1 1077944384 10224 0 0 0 83 2 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177313818608 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24898] ppid=24878 vsize=26539728 memory=2240 CPUtime=0 cores=0-7 /proc/24880/task/24898/stat : 24898 (java) S 24878 24878 24161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177312767072 140178261006037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=24899] ppid=24878 vsize=26539728 memory=6791534058613427641 CPUtime=0.43 cores=0-7 /proc/24880/task/24899/stat : 24899 (java) S 24878 24878 24161 0 -1 1077944384 1664 0 0 0 0 43 0 0 20 0 28 0 103634395 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177311714352 140178261006978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25300] ppid=24878 vsize=26539728 memory=1384 CPUtime=2021.32 cores=0-7 /proc/24880/task/25300/stat : 25300 (java) R 24878 24878 24161 0 -1 4202560 2084 0 0 0 202131 1 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177297386512 140177890387671 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25301] ppid=24878 vsize=26539728 memory=314652 CPUtime=2011.04 cores=0-7 /proc/24880/task/25301/stat : 25301 (java) R 24878 24878 24161 0 -1 4202560 1381 0 0 0 201075 29 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177303703864 140177892150604 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25302] ppid=24878 vsize=26539728 memory=1384 CPUtime=2013.66 cores=0-7 /proc/24880/task/25302/stat : 25302 (java) R 24878 24878 24161 0 -1 4202560 2613 0 0 0 201348 18 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177299492920 140177885451703 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25303] ppid=24878 vsize=26539728 memory=1384 CPUtime=2016.24 cores=0-7 /proc/24880/task/25303/stat : 25303 (java) R 24878 24878 24161 0 -1 4202560 7984 0 0 0 201611 13 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177295282168 140177890387618 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25304] ppid=24878 vsize=26539728 memory=281032597491904 CPUtime=2021.63 cores=0-7 /proc/24880/task/25304/stat : 25304 (java) R 24878 24878 24161 0 -1 4202560 6013 0 0 0 202156 7 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177298439992 140177890387556 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25305] ppid=24878 vsize=26539728 memory=0 CPUtime=2018.96 cores=0-7 /proc/24880/task/25305/stat : 25305 (java) R 24878 24878 24161 0 -1 4202560 14656 0 0 0 201872 24 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177301600288 140177893468865 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25306] ppid=24878 vsize=26539728 memory=0 CPUtime=2016.8 cores=0-7 /proc/24880/task/25306/stat : 25306 (java) R 24878 24878 24161 0 -1 4202560 1818 0 0 0 201667 13 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177300546040 140177890387666 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 [pid=24880/tid=25307] ppid=24878 vsize=26539728 memory=7517440522208047472 CPUtime=2014.62 cores=0-7 /proc/24880/task/25307/stat : 25307 (java) R 24878 24878 24161 0 -1 4202560 2332 0 0 0 201445 17 0 0 20 0 28 0 103635076 27176681472 76868 33554432000 4194304 4196468 140726015825792 140177296335352 140177890387674 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8769536 140726015833234 140726015833411 140726015833411 140726015836111 0 Current children cumulated CPU time: 16185.3 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 308856 KiB Child status: 0 Real time (s): 2029.27 CPU time (s): 16185.5 CPU user time (s): 16183.7 CPU system time (s): 1.78291 CPU usage (%): 797.603 Max. virtual memory (cumulated for all children) (KiB): 26549240 Max. memory (cumulated for all children) (KiB): 670980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16183.7 system time used= 1.78291 maximum resident set size= 681892 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 132441 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2088 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55132 involuntary context switches= 162561 # summary of solver processes directly reported to runsolver: # pid: 24878 # total CPU time (s): 16185.5 # total CPU user time (s): 16183.7 # total CPU system time (s): 1.78291 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.6084 second user time and 18.9124 second system time The end
Begin job on node104 at 2017-08-14 11:56:46 IDJOB=4270514 IDBENCH=124212 IDSOLVER=2662 FILE ID=node104/4270514-1502705465 RUNJOBID= node104-1502702077-24188 PBS_JOBID= 20629012 Free space on /tmp= 61864 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-4270514-1502705465/watcher-4270514-1502705465 -o /tmp/evaluation-result-4270514-1502705465/solver-4270514-1502705465 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502702077-24188 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 792890569 HOME/instance-4270514-1502705465.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e28ebc68094c3335bce51ae11fa43933 RANDOM SEED=792890569 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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: 28556632 kB MemAvailable: 31983544 kB Buffers: 190860 kB Cached: 3516496 kB SwapCached: 0 kB Active: 408064 kB Inactive: 3349388 kB Active(anon): 52952 kB Inactive(anon): 25024 kB Active(file): 355112 kB Inactive(file): 3324364 kB Unevictable: 6532 kB Mlocked: 6532 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7768 kB Writeback: 0 kB AnonPages: 56720 kB Mapped: 44472 kB Shmem: 25228 kB Slab: 152164 kB SReclaimable: 126540 kB SUnreclaim: 25624 kB KernelStack: 3184 kB PageTables: 4736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323736 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61856 MiB End job on node104 at 2017-08-14 12:30:36