Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | OPT | 123 | 70.822601 | 9.7855902 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml |
MD5SUM | b82332625d17a81d2c62c757de216262 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 123 |
Best CPU time to get the best result obtained on this benchmark | 7.2521 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3507 |
Number of constraints | 189 |
Number of domains | 12 |
Minimum domain size | 2 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":2,"count":334},{"size":3,"count":334},{"size":5,"count":334},{"size":8,"count":167},{"size":9,"count":167},{"size":10,"count":334},{"size":11,"count":167},{"size":12,"count":167},{"size":14,"count":668},{"size":15,"count":334},{"size":18,"count":334},{"size":20,"count":167}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":3507}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 3340 |
Distribution of constraint arities | [{"arity":21,"count":167},{"arity":167,"count":21},{"arity":3340,"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":187}] |
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-4281313-1503185096.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281313-1503185096.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 2.29/0.85 c solve instance... 5.92/1.30 o 167 6.59/1.48 o 166 8.40/1.77 o 165 9.92/1.94 o 164 10.75/2.06 o 163 11.42/2.18 o 162 12.02/2.28 o 161 12.80/2.38 o 160 13.63/2.49 o 159 14.35/2.59 o 158 15.13/2.67 o 156 15.13/2.68 o 155 15.13/2.69 o 154 15.86/2.71 o 153 16.58/2.80 o 152 16.58/2.89 o 151 17.42/3.00 o 150 18.11/3.09 o 149 18.89/3.19 o 148 19.62/3.29 o 147 21.11/3.41 o 146 21.85/3.55 o 145 22.62/3.65 o 144 23.32/3.75 o 143 24.08/3.84 o 142 24.86/3.93 o 141 25.71/4.03 o 140 26.48/4.12 o 139 27.17/4.21 o 138 27.92/4.30 o 137 27.92/4.40 o 136 28.63/4.49 o 135 29.43/4.58 o 134 30.17/4.67 o 133 30.93/4.75 o 132 31.71/4.84 o 131 32.46/4.95 o 130 33.28/5.03 o 129 34.06/5.12 o 128 34.74/5.21 o 127 35.43/5.30 o 126 35.43/5.39 o 125 36.18/5.49 o 124 36.81/5.57 o 123 70.24/9.77 s OPTIMUM FOUND 70.24/9.77 v <instantiation> 70.24/9.77 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] 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] </list> 70.24/9.77 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 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 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 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 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 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 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 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 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 1 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 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 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 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 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 1 0 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 70.24/9.77 v </instantiation>
OK 123
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 (12699 MiB free) memory of node 1: 16384 MiB (13859 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281313-1503185096/watcher-4281313-1503185096 -o /tmp/evaluation-result-4281313-1503185096/solver-4281313-1503185096 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503173871-12305 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1026189121 HOME/instance-4281313-1503185096.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=13785, runsolver pid=13782 [startup+0.100135 s]* /proc/loadavg: 8.05 7.76 7.86 2/201 13806 /proc/meminfo: memFree=27180596/32770624 swapFree=67108860/67108860 [pid=13785] ppid=13782 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 12278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151597176 9740288 346 33554432000 4194304 5098028 140733791360464 140733791358568 140153139335804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38023168 140733791368298 140733791368508 140733791368508 140733791371243 0 /proc/13785/statm: 2378 346 289 221 0 87 0 [pid=13787] ppid=13785 vsize=25999808 memory=26644 CPUtime=0.12 cores=0-7 /proc/13787/stat : 13787 (java) S 13785 13785 12278 0 -1 1077944320 5605 0 0 0 11 1 0 0 20 0 20 0 151597176 26623803392 6661 33554432000 4194304 4196468 140729054773072 140729054755616 140359010074359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 /proc/13787/statm: 6499952 6661 2843 1 0 6488269 0 [pid=13787/tid=13788] ppid=13785 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/13787/task/13788/stat : 13788 (java) R 13785 13785 12278 0 -1 4202560 3602 0 0 0 8 1 0 0 20 0 20 0 151597177 26623803392 6661 33554432000 4194304 4196468 140729054773072 140359014297808 140359010086294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13789] ppid=13785 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13787/task/13789/stat : 13789 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26623803392 6661 33554432000 4194304 4196468 140729054773072 140358932654864 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13790] ppid=13785 vsize=25999808 memory=139669138462336 CPUtime=0 cores=0-7 /proc/13787/task/13790/stat : 13790 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26623803392 6661 33554432000 4194304 4196468 140729054773072 140358931602320 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13791] ppid=13785 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13791/stat : 13791 (java) S 13785 13785 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151597177 26623803392 6661 33554432000 4194304 4196468 140729054773072 140358930549776 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13792] ppid=13785 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13792/stat : 13792 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26623803392 6661 33554432000 4194304 4196468 140729054773072 140358929497232 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13793] ppid=13785 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13793/stat : 13793 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26623803392 6661 33554432000 4194304 4196468 140729054773072 140358928443664 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13794] ppid=13785 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13787/task/13794/stat : 13794 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597178 26623803392 6661 33554432000 4194304 4196468 140729054773072 140358563420560 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13795] ppid=13785 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13795/stat : 13795 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151597178 26623803392 6661 33554432000 4194304 4196468 140729054773072 140358562368016 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13796] ppid=13785 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13796/stat : 13796 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151597178 26623803392 6661 33554432000 4194304 4196468 140729054773072 140358561315472 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13797] ppid=13785 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13797/stat : 13797 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597179 26623803392 6661 33554432000 4194304 4196468 140729054773072 140357799053808 140359010085506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13798] ppid=13785 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13798/stat : 13798 (java) S 13785 13785 12278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151597179 26623803392 6661 33554432000 4194304 4196468 140729054773072 140357798000032 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13799] ppid=13785 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13799/stat : 13799 (java) S 13785 13785 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151597180 26623803392 6661 33554432000 4194304 4196468 140729054773072 140357796947440 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13800] ppid=13785 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13800/stat : 13800 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151597182 26623803392 6661 33554432000 4194304 4196468 140729054773072 140357795896016 140359010092955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13801] ppid=13785 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13801/stat : 13801 (java) S 13785 13785 12278 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 151597182 26623803392 6661 33554432000 4194304 4196468 140729054773072 140357794842608 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13802] ppid=13785 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13802/stat : 13802 (java) S 13785 13785 12278 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 151597182 26623803392 6661 33554432000 4194304 4196468 140729054773072 140357793790064 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13803] ppid=13785 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13803/stat : 13803 (java) S 13785 13785 12278 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151597182 26623803392 6661 33554432000 4194304 4196468 140729054773072 140357792737520 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13804] ppid=13785 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/13787/task/13804/stat : 13804 (java) R 13785 13785 12278 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 151597182 26623803392 6661 33554432000 4194304 4196468 140729054773072 140357791684976 140358988998154 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13805] ppid=13785 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13805/stat : 13805 (java) S 13785 13785 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151597182 26623803392 6661 33554432000 4194304 4196468 140729054773072 140357790632672 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13806] ppid=13785 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13787/task/13806/stat : 13806 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151597183 26623803392 6661 33554432000 4194304 4196468 140729054773072 140357789580208 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28028 KiB [startup+0.210423 s]* /proc/loadavg: 8.05 7.76 7.86 2/201 13806 /proc/meminfo: memFree=27171044/32770624 swapFree=67108860/67108860 [pid=13785] ppid=13782 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 12278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151597176 9740288 346 33554432000 4194304 5098028 140733791360464 140733791358568 140153139335804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38023168 140733791368298 140733791368508 140733791368508 140733791371243 0 /proc/13785/statm: 2378 346 289 221 0 87 0 [pid=13787] ppid=13785 vsize=26004064 memory=39432 CPUtime=0.33 cores=0-7 /proc/13787/stat : 13787 (java) S 13785 13785 12278 0 -1 1077944320 7980 0 0 0 30 3 0 0 20 0 20 0 151597176 26628161536 9858 33554432000 4194304 4196468 140729054773072 140729054755616 140359010074359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 /proc/13787/statm: 6501016 9858 3047 1 0 6488269 0 [pid=13787/tid=13788] ppid=13785 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/13787/task/13788/stat : 13788 (java) R 13785 13785 12278 0 -1 4202560 5095 0 0 0 18 2 0 0 20 0 20 0 151597177 26628161536 9858 33554432000 4194304 4196468 140729054773072 140359014295184 140358995442154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13789] ppid=13785 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/13787/task/13789/stat : 13789 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26628161536 9858 33554432000 4194304 4196468 140729054773072 140358932654864 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13790] ppid=13785 vsize=26004064 memory=139669138475657 CPUtime=0 cores=0-7 /proc/13787/task/13790/stat : 13790 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26628161536 9858 33554432000 4194304 4196468 140729054773072 140358931602320 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13791] ppid=13785 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13787/task/13791/stat : 13791 (java) S 13785 13785 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151597177 26628161536 9858 33554432000 4194304 4196468 140729054773072 140358930549776 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13792] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13792/stat : 13792 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26628161536 9858 33554432000 4194304 4196468 140729054773072 140358929497232 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13793] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13793/stat : 13793 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26628161536 9858 33554432000 4194304 4196468 140729054773072 140358928443664 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13794] ppid=13785 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13787/task/13794/stat : 13794 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597178 26628161536 9858 33554432000 4194304 4196468 140729054773072 140358563420560 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13795] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13795/stat : 13795 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151597178 26628161536 9858 33554432000 4194304 4196468 140729054773072 140358562368016 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13796] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13796/stat : 13796 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151597178 26628161536 9858 33554432000 4194304 4196468 140729054773072 140358561315472 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13797] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13797/stat : 13797 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597179 26628161536 9858 33554432000 4194304 4196468 140729054773072 140357799053808 140359010085506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13798] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13798/stat : 13798 (java) S 13785 13785 12278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151597179 26628161536 9858 33554432000 4194304 4196468 140729054773072 140357798000032 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13799] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13799/stat : 13799 (java) S 13785 13785 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151597180 26628161536 9858 33554432000 4194304 4196468 140729054773072 140357796947440 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13800] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13800/stat : 13800 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151597182 26628161536 9858 33554432000 4194304 4196468 140729054773072 140357795896016 140359010092955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13801] ppid=13785 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/13787/task/13801/stat : 13801 (java) S 13785 13785 12278 0 -1 1077944384 513 0 0 0 1 0 0 0 20 0 20 0 151597182 26628161536 9858 33554432000 4194304 4196468 140729054773072 140357794842608 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13802] ppid=13785 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/13787/task/13802/stat : 13802 (java) S 13785 13785 12278 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 151597182 26628161536 9858 33554432000 4194304 4196468 140729054773072 140357793790064 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13803] ppid=13785 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/13787/task/13803/stat : 13803 (java) S 13785 13785 12278 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 151597182 26628161536 9858 33554432000 4194304 4196468 140729054773072 140357792737520 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13804] ppid=13785 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/13787/task/13804/stat : 13804 (java) S 13785 13785 12278 0 -1 1077944384 706 0 0 0 7 0 0 0 20 0 20 0 151597182 26628161536 9858 33554432000 4194304 4196468 140729054773072 140357791684976 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13805] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13805/stat : 13805 (java) S 13785 13785 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151597182 26628161536 9858 33554432000 4194304 4196468 140729054773072 140357790632672 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13806] ppid=13785 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13787/task/13806/stat : 13806 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151597183 26628161536 9858 33554432000 4194304 4196468 140729054773072 140357789580208 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40816 KiB [startup+0.310319 s]* /proc/loadavg: 8.05 7.76 7.86 3/201 13806 /proc/meminfo: memFree=27164964/32770624 swapFree=67108860/67108860 [pid=13785] ppid=13782 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 12278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151597176 9740288 346 33554432000 4194304 5098028 140733791360464 140733791358568 140153139335804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38023168 140733791368298 140733791368508 140733791368508 140733791371243 0 /proc/13785/statm: 2378 346 289 221 0 87 0 [pid=13787] ppid=13785 vsize=26004064 memory=44328 CPUtime=0.49 cores=0-7 /proc/13787/stat : 13787 (java) S 13785 13785 12278 0 -1 1077944320 8827 0 0 0 46 3 0 0 20 0 20 0 151597176 26628161536 11082 33554432000 4194304 4196468 140729054773072 140729054755616 140359010074359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 /proc/13787/statm: 6501016 11082 3091 1 0 6488269 0 [pid=13787/tid=13788] ppid=13785 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/13787/task/13788/stat : 13788 (java) R 13785 13785 12278 0 -1 4202560 5766 0 0 0 27 2 0 0 20 0 20 0 151597177 26628161536 11082 33554432000 4194304 4196468 140729054773072 140359014312080 140358608634753 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13789] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13789/stat : 13789 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26628161536 11082 33554432000 4194304 4196468 140729054773072 140358932654864 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13790] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13790/stat : 13790 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26628161536 11082 33554432000 4194304 4196468 140729054773072 140358931602320 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13791] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13791/stat : 13791 (java) S 13785 13785 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151597177 26628161536 11082 33554432000 4194304 4196468 140729054773072 140358930549776 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13792] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13792/stat : 13792 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26628161536 11082 33554432000 4194304 4196468 140729054773072 140358929497232 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13793] ppid=13785 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/13787/task/13793/stat : 13793 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26628161536 11082 33554432000 4194304 4196468 140729054773072 140358928443664 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13794] ppid=13785 vsize=26004064 memory=139668981117871 CPUtime=0 cores=0-7 /proc/13787/task/13794/stat : 13794 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597178 26628161536 11082 33554432000 4194304 4196468 140729054773072 140358563420560 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13795] ppid=13785 vsize=26004064 memory=139668981120176 CPUtime=0 cores=0-7 /proc/13787/task/13795/stat : 13795 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151597178 26628161536 11082 33554432000 4194304 4196468 140729054773072 140358562368016 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13796] ppid=13785 vsize=26004064 memory=3472463567162291680 CPUtime=0 cores=0-7 /proc/13787/task/13796/stat : 13796 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151597178 26628161536 11082 33554432000 4194304 4196468 140729054773072 140358561315472 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13797] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13797/stat : 13797 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597179 26628161536 11082 33554432000 4194304 4196468 140729054773072 140357799053808 140359010085506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13798] ppid=13785 vsize=26004064 memory=279337962251920 CPUtime=0 cores=0-7 /proc/13787/task/13798/stat : 13798 (java) S 13785 13785 12278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151597179 26628161536 11082 33554432000 4194304 4196468 140729054773072 140357798000032 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13799] ppid=13785 vsize=26004064 memory=279337962258832 CPUtime=0 cores=0-7 /proc/13787/task/13799/stat : 13799 (java) S 13785 13785 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151597180 26628161536 11082 33554432000 4194304 4196468 140729054773072 140357796947440 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13800] ppid=13785 vsize=26004064 memory=279337962199984 CPUtime=0 cores=0-7 /proc/13787/task/13800/stat : 13800 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151597182 26628161536 11082 33554432000 4194304 4196468 140729054773072 140357795896016 140359010092955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13801] ppid=13785 vsize=26004064 memory=279337962272656 CPUtime=0.01 cores=0-7 /proc/13787/task/13801/stat : 13801 (java) S 13785 13785 12278 0 -1 1077944384 516 0 0 0 1 0 0 0 20 0 20 0 151597182 26628161536 11082 33554432000 4194304 4196468 140729054773072 140357794842608 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13802] ppid=13785 vsize=26004064 memory=279337962279568 CPUtime=0.02 cores=0-7 /proc/13787/task/13802/stat : 13802 (java) S 13785 13785 12278 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 20 0 151597182 26628161536 11082 33554432000 4194304 4196468 140729054773072 140357793790064 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13803] ppid=13785 vsize=26004064 memory=279337962277264 CPUtime=0.03 cores=0-7 /proc/13787/task/13803/stat : 13803 (java) S 13785 13785 12278 0 -1 1077944384 165 0 0 0 3 0 0 0 20 0 20 0 151597182 26628161536 11082 33554432000 4194304 4196468 140729054773072 140357792737520 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13804] ppid=13785 vsize=26004064 memory=279337962293424 CPUtime=0.12 cores=0-7 /proc/13787/task/13804/stat : 13804 (java) R 13785 13785 12278 0 -1 4202560 820 0 0 0 12 0 0 0 20 0 20 0 151597182 26628161536 11082 33554432000 4194304 4196468 140729054773072 140357791681344 140359003174059 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13805] ppid=13785 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13805/stat : 13805 (java) S 13785 13785 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151597182 26628161536 11082 33554432000 4194304 4196468 140729054773072 140357790632672 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13806] ppid=13785 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13787/task/13806/stat : 13806 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151597183 26628161536 11082 33554432000 4194304 4196468 140729054773072 140357789580208 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45712 KiB [startup+0.701016 s] /proc/loadavg: 8.05 7.76 7.86 6/201 13806 /proc/meminfo: memFree=27145668/32770624 swapFree=67108860/67108860 [pid=13785] ppid=13782 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 12278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151597176 9740288 346 33554432000 4194304 5098028 140733791360464 140733791358568 140153139335804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38023168 140733791368298 140733791368508 140733791368508 140733791371243 0 /proc/13785/statm: 2378 346 289 221 0 87 0 [pid=13787] ppid=13785 vsize=26006188 memory=110780 CPUtime=1.86 cores=0-7 /proc/13787/stat : 13787 (java) S 13785 13785 12278 0 -1 1077944320 14326 0 0 0 181 5 0 0 20 0 20 0 151597176 26630336512 27695 33554432000 4194304 4196468 140729054773072 140729054755616 140359010074359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 /proc/13787/statm: 6501547 27695 3219 1 0 6488781 0 [pid=13787/tid=13788] ppid=13785 vsize=26006188 memory=279337962651312 CPUtime=0.66 cores=0-7 /proc/13787/task/13788/stat : 13788 (java) R 13785 13785 12278 0 -1 4202560 6457 0 0 0 63 3 0 0 20 0 20 0 151597177 26630336512 27695 33554432000 4194304 4196468 140729054773072 140359014307648 140358612129027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13789] ppid=13785 vsize=26006188 memory=139668981326704 CPUtime=0 cores=0-7 /proc/13787/task/13789/stat : 13789 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26630336512 27695 33554432000 4194304 4196468 140729054773072 140358932654864 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13790] ppid=13785 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13790/stat : 13790 (java) S 13785 13785 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151597177 26630336512 27695 33554432000 4194304 4196468 140729054773072 140358931602320 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13791] ppid=13785 vsize=26006188 memory=11108 CPUtime=0 cores=0-7 /proc/13787/task/13791/stat : 13791 (java) S 13785 13785 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151597177 26630336512 27695 33554432000 4194304 4196468 140729054773072 140358930549776 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 ################ # More data... # ################ [pid=13787/tid=13804] ppid=13785 vsize=26538700 memory=0 CPUtime=0.76 cores=0-7 /proc/13787/task/13804/stat : 13804 (java) S 13785 13785 12278 0 -1 1077944384 3328 0 0 0 76 0 0 0 20 0 28 0 151597182 27175628800 145575 33554432000 4194304 4196468 140729054773072 140357791684976 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13805] ppid=13785 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13805/stat : 13805 (java) S 13785 13785 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151597182 27175628800 145575 33554432000 4194304 4196468 140729054773072 140357790632672 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13806] ppid=13785 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13806/stat : 13806 (java) S 13785 13785 12278 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 151597183 27175628800 145575 33554432000 4194304 4196468 140729054773072 140357789580208 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14159] ppid=13785 vsize=26538700 memory=0 CPUtime=3.56 cores=0-7 /proc/13787/task/14159/stat : 14159 (java) R 13785 13785 12278 0 -1 4202560 69 0 0 0 356 0 0 0 20 0 28 0 151597734 27175628800 145575 33554432000 4194304 4196468 140729054773072 140357660744936 140358615792802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14160] ppid=13785 vsize=26538700 memory=0 CPUtime=3.58 cores=0-7 /proc/13787/task/14160/stat : 14160 (java) R 13785 13785 12278 0 -1 4202560 78 0 0 0 358 0 0 0 20 0 28 0 151597734 27175628800 145575 33554432000 4194304 4196468 140729054773072 140357659693296 140358614531698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14161] ppid=13785 vsize=26538700 memory=0 CPUtime=3.54 cores=0-7 /proc/13787/task/14161/stat : 14161 (java) R 13785 13785 12278 0 -1 4202560 66 0 0 0 354 0 0 0 20 0 28 0 151597734 27175628800 145575 33554432000 4194304 4196468 140729054773072 140357663903320 140358614729651 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14162] ppid=13785 vsize=26538700 memory=0 CPUtime=3.61 cores=0-7 /proc/13787/task/14162/stat : 14162 (java) R 13785 13785 12278 0 -1 4202560 373 0 0 0 356 5 0 0 20 0 28 0 151597734 27175628800 145575 33554432000 4194304 4196468 140729054773072 140357666008536 140358617281648 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14163] ppid=13785 vsize=26538700 memory=0 CPUtime=3.41 cores=0-7 /proc/13787/task/14163/stat : 14163 (java) R 13785 13785 12278 0 -1 4202560 134 0 0 0 341 0 0 0 20 0 28 0 151597734 27175628800 145575 33554432000 4194304 4196468 140729054773072 140357788025368 140358614531645 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14164] ppid=13785 vsize=26538700 memory=0 CPUtime=3.55 cores=0-7 /proc/13787/task/14164/stat : 14164 (java) R 13785 13785 12278 0 -1 4202560 66 0 0 0 355 0 0 0 20 0 28 0 151597734 27175628800 145575 33554432000 4194304 4196468 140729054773072 140357664956376 140358614531634 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14165] ppid=13785 vsize=26538700 memory=0 CPUtime=3.61 cores=0-7 /proc/13787/task/14165/stat : 14165 (java) R 13785 13785 12278 0 -1 4202560 72 0 0 0 361 0 0 0 20 0 28 0 151597734 27175628800 145575 33554432000 4194304 4196468 140729054773072 140357661798488 140358614997357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14166] ppid=13785 vsize=26538700 memory=0 CPUtime=3.61 cores=0-7 /proc/13787/task/14166/stat : 14166 (java) R 13785 13785 12278 0 -1 4202560 231 0 0 0 361 0 0 0 20 0 28 0 151597734 27175628800 145575 33554432000 4194304 4196468 140729054773072 140357662851384 140358614532071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 Current children cumulated CPU time: 66.25 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 583684 KiB [startup+9.60164 s] /proc/loadavg: 8.19 7.80 7.88 9/209 14166 /proc/meminfo: memFree=26640712/32770624 swapFree=67108860/67108860 [pid=13785] ppid=13782 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 12278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151597176 9740288 346 33554432000 4194304 5098028 140733791360464 140733791358568 140153139335804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38023168 140733791368298 140733791368508 140733791368508 140733791371243 0 /proc/13785/statm: 2378 346 289 221 0 87 0 [pid=13787] ppid=13785 vsize=26538700 memory=610972 CPUtime=69.45 cores=0-7 /proc/13787/stat : 13787 (java) S 13785 13785 12278 0 -1 1077944320 28291 0 0 0 6899 46 0 0 20 0 28 0 151597176 27175628800 152743 33554432000 4194304 4196468 140729054773072 140729054755616 140359010074359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 /proc/13787/statm: 6634675 152743 3279 1 0 6621909 0 [pid=13787/tid=13788] ppid=13785 vsize=26538700 memory=408392 CPUtime=0.92 cores=0-7 /proc/13787/task/13788/stat : 13788 (java) S 13785 13785 12278 0 -1 1077944384 6556 0 0 0 87 5 0 0 20 0 28 0 151597177 27175628800 152743 33554432000 4194304 4196468 140729054773072 140359014315136 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13789] ppid=13785 vsize=26538700 memory=1384 CPUtime=0.05 cores=0-7 /proc/13787/task/13789/stat : 13789 (java) S 13785 13785 12278 0 -1 1077944384 53 0 0 0 3 2 0 0 20 0 28 0 151597177 27175628800 152743 33554432000 4194304 4196468 140729054773072 140358932654864 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13790] ppid=13785 vsize=26538700 memory=5 CPUtime=0.07 cores=0-7 /proc/13787/task/13790/stat : 13790 (java) S 13785 13785 12278 0 -1 1077944384 62 0 0 0 4 3 0 0 20 0 28 0 151597177 27175628800 152743 33554432000 4194304 4196468 140729054773072 140358931602320 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13791] ppid=13785 vsize=26538700 memory=7 CPUtime=0.05 cores=0-7 /proc/13787/task/13791/stat : 13791 (java) S 13785 13785 12278 0 -1 1077944384 53 0 0 0 3 2 0 0 20 0 28 0 151597177 27175628800 152743 33554432000 4194304 4196468 140729054773072 140358930549776 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13792] ppid=13785 vsize=26538700 memory=6 CPUtime=0.07 cores=0-7 /proc/13787/task/13792/stat : 13792 (java) S 13785 13785 12278 0 -1 1077944384 54 0 0 0 4 3 0 0 20 0 28 0 151597177 27175628800 152743 33554432000 4194304 4196468 140729054773072 140358929497232 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13793] ppid=13785 vsize=26538700 memory=5 CPUtime=0.06 cores=0-7 /proc/13787/task/13793/stat : 13793 (java) S 13785 13785 12278 0 -1 1077944384 59 0 0 0 4 2 0 0 20 0 28 0 151597177 27175628800 152743 33554432000 4194304 4196468 140729054773072 140358928443664 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13794] ppid=13785 vsize=26538700 memory=7 CPUtime=0.05 cores=0-7 /proc/13787/task/13794/stat : 13794 (java) S 13785 13785 12278 0 -1 1077944384 47 0 0 0 3 2 0 0 20 0 28 0 151597178 27175628800 152743 33554432000 4194304 4196468 140729054773072 140358563420560 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13795] ppid=13785 vsize=26538700 memory=5 CPUtime=0.07 cores=0-7 /proc/13787/task/13795/stat : 13795 (java) S 13785 13785 12278 0 -1 1077944384 52 0 0 0 4 3 0 0 20 0 28 0 151597178 27175628800 152743 33554432000 4194304 4196468 140729054773072 140358562368016 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13796] ppid=13785 vsize=26538700 memory=1384 CPUtime=0.05 cores=0-7 /proc/13787/task/13796/stat : 13796 (java) S 13785 13785 12278 0 -1 1077944384 45 0 0 0 3 2 0 0 20 0 28 0 151597178 27175628800 152743 33554432000 4194304 4196468 140729054773072 140358561315472 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13797] ppid=13785 vsize=26538700 memory=370108 CPUtime=0.01 cores=0-7 /proc/13787/task/13797/stat : 13797 (java) S 13785 13785 12278 0 -1 1077944384 301 0 0 0 1 0 0 0 20 0 28 0 151597179 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357799053808 140359010085506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13798] ppid=13785 vsize=26538700 memory=279337962718608 CPUtime=0 cores=0-7 /proc/13787/task/13798/stat : 13798 (java) S 13785 13785 12278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151597179 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357798000096 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13799] ppid=13785 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13799/stat : 13799 (java) S 13785 13785 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 151597180 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357796947456 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13800] ppid=13785 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13800/stat : 13800 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151597182 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357795896016 140359010092955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13801] ppid=13785 vsize=26538700 memory=0 CPUtime=1.9 cores=0-7 /proc/13787/task/13801/stat : 13801 (java) S 13785 13785 12278 0 -1 1077944384 3161 0 0 0 189 1 0 0 20 0 28 0 151597182 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357794842608 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13802] ppid=13785 vsize=26538700 memory=0 CPUtime=1.9 cores=0-7 /proc/13787/task/13802/stat : 13802 (java) S 13785 13785 12278 0 -1 1077944384 2730 0 0 0 189 1 0 0 20 0 28 0 151597182 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357793790064 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13803] ppid=13785 vsize=26538700 memory=0 CPUtime=1.66 cores=0-7 /proc/13787/task/13803/stat : 13803 (java) S 13785 13785 12278 0 -1 1077944384 2981 0 0 0 165 1 0 0 20 0 28 0 151597182 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357792737520 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13804] ppid=13785 vsize=26538700 memory=0 CPUtime=0.76 cores=0-7 /proc/13787/task/13804/stat : 13804 (java) S 13785 13785 12278 0 -1 1077944384 3328 0 0 0 76 0 0 0 20 0 28 0 151597182 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357791684976 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13805] ppid=13785 vsize=26538700 memory=139672336466500 CPUtime=0 cores=0-7 /proc/13787/task/13805/stat : 13805 (java) S 13785 13785 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151597182 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357790632672 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13806] ppid=13785 vsize=26538700 memory=139672336466508 CPUtime=0 cores=0-7 /proc/13787/task/13806/stat : 13806 (java) S 13785 13785 12278 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 151597183 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357789580208 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14159] ppid=13785 vsize=26538700 memory=139672336466515 CPUtime=3.96 cores=0-7 /proc/13787/task/14159/stat : 14159 (java) R 13785 13785 12278 0 -1 4202560 69 0 0 0 396 0 0 0 20 0 28 0 151597734 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357660744800 140358615792802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14160] ppid=13785 vsize=26538700 memory=139672336466517 CPUtime=3.98 cores=0-7 /proc/13787/task/14160/stat : 14160 (java) R 13785 13785 12278 0 -1 4202560 78 0 0 0 398 0 0 0 20 0 28 0 151597734 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357659693392 140358614997840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14161] ppid=13785 vsize=26538700 memory=6408091206842 CPUtime=3.94 cores=0-7 /proc/13787/task/14161/stat : 14161 (java) R 13785 13785 12278 0 -1 4202560 67 0 0 0 394 0 0 0 20 0 28 0 151597734 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357663903384 140358614532071 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14162] ppid=13785 vsize=26538700 memory=288230596050944315 CPUtime=4.01 cores=0-7 /proc/13787/task/14162/stat : 14162 (java) R 13785 13785 12278 0 -1 4202560 403 0 0 0 395 6 0 0 20 0 28 0 151597734 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357666008720 140358614531698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14163] ppid=13785 vsize=26538700 memory=13569292880847920 CPUtime=3.8 cores=0-7 /proc/13787/task/14163/stat : 14163 (java) R 13785 13785 12278 0 -1 4202560 140 0 0 0 380 0 0 0 20 0 28 0 151597734 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357788024664 140358614532188 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14164] ppid=13785 vsize=26538700 memory=0 CPUtime=3.95 cores=0-7 /proc/13787/task/14164/stat : 14164 (java) R 13785 13785 12278 0 -1 4202560 66 0 0 0 395 0 0 0 20 0 28 0 151597734 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357664956256 140358614531698 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14165] ppid=13785 vsize=26538700 memory=6152032988187552613 CPUtime=4.01 cores=0-7 /proc/13787/task/14165/stat : 14165 (java) R 13785 13785 12278 0 -1 4202560 72 0 0 0 401 0 0 0 20 0 28 0 151597734 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357661798488 140358614729699 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14166] ppid=13785 vsize=26538700 memory=7367994820054245709 CPUtime=4.01 cores=0-7 /proc/13787/task/14166/stat : 14166 (java) R 13785 13785 12278 0 -1 4202560 244 0 0 0 401 0 0 0 20 0 28 0 151597734 27175628800 152743 33554432000 4194304 4196468 140729054773072 140357662851248 140358614531634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 Current children cumulated CPU time: 69.45 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 612356 KiB [startup+9.70164 s] /proc/loadavg: 8.19 7.80 7.88 9/209 14166 /proc/meminfo: memFree=26640712/32770624 swapFree=67108860/67108860 [pid=13785] ppid=13782 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 12278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151597176 9740288 346 33554432000 4194304 5098028 140733791360464 140733791358568 140153139335804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38023168 140733791368298 140733791368508 140733791368508 140733791371243 0 /proc/13785/statm: 2378 346 289 221 0 87 0 [pid=13787] ppid=13785 vsize=26538700 memory=617152 CPUtime=70.24 cores=0-7 /proc/13787/stat : 13787 (java) S 13785 13785 12278 0 -1 1077944320 28667 0 0 0 6978 46 0 0 20 0 28 0 151597176 27175628800 154288 33554432000 4194304 4196468 140729054773072 140729054755616 140359010074359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 /proc/13787/statm: 6634675 154288 3279 1 0 6621909 0 [pid=13787/tid=13788] ppid=13785 vsize=26538700 memory=602780 CPUtime=0.92 cores=0-7 /proc/13787/task/13788/stat : 13788 (java) S 13785 13785 12278 0 -1 1077944384 6556 0 0 0 87 5 0 0 20 0 28 0 151597177 27175628800 154288 33554432000 4194304 4196468 140729054773072 140359014315136 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13789] ppid=13785 vsize=26538700 memory=279337962628880 CPUtime=0.05 cores=0-7 /proc/13787/task/13789/stat : 13789 (java) S 13785 13785 12278 0 -1 1077944384 53 0 0 0 3 2 0 0 20 0 28 0 151597177 27175628800 154288 33554432000 4194304 4196468 140729054773072 140358932654864 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13790] ppid=13785 vsize=26538700 memory=667680 CPUtime=0.07 cores=0-7 /proc/13787/task/13790/stat : 13790 (java) S 13785 13785 12278 0 -1 1077944384 62 0 0 0 4 3 0 0 20 0 28 0 151597177 27175628800 154288 33554432000 4194304 4196468 140729054773072 140358931602320 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13791] ppid=13785 vsize=26538700 memory=10 CPUtime=0.05 cores=0-7 /proc/13787/task/13791/stat : 13791 (java) S 13785 13785 12278 0 -1 1077944384 53 0 0 0 3 2 0 0 20 0 28 0 151597177 27175628800 154288 33554432000 4194304 4196468 140729054773072 140358930549776 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13792] ppid=13785 vsize=26538700 memory=7306641156414464624 CPUtime=0.07 cores=0-7 /proc/13787/task/13792/stat : 13792 (java) S 13785 13785 12278 0 -1 1077944384 54 0 0 0 4 3 0 0 20 0 28 0 151597177 27175628800 154288 33554432000 4194304 4196468 140729054773072 140358929497232 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13793] ppid=13785 vsize=26538700 memory=139669138473825 CPUtime=0.06 cores=0-7 /proc/13787/task/13793/stat : 13793 (java) S 13785 13785 12278 0 -1 1077944384 59 0 0 0 4 2 0 0 20 0 28 0 151597177 27175628800 154288 33554432000 4194304 4196468 140729054773072 140358928443664 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13794] ppid=13785 vsize=26538700 memory=139669138471617 CPUtime=0.05 cores=0-7 /proc/13787/task/13794/stat : 13794 (java) S 13785 13785 12278 0 -1 1077944384 47 0 0 0 3 2 0 0 20 0 28 0 151597178 27175628800 154288 33554432000 4194304 4196468 140729054773072 140358563420560 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13795] ppid=13785 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7 /proc/13787/task/13795/stat : 13795 (java) S 13785 13785 12278 0 -1 1077944384 52 0 0 0 4 3 0 0 20 0 28 0 151597178 27175628800 154288 33554432000 4194304 4196468 140729054773072 140358562368016 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13796] ppid=13785 vsize=26538700 memory=3171 CPUtime=0.05 cores=0-7 /proc/13787/task/13796/stat : 13796 (java) S 13785 13785 12278 0 -1 1077944384 45 0 0 0 3 2 0 0 20 0 28 0 151597178 27175628800 154288 33554432000 4194304 4196468 140729054773072 140358561315472 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13797] ppid=13785 vsize=26538700 memory=90 CPUtime=0.01 cores=0-7 /proc/13787/task/13797/stat : 13797 (java) S 13785 13785 12278 0 -1 1077944384 301 0 0 0 1 0 0 0 20 0 28 0 151597179 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357799053808 140359010085506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13798] ppid=13785 vsize=26538700 memory=4 CPUtime=0 cores=0-7 /proc/13787/task/13798/stat : 13798 (java) S 13785 13785 12278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151597179 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357798000096 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13799] ppid=13785 vsize=26538700 memory=164 CPUtime=0 cores=0-7 /proc/13787/task/13799/stat : 13799 (java) S 13785 13785 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 151597180 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357796947456 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13800] ppid=13785 vsize=26538700 memory=-7025452035940392864 CPUtime=0 cores=0-7 /proc/13787/task/13800/stat : 13800 (java) S 13785 13785 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151597182 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357795896016 140359010092955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13801] ppid=13785 vsize=26538700 memory=279337963200544 CPUtime=1.9 cores=0-7 /proc/13787/task/13801/stat : 13801 (java) S 13785 13785 12278 0 -1 1077944384 3161 0 0 0 189 1 0 0 20 0 28 0 151597182 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357794842608 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13802] ppid=13785 vsize=26538700 memory=6656426216303648864 CPUtime=1.92 cores=0-7 /proc/13787/task/13802/stat : 13802 (java) S 13785 13785 12278 0 -1 1077944384 2969 0 0 0 191 1 0 0 20 0 28 0 151597182 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357793790064 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13803] ppid=13785 vsize=26538700 memory=6673 CPUtime=1.66 cores=0-7 /proc/13787/task/13803/stat : 13803 (java) S 13785 13785 12278 0 -1 1077944384 2981 0 0 0 165 1 0 0 20 0 28 0 151597182 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357792737520 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13804] ppid=13785 vsize=26538700 memory=4420 CPUtime=0.76 cores=0-7 /proc/13787/task/13804/stat : 13804 (java) S 13785 13785 12278 0 -1 1077944384 3443 0 0 0 76 0 0 0 20 0 28 0 151597182 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357791684976 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13805] ppid=13785 vsize=26538700 memory=6628 CPUtime=0 cores=0-7 /proc/13787/task/13805/stat : 13805 (java) S 13785 13785 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151597182 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357790632672 140359010084565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=13806] ppid=13785 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/13787/task/13806/stat : 13806 (java) S 13785 13785 12278 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 151597183 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357789580208 140359010085506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14159] ppid=13785 vsize=26538700 memory=4420 CPUtime=4.06 cores=0-7 /proc/13787/task/14159/stat : 14159 (java) R 13785 13785 12278 0 -1 4202560 69 0 0 0 406 0 0 0 20 0 28 0 151597734 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357660744800 140358614532099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14160] ppid=13785 vsize=26538700 memory=1384 CPUtime=4.08 cores=0-7 /proc/13787/task/14160/stat : 14160 (java) R 13785 13785 12278 0 -1 4202560 78 0 0 0 408 0 0 0 20 0 28 0 151597734 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357659693528 140358614488975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14161] ppid=13785 vsize=26538700 memory=432020 CPUtime=4.04 cores=0-7 /proc/13787/task/14161/stat : 14161 (java) R 13785 13785 12278 0 -1 4202560 67 0 0 0 404 0 0 0 20 0 28 0 151597734 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357663903384 140358614531733 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14162] ppid=13785 vsize=26538700 memory=7517496515499765140 CPUtime=4.1 cores=0-7 /proc/13787/task/14162/stat : 14162 (java) R 13785 13785 12278 0 -1 4202560 419 0 0 0 404 6 0 0 20 0 28 0 151597734 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357666008720 140358614531698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14163] ppid=13785 vsize=26538700 memory=-8766996007685874036 CPUtime=3.89 cores=0-7 /proc/13787/task/14163/stat : 14163 (java) R 13785 13785 12278 0 -1 4202560 143 0 0 0 389 0 0 0 20 0 28 0 151597734 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357788026600 140358614532193 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14164] ppid=13785 vsize=26538700 memory=7512118907956650140 CPUtime=4.05 cores=0-7 /proc/13787/task/14164/stat : 14164 (java) R 13785 13785 12278 0 -1 4202560 66 0 0 0 405 0 0 0 20 0 28 0 151597734 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357664956392 140358614729699 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14165] ppid=13785 vsize=26538700 memory=369624 CPUtime=4.11 cores=0-7 /proc/13787/task/14165/stat : 14165 (java) R 13785 13785 12278 0 -1 4202560 72 0 0 0 411 0 0 0 20 0 28 0 151597734 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357661798488 140358614531650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 [pid=13787/tid=14166] ppid=13785 vsize=26538700 memory=4132 CPUtime=4.11 cores=0-7 /proc/13787/task/14166/stat : 14166 (java) R 13785 13785 12278 0 -1 4202560 247 0 0 0 411 0 0 0 20 0 28 0 151597734 27175628800 154288 33554432000 4194304 4196468 140729054773072 140357662851248 140358614729699 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140729054774424 140729054774600 140729054774600 140729054777295 0 Current children cumulated CPU time: 70.24 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 618536 KiB Child status: 0 Real time (s): 9.78559 CPU time (s): 70.8226 CPU user time (s): 70.3367 CPU system time (s): 0.485942 CPU usage (%): 723.744 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 618536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 70.3367 system time used= 0.485942 maximum resident set size= 623580 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30147 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6794 involuntary context switches= 1327 # summary of solver processes directly reported to runsolver: # pid: 13785 # total CPU time (s): 70.8226 # total CPU user time (s): 70.3367 # total CPU system time (s): 0.485942 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.1116 second user time and 0.140093 second system time The end
Begin job on node115 at 2017-08-20 01:10:36 IDJOB=4281313 IDBENCH=124135 IDSOLVER=2676 FILE ID=node115/4281313-1503185096 RUNJOBID= node115-1503173871-12305 PBS_JOBID= 20630842 Free space on /tmp= 61868 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.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-4281313-1503185096/watcher-4281313-1503185096 -o /tmp/evaluation-result-4281313-1503185096/solver-4281313-1503185096 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503173871-12305 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1026189121 HOME/instance-4281313-1503185096.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=1026189121 node115.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.69 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.69 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.69 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.69 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: 27197588 kB MemAvailable: 31973784 kB Buffers: 245960 kB Cached: 4823512 kB SwapCached: 0 kB Active: 901396 kB Inactive: 4222904 kB Active(anon): 5924 kB Inactive(anon): 85200 kB Active(file): 895472 kB Inactive(file): 4137704 kB Unevictable: 7032 kB Mlocked: 7032 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7892 kB Writeback: 0 kB AnonPages: 62056 kB Mapped: 51492 kB Shmem: 33416 kB Slab: 144408 kB SReclaimable: 117712 kB SUnreclaim: 26696 kB KernelStack: 3216 kB PageTables: 4784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332792 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: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61860 MiB End job on node115 at 2017-08-20 01:10:46