Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 122 | 2004.05 | 252.11099 |
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 | 154.98 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3591 |
Number of constraints | 193 |
Number of domains | 15 |
Minimum domain size | 2 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":2,"count":342},{"size":3,"count":342},{"size":4,"count":171},{"size":5,"count":171},{"size":6,"count":171},{"size":8,"count":171},{"size":9,"count":171},{"size":10,"count":171},{"size":12,"count":684},{"size":14,"count":171},{"size":15,"count":171},{"size":16,"count":171},{"size":17,"count":171},{"size":18,"count":171},{"size":21,"count":342}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":3591}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 3420 |
Distribution of constraint arities | [{"arity":21,"count":171},{"arity":171,"count":21},{"arity":3420,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":191}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281314-1503185289.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281314-1503185289.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 2.31/0.84 c solve instance... 5.86/1.34 o 171 7.30/1.54 o 170 8.86/1.72 o 169 9.59/1.86 o 168 10.36/1.98 o 167 12.71/2.20 o 166 13.52/2.33 o 165 14.32/2.45 o 164 15.83/2.65 o 163 17.39/2.81 o 162 18.18/2.95 o 161 19.65/3.11 o 160 20.36/3.24 o 159 21.13/3.36 o 158 22.64/3.50 o 157 23.39/3.62 o 156 24.16/3.74 o 155 24.93/3.87 o 154 25.68/4.01 o 153 27.30/4.13 o 152 27.99/4.25 o 151 28.74/4.37 o 150 29.48/4.49 o 149 31.04/4.61 o 148 31.89/4.74 o 147 32.58/4.86 o 146 33.35/4.97 o 145 34.17/5.08 o 144 35.67/5.20 o 143 36.44/5.31 o 142 37.19/5.43 o 141 37.94/5.54 o 140 38.69/5.65 o 139 39.46/5.76 o 138 40.23/5.87 o 137 40.96/6.00 o 136 42.48/6.12 o 135 43.23/6.23 o 134 43.89/6.35 o 133 44.64/6.46 o 132 45.35/6.59 o 131 46.72/6.71 o 130 47.42/6.82 o 129 48.14/6.93 o 128 48.95/7.05 o 127 49.73/7.15 o 126 50.43/7.27 o 125 51.12/7.38 o 124 51.87/7.49 o 123 52.65/7.59 o 122 2003.29/252.08 s SATISFIABLE 2003.29/252.08 v <instantiation> 2003.29/252.08 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> 2003.29/252.08 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> 2003.29/252.08 v </instantiation> 2003.29/252.08 c Unexpected resolution interruption!
OK 122
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13282 MiB free) memory of node 1: 16384 MiB (13275 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281314-1503185289/watcher-4281314-1503185289 -o /tmp/evaluation-result-4281314-1503185289/solver-4281314-1503185289 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 991837889 HOME/instance-4281314-1503185289.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=2326, runsolver pid=2322 Current StackSize limit: 8192 KiB [startup+0.100137 s]* /proc/loadavg: 7.59 7.25 7.16 2/200 2348 /proc/meminfo: memFree=27178600/32770624 swapFree=67108860/67108860 [pid=2326] ppid=2322 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/2326/stat : 2326 (xcsp3-exec) S 2322 2326 1674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151616398 9740288 346 33554432000 4194304 5098028 140733168318064 140733168316168 139934848438908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27410432 140733168325739 140733168325948 140733168325948 140733168328683 0 /proc/2326/statm: 2378 346 289 221 0 87 0 [pid=2328] ppid=2326 vsize=25999808 memory=27088 CPUtime=0.12 cores=0-7 /proc/2328/stat : 2328 (java) S 2326 2326 1674 0 -1 1077944320 5656 0 0 0 11 1 0 0 20 0 20 0 151616398 26623803392 6772 33554432000 4194304 4196468 140730158532752 140730158515296 140446450749175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 /proc/2328/statm: 6499952 6772 2866 1 0 6488269 0 [pid=2328/tid=2329] ppid=2326 vsize=25999808 memory=1399051139730258233 CPUtime=0.08 cores=0-7 /proc/2328/task/2329/stat : 2329 (java) R 2326 2326 1674 0 -1 4202560 3655 0 0 0 8 0 0 0 20 0 20 0 151616398 26623803392 6772 33554432000 4194304 4196468 140730158532752 140446454980864 140446450771101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2330] ppid=2326 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2328/task/2330/stat : 2330 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26623803392 6772 33554432000 4194304 4196468 140730158532752 140446373330064 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2331] ppid=2326 vsize=25999808 memory=139889953846912 CPUtime=0 cores=0-7 /proc/2328/task/2331/stat : 2331 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26623803392 6772 33554432000 4194304 4196468 140730158532752 140446372277264 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2332] ppid=2326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2332/stat : 2332 (java) S 2326 2326 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151616399 26623803392 6772 33554432000 4194304 4196468 140730158532752 140446371224464 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2333] ppid=2326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2333/stat : 2333 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151616399 26623803392 6772 33554432000 4194304 4196468 140730158532752 140446006270736 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2334] ppid=2326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2334/stat : 2334 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26623803392 6772 33554432000 4194304 4196468 140730158532752 140446005217936 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2335] ppid=2326 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/2328/task/2335/stat : 2335 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151616399 26623803392 6772 33554432000 4194304 4196468 140730158532752 140446004165136 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2336] ppid=2326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2336/stat : 2336 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26623803392 6772 33554432000 4194304 4196468 140730158532752 140446003112336 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2337] ppid=2326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2337/stat : 2337 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26623803392 6772 33554432000 4194304 4196468 140730158532752 140446002059536 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2338] ppid=2326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2338/stat : 2338 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616401 26623803392 6772 33554432000 4194304 4196468 140730158532752 140445125643120 140446450760322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2339] ppid=2326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2339/stat : 2339 (java) S 2326 2326 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151616401 26623803392 6772 33554432000 4194304 4196468 140730158532752 140445124589088 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2340] ppid=2326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2340/stat : 2340 (java) S 2326 2326 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151616401 26623803392 6772 33554432000 4194304 4196468 140730158532752 140445123536240 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2341] ppid=2326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2341/stat : 2341 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151616404 26623803392 6772 33554432000 4194304 4196468 140730158532752 140445122484560 140446450767771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2342] ppid=2326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2342/stat : 2342 (java) S 2326 2326 1674 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 151616404 26623803392 6772 33554432000 4194304 4196468 140730158532752 140445121431920 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2343] ppid=2326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2343/stat : 2343 (java) R 2326 2326 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151616404 26623803392 6772 33554432000 4194304 4196468 140730158532752 140445120379120 140446450760322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2344] ppid=2326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2344/stat : 2344 (java) S 2326 2326 1674 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 151616404 26623803392 6772 33554432000 4194304 4196468 140730158532752 140445119326320 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2345] ppid=2326 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/2328/task/2345/stat : 2345 (java) R 2326 2326 1674 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 151616404 26623803392 6772 33554432000 4194304 4196468 140730158532752 140445118273520 140446450770522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2346] ppid=2326 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2346/stat : 2346 (java) S 2326 2326 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151616404 26623803392 6772 33554432000 4194304 4196468 140730158532752 140445117221984 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2348] ppid=2326 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/2328/task/2348/stat : 2348 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151616404 26623803392 6772 33554432000 4194304 4196468 140730158532752 140445116169264 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28472 KiB [startup+0.210565 s]* /proc/loadavg: 7.59 7.25 7.16 2/200 2348 /proc/meminfo: memFree=27167668/32770624 swapFree=67108860/67108860 [pid=2326] ppid=2322 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/2326/stat : 2326 (xcsp3-exec) S 2322 2326 1674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151616398 9740288 346 33554432000 4194304 5098028 140733168318064 140733168316168 139934848438908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27410432 140733168325739 140733168325948 140733168325948 140733168328683 0 /proc/2326/statm: 2378 346 289 221 0 87 0 [pid=2328] ppid=2326 vsize=26004064 memory=39380 CPUtime=0.33 cores=0-7 /proc/2328/stat : 2328 (java) S 2326 2326 1674 0 -1 1077944320 8398 0 0 0 31 2 0 0 20 0 20 0 151616398 26628161536 9845 33554432000 4194304 4196468 140730158532752 140730158515296 140446450749175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 /proc/2328/statm: 6501016 9845 3073 1 0 6488269 0 [pid=2328/tid=2329] ppid=2326 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/2328/task/2329/stat : 2329 (java) R 2326 2326 1674 0 -1 4202560 5469 0 0 0 18 1 0 0 20 0 20 0 151616398 26628161536 9845 33554432000 4194304 4196468 140730158532752 140446454963520 140446450771101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2330] ppid=2326 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/2328/task/2330/stat : 2330 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 9845 33554432000 4194304 4196468 140730158532752 140446373330064 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2331] ppid=2326 vsize=26004064 memory=139889953852307 CPUtime=0 cores=0-7 /proc/2328/task/2331/stat : 2331 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 9845 33554432000 4194304 4196468 140730158532752 140446372277264 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2332] ppid=2326 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/2328/task/2332/stat : 2332 (java) S 2326 2326 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 9845 33554432000 4194304 4196468 140730158532752 140446371224464 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2333] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2333/stat : 2333 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 9845 33554432000 4194304 4196468 140730158532752 140446006270736 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2334] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2334/stat : 2334 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 9845 33554432000 4194304 4196468 140730158532752 140446005217936 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2335] ppid=2326 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/2328/task/2335/stat : 2335 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 9845 33554432000 4194304 4196468 140730158532752 140446004165136 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2336] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2336/stat : 2336 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 9845 33554432000 4194304 4196468 140730158532752 140446003112336 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2337] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2337/stat : 2337 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 9845 33554432000 4194304 4196468 140730158532752 140446002059536 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2338] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2338/stat : 2338 (java) S 2326 2326 1674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151616401 26628161536 9845 33554432000 4194304 4196468 140730158532752 140445125643120 140446450760322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2339] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2339/stat : 2339 (java) S 2326 2326 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151616401 26628161536 9845 33554432000 4194304 4196468 140730158532752 140445124589088 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2340] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2340/stat : 2340 (java) S 2326 2326 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151616401 26628161536 9845 33554432000 4194304 4196468 140730158532752 140445123536240 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2341] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2341/stat : 2341 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151616404 26628161536 9845 33554432000 4194304 4196468 140730158532752 140445122484560 140446450767771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2342] ppid=2326 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/2328/task/2342/stat : 2342 (java) S 2326 2326 1674 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 20 0 151616404 26628161536 9845 33554432000 4194304 4196468 140730158532752 140445121431920 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2343] ppid=2326 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/2328/task/2343/stat : 2343 (java) S 2326 2326 1674 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 20 0 151616404 26628161536 9845 33554432000 4194304 4196468 140730158532752 140445120379120 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2344] ppid=2326 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/2328/task/2344/stat : 2344 (java) S 2326 2326 1674 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 151616404 26628161536 9845 33554432000 4194304 4196468 140730158532752 140445119326320 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2345] ppid=2326 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/2328/task/2345/stat : 2345 (java) S 2326 2326 1674 0 -1 1077944384 712 0 0 0 8 0 0 0 20 0 20 0 151616404 26628161536 9845 33554432000 4194304 4196468 140730158532752 140445118273520 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2346] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2346/stat : 2346 (java) S 2326 2326 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151616404 26628161536 9845 33554432000 4194304 4196468 140730158532752 140445117221984 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2348] ppid=2326 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/2328/task/2348/stat : 2348 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151616404 26628194304 9845 33554432000 4194304 4196468 140730158532752 140445116169264 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40764 KiB [startup+0.310385 s]* /proc/loadavg: 7.59 7.25 7.16 4/200 2348 /proc/meminfo: memFree=27163264/32770624 swapFree=67108860/67108860 [pid=2326] ppid=2322 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/2326/stat : 2326 (xcsp3-exec) S 2322 2326 1674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151616398 9740288 346 33554432000 4194304 5098028 140733168318064 140733168316168 139934848438908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27410432 140733168325739 140733168325948 140733168325948 140733168328683 0 /proc/2326/statm: 2378 346 289 221 0 87 0 [pid=2328] ppid=2326 vsize=26004064 memory=45792 CPUtime=0.5 cores=0-7 /proc/2328/stat : 2328 (java) S 2326 2326 1674 0 -1 1077944320 9187 0 0 0 47 3 0 0 20 0 20 0 151616398 26628161536 11448 33554432000 4194304 4196468 140730158532752 140730158515296 140446450749175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 /proc/2328/statm: 6501016 11448 3087 1 0 6488269 0 [pid=2328/tid=2329] ppid=2326 vsize=26004064 memory=1399051139730258233 CPUtime=0.29 cores=0-7 /proc/2328/task/2329/stat : 2329 (java) R 2326 2326 1674 0 -1 4202560 6148 0 0 0 27 2 0 0 20 0 20 0 151616398 26628161536 11448 33554432000 4194304 4196468 140730158532752 140446454986640 140446434829662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2330] ppid=2326 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/2328/task/2330/stat : 2330 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 11448 33554432000 4194304 4196468 140730158532752 140446373330064 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2331] ppid=2326 vsize=26004064 memory=16236 CPUtime=0 cores=0-7 /proc/2328/task/2331/stat : 2331 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 11448 33554432000 4194304 4196468 140730158532752 140446372277264 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2332] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2332/stat : 2332 (java) S 2326 2326 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 11448 33554432000 4194304 4196468 140730158532752 140446371224464 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2333] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2333/stat : 2333 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 11448 33554432000 4194304 4196468 140730158532752 140446006270736 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2334] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2334/stat : 2334 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 11448 33554432000 4194304 4196468 140730158532752 140446005217936 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2335] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2335/stat : 2335 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 11448 33554432000 4194304 4196468 140730158532752 140446004165136 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2336] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2336/stat : 2336 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 11448 33554432000 4194304 4196468 140730158532752 140446003112336 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2337] ppid=2326 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/2328/task/2337/stat : 2337 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26628161536 11448 33554432000 4194304 4196468 140730158532752 140446002059536 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2338] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2338/stat : 2338 (java) S 2326 2326 1674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151616401 26628161536 11448 33554432000 4194304 4196468 140730158532752 140445125643120 140446450760322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2339] ppid=2326 vsize=26004064 memory=139889836389327 CPUtime=0 cores=0-7 /proc/2328/task/2339/stat : 2339 (java) S 2326 2326 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151616401 26628161536 11448 33554432000 4194304 4196468 140730158532752 140445124589088 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2340] ppid=2326 vsize=26004064 memory=279779672780944 CPUtime=0 cores=0-7 /proc/2328/task/2340/stat : 2340 (java) S 2326 2326 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151616401 26628161536 11448 33554432000 4194304 4196468 140730158532752 140445123536240 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2341] ppid=2326 vsize=26004064 memory=279779672797072 CPUtime=0 cores=0-7 /proc/2328/task/2341/stat : 2341 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151616404 26628161536 11448 33554432000 4194304 4196468 140730158532752 140445122484560 140446450767771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2342] ppid=2326 vsize=26004064 memory=279779672794768 CPUtime=0.01 cores=0-7 /proc/2328/task/2342/stat : 2342 (java) S 2326 2326 1674 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 20 0 151616404 26628161536 11448 33554432000 4194304 4196468 140730158532752 140445121431920 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2343] ppid=2326 vsize=26004064 memory=279779672801680 CPUtime=0.02 cores=0-7 /proc/2328/task/2343/stat : 2343 (java) S 2326 2326 1674 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 20 0 151616404 26628161536 11448 33554432000 4194304 4196468 140730158532752 140445120379120 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2344] ppid=2326 vsize=26004064 memory=279779672742960 CPUtime=0.02 cores=0-7 /proc/2328/task/2344/stat : 2344 (java) S 2326 2326 1674 0 -1 1077944384 179 0 0 0 2 0 0 0 20 0 20 0 151616404 26628161536 11448 33554432000 4194304 4196468 140730158532752 140445119326320 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2345] ppid=2326 vsize=26004064 memory=279779672815504 CPUtime=0.12 cores=0-7 /proc/2328/task/2345/stat : 2345 (java) R 2326 2326 1674 0 -1 4202560 777 0 0 0 12 0 0 0 20 0 20 0 151616404 26628161536 11448 33554432000 4194304 4196468 140730158532752 140445118269888 140446429883075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2346] ppid=2326 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2346/stat : 2346 (java) S 2326 2326 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151616404 26628161536 11448 33554432000 4194304 4196468 140730158532752 140445117221984 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2348] ppid=2326 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/2328/task/2348/stat : 2348 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151616404 26628161536 11448 33554432000 4194304 4196468 140730158532752 140445116169264 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47176 KiB [startup+0.701039 s] /proc/loadavg: 7.59 7.25 7.16 4/200 2348 /proc/meminfo: memFree=27141752/32770624 swapFree=67108860/67108860 [pid=2326] ppid=2322 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/2326/stat : 2326 (xcsp3-exec) S 2322 2326 1674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151616398 9740288 346 33554432000 4194304 5098028 140733168318064 140733168316168 139934848438908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27410432 140733168325739 140733168325948 140733168325948 140733168328683 0 /proc/2326/statm: 2378 346 289 221 0 87 0 [pid=2328] ppid=2326 vsize=26006188 memory=114876 CPUtime=1.88 cores=0-7 /proc/2328/stat : 2328 (java) S 2326 2326 1674 0 -1 1077944320 15098 0 0 0 183 5 0 0 20 0 20 0 151616398 26630336512 28719 33554432000 4194304 4196468 140730158532752 140730158515296 140446450749175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 /proc/2328/statm: 6501547 28719 3217 1 0 6488781 0 [pid=2328/tid=2329] ppid=2326 vsize=26006188 memory=279779673191744 CPUtime=0.67 cores=0-7 /proc/2328/task/2329/stat : 2329 (java) R 2326 2326 1674 0 -1 4202560 6728 0 0 0 64 3 0 0 20 0 20 0 151616398 26630336512 28719 33554432000 4194304 4196468 140730158532752 140446454984720 140446054826554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2330] ppid=2326 vsize=26006188 memory=139889836598128 CPUtime=0 cores=0-7 /proc/2328/task/2330/stat : 2330 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26630336512 28719 33554432000 4194304 4196468 140730158532752 140446373330064 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2331] ppid=2326 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/2328/task/2331/stat : 2331 (java) S 2326 2326 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151616399 26630336512 28719 33554432000 4194304 4196468 140730158532752 140446372277264 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2332] ppid=2326 vsize=26006188 memory=15876 CPUtime=0 cores=0-7 /proc/2328/task/2332/stat : 2332 (java) S 2326 2326 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151616399 26630336512 28719 33554432000 4194304 4196468 140730158532752 140446371224464 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 ################ # More data... # ################ [pid=2328/tid=2758] ppid=2326 vsize=26538700 memory=1384 CPUtime=151.52 cores=0-7 /proc/2328/task/2758/stat : 2758 (java) R 2326 2326 1674 0 -1 4202560 3524 0 0 0 15149 3 0 0 20 0 28 0 151617158 27175628800 168758 33554432000 4194304 4196468 140730158532752 140445102895048 140446058706046 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 Current children cumulated CPU time: 1287.51 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 676416 KiB [startup+222.301 s] /proc/loadavg: 8.43 7.90 7.45 10/207 2758 /proc/meminfo: memFree=26532332/32770624 swapFree=67108860/67108860 [pid=2326] ppid=2322 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/2326/stat : 2326 (xcsp3-exec) S 2322 2326 1674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151616398 9740288 346 33554432000 4194304 5098028 140733168318064 140733168316168 139934848438908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27410432 140733168325739 140733168325948 140733168325948 140733168328683 0 /proc/2326/statm: 2378 346 289 221 0 87 0 [pid=2328] ppid=2326 vsize=26538700 memory=675040 CPUtime=1766.26 cores=0-7 /proc/2328/stat : 2328 (java) S 2326 2326 1674 0 -1 1077944320 70371 0 0 0 176535 91 0 0 20 0 28 0 151616398 27175628800 168760 33554432000 4194304 4196468 140730158532752 140730158515296 140446450749175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 /proc/2328/statm: 6634675 168760 3287 1 0 6621909 0 [pid=2328/tid=2329] ppid=2326 vsize=26538700 memory=675036 CPUtime=0.92 cores=0-7 /proc/2328/task/2329/stat : 2329 (java) S 2326 2326 1674 0 -1 1077944384 6832 0 0 0 88 4 0 0 20 0 28 0 151616398 27175628800 168760 33554432000 4194304 4196468 140730158532752 140446454989952 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2330] ppid=2326 vsize=26538700 memory=675036 CPUtime=0.11 cores=0-7 /proc/2328/task/2330/stat : 2330 (java) S 2326 2326 1674 0 -1 1077944384 1192 0 0 0 7 4 0 0 20 0 28 0 151616399 27175628800 168760 33554432000 4194304 4196468 140730158532752 140446373330064 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2331] ppid=2326 vsize=26538700 memory=675040 CPUtime=0.12 cores=0-7 /proc/2328/task/2331/stat : 2331 (java) S 2326 2326 1674 0 -1 1077944384 359 0 0 0 7 5 0 0 20 0 28 0 151616399 27175628800 168760 33554432000 4194304 4196468 140730158532752 140446372277264 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2332] ppid=2326 vsize=26538700 memory=675040 CPUtime=0.13 cores=0-7 /proc/2328/task/2332/stat : 2332 (java) S 2326 2326 1674 0 -1 1077944384 210 0 0 0 8 5 0 0 20 0 28 0 151616399 27175628800 168760 33554432000 4194304 4196468 140730158532752 140446371224464 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2333] ppid=2326 vsize=26538700 memory=675040 CPUtime=0.12 cores=0-7 /proc/2328/task/2333/stat : 2333 (java) S 2326 2326 1674 0 -1 1077944384 498 0 0 0 7 5 0 0 20 0 28 0 151616399 27175628800 168760 33554432000 4194304 4196468 140730158532752 140446006270736 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2334] ppid=2326 vsize=26538700 memory=1384 CPUtime=0.11 cores=0-7 /proc/2328/task/2334/stat : 2334 (java) S 2326 2326 1674 0 -1 1077944384 255 0 0 0 7 4 0 0 20 0 28 0 151616399 27175628800 168760 33554432000 4194304 4196468 140730158532752 140446005217936 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2335] ppid=2326 vsize=26538700 memory=675036 CPUtime=0.13 cores=0-7 /proc/2328/task/2335/stat : 2335 (java) S 2326 2326 1674 0 -1 1077944384 158 0 0 0 8 5 0 0 20 0 28 0 151616399 27175628800 168760 33554432000 4194304 4196468 140730158532752 140446004165136 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2336] ppid=2326 vsize=26538700 memory=1384 CPUtime=0.11 cores=0-7 /proc/2328/task/2336/stat : 2336 (java) S 2326 2326 1674 0 -1 1077944384 148 0 0 0 7 4 0 0 20 0 28 0 151616399 27175628800 168760 33554432000 4194304 4196468 140730158532752 140446003112336 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2337] ppid=2326 vsize=26538700 memory=675036 CPUtime=0.13 cores=0-7 /proc/2328/task/2337/stat : 2337 (java) S 2326 2326 1674 0 -1 1077944384 2128 0 0 0 8 5 0 0 20 0 28 0 151616399 27175628800 168760 33554432000 4194304 4196468 140730158532752 140446002059536 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2338] ppid=2326 vsize=26538700 memory=0 CPUtime=0.03 cores=0-7 /proc/2328/task/2338/stat : 2338 (java) S 2326 2326 1674 0 -1 1077944384 1760 0 0 0 3 0 0 0 20 0 28 0 151616401 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445125643120 140446450760322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2339] ppid=2326 vsize=26538700 memory=4420 CPUtime=0 cores=0-7 /proc/2328/task/2339/stat : 2339 (java) S 2326 2326 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151616401 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445124589152 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2340] ppid=2326 vsize=26538700 memory=2240 CPUtime=0 cores=0-7 /proc/2328/task/2340/stat : 2340 (java) S 2326 2326 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 151616401 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445123536240 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2341] ppid=2326 vsize=26538700 memory=4124 CPUtime=0 cores=0-7 /proc/2328/task/2341/stat : 2341 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151616404 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445122484560 140446450767771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2342] ppid=2326 vsize=26538700 memory=675036 CPUtime=1.88 cores=0-7 /proc/2328/task/2342/stat : 2342 (java) S 2326 2326 1674 0 -1 1077944384 7715 0 0 0 187 1 0 0 20 0 28 0 151616404 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445121431920 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2343] ppid=2326 vsize=26538700 memory=1384 CPUtime=2.11 cores=0-7 /proc/2328/task/2343/stat : 2343 (java) S 2326 2326 1674 0 -1 1077944384 8934 0 0 0 208 3 0 0 20 0 28 0 151616404 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445120379120 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2344] ppid=2326 vsize=26538700 memory=4100 CPUtime=1.92 cores=0-7 /proc/2328/task/2344/stat : 2344 (java) S 2326 2326 1674 0 -1 1077944384 7878 0 0 0 191 1 0 0 20 0 28 0 151616404 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445119326320 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2345] ppid=2326 vsize=26538700 memory=1384 CPUtime=0.8 cores=0-7 /proc/2328/task/2345/stat : 2345 (java) S 2326 2326 1674 0 -1 1077944384 7404 0 0 0 79 1 0 0 20 0 28 0 151616404 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445118273520 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2346] ppid=2326 vsize=26538700 memory=675036 CPUtime=0 cores=0-7 /proc/2328/task/2346/stat : 2346 (java) S 2326 2326 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151616404 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445117221984 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2348] ppid=2326 vsize=26538700 memory=960 CPUtime=0.04 cores=0-7 /proc/2328/task/2348/stat : 2348 (java) S 2326 2326 1674 0 -1 1077944384 820 0 0 0 2 2 0 0 20 0 28 0 151616404 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445116169264 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2751] ppid=2326 vsize=26538700 memory=1384 CPUtime=214.42 cores=0-7 /proc/2328/task/2751/stat : 2751 (java) R 2326 2326 1674 0 -1 4202560 738 0 0 0 21442 0 0 0 20 0 28 0 151617158 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445104999656 140446058706096 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2752] ppid=2326 vsize=26538700 memory=1384 CPUtime=214.5 cores=0-7 /proc/2328/task/2752/stat : 2752 (java) R 2326 2326 1674 0 -1 4202560 606 0 0 0 21450 0 0 0 20 0 28 0 151617158 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445100789976 140446058392152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2753] ppid=2326 vsize=26538700 memory=675040 CPUtime=214.43 cores=0-7 /proc/2328/task/2753/stat : 2753 (java) R 2326 2326 1674 0 -1 4202560 962 0 0 0 21443 0 0 0 20 0 28 0 151617158 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445107105672 140446057837013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2754] ppid=2326 vsize=26538700 memory=1384 CPUtime=214.41 cores=0-7 /proc/2328/task/2754/stat : 2754 (java) R 2326 2326 1674 0 -1 4202560 6028 0 0 0 21422 19 0 0 20 0 28 0 151617158 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445108158424 140446057385964 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2755] ppid=2326 vsize=26538700 memory=675040 CPUtime=214.38 cores=0-7 /proc/2328/task/2755/stat : 2755 (java) R 2326 2326 1674 0 -1 4202560 1965 0 0 0 21437 1 0 0 20 0 28 0 151617158 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445106052744 140446057386028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2756] ppid=2326 vsize=26538700 memory=675040 CPUtime=214.45 cores=0-7 /proc/2328/task/2756/stat : 2756 (java) R 2326 2326 1674 0 -1 4202560 757 0 0 0 21445 0 0 0 20 0 28 0 151617158 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445103947352 140446057386066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2757] ppid=2326 vsize=26538700 memory=288230574492221466 CPUtime=214.34 cores=0-7 /proc/2328/task/2757/stat : 2757 (java) R 2326 2326 1674 0 -1 4202560 538 0 0 0 21434 0 0 0 20 0 28 0 151617158 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445101842784 140446057386119 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2758] ppid=2326 vsize=26538700 memory=288230621803970871 CPUtime=210.33 cores=0-7 /proc/2328/task/2758/stat : 2758 (java) R 2326 2326 1674 0 -1 4202560 3992 0 0 0 21028 5 0 0 20 0 28 0 151617158 27175628800 168760 33554432000 4194304 4196468 140730158532752 140445102895560 140446057386177 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 Current children cumulated CPU time: 1766.26 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 676424 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.37 7.94 7.47 10/207 2758 /proc/meminfo: memFree=26529292/32770624 swapFree=67108860/67108860 [pid=2326] ppid=2322 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/2326/stat : 2326 (xcsp3-exec) S 2322 2326 1674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151616398 9740288 346 33554432000 4194304 5098028 140733168318064 140733168316168 139934848438908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27410432 140733168325739 140733168325948 140733168325948 140733168328683 0 /proc/2326/statm: 2378 346 289 221 0 87 0 [pid=2328] ppid=2326 vsize=26538700 memory=678948 CPUtime=2003.29 cores=0-7 /proc/2328/stat : 2328 (java) S 2326 2326 1674 0 -1 1077944320 74380 0 0 0 200235 94 0 0 20 0 28 0 151616398 27175628800 169737 33554432000 4194304 4196468 140730158532752 140730158515296 140446450749175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 /proc/2328/statm: 6634675 169737 3287 1 0 6621909 0 [pid=2328/tid=2329] ppid=2326 vsize=26538700 memory=1399051139730258233 CPUtime=0.92 cores=0-7 /proc/2328/task/2329/stat : 2329 (java) S 2326 2326 1674 0 -1 1077944384 6832 0 0 0 88 4 0 0 20 0 28 0 151616398 27175628800 169737 33554432000 4194304 4196468 140730158532752 140446454989952 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2330] ppid=2326 vsize=26538700 memory=4126316290023845779 CPUtime=0.11 cores=0-7 /proc/2328/task/2330/stat : 2330 (java) S 2326 2326 1674 0 -1 1077944384 1205 0 0 0 7 4 0 0 20 0 28 0 151616399 27175628800 169737 33554432000 4194304 4196468 140730158532752 140446373330064 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2331] ppid=2326 vsize=26538700 memory=678948 CPUtime=0.12 cores=0-7 /proc/2328/task/2331/stat : 2331 (java) S 2326 2326 1674 0 -1 1077944384 689 0 0 0 7 5 0 0 20 0 28 0 151616399 27175628800 169737 33554432000 4194304 4196468 140730158532752 140446372277264 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2332] ppid=2326 vsize=26538700 memory=1384 CPUtime=0.13 cores=0-7 /proc/2328/task/2332/stat : 2332 (java) S 2326 2326 1674 0 -1 1077944384 247 0 0 0 8 5 0 0 20 0 28 0 151616399 27175628800 169737 33554432000 4194304 4196468 140730158532752 140446371224464 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2333] ppid=2326 vsize=26538700 memory=678948 CPUtime=0.13 cores=0-7 /proc/2328/task/2333/stat : 2333 (java) S 2326 2326 1674 0 -1 1077944384 510 0 0 0 8 5 0 0 20 0 28 0 151616399 27175628800 169737 33554432000 4194304 4196468 140730158532752 140446006270736 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2334] ppid=2326 vsize=26538700 memory=920 CPUtime=0.11 cores=0-7 /proc/2328/task/2334/stat : 2334 (java) S 2326 2326 1674 0 -1 1077944384 267 0 0 0 7 4 0 0 20 0 28 0 151616399 27175628800 169737 33554432000 4194304 4196468 140730158532752 140446005217936 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2335] ppid=2326 vsize=26538700 memory=4100 CPUtime=0.13 cores=0-7 /proc/2328/task/2335/stat : 2335 (java) S 2326 2326 1674 0 -1 1077944384 220 0 0 0 8 5 0 0 20 0 28 0 151616399 27175628800 169737 33554432000 4194304 4196468 140730158532752 140446004165136 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2336] ppid=2326 vsize=26538700 memory=41884 CPUtime=0.11 cores=0-7 /proc/2328/task/2336/stat : 2336 (java) S 2326 2326 1674 0 -1 1077944384 169 0 0 0 7 4 0 0 20 0 28 0 151616399 27175628800 169737 33554432000 4194304 4196468 140730158532752 140446003112336 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2337] ppid=2326 vsize=26538700 memory=1292 CPUtime=0.13 cores=0-7 /proc/2328/task/2337/stat : 2337 (java) S 2326 2326 1674 0 -1 1077944384 2157 0 0 0 8 5 0 0 20 0 28 0 151616399 27175628800 169737 33554432000 4194304 4196468 140730158532752 140446002059536 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2338] ppid=2326 vsize=26538700 memory=2448 CPUtime=0.03 cores=0-7 /proc/2328/task/2338/stat : 2338 (java) S 2326 2326 1674 0 -1 1077944384 1935 0 0 0 3 0 0 0 20 0 28 0 151616401 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445125643120 140446450760322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2339] ppid=2326 vsize=26538700 memory=1732 CPUtime=0 cores=0-7 /proc/2328/task/2339/stat : 2339 (java) S 2326 2326 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151616401 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445124589152 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2340] ppid=2326 vsize=26538700 memory=1948 CPUtime=0 cores=0-7 /proc/2328/task/2340/stat : 2340 (java) S 2326 2326 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 151616401 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445123536240 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2341] ppid=2326 vsize=26538700 memory=800 CPUtime=0 cores=0-7 /proc/2328/task/2341/stat : 2341 (java) S 2326 2326 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151616404 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445122484560 140446450767771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2342] ppid=2326 vsize=26538700 memory=12132 CPUtime=1.94 cores=0-7 /proc/2328/task/2342/stat : 2342 (java) S 2326 2326 1674 0 -1 1077944384 8916 0 0 0 193 1 0 0 20 0 28 0 151616404 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445121431920 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2343] ppid=2326 vsize=26538700 memory=1440 CPUtime=2.16 cores=0-7 /proc/2328/task/2343/stat : 2343 (java) S 2326 2326 1674 0 -1 1077944384 9934 0 0 0 213 3 0 0 20 0 28 0 151616404 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445120379120 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2344] ppid=2326 vsize=26538700 memory=5796 CPUtime=1.96 cores=0-7 /proc/2328/task/2344/stat : 2344 (java) S 2326 2326 1674 0 -1 1077944384 8274 0 0 0 195 1 0 0 20 0 28 0 151616404 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445119326320 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2345] ppid=2326 vsize=26538700 memory=1224 CPUtime=0.82 cores=0-7 /proc/2328/task/2345/stat : 2345 (java) S 2326 2326 1674 0 -1 1077944384 7658 0 0 0 80 2 0 0 20 0 28 0 151616404 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445118273520 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2346] ppid=2326 vsize=26538700 memory=8716 CPUtime=0 cores=0-7 /proc/2328/task/2346/stat : 2346 (java) S 2326 2326 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151616404 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445117221984 140446450759381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2348] ppid=2326 vsize=26538700 memory=1712 CPUtime=0.06 cores=0-7 /proc/2328/task/2348/stat : 2348 (java) S 2326 2326 1674 0 -1 1077944384 829 0 0 0 3 3 0 0 20 0 28 0 151616404 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445116169264 140446450760322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2751] ppid=2326 vsize=26538700 memory=3728 CPUtime=244.05 cores=0-7 /proc/2328/task/2751/stat : 2751 (java) R 2326 2326 1674 0 -1 4202560 738 0 0 0 24405 0 0 0 20 0 28 0 151617158 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445104999656 140446058392123 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2752] ppid=2326 vsize=26538700 memory=2196 CPUtime=244.2 cores=0-7 /proc/2328/task/2752/stat : 2752 (java) R 2326 2326 1674 0 -1 4202560 606 0 0 0 24420 0 0 0 20 0 28 0 151617158 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445100789768 140446057386119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2753] ppid=2326 vsize=26538700 memory=1384 CPUtime=244.13 cores=0-7 /proc/2328/task/2753/stat : 2753 (java) R 2326 2326 1674 0 -1 4202560 962 0 0 0 24413 0 0 0 20 0 28 0 151617158 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445107105672 140446057837013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2754] ppid=2326 vsize=26538700 memory=675052 CPUtime=244.05 cores=0-7 /proc/2328/task/2754/stat : 2754 (java) R 2326 2326 1674 0 -1 4202560 6234 0 0 0 24386 19 0 0 20 0 28 0 151617158 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445108158296 140446058392128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2755] ppid=2326 vsize=26538700 memory=7788 CPUtime=244.08 cores=0-7 /proc/2328/task/2755/stat : 2755 (java) R 2326 2326 1674 0 -1 4202560 2008 0 0 0 24407 1 0 0 20 0 28 0 151617158 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445106052744 140446057386177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2756] ppid=2326 vsize=26538700 memory=840 CPUtime=244.15 cores=0-7 /proc/2328/task/2756/stat : 2756 (java) R 2326 2326 1674 0 -1 4202560 757 0 0 0 24415 0 0 0 20 0 28 0 151617158 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445103947480 140446058705968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2757] ppid=2326 vsize=26538700 memory=1399051139730258233 CPUtime=244 cores=0-7 /proc/2328/task/2757/stat : 2757 (java) R 2326 2326 1674 0 -1 4202560 538 0 0 0 24400 0 0 0 20 0 28 0 151617158 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445101842784 140446057386066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 [pid=2328/tid=2758] ppid=2326 vsize=26538700 memory=4126316290023845779 CPUtime=239.44 cores=0-7 /proc/2328/task/2758/stat : 2758 (java) R 2326 2326 1674 0 -1 4202560 4201 0 0 0 23938 6 0 0 20 0 28 0 151617158 27175628800 169737 33554432000 4194304 4196468 140730158532752 140445102895368 140446057051840 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140730158539928 140730158540104 140730158540104 140730158542799 0 Current children cumulated CPU time: 2003.29 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 680332 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.041 s] # the end of solver process 2326 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.001991 s [startup+252.111 s] # the end of solver process 2328 was just reported to runsolver # cumulated CPU time of all completed processes: user=2003.08 s, system=0.960706 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.111 CPU time (s): 2004.05 CPU user time (s): 2003.08 CPU system time (s): 0.960706 CPU usage (%): 794.905 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 680332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2003.08 system time used= 0.960706 maximum resident set size= 696568 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75570 page faults= 0 swaps= 0 block input operations= 0 block output operations= 392 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13414 involuntary context switches= 20978 # summary of solver processes directly reported to runsolver: # pid: 2326,2328 # total CPU time (s): 2004.05 # total CPU user time (s): 2003.08 # total CPU system time (s): 0.960706 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.0377 second user time and 1.98437 second system time The end
Begin job on node113 at 2017-08-20 01:13:49 IDJOB=4281314 IDBENCH=124212 IDSOLVER=2676 FILE ID=node113/4281314-1503185289 RUNJOBID= node113-1503181653-1704 PBS_JOBID= 20630852 Free space on /tmp= 61692 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-2.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281314-1503185289/watcher-4281314-1503185289 -o /tmp/evaluation-result-4281314-1503185289/solver-4281314-1503185289 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 991837889 HOME/instance-4281314-1503185289.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e28ebc68094c3335bce51ae11fa43933 RANDOM SEED=991837889 node113.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27196660 kB MemAvailable: 31972860 kB Buffers: 255036 kB Cached: 4810984 kB SwapCached: 0 kB Active: 1256180 kB Inactive: 3863676 kB Active(anon): 4016 kB Inactive(anon): 85928 kB Active(file): 1252164 kB Inactive(file): 3777748 kB Unevictable: 7476 kB Mlocked: 7476 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7820 kB Writeback: 0 kB AnonPages: 61368 kB Mapped: 51228 kB Shmem: 33416 kB Slab: 150484 kB SReclaimable: 124244 kB SUnreclaim: 26240 kB KernelStack: 3264 kB PageTables: 5156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333248 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61684 MiB End job on node113 at 2017-08-20 01:18:01