Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: choco-solver 4.0.5 (2017-07-05) | SAT (TO) | 122 | 2400.38 | 302.527 |
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 -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246180-1500686795.xml" -tl '2400s' -p 8 -x 0 0.00/0.22 c [HOME/instance-4246180-1500686795.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.28 c 8 solvers in parallel 0.00/0.36 c parse instance... 0.00/1.07 c solve instance... 9.66/1.97 o 171 14.39/2.57 o 170 16.71/2.83 o 169 30.30/4.59 o 168 32.49/4.85 o 167 34.84/5.15 o 166 37.18/5.40 o 165 39.48/5.71 o 164 41.05/5.98 o 163 51.29/7.21 o 162 53.59/7.51 o 161 55.20/7.78 o 160 76.56/10.43 o 159 78.05/10.69 o 158 80.42/10.94 o 157 82.76/11.24 o 156 85.07/11.50 o 155 86.64/11.77 o 154 88.99/12.05 o 153 91.32/12.32 o 152 92.88/12.58 o 151 95.25/12.85 o 150 97.54/13.13 o 149 108.60/14.56 o 148 110.87/14.84 o 147 113.21/15.15 o 146 126.66/16.80 o 145 128.22/17.07 o 144 130.56/17.33 o 143 140.86/18.69 o 142 143.22/18.94 o 141 145.58/19.20 o 140 147.15/19.45 o 139 148.69/19.69 o 138 151.19/19.94 o 137 180.44/23.65 o 136 182.80/23.91 o 135 184.38/24.17 o 134 186.06/24.40 o 133 188.31/24.62 o 132 189.86/24.84 o 131 191.44/25.05 o 130 193.00/25.27 o 129 195.36/25.51 o 128 196.92/25.75 o 127 199.29/26.00 o 126 200.83/26.23 o 125 202.48/26.46 o 124 203.92/26.69 o 123 206.29/26.93 o 122 2400.38/302.55 s SATISFIABLE 2400.38/302.55 v <instantiation> 2400.38/302.55 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> 2400.38/302.55 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> 2400.38/302.55 v </instantiation> 2400.38/302.55 c Unexpected resolution interruption!
OK 122
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246180-1500686795/watcher-4246180-1500686795 -o /tmp/evaluation-result-4246180-1500686795/solver-4246180-1500686795 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1804688922 HOME/instance-4246180-1500686795.xml pid=8523 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 16.22 15.36 15.11 13/273 8526 /proc/meminfo: memFree=31626876/32770624 swapFree=5900/255868 [pid=8526] ppid=8523 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8526/stat : 8526 (xcsp3-exec) S 8523 8526 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3946438 9740288 345 33554432000 4194304 5098028 140731861995440 140731861993544 139870343873148 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31993856 140731861996686 140731861996896 140731861996896 140731861999595 0 /proc/8526/statm: 2378 345 289 221 0 87 0 [startup+0.100131 s] /proc/loadavg: 16.22 15.36 15.11 13/273 8526 /proc/meminfo: memFree=31626876/32770624 swapFree=5900/255868 [pid=8526] ppid=8523 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8526/stat : 8526 (xcsp3-exec) S 8523 8526 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3946438 9740288 345 33554432000 4194304 5098028 140731861995440 140731861993544 139870343873148 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31993856 140731861996686 140731861996896 140731861996896 140731861999595 0 /proc/8526/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200297 s] /proc/loadavg: 16.22 15.36 15.11 13/273 8526 /proc/meminfo: memFree=31626876/32770624 swapFree=5900/255868 [pid=8526] ppid=8523 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8526/stat : 8526 (xcsp3-exec) S 8523 8526 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3946438 9740288 345 33554432000 4194304 5098028 140731861995440 140731861993544 139870343873148 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31993856 140731861996686 140731861996896 140731861996896 140731861999595 0 /proc/8526/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300277 s] /proc/loadavg: 16.22 15.36 15.11 13/273 8526 /proc/meminfo: memFree=31626876/32770624 swapFree=5900/255868 [pid=8526] ppid=8523 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8526/stat : 8526 (xcsp3-exec) S 8523 8526 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3946438 9740288 345 33554432000 4194304 5098028 140731861995440 140731861993544 139870343873148 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31993856 140731861996686 140731861996896 140731861996896 140731861999595 0 /proc/8526/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700191 s] /proc/loadavg: 16.22 15.36 15.11 13/273 8526 /proc/meminfo: memFree=31626876/32770624 swapFree=5900/255868 [pid=8526] ppid=8523 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8526/stat : 8526 (xcsp3-exec) S 8523 8526 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3946438 9740288 345 33554432000 4194304 5098028 140731861995440 140731861993544 139870343873148 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31993856 140731861996686 140731861996896 140731861996896 140731861999595 0 /proc/8526/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50159 s] /proc/loadavg: 16.22 15.36 15.11 16/302 8555 /proc/meminfo: memFree=31445848/32770624 swapFree=5900/255900 [pid=8526] ppid=8523 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8526/stat : 8526 (xcsp3-exec) S 8523 8526 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3946438 9740288 345 33554432000 4194304 5098028 140731861995440 140731861993544 139870343873148 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31993856 140731861996686 140731861996896 140731861996896 140731861999595 0 /proc/8526/statm: 2378 345 289 221 0 87 0 [pid=8527] ppid=8526 vsize=13801768 CPUtime=6.48 cores=1,3,5,7,9,11,13,15 /proc/8527/stat : 8527 (java) S 8526 8526 16913 0 -1 1077944320 27630 0 0 0 624 24 0 0 20 0 28 0 3946438 14133010432 58917 33554432000 4194304 4196468 140724629375856 140724629358400 139800287186679 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 /proc/8527/statm: 3450442 58917 3248 1 0 3437675 0 [pid=8527/tid=8528] ppid=8526 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8528/stat : 8528 (java) S 8526 8526 16913 0 -1 1077944384 8225 0 0 0 101 5 0 0 20 0 28 0 3946438 14133010432 58917 33554432000 4194304 4196468 140724629375856 139800291427456 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8530] ppid=8526 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8530/stat : 8530 (java) S 8526 8526 16913 0 -1 1077944384 30 0 0 0 2 2 0 0 20 0 28 0 3946439 14133010432 58917 33554432000 4194304 4196468 140724629375856 139800248146192 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8531] ppid=8526 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8531/stat : 8531 (java) S 8526 8526 16913 0 -1 1077944384 25 0 0 0 2 2 0 0 20 0 28 0 3946439 14133010432 58917 33554432000 4194304 4196468 140724629375856 139800247093648 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8532] ppid=8526 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8532/stat : 8532 (java) S 8526 8526 16913 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 3946439 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799884708368 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8533] ppid=8526 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8533/stat : 8533 (java) S 8526 8526 16913 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 3946439 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799883655824 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8534] ppid=8526 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8534/stat : 8534 (java) S 8526 8526 16913 0 -1 1077944384 170 0 0 0 1 1 0 0 20 0 28 0 3946439 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799882603280 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8535] ppid=8526 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8535/stat : 8535 (java) S 8526 8526 16913 0 -1 1077944384 44 0 0 0 3 1 0 0 20 0 28 0 3946439 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799881550736 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8536] ppid=8526 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8536/stat : 8536 (java) S 8526 8526 16913 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 28 0 3946439 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799880498192 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8537] ppid=8526 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8537/stat : 8537 (java) S 8526 8526 16913 0 -1 1077944384 25 0 0 0 1 2 0 0 20 0 28 0 3946439 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799879445648 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8538] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8538/stat : 8538 (java) S 8526 8526 16913 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 28 0 3946441 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799749470192 139800287197826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8539] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8539/stat : 8539 (java) S 8526 8526 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3946442 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799748416416 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8540] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8540/stat : 8540 (java) S 8526 8526 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3946443 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799747363824 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8541] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8541/stat : 8541 (java) S 8526 8526 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3946446 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799746312400 139800287205275 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8542] ppid=8526 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8542/stat : 8542 (java) R 8526 8526 16913 0 -1 4202560 4813 0 0 0 93 1 0 0 20 0 28 0 3946446 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799745252504 139800270710075 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8543] ppid=8526 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8543/stat : 8543 (java) R 8526 8526 16913 0 -1 4202560 5082 0 0 0 82 1 0 0 20 0 28 0 3946446 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799744200544 139800273203432 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8544] ppid=8526 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8544/stat : 8544 (java) R 8526 8526 16913 0 -1 4202560 3751 0 0 0 86 1 0 0 20 0 28 0 3946446 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799743140000 139800287208026 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8545] ppid=8526 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8545/stat : 8545 (java) R 8526 8526 16913 0 -1 4202560 3459 0 0 0 72 1 0 0 20 0 28 0 3946446 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799742102384 139800287208026 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8546] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8546/stat : 8546 (java) S 8526 8526 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3946447 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799741049056 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8547] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8547/stat : 8547 (java) S 8526 8526 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3946447 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799739996592 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8548] ppid=8526 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8548/stat : 8548 (java) R 8526 8526 16913 0 -1 4202560 100 0 0 0 19 0 0 0 20 0 28 0 3946547 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799731982120 139799928366211 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8549] ppid=8526 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8549/stat : 8549 (java) R 8526 8526 16913 0 -1 4202560 51 0 0 0 16 0 0 0 20 0 28 0 3946547 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799730930840 139799928448747 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8550] ppid=8526 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8550/stat : 8550 (java) R 8526 8526 16913 0 -1 4202560 50 0 0 0 19 0 0 0 20 0 28 0 3946547 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799729878184 139799928365823 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8551] ppid=8526 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8551/stat : 8551 (java) R 8526 8526 16913 0 -1 4202560 102 0 0 0 22 0 0 0 20 0 28 0 3946547 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799728826344 139799928902988 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8552] ppid=8526 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8552/stat : 8552 (java) R 8526 8526 16913 0 -1 4202560 28 0 0 0 31 0 0 0 20 0 28 0 3946547 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799727771968 139799929087462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8553] ppid=8526 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8553/stat : 8553 (java) R 8526 8526 16913 0 -1 4202560 33 0 0 0 22 0 0 0 20 0 28 0 3946547 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799726719144 139799929087610 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8554] ppid=8526 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8554/stat : 8554 (java) R 8526 8526 16913 0 -1 4202560 68 0 0 0 17 0 0 0 20 0 28 0 3946547 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799725664496 139799923924296 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8555] ppid=8526 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8555/stat : 8555 (java) R 8526 8526 16913 0 -1 4202560 43 0 0 0 22 0 0 0 20 0 28 0 3946547 14133010432 58917 33554432000 4194304 4196468 140724629375856 139799724615432 139799928868172 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 Current children cumulated CPU time (s) 6.48 Current children cumulated vsize (KiB) 13811280 [startup+3.10114 s] /proc/loadavg: 16.22 15.36 15.11 20/302 8563 /proc/meminfo: memFree=31397084/32770624 swapFree=5900/255900 [pid=8526] ppid=8523 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8526/stat : 8526 (xcsp3-exec) S 8523 8526 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3946438 9740288 345 33554432000 4194304 5098028 140731861995440 140731861993544 139870343873148 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31993856 140731861996686 140731861996896 140731861996896 140731861999595 0 /proc/8526/statm: 2378 345 289 221 0 87 0 [pid=8527] ppid=8526 vsize=13801768 CPUtime=19.04 cores=1,3,5,7,9,11,13,15 /proc/8527/stat : 8527 (java) S 8526 8526 16913 0 -1 1077944320 32226 0 0 0 1878 26 0 0 20 0 28 0 3946438 14133010432 60611 33554432000 4194304 4196468 140724629375856 140724629358400 139800287186679 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 /proc/8527/statm: 3450442 60611 3270 1 0 3437675 0 [pid=8527/tid=8528] ppid=8526 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8528/stat : 8528 (java) S 8526 8526 16913 0 -1 1077944384 8239 0 0 0 103 5 0 0 20 0 28 0 3946438 14133010432 60611 33554432000 4194304 4196468 140724629375856 139800291427456 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8530] ppid=8526 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8530/stat : 8530 (java) S 8526 8526 16913 0 -1 1077944384 30 0 0 0 2 2 0 0 20 0 28 0 3946439 14133010432 60611 33554432000 4194304 4196468 140724629375856 139800248146192 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8531] ppid=8526 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8531/stat : 8531 (java) S 8526 8526 16913 0 -1 1077944384 25 0 0 0 2 2 0 0 20 0 28 0 3946439 14133010432 60611 33554432000 4194304 4196468 140724629375856 139800247093648 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8532] ppid=8526 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8532/stat : 8532 (java) S 8526 8526 16913 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 3946439 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799884708368 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8533] ppid=8526 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8533/stat : 8533 (java) S 8526 8526 16913 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 3946439 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799883655824 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8534] ppid=8526 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8534/stat : 8534 (java) S 8526 8526 16913 0 -1 1077944384 170 0 0 0 1 1 0 0 20 0 28 0 3946439 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799882603280 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8535] ppid=8526 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8535/stat : 8535 (java) S 8526 8526 16913 0 -1 1077944384 44 0 0 0 3 1 0 0 20 0 28 0 3946439 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799881550736 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8536] ppid=8526 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8536/stat : 8536 (java) S 8526 8526 16913 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 28 0 3946439 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799880498192 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8537] ppid=8526 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8537/stat : 8537 (java) S 8526 8526 16913 0 -1 1077944384 25 0 0 0 1 2 0 0 20 0 28 0 3946439 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799879445648 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8538] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8538/stat : 8538 (java) S 8526 8526 16913 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 28 0 3946441 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799749470192 139800287197826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8539] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8539/stat : 8539 (java) S 8526 8526 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3946442 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799748416416 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8540] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8540/stat : 8540 (java) S 8526 8526 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3946443 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799747363824 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8541] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8541/stat : 8541 (java) S 8526 8526 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3946446 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799746312400 139800287205275 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8542] ppid=8526 vsize=13801768 CPUtime=2 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8542/stat : 8542 (java) S 8526 8526 16913 0 -1 1077944384 5913 0 0 0 199 1 0 0 20 0 28 0 3946446 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799745260016 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8543] ppid=8526 vsize=13801768 CPUtime=1.75 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8543/stat : 8543 (java) S 8526 8526 16913 0 -1 1077944384 6332 0 0 0 174 1 0 0 20 0 28 0 3946446 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799744207472 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8544] ppid=8526 vsize=13801768 CPUtime=1.97 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8544/stat : 8544 (java) S 8526 8526 16913 0 -1 1077944384 4591 0 0 0 196 1 0 0 20 0 28 0 3946446 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799743154928 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8545] ppid=8526 vsize=13801768 CPUtime=0.96 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8545/stat : 8545 (java) S 8526 8526 16913 0 -1 1077944384 3996 0 0 0 94 2 0 0 20 0 28 0 3946446 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799742102384 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8546] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8546/stat : 8546 (java) S 8526 8526 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3946447 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799741049056 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8547] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8547/stat : 8547 (java) S 8526 8526 16913 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3946447 14133010432 60611 33554432000 4194304 4196468 140724629375856 139799739996592 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 Current children cumulated CPU time (s) 19.04 Current children cumulated vsize (KiB) 13811280 [startup+6.3013 s] /proc/loadavg: 16.20 15.37 15.11 18/302 8659 /proc/meminfo: memFree=31371900/32770624 swapFree=5900/255912 [pid=8526] ppid=8523 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8526/stat : 8526 (xcsp3-exec) S 8523 8526 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3946438 9740288 345 33554432000 4194304 5098028 140731861995440 140731861993544 139870343873148 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31993856 140731861996686 140731861996896 140731861996896 140731861999595 0 /proc/8526/statm: 2378 345 289 221 0 87 0 [pid=8527] ppid=8526 vsize=13801768 CPUtime=44.16 cores=1,3,5,7,9,11,13,15 /proc/8527/stat : 8527 (java) S 8526 8526 16913 0 -1 1077944320 34533 0 0 0 4386 30 0 0 20 0 28 0 3946438 14133010432 59871 33554432000 4194304 4196468 140724629375856 140724629358400 139800287186679 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 /proc/8527/statm: 3450442 59871 3279 1 0 3437675 0 [pid=8527/tid=8528] ppid=8526 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8528/stat : 8528 (java) S 8526 8526 16913 0 -1 1077944384 8308 0 0 0 104 5 0 0 20 0 28 0 3946438 14133010432 59871 33554432000 4194304 4196468 140724629375856 139800291427456 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8530] ppid=8526 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8530/stat : 8530 (java) S 8526 8526 16913 0 -1 1077944384 30 0 0 0 2 2 0 0 20 0 28 0 3946439 14133010432 59871 33554432000 4194304 4196468 140724629375856 139800248146192 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8531] ppid=8526 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8531/stat : 8531 (java) S 8526 8526 16913 0 -1 1077944384 25 0 0 0 2 2 0 0 20 0 28 0 3946439 14133010432 59871 33554432000 4194304 4196468 140724629375856 139800247093648 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8532] ppid=8526 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8532/stat : 8532 (java) S 8526 8526 16913 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 3946439 14133010432 59871 33554432000 4194304 4196468 140724629375856 139799884708368 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8533] ppid=8526 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8533/stat : 8533 (java) S 8526 8526 16913 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 3946439 14133010432 59871 33554432000 4194304 4196468 140724629375856 139799883655824 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 ################ # More data... # ################ /proc/8527/task/9002/stat : 9002 (java) R 8526 8526 16913 0 -1 4202560 780 0 0 0 25413 0 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799731982200 139799929926309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=9003] ppid=8526 vsize=13801768 CPUtime=254.66 cores=1,3,5,7,9,11,13,15 /proc/8527/task/9003/stat : 9003 (java) R 8526 8526 16913 0 -1 4202560 544 0 0 0 25466 0 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799726718968 139799929926309 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 Current children cumulated CPU time (s) 2239.44 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+302.502 s] /proc/loadavg: 16.01 15.81 15.38 17/305 9113 /proc/meminfo: memFree=31035724/32770624 swapFree=5900/256308 [pid=8526] ppid=8523 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8526/stat : 8526 (xcsp3-exec) S 8523 8526 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3946438 9740288 345 33554432000 4194304 5098028 140731861995440 140731861993544 139870343873148 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31993856 140731861996686 140731861996896 140731861996896 140731861999595 0 /proc/8526/statm: 2378 345 289 221 0 87 0 [pid=8527] ppid=8526 vsize=13801768 CPUtime=2400.38 cores=1,3,5,7,9,11,13,15 /proc/8527/stat : 8527 (java) S 8526 8526 16913 0 -1 1077944320 93243 0 0 0 239922 116 0 0 20 0 28 0 3946438 14133010432 155452 33554432000 4194304 4196468 140724629375856 140724629358400 139800287186679 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 /proc/8527/statm: 3450442 155452 3289 1 0 3437675 0 [pid=8527/tid=8528] ppid=8526 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8528/stat : 8528 (java) S 8526 8526 16913 0 -1 1077944384 8875 0 0 0 109 5 0 0 20 0 28 0 3946438 14133010432 155452 33554432000 4194304 4196468 140724629375856 139800291427456 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8530] ppid=8526 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8530/stat : 8530 (java) S 8526 8526 16913 0 -1 1077944384 285 0 0 0 10 9 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139800248146192 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8531] ppid=8526 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8531/stat : 8531 (java) S 8526 8526 16913 0 -1 1077944384 755 0 0 0 10 8 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139800247093648 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8532] ppid=8526 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8532/stat : 8532 (java) S 8526 8526 16913 0 -1 1077944384 970 0 0 0 9 7 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799884708368 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8533] ppid=8526 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8533/stat : 8533 (java) S 8526 8526 16913 0 -1 1077944384 893 0 0 0 10 7 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799883655824 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8534] ppid=8526 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8534/stat : 8534 (java) S 8526 8526 16913 0 -1 1077944384 858 0 0 0 9 8 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799882603280 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8535] ppid=8526 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8535/stat : 8535 (java) S 8526 8526 16913 0 -1 1077944384 436 0 0 0 11 8 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799881550736 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8536] ppid=8526 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8536/stat : 8536 (java) S 8526 8526 16913 0 -1 1077944384 605 0 0 0 9 7 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799880498192 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8537] ppid=8526 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8537/stat : 8537 (java) S 8526 8526 16913 0 -1 1077944384 1102 0 0 0 9 8 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799879445648 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8538] ppid=8526 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8538/stat : 8538 (java) S 8526 8526 16913 0 -1 1077944384 2460 0 0 0 3 5 0 0 20 0 28 0 3946441 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799749470192 139800287197826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8539] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8539/stat : 8539 (java) S 8526 8526 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3946442 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799748416416 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8540] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8540/stat : 8540 (java) S 8526 8526 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3946443 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799747363824 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8541] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8541/stat : 8541 (java) S 8526 8526 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3946446 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799746312400 139800287205275 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8542] ppid=8526 vsize=13801768 CPUtime=3.54 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8542/stat : 8542 (java) S 8526 8526 16913 0 -1 1077944384 12503 0 0 0 351 3 0 0 20 0 28 0 3946446 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799745260016 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 9 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8543] ppid=8526 vsize=13801768 CPUtime=3.25 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8543/stat : 8543 (java) S 8526 8526 16913 0 -1 1077944384 15280 0 0 0 323 2 0 0 20 0 28 0 3946446 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799744207472 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 4 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8544] ppid=8526 vsize=13801768 CPUtime=3.13 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8544/stat : 8544 (java) S 8526 8526 16913 0 -1 1077944384 12555 0 0 0 311 2 0 0 20 0 28 0 3946446 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799743154928 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8545] ppid=8526 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8545/stat : 8545 (java) S 8526 8526 16913 0 -1 1077944384 10263 0 0 0 119 4 0 0 20 0 28 0 3946446 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799742102384 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 18 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8546] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8546/stat : 8546 (java) S 8526 8526 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3946447 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799741049056 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8547] ppid=8526 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8547/stat : 8547 (java) S 8526 8526 16913 0 -1 1077944384 770 0 0 0 9 9 0 0 20 0 28 0 3946447 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799739996592 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8996] ppid=8526 vsize=13801768 CPUtime=273.69 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8996/stat : 8996 (java) R 8526 8526 16913 0 -1 4202560 1005 0 0 0 27369 0 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799724612616 139799929926309 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8997] ppid=8526 vsize=13801768 CPUtime=273.59 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8997/stat : 8997 (java) R 8526 8526 16913 0 -1 4202560 703 0 0 0 27359 0 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799727771520 139799929078214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8998] ppid=8526 vsize=13801768 CPUtime=273.8 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8998/stat : 8998 (java) R 8526 8526 16913 0 -1 4202560 2378 0 0 0 27379 1 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799725668832 139799929078333 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8999] ppid=8526 vsize=13801768 CPUtime=274.05 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8999/stat : 8999 (java) R 8526 8526 16913 0 -1 4202560 3906 0 0 0 27400 5 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799730932184 139799929926333 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=9000] ppid=8526 vsize=13801768 CPUtime=273.83 cores=1,3,5,7,9,11,13,15 /proc/8527/task/9000/stat : 9000 (java) R 8526 8526 16913 0 -1 4202560 854 0 0 0 27382 1 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799728824744 139799929078148 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=9001] ppid=8526 vsize=13801768 CPUtime=273.79 cores=1,3,5,7,9,11,13,15 /proc/8527/task/9001/stat : 9001 (java) R 8526 8526 16913 0 -1 4202560 890 0 0 0 27378 1 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799729877480 139799929078214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=9002] ppid=8526 vsize=13801768 CPUtime=274.31 cores=1,3,5,7,9,11,13,15 /proc/8527/task/9002/stat : 9002 (java) R 8526 8526 16913 0 -1 4202560 929 0 0 0 27431 0 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799731983640 139799929926333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=9003] ppid=8526 vsize=13801768 CPUtime=274.86 cores=1,3,5,7,9,11,13,15 /proc/8527/task/9003/stat : 9003 (java) R 8526 8526 16913 0 -1 4202560 571 0 0 0 27486 0 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799726718968 139799929078164 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 Current children cumulated CPU time (s) 2400.38 Current children cumulated vsize (KiB) 13811280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 8527 sig 9 ??? kill 8526 sig 9 ??? kill -8526 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+302.502 s] /proc/loadavg: 16.01 15.81 15.38 17/305 9113 /proc/meminfo: memFree=31035724/32770624 swapFree=5900/256308 [pid=8526] ppid=8523 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8526/stat : 8526 (xcsp3-exec) S 8523 8526 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3946438 9740288 345 33554432000 4194304 5098028 140731861995440 140731861993544 139870343873148 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 31993856 140731861996686 140731861996896 140731861996896 140731861999595 0 /proc/8526/statm: 2378 345 289 221 0 87 0 [pid=8527] ppid=8526 vsize=13801768 CPUtime=2400.38 cores=1,3,5,7,9,11,13,15 /proc/8527/stat : 8527 (java) S 8526 8526 16913 0 -1 1077944320 93243 0 0 0 239922 116 0 0 20 0 28 0 3946438 14133010432 155452 33554432000 4194304 4196468 140724629375856 140724629358400 139800287186679 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 /proc/8527/statm: 3450442 155452 3289 1 0 3437675 0 [pid=8527/tid=8528] ppid=8526 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8528/stat : 8528 (java) S 8526 8526 16913 0 -1 1077944384 8875 0 0 0 109 5 0 0 20 0 28 0 3946438 14133010432 155452 33554432000 4194304 4196468 140724629375856 139800291427456 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8530] ppid=8526 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8530/stat : 8530 (java) S 8526 8526 16913 0 -1 1077944384 285 0 0 0 10 9 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139800248146192 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8531] ppid=8526 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8531/stat : 8531 (java) S 8526 8526 16913 0 -1 1077944384 755 0 0 0 10 8 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139800247093648 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8532] ppid=8526 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8532/stat : 8532 (java) S 8526 8526 16913 0 -1 1077944384 970 0 0 0 9 7 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799884708368 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8533] ppid=8526 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8533/stat : 8533 (java) S 8526 8526 16913 0 -1 1077944384 893 0 0 0 10 7 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799883655824 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8534] ppid=8526 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8534/stat : 8534 (java) S 8526 8526 16913 0 -1 1077944384 858 0 0 0 9 8 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799882603280 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8535] ppid=8526 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8535/stat : 8535 (java) S 8526 8526 16913 0 -1 1077944384 436 0 0 0 11 8 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799881550736 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8536] ppid=8526 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8536/stat : 8536 (java) S 8526 8526 16913 0 -1 1077944384 605 0 0 0 9 7 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799880498192 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8537] ppid=8526 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8537/stat : 8537 (java) S 8526 8526 16913 0 -1 1077944384 1102 0 0 0 9 8 0 0 20 0 28 0 3946439 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799879445648 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8538] ppid=8526 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8538/stat : 8538 (java) S 8526 8526 16913 0 -1 1077944384 2460 0 0 0 3 5 0 0 20 0 28 0 3946441 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799749470192 139800287197826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8539] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8539/stat : 8539 (java) S 8526 8526 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3946442 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799748416416 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8540] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8540/stat : 8540 (java) S 8526 8526 16913 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3946443 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799747363824 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8541] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8541/stat : 8541 (java) S 8526 8526 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3946446 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799746312400 139800287205275 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8542] ppid=8526 vsize=13801768 CPUtime=3.54 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8542/stat : 8542 (java) S 8526 8526 16913 0 -1 1077944384 12503 0 0 0 351 3 0 0 20 0 28 0 3946446 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799745260016 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 9 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8543] ppid=8526 vsize=13801768 CPUtime=3.25 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8543/stat : 8543 (java) S 8526 8526 16913 0 -1 1077944384 15280 0 0 0 323 2 0 0 20 0 28 0 3946446 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799744207472 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 4 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8544] ppid=8526 vsize=13801768 CPUtime=3.13 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8544/stat : 8544 (java) S 8526 8526 16913 0 -1 1077944384 12555 0 0 0 311 2 0 0 20 0 28 0 3946446 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799743154928 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8545] ppid=8526 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8545/stat : 8545 (java) S 8526 8526 16913 0 -1 1077944384 10263 0 0 0 119 4 0 0 20 0 28 0 3946446 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799742102384 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 18 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8546] ppid=8526 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8546/stat : 8546 (java) S 8526 8526 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3946447 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799741049056 139800287196885 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8547] ppid=8526 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8547/stat : 8547 (java) S 8526 8526 16913 0 -1 1077944384 770 0 0 0 9 9 0 0 20 0 28 0 3946447 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799739996592 139800287197826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8996] ppid=8526 vsize=13801768 CPUtime=273.69 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8996/stat : 8996 (java) R 8526 8526 16913 0 -1 4202560 1005 0 0 0 27369 0 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799724612616 139799929926309 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8997] ppid=8526 vsize=13801768 CPUtime=273.59 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8997/stat : 8997 (java) R 8526 8526 16913 0 -1 4202560 703 0 0 0 27359 0 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799727771520 139799929078214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8998] ppid=8526 vsize=13801768 CPUtime=273.8 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8998/stat : 8998 (java) R 8526 8526 16913 0 -1 4202560 2378 0 0 0 27379 1 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799725668832 139799929078333 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=8999] ppid=8526 vsize=13801768 CPUtime=274.05 cores=1,3,5,7,9,11,13,15 /proc/8527/task/8999/stat : 8999 (java) R 8526 8526 16913 0 -1 4202560 3906 0 0 0 27400 5 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799730932184 139799929926333 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=9000] ppid=8526 vsize=13801768 CPUtime=273.83 cores=1,3,5,7,9,11,13,15 /proc/8527/task/9000/stat : 9000 (java) R 8526 8526 16913 0 -1 4202560 854 0 0 0 27382 1 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799728824744 139799929078148 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=9001] ppid=8526 vsize=13801768 CPUtime=273.79 cores=1,3,5,7,9,11,13,15 /proc/8527/task/9001/stat : 9001 (java) R 8526 8526 16913 0 -1 4202560 890 0 0 0 27378 1 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799729877480 139799929078214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=9002] ppid=8526 vsize=13801768 CPUtime=274.31 cores=1,3,5,7,9,11,13,15 /proc/8527/task/9002/stat : 9002 (java) R 8526 8526 16913 0 -1 4202560 929 0 0 0 27431 0 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799731983640 139799929926333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 [pid=8527/tid=9003] ppid=8526 vsize=13801768 CPUtime=274.86 cores=1,3,5,7,9,11,13,15 /proc/8527/task/9003/stat : 9003 (java) R 8526 8526 16913 0 -1 4202560 571 0 0 0 27486 0 0 0 20 0 28 0 3949131 14133010432 155452 33554432000 4194304 4196468 140724629375856 139799726718968 139799929078164 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21360640 140724629378236 140724629378412 140724629378412 140724629381071 0 Current children cumulated CPU time (s) 2400.38 Current children cumulated vsize (KiB) 13811280 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8526 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1033 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2067 # CPU time returned by wait4() is 0.0031 # while last known CPU time is 2400.38 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 302.527 CPU time (s): 2400.38 CPU user time (s): 2399.22 CPU system time (s): 1.16 CPU usage (%): 793.443 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001033 system time used= 0.002067 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 516 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.78183 second user time and 4.90138 second system time The end
Begin job on node133 at 2017-07-22 03:26:35 IDJOB=4246180 IDBENCH=124212 IDSOLVER=2625 FILE ID=node133/4246180-1500686795 RUNJOBID= node133-1500682387-16945 PBS_JOBID= 20623321 Free space on /tmp= 62008 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-2.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246180-1500686795/watcher-4246180-1500686795 -o /tmp/evaluation-result-4246180-1500686795/solver-4246180-1500686795 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1804688922 HOME/instance-4246180-1500686795.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= e28ebc68094c3335bce51ae11fa43933 RANDOM SEED=1804688922 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5229.85 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 : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5229.85 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 : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5229.85 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 : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 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 : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 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 : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 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 : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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 : 5229.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31627000 kB MemAvailable: 31784384 kB Buffers: 109968 kB Cached: 328492 kB SwapCached: 0 kB Active: 448604 kB Inactive: 264624 kB Active(anon): 277388 kB Inactive(anon): 8756 kB Active(file): 171216 kB Inactive(file): 255868 kB Unevictable: 5900 kB Mlocked: 5900 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7916 kB Writeback: 0 kB AnonPages: 334180 kB Mapped: 43116 kB Shmem: 8872 kB Slab: 126048 kB SReclaimable: 92268 kB SUnreclaim: 33780 kB KernelStack: 5200 kB PageTables: 6152 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1392616 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 208896 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62000 MiB End job on node133 at 2017-07-22 03:31:38