Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 122 | 2004.7 | 252.118 |
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-4271504-1502641682.xml" -tl '2016s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4271504-1502641682.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 2.29/0.87 c solve instance... 7.42/1.54 o 171 8.93/1.77 o 170 10.49/1.90 o 169 11.28/2.01 o 168 12.07/2.13 o 167 12.73/2.24 o 166 13.49/2.36 o 165 14.32/2.48 o 164 15.79/2.62 o 163 16.56/2.73 o 162 17.33/2.84 o 161 18.09/2.95 o 160 18.97/3.05 o 159 20.42/3.25 o 158 21.20/3.37 o 157 22.00/3.48 o 156 22.75/3.58 o 155 24.22/3.71 o 154 24.99/3.81 o 153 25.76/3.91 o 152 26.59/4.02 o 151 27.34/4.12 o 150 28.03/4.22 o 149 28.76/4.33 o 148 29.54/4.42 o 147 30.31/4.52 o 146 31.07/4.62 o 145 31.86/4.72 o 144 32.61/4.82 o 143 33.47/4.92 o 142 34.15/5.01 o 141 34.91/5.12 o 140 35.55/5.22 o 139 36.32/5.31 o 138 37.08/5.41 o 137 37.82/5.50 o 136 38.56/5.60 o 135 39.30/5.70 o 134 39.30/5.79 o 133 40.08/5.89 o 132 40.82/5.98 o 131 41.62/6.08 o 130 42.36/6.19 o 129 43.06/6.29 o 128 43.76/6.38 o 127 44.52/6.47 o 126 45.29/6.58 o 125 46.09/6.68 o 124 46.75/6.77 o 123 47.57/6.86 o 122 2003.92/252.08 s SATISFIABLE 2003.92/252.08 v <instantiation> 2003.92/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.92/252.09 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.92/252.09 v </instantiation> 2003.92/252.09 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 (15313 MiB free) memory of node 1: 16384 MiB (15604 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271504-1502641682/watcher-4271504-1502641682 -o /tmp/evaluation-result-4271504-1502641682/solver-4271504-1502641682 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1172674944 HOME/instance-4271504-1502641682.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 Current StackSize limit: 8192 KiB solver pid=22681, runsolver pid=22678 [startup+0.10011 s]* /proc/loadavg: 8.30 6.83 6.35 2/200 22702 /proc/meminfo: memFree=31643404/32770624 swapFree=67108860/67108860 [pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97256397 9740288 346 33554432000 4194304 5098028 140735584942032 140735584940136 140132096963196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20164608 140735584945258 140735584945468 140735584945468 140735584948203 0 /proc/22681/statm: 2378 346 289 221 0 87 0 [pid=22683] ppid=22681 vsize=25999808 memory=26604 CPUtime=0.11 cores=0-7 /proc/22683/stat : 22683 (java) S 22681 22681 8183 0 -1 1077944320 5589 0 0 0 10 1 0 0 20 0 20 0 97256397 26623803392 6651 33554432000 4194304 4196468 140729390538752 140729390521296 139858199023351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 /proc/22683/statm: 6499952 6651 2850 1 0 6488269 0 [pid=22683/tid=22684] ppid=22681 vsize=25999808 memory=8112842686382120095 CPUtime=0.08 cores=0-7 /proc/22683/task/22684/stat : 22684 (java) R 22681 22681 8183 0 -1 4202560 3591 0 0 0 8 0 0 0 20 0 20 0 97256397 26623803392 6651 33554432000 4194304 4196468 140729390538752 139858203247152 139858199035286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22685] ppid=22681 vsize=25999808 memory=732370227159858149 CPUtime=0 cores=0-7 /proc/22683/task/22685/stat : 22685 (java) S 22681 22681 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97256398 26623803392 6651 33554432000 4194304 4196468 140729390538752 139858162129680 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22686] ppid=22681 vsize=25999808 memory=140088822404736 CPUtime=0 cores=0-7 /proc/22683/task/22686/stat : 22686 (java) S 22681 22681 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97256398 26623803392 6651 33554432000 4194304 4196468 140729390538752 139857756552080 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22687] ppid=22681 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22687/stat : 22687 (java) S 22681 22681 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97256398 26623803392 6651 33554432000 4194304 4196468 140729390538752 139857755499536 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22688] ppid=22681 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22688/stat : 22688 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26623803392 6651 33554432000 4194304 4196468 140729390538752 139857754446992 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22689] ppid=22681 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22689/stat : 22689 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26623803392 6651 33554432000 4194304 4196468 140729390538752 139857753393424 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22690] ppid=22681 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/22683/task/22690/stat : 22690 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26623803392 6651 33554432000 4194304 4196468 140729390538752 139857752340880 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22691] ppid=22681 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22691/stat : 22691 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26623803392 6651 33554432000 4194304 4196468 140729390538752 139857751288336 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22692] ppid=22681 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22692/stat : 22692 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26623803392 6651 33554432000 4194304 4196468 140729390538752 139857750235792 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22693] ppid=22681 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22693/stat : 22693 (java) S 22681 22681 8183 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97256400 26623803392 6651 33554432000 4194304 4196468 140729390538752 139856404277744 139858199034498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22694] ppid=22681 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22694/stat : 22694 (java) S 22681 22681 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97256400 26623803392 6651 33554432000 4194304 4196468 140729390538752 139856403223968 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22695] ppid=22681 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22695/stat : 22695 (java) S 22681 22681 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97256400 26623803392 6651 33554432000 4194304 4196468 140729390538752 139856402171376 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22696] ppid=22681 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22696/stat : 22696 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256403 26623803392 6651 33554432000 4194304 4196468 140729390538752 139856401119952 139858199041947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22697] ppid=22681 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22697/stat : 22697 (java) S 22681 22681 8183 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 97256403 26623803392 6651 33554432000 4194304 4196468 140729390538752 139856400066544 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22698] ppid=22681 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22698/stat : 22698 (java) S 22681 22681 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97256403 26623803392 6651 33554432000 4194304 4196468 140729390538752 139856399014000 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22699] ppid=22681 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22699/stat : 22699 (java) S 22681 22681 8183 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 97256403 26623803392 6651 33554432000 4194304 4196468 140729390538752 139856397961456 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22700] ppid=22681 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/22683/task/22700/stat : 22700 (java) R 22681 22681 8183 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 97256403 26623803392 6651 33554432000 4194304 4196468 140729390538752 139856396908912 139858199035286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22701] ppid=22681 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22701/stat : 22701 (java) S 22681 22681 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97256403 26623803392 6651 33554432000 4194304 4196468 140729390538752 139856395856608 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22702] ppid=22681 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/22683/task/22702/stat : 22702 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256403 26623803392 6651 33554432000 4194304 4196468 140729390538752 139856394804144 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27988 KiB [startup+0.210138 s]* /proc/loadavg: 8.30 6.83 6.35 2/200 22702 /proc/meminfo: memFree=31635280/32770624 swapFree=67108860/67108860 [pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97256397 9740288 346 33554432000 4194304 5098028 140735584942032 140735584940136 140132096963196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20164608 140735584945258 140735584945468 140735584945468 140735584948203 0 /proc/22681/statm: 2378 346 289 221 0 87 0 [pid=22683] ppid=22681 vsize=26004064 memory=38760 CPUtime=0.33 cores=0-7 /proc/22683/stat : 22683 (java) S 22681 22681 8183 0 -1 1077944320 8260 0 0 0 31 2 0 0 20 0 20 0 97256397 26628161536 9690 33554432000 4194304 4196468 140729390538752 140729390521296 139858199023351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 /proc/22683/statm: 6501016 9690 3060 1 0 6488269 0 [pid=22683/tid=22684] ppid=22681 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/22683/task/22684/stat : 22684 (java) R 22681 22681 8183 0 -1 4202560 5429 0 0 0 18 1 0 0 20 0 20 0 97256397 26628161536 9693 33554432000 4194304 4196468 140729390538752 139858203259120 139858199045277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22685] ppid=22681 vsize=26004064 memory=732370227159858149 CPUtime=0 cores=0-7 /proc/22683/task/22685/stat : 22685 (java) S 22681 22681 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 9693 33554432000 4194304 4196468 140729390538752 139858162129680 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22686] ppid=22681 vsize=26004064 memory=140088822404736 CPUtime=0 cores=0-7 /proc/22683/task/22686/stat : 22686 (java) S 22681 22681 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 9693 33554432000 4194304 4196468 140729390538752 139857756552080 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22687] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22687/stat : 22687 (java) S 22681 22681 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 9693 33554432000 4194304 4196468 140729390538752 139857755499536 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22688] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22688/stat : 22688 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 9693 33554432000 4194304 4196468 140729390538752 139857754446992 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22689] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22689/stat : 22689 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 9693 33554432000 4194304 4196468 140729390538752 139857753393424 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22690] ppid=22681 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22683/task/22690/stat : 22690 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 9693 33554432000 4194304 4196468 140729390538752 139857752340880 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22691] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22691/stat : 22691 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 9693 33554432000 4194304 4196468 140729390538752 139857751288336 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22692] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22692/stat : 22692 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 9693 33554432000 4194304 4196468 140729390538752 139857750235792 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22693] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22693/stat : 22693 (java) S 22681 22681 8183 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 97256400 26628161536 9693 33554432000 4194304 4196468 140729390538752 139856404277744 139858199034498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22694] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22694/stat : 22694 (java) S 22681 22681 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97256400 26628161536 9693 33554432000 4194304 4196468 140729390538752 139856403223968 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22695] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22695/stat : 22695 (java) S 22681 22681 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97256400 26628161536 9693 33554432000 4194304 4196468 140729390538752 139856402171376 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22696] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22696/stat : 22696 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256403 26628161536 9693 33554432000 4194304 4196468 140729390538752 139856401119952 139858199041947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22697] ppid=22681 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/22683/task/22697/stat : 22697 (java) S 22681 22681 8183 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 97256403 26628161536 9693 33554432000 4194304 4196468 140729390538752 139856400066544 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22698] ppid=22681 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/22683/task/22698/stat : 22698 (java) S 22681 22681 8183 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 97256403 26628161536 9693 33554432000 4194304 4196468 140729390538752 139856399014000 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22699] ppid=22681 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/22683/task/22699/stat : 22699 (java) S 22681 22681 8183 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 20 0 97256403 26628161536 9693 33554432000 4194304 4196468 140729390538752 139856397961456 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22700] ppid=22681 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7 /proc/22683/task/22700/stat : 22700 (java) R 22681 22681 8183 0 -1 4202560 726 0 0 0 8 0 0 0 20 0 20 0 97256403 26628161536 9693 33554432000 4194304 4196468 140729390538752 139856396908912 139858191260478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22701] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22701/stat : 22701 (java) S 22681 22681 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97256403 26628161536 9693 33554432000 4194304 4196468 140729390538752 139856395856608 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22702] ppid=22681 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22683/task/22702/stat : 22702 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256403 26628161536 9693 33554432000 4194304 4196468 140729390538752 139856394804144 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40144 KiB [startup+0.309409 s]* /proc/loadavg: 8.30 6.83 6.35 4/200 22702 /proc/meminfo: memFree=31628332/32770624 swapFree=67108860/67108860 [pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97256397 9740288 346 33554432000 4194304 5098028 140735584942032 140735584940136 140132096963196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20164608 140735584945258 140735584945468 140735584945468 140735584948203 0 /proc/22681/statm: 2378 346 289 221 0 87 0 [pid=22683] ppid=22681 vsize=26004064 memory=43412 CPUtime=0.5 cores=0-7 /proc/22683/stat : 22683 (java) S 22681 22681 8183 0 -1 1077944320 9083 0 0 0 47 3 0 0 20 0 20 0 97256397 26628161536 10853 33554432000 4194304 4196468 140729390538752 140729390521296 139858199023351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 /proc/22683/statm: 6501016 10853 3074 1 0 6488269 0 [pid=22683/tid=22684] ppid=22681 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/22683/task/22684/stat : 22684 (java) R 22681 22681 8183 0 -1 4202560 6110 0 0 0 27 2 0 0 20 0 20 0 97256397 26628161536 10853 33554432000 4194304 4196468 140729390538752 139858203250160 139858199035286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22685] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22685/stat : 22685 (java) S 22681 22681 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 10853 33554432000 4194304 4196468 140729390538752 139858162129680 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22686] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22686/stat : 22686 (java) S 22681 22681 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 10853 33554432000 4194304 4196468 140729390538752 139857756552080 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22687] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22687/stat : 22687 (java) S 22681 22681 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 10853 33554432000 4194304 4196468 140729390538752 139857755499536 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22688] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22688/stat : 22688 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 10853 33554432000 4194304 4196468 140729390538752 139857754446992 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22689] ppid=22681 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/22683/task/22689/stat : 22689 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 10853 33554432000 4194304 4196468 140729390538752 139857753393424 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22690] ppid=22681 vsize=26004064 memory=140088679953327 CPUtime=0 cores=0-7 /proc/22683/task/22690/stat : 22690 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 10853 33554432000 4194304 4196468 140729390538752 139857752340880 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22691] ppid=22681 vsize=26004064 memory=140088679955632 CPUtime=0 cores=0-7 /proc/22683/task/22691/stat : 22691 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 10853 33554432000 4194304 4196468 140729390538752 139857751288336 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22692] ppid=22681 vsize=26004064 memory=140088679957936 CPUtime=0 cores=0-7 /proc/22683/task/22692/stat : 22692 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256398 26628161536 10853 33554432000 4194304 4196468 140729390538752 139857750235792 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22693] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22693/stat : 22693 (java) S 22681 22681 8183 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 97256400 26628161536 10853 33554432000 4194304 4196468 140729390538752 139856404277744 139858199034498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22694] ppid=22681 vsize=26004064 memory=280177359922832 CPUtime=0 cores=0-7 /proc/22683/task/22694/stat : 22694 (java) S 22681 22681 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97256400 26628161536 10853 33554432000 4194304 4196468 140729390538752 139856403223968 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22695] ppid=22681 vsize=26004064 memory=280177359929744 CPUtime=0 cores=0-7 /proc/22683/task/22695/stat : 22695 (java) S 22681 22681 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97256400 26628161536 10853 33554432000 4194304 4196468 140729390538752 139856402171376 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22696] ppid=22681 vsize=26004064 memory=280177359871024 CPUtime=0 cores=0-7 /proc/22683/task/22696/stat : 22696 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256403 26628161536 10853 33554432000 4194304 4196468 140729390538752 139856401119952 139858199041947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22697] ppid=22681 vsize=26004064 memory=280177359943568 CPUtime=0.01 cores=0-7 /proc/22683/task/22697/stat : 22697 (java) S 22681 22681 8183 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 20 0 97256403 26628161536 10853 33554432000 4194304 4196468 140729390538752 139856400066544 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22698] ppid=22681 vsize=26004064 memory=280177359950480 CPUtime=0.01 cores=0-7 /proc/22683/task/22698/stat : 22698 (java) S 22681 22681 8183 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 97256403 26628161536 10853 33554432000 4194304 4196468 140729390538752 139856399014000 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22699] ppid=22681 vsize=26004064 memory=280177359948176 CPUtime=0.03 cores=0-7 /proc/22683/task/22699/stat : 22699 (java) S 22681 22681 8183 0 -1 1077944384 367 0 0 0 3 0 0 0 20 0 20 0 97256403 26628161536 10853 33554432000 4194304 4196468 140729390538752 139856397961456 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22700] ppid=22681 vsize=26004064 memory=280177359964336 CPUtime=0.13 cores=0-7 /proc/22683/task/22700/stat : 22700 (java) R 22681 22681 8183 0 -1 4202560 844 0 0 0 13 0 0 0 20 0 20 0 97256403 26628161536 10853 33554432000 4194304 4196468 140729390538752 139856396908912 139858177737800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22701] ppid=22681 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22701/stat : 22701 (java) S 22681 22681 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97256403 26628161536 10853 33554432000 4194304 4196468 140729390538752 139856395856608 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22702] ppid=22681 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22683/task/22702/stat : 22702 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97256403 26628161536 10853 33554432000 4194304 4196468 140729390538752 139856394804144 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 44796 KiB [startup+0.700918 s] /proc/loadavg: 8.30 6.83 6.35 3/200 22702 /proc/meminfo: memFree=31611008/32770624 swapFree=67108860/67108860 [pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97256397 9740288 346 33554432000 4194304 5098028 140735584942032 140735584940136 140132096963196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20164608 140735584945258 140735584945468 140735584945468 140735584948203 0 /proc/22681/statm: 2378 346 289 221 0 87 0 [pid=22683] ppid=22681 vsize=26006188 memory=110228 CPUtime=1.85 cores=0-7 /proc/22683/stat : 22683 (java) S 22681 22681 8183 0 -1 1077944320 15101 0 0 0 180 5 0 0 20 0 20 0 97256397 26630336512 27557 33554432000 4194304 4196468 140729390538752 140729390521296 139858199023351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 /proc/22683/statm: 6501547 27557 3218 1 0 6488781 0 [pid=22683/tid=22684] ppid=22681 vsize=26006188 memory=280177360259264 CPUtime=0.67 cores=0-7 /proc/22683/task/22684/stat : 22684 (java) R 22681 22681 8183 0 -1 4202560 6707 0 0 0 64 3 0 0 20 0 20 0 97256397 26630336512 27557 33554432000 4194304 4196468 140729390538752 139858203260624 139857838902647 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22685] ppid=22681 vsize=26006188 memory=5050881541254 CPUtime=0 cores=0-7 /proc/22683/task/22685/stat : 22685 (java) S 22681 22681 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97256398 26630336512 27557 33554432000 4194304 4196468 140729390538752 139858162129680 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22686] ppid=22681 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22686/stat : 22686 (java) S 22681 22681 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97256398 26630336512 27557 33554432000 4194304 4196468 140729390538752 139857756552080 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22687] ppid=22681 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/22683/task/22687/stat : 22687 (java) S 22681 22681 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97256398 26630336512 27557 33554432000 4194304 4196468 140729390538752 139857755499536 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 ################ # More data... # ################ [pid=22683/tid=23111] ppid=22681 vsize=26539728 memory=-5791214980764754282 CPUtime=154.47 cores=0-7 /proc/22683/task/23111/stat : 23111 (java) R 22681 22681 8183 0 -1 4202560 643 0 0 0 15446 1 0 0 20 0 28 0 97257083 27176681472 123720 33554432000 4194304 4196468 140729390538752 139856380477656 139857841732194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 Current children cumulated CPU time: 1288.11 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 496264 KiB [startup+222.302 s] /proc/loadavg: 8.20 7.62 6.78 9/207 23112 /proc/meminfo: memFree=31100432/32770624 swapFree=67108860/67108860 [pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97256397 9740288 346 33554432000 4194304 5098028 140735584942032 140735584940136 140132096963196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20164608 140735584945258 140735584945468 140735584945468 140735584948203 0 /proc/22681/statm: 2378 346 289 221 0 87 0 [pid=22683] ppid=22681 vsize=26539728 memory=572704 CPUtime=1766.86 cores=0-7 /proc/22683/stat : 22683 (java) S 22681 22681 8183 0 -1 1077944320 80132 0 0 0 176625 61 0 0 20 0 28 0 97256397 27176681472 143176 33554432000 4194304 4196468 140729390538752 140729390521296 139858199023351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 /proc/22683/statm: 6634932 143176 3288 1 0 6622166 0 [pid=22683/tid=22684] ppid=22681 vsize=26539728 memory=572704 CPUtime=0.94 cores=0-7 /proc/22683/task/22684/stat : 22684 (java) S 22681 22681 8183 0 -1 1077944384 6822 0 0 0 90 4 0 0 20 0 28 0 97256397 27176681472 143176 33554432000 4194304 4196468 140729390538752 139858203264128 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22685] ppid=22681 vsize=26539728 memory=1384 CPUtime=0.06 cores=0-7 /proc/22683/task/22685/stat : 22685 (java) S 22681 22681 8183 0 -1 1077944384 77 0 0 0 4 2 0 0 20 0 28 0 97256398 27176681472 143176 33554432000 4194304 4196468 140729390538752 139858162129680 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22686] ppid=22681 vsize=26539728 memory=572704 CPUtime=0.04 cores=0-7 /proc/22683/task/22686/stat : 22686 (java) S 22681 22681 8183 0 -1 1077944384 60 0 0 0 3 1 0 0 20 0 28 0 97256398 27176681472 143176 33554432000 4194304 4196468 140729390538752 139857756552080 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22687] ppid=22681 vsize=26539728 memory=572704 CPUtime=0.05 cores=0-7 /proc/22683/task/22687/stat : 22687 (java) S 22681 22681 8183 0 -1 1077944384 92 0 0 0 3 2 0 0 20 0 28 0 97256398 27176681472 143176 33554432000 4194304 4196468 140729390538752 139857755499536 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22688] ppid=22681 vsize=26539728 memory=1384 CPUtime=0.08 cores=0-7 /proc/22683/task/22688/stat : 22688 (java) S 22681 22681 8183 0 -1 1077944384 105 0 0 0 5 3 0 0 20 0 28 0 97256398 27176681472 143176 33554432000 4194304 4196468 140729390538752 139857754446992 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22689] ppid=22681 vsize=26539728 memory=0 CPUtime=0.06 cores=0-7 /proc/22683/task/22689/stat : 22689 (java) S 22681 22681 8183 0 -1 1077944384 100 0 0 0 4 2 0 0 20 0 28 0 97256398 27176681472 143176 33554432000 4194304 4196468 140729390538752 139857753393424 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22690] ppid=22681 vsize=26539728 memory=0 CPUtime=0.07 cores=0-7 /proc/22683/task/22690/stat : 22690 (java) S 22681 22681 8183 0 -1 1077944384 1066 0 0 0 4 3 0 0 20 0 28 0 97256398 27176681472 143176 33554432000 4194304 4196468 140729390538752 139857752340880 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22691] ppid=22681 vsize=26539728 memory=99600023161322 CPUtime=0.07 cores=0-7 /proc/22683/task/22691/stat : 22691 (java) S 22681 22681 8183 0 -1 1077944384 286 0 0 0 4 3 0 0 20 0 28 0 97256398 27176681472 143176 33554432000 4194304 4196468 140729390538752 139857751288336 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22692] ppid=22681 vsize=26539728 memory=4616 CPUtime=0.06 cores=0-7 /proc/22683/task/22692/stat : 22692 (java) S 22681 22681 8183 0 -1 1077944384 164 0 0 0 4 2 0 0 20 0 28 0 97256398 27176681472 143176 33554432000 4194304 4196468 140729390538752 139857750235792 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22693] ppid=22681 vsize=26539728 memory=792 CPUtime=0.02 cores=0-7 /proc/22683/task/22693/stat : 22693 (java) S 22681 22681 8183 0 -1 1077944384 1250 0 0 0 2 0 0 0 20 0 28 0 97256400 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856404277744 139858199034498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22694] ppid=22681 vsize=26539728 memory=956 CPUtime=0 cores=0-7 /proc/22683/task/22694/stat : 22694 (java) S 22681 22681 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97256400 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856403224032 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22695] ppid=22681 vsize=26539728 memory=2344 CPUtime=0 cores=0-7 /proc/22683/task/22695/stat : 22695 (java) S 22681 22681 8183 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 97256400 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856402171376 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22696] ppid=22681 vsize=26539728 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/22683/task/22696/stat : 22696 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97256403 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856401119952 139858199041947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22697] ppid=22681 vsize=26539728 memory=-7003737579269690708 CPUtime=2.61 cores=0-7 /proc/22683/task/22697/stat : 22697 (java) S 22681 22681 8183 0 -1 1077944384 17893 0 0 0 258 3 0 0 20 0 28 0 97256403 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856400066544 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22698] ppid=22681 vsize=26539728 memory=1384 CPUtime=1.84 cores=0-7 /proc/22683/task/22698/stat : 22698 (java) S 22681 22681 8183 0 -1 1077944384 10386 0 0 0 183 1 0 0 20 0 28 0 97256403 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856399014000 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22699] ppid=22681 vsize=26539728 memory=441632 CPUtime=2.05 cores=0-7 /proc/22683/task/22699/stat : 22699 (java) S 22681 22681 8183 0 -1 1077944384 10361 0 0 0 203 2 0 0 20 0 28 0 97256403 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856397961456 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22700] ppid=22681 vsize=26539728 memory=56 CPUtime=0.8 cores=0-7 /proc/22683/task/22700/stat : 22700 (java) S 22681 22681 8183 0 -1 1077944384 10034 0 0 0 79 1 0 0 20 0 28 0 97256403 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856396908912 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22701] ppid=22681 vsize=26539728 memory=7595700461304311655 CPUtime=0 cores=0-7 /proc/22683/task/22701/stat : 22701 (java) S 22681 22681 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97256403 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856395856608 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22702] ppid=22681 vsize=26539728 memory=1384 CPUtime=0.06 cores=0-7 /proc/22683/task/22702/stat : 22702 (java) S 22681 22681 8183 0 -1 1077944384 811 0 0 0 0 6 0 0 20 0 28 0 97256403 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856394804144 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23104] ppid=22681 vsize=26539728 memory=4140 CPUtime=214.42 cores=0-7 /proc/22683/task/23104/stat : 23104 (java) R 22681 22681 8183 0 -1 4202560 682 0 0 0 21442 0 0 0 20 0 28 0 97257083 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856384687928 139857841732112 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23105] ppid=22681 vsize=26539728 memory=1384 CPUtime=215.32 cores=0-7 /proc/22683/task/23105/stat : 23105 (java) R 22681 22681 8183 0 -1 4202560 513 0 0 0 21532 0 0 0 20 0 28 0 97257083 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856383636520 139857842265530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23106] ppid=22681 vsize=26539728 memory=4040 CPUtime=212.33 cores=0-7 /proc/22683/task/23106/stat : 23106 (java) R 22681 22681 8183 0 -1 4202560 1047 0 0 0 21230 3 0 0 20 0 28 0 97257083 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856386793048 139857842504352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23107] ppid=22681 vsize=26539728 memory=1236 CPUtime=215.03 cores=0-7 /proc/22683/task/23107/stat : 23107 (java) R 22681 22681 8183 0 -1 4202560 2220 0 0 0 21501 2 0 0 20 0 28 0 97257083 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856385741096 139857842504446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23108] ppid=22681 vsize=26539728 memory=644 CPUtime=214.65 cores=0-7 /proc/22683/task/23108/stat : 23108 (java) R 22681 22681 8183 0 -1 4202560 2800 0 0 0 21462 3 0 0 20 0 28 0 97257083 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856378371928 139857842638431 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23109] ppid=22681 vsize=26539728 memory=570656 CPUtime=215.36 cores=0-7 /proc/22683/task/23109/stat : 23109 (java) R 22681 22681 8183 0 -1 4202560 876 0 0 0 21536 0 0 0 20 0 28 0 97257083 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856382582744 139857843960610 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23110] ppid=22681 vsize=26539728 memory=4140 CPUtime=215.35 cores=0-7 /proc/22683/task/23110/stat : 23110 (java) R 22681 22681 8183 0 -1 4202560 3313 0 0 0 21533 2 0 0 20 0 28 0 97257083 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856379424736 139857836726916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23111] ppid=22681 vsize=26539728 memory=28016 CPUtime=214.46 cores=0-7 /proc/22683/task/23111/stat : 23111 (java) R 22681 22681 8183 0 -1 4202560 675 0 0 0 21445 1 0 0 20 0 28 0 97257083 27176681472 143176 33554432000 4194304 4196468 140729390538752 139856380478248 139857841732129 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 Current children cumulated CPU time: 1766.86 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 574088 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.12 7.66 6.82 9/207 23112 /proc/meminfo: memFree=31071768/32770624 swapFree=67108860/67108860 [pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97256397 9740288 346 33554432000 4194304 5098028 140735584942032 140735584940136 140132096963196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20164608 140735584945258 140735584945468 140735584945468 140735584948203 0 /proc/22681/statm: 2378 346 289 221 0 87 0 [pid=22683] ppid=22681 vsize=26539728 memory=601376 CPUtime=2003.92 cores=0-7 /proc/22683/stat : 22683 (java) S 22681 22681 8183 0 -1 1077944320 80531 0 0 0 200329 63 0 0 20 0 28 0 97256397 27176681472 150344 33554432000 4194304 4196468 140729390538752 140729390521296 139858199023351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 /proc/22683/statm: 6634932 150344 3288 1 0 6622166 0 [pid=22683/tid=22684] ppid=22681 vsize=26539728 memory=1398720917958146503 CPUtime=0.94 cores=0-7 /proc/22683/task/22684/stat : 22684 (java) S 22681 22681 8183 0 -1 1077944384 6822 0 0 0 90 4 0 0 20 0 28 0 97256397 27176681472 150344 33554432000 4194304 4196468 140729390538752 139858203264128 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22685] ppid=22681 vsize=26539728 memory=-7003737579269690708 CPUtime=0.06 cores=0-7 /proc/22683/task/22685/stat : 22685 (java) S 22681 22681 8183 0 -1 1077944384 77 0 0 0 4 2 0 0 20 0 28 0 97256398 27176681472 150344 33554432000 4194304 4196468 140729390538752 139858162129680 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22686] ppid=22681 vsize=26539728 memory=1944 CPUtime=0.04 cores=0-7 /proc/22683/task/22686/stat : 22686 (java) S 22681 22681 8183 0 -1 1077944384 60 0 0 0 3 1 0 0 20 0 28 0 97256398 27176681472 150344 33554432000 4194304 4196468 140729390538752 139857756552080 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22687] ppid=22681 vsize=26539728 memory=1196 CPUtime=0.05 cores=0-7 /proc/22683/task/22687/stat : 22687 (java) S 22681 22681 8183 0 -1 1077944384 92 0 0 0 3 2 0 0 20 0 28 0 97256398 27176681472 150344 33554432000 4194304 4196468 140729390538752 139857755499536 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22688] ppid=22681 vsize=26539728 memory=8548 CPUtime=0.08 cores=0-7 /proc/22683/task/22688/stat : 22688 (java) S 22681 22681 8183 0 -1 1077944384 105 0 0 0 5 3 0 0 20 0 28 0 97256398 27176681472 150344 33554432000 4194304 4196468 140729390538752 139857754446992 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22689] ppid=22681 vsize=26539728 memory=55076 CPUtime=0.06 cores=0-7 /proc/22683/task/22689/stat : 22689 (java) S 22681 22681 8183 0 -1 1077944384 100 0 0 0 4 2 0 0 20 0 28 0 97256398 27176681472 150344 33554432000 4194304 4196468 140729390538752 139857753393424 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22690] ppid=22681 vsize=26539728 memory=2344 CPUtime=0.07 cores=0-7 /proc/22683/task/22690/stat : 22690 (java) S 22681 22681 8183 0 -1 1077944384 1066 0 0 0 4 3 0 0 20 0 28 0 97256398 27176681472 150344 33554432000 4194304 4196468 140729390538752 139857752340880 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22691] ppid=22681 vsize=26539728 memory=928 CPUtime=0.07 cores=0-7 /proc/22683/task/22691/stat : 22691 (java) S 22681 22681 8183 0 -1 1077944384 286 0 0 0 4 3 0 0 20 0 28 0 97256398 27176681472 150344 33554432000 4194304 4196468 140729390538752 139857751288336 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22692] ppid=22681 vsize=26539728 memory=1384 CPUtime=0.06 cores=0-7 /proc/22683/task/22692/stat : 22692 (java) S 22681 22681 8183 0 -1 1077944384 164 0 0 0 4 2 0 0 20 0 28 0 97256398 27176681472 150344 33554432000 4194304 4196468 140729390538752 139857750235792 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22693] ppid=22681 vsize=26539728 memory=1384 CPUtime=0.02 cores=0-7 /proc/22683/task/22693/stat : 22693 (java) S 22681 22681 8183 0 -1 1077944384 1250 0 0 0 2 0 0 0 20 0 28 0 97256400 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856404277744 139858199034498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22694] ppid=22681 vsize=26539728 memory=599328 CPUtime=0 cores=0-7 /proc/22683/task/22694/stat : 22694 (java) S 22681 22681 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97256400 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856403224032 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22695] ppid=22681 vsize=26539728 memory=2204 CPUtime=0 cores=0-7 /proc/22683/task/22695/stat : 22695 (java) S 22681 22681 8183 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 97256400 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856402171376 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22696] ppid=22681 vsize=26539728 memory=6764 CPUtime=0 cores=0-7 /proc/22683/task/22696/stat : 22696 (java) S 22681 22681 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97256403 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856401119952 139858199041947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22697] ppid=22681 vsize=26539728 memory=840 CPUtime=2.61 cores=0-7 /proc/22683/task/22697/stat : 22697 (java) S 22681 22681 8183 0 -1 1077944384 17893 0 0 0 258 3 0 0 20 0 28 0 97256403 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856400066544 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22698] ppid=22681 vsize=26539728 memory=1692 CPUtime=1.84 cores=0-7 /proc/22683/task/22698/stat : 22698 (java) S 22681 22681 8183 0 -1 1077944384 10386 0 0 0 183 1 0 0 20 0 28 0 97256403 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856399014000 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22699] ppid=22681 vsize=26539728 memory=916 CPUtime=2.05 cores=0-7 /proc/22683/task/22699/stat : 22699 (java) S 22681 22681 8183 0 -1 1077944384 10361 0 0 0 203 2 0 0 20 0 28 0 97256403 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856397961456 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22700] ppid=22681 vsize=26539728 memory=4260 CPUtime=0.81 cores=0-7 /proc/22683/task/22700/stat : 22700 (java) S 22681 22681 8183 0 -1 1077944384 10283 0 0 0 80 1 0 0 20 0 28 0 97256403 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856396908912 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22701] ppid=22681 vsize=26539728 memory=1156 CPUtime=0 cores=0-7 /proc/22683/task/22701/stat : 22701 (java) S 22681 22681 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97256403 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856395856608 139858199033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=22702] ppid=22681 vsize=26539728 memory=1384 CPUtime=0.07 cores=0-7 /proc/22683/task/22702/stat : 22702 (java) S 22681 22681 8183 0 -1 1077944384 815 0 0 0 0 7 0 0 20 0 28 0 97256403 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856394804144 139858199034498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23104] ppid=22681 vsize=26539728 memory=591136 CPUtime=244.12 cores=0-7 /proc/22683/task/23104/stat : 23104 (java) R 22681 22681 8183 0 -1 4202560 682 0 0 0 24412 0 0 0 20 0 28 0 97257083 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856384687928 139857842504418 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23105] ppid=22681 vsize=26539728 memory=15823313175840883 CPUtime=245.03 cores=0-7 /proc/22683/task/23105/stat : 23105 (java) R 22681 22681 8183 0 -1 4202560 513 0 0 0 24503 0 0 0 20 0 28 0 97257083 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856383636520 139857842265506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23106] ppid=22681 vsize=26539728 memory=-7003737579269690708 CPUtime=242.04 cores=0-7 /proc/22683/task/23106/stat : 23106 (java) R 22681 22681 8183 0 -1 4202560 1047 0 0 0 24201 3 0 0 20 0 28 0 97257083 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856386793048 139857840851477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23107] ppid=22681 vsize=26539728 memory=6791534058613427641 CPUtime=244.73 cores=0-7 /proc/22683/task/23107/stat : 23107 (java) R 22681 22681 8183 0 -1 4202560 2245 0 0 0 24471 2 0 0 20 0 28 0 97257083 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856385742984 139857841732247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23108] ppid=22681 vsize=26539728 memory=570656 CPUtime=243.76 cores=0-7 /proc/22683/task/23108/stat : 23108 (java) R 22681 22681 8183 0 -1 4202560 2858 0 0 0 24372 4 0 0 20 0 28 0 97257083 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856378371928 139857841732132 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23109] ppid=22681 vsize=26539728 memory=1384 CPUtime=245.06 cores=0-7 /proc/22683/task/23109/stat : 23109 (java) R 22681 22681 8183 0 -1 4202560 876 0 0 0 24506 0 0 0 20 0 28 0 97257083 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856382582744 139857842265530 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23110] ppid=22681 vsize=26539728 memory=6791534058613427641 CPUtime=245.06 cores=0-7 /proc/22683/task/23110/stat : 23110 (java) R 22681 22681 8183 0 -1 4202560 3376 0 0 0 24503 3 0 0 20 0 28 0 97257083 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856379424736 139857841732178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 [pid=22683/tid=23111] ppid=22681 vsize=26539728 memory=1012 CPUtime=244.17 cores=0-7 /proc/22683/task/23111/stat : 23111 (java) R 22681 22681 8183 0 -1 4202560 675 0 0 0 24416 1 0 0 20 0 28 0 97257083 27176681472 150344 33554432000 4194304 4196468 140729390538752 139856380478248 139857842637420 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31449088 140729390544024 140729390544200 140729390544200 140729390546895 0 Current children cumulated CPU time: 2003.92 s Current children cumulated vsize: 26549240 KiB Current children cumulated memory: 602760 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.032 s] # the end of solver process 22681 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000972 s, system=0.000972 s [startup+252.118 s] # the end of solver process 22683 was just reported to runsolver # cumulated CPU time of all completed processes: user=2004.04 s, system=0.653689 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.118 CPU time (s): 2004.7 CPU user time (s): 2004.04 CPU system time (s): 0.653689 CPU usage (%): 795.141 Max. virtual memory (cumulated for all children) (KiB): 26550192 Max. memory (cumulated for all children) (KiB): 602760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2004.04 system time used= 0.653689 maximum resident set size= 604104 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81847 page faults= 0 swaps= 0 block input operations= 0 block output operations= 440 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13493 involuntary context switches= 21019 # summary of solver processes directly reported to runsolver: # pid: 22681,22683 # total CPU time (s): 2004.7 # total CPU user time (s): 2004.04 # total CPU system time (s): 0.653689 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.81357 second user time and 2.28277 second system time The end
Begin job on node103 at 2017-08-13 18:13:43 IDJOB=4271504 IDBENCH=124212 IDSOLVER=2663 FILE ID=node103/4271504-1502641682 RUNJOBID= node103-1502637526-8210 PBS_JOBID= 20628330 Free space on /tmp= 61796 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-4271504-1502641682/watcher-4271504-1502641682 -o /tmp/evaluation-result-4271504-1502641682/solver-4271504-1502641682 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1172674944 HOME/instance-4271504-1502641682.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e28ebc68094c3335bce51ae11fa43933 RANDOM SEED=1172674944 node103.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.56 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.56 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.56 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.56 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: 31660484 kB MemAvailable: 31996072 kB Buffers: 107312 kB Cached: 522836 kB SwapCached: 0 kB Active: 515196 kB Inactive: 169116 kB Active(anon): 3420 kB Inactive(anon): 78632 kB Active(file): 511776 kB Inactive(file): 90484 kB Unevictable: 6420 kB Mlocked: 6420 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7768 kB Writeback: 0 kB AnonPages: 60680 kB Mapped: 43600 kB Shmem: 25228 kB Slab: 124176 kB SReclaimable: 98328 kB SUnreclaim: 25848 kB KernelStack: 3184 kB PageTables: 4648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323456 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61788 MiB End job on node103 at 2017-08-13 18:17:55