Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 4.0.5 (2017-07-05) | OPT | 123 | 259.365 | 33.5469 |
| 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.4963198 |
| 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 -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246096-1500686528.xml" -tl '2400s' -p 8 -x 0 0.00/0.22 c [HOME/instance-4246096-1500686528.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.28 c 8 solvers in parallel 0.00/0.35 c parse instance... 0.00/1.06 c solve instance... 6.58/1.53 o 167 11.26/2.15 o 166 13.61/2.41 o 165 16.77/2.84 o 164 19.06/3.12 o 163 21.52/3.43 o 162 24.56/3.81 o 161 26.13/4.07 o 160 28.46/4.31 o 159 30.79/4.65 o 158 33.13/4.91 o 157 34.66/5.13 o 156 35.41/5.20 o 155 35.41/5.23 o 154 35.41/5.26 o 153 43.23/6.27 o 152 44.77/6.50 o 151 47.23/6.75 o 150 60.63/8.48 o 149 62.99/8.71 o 148 64.64/8.93 o 147 66.08/9.16 o 146 68.45/9.41 o 145 69.98/9.66 o 144 71.55/9.88 o 143 73.30/10.09 o 142 75.45/10.30 o 141 77.02/10.52 o 140 78.58/10.72 o 139 80.14/10.95 o 138 81.93/11.17 o 137 83.24/11.39 o 136 85.58/11.63 o 135 87.05/11.85 o 134 88.63/12.11 o 133 90.96/12.32 o 132 92.53/12.52 o 131 94.11/12.72 o 130 95.66/12.95 o 129 97.24/13.18 o 128 99.55/13.42 o 127 101.90/13.71 o 126 103.45/13.94 o 125 105.71/14.20 o 124 115.35/15.43 o 123 259.18/33.52 s OPTIMUM FOUND 259.18/33.52 v <instantiation> 259.18/33.52 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> 259.18/33.52 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> 259.18/33.52 v </instantiation>
OK 123
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246096-1500686528/watcher-4246096-1500686528 -o /tmp/evaluation-result-4246096-1500686528/solver-4246096-1500686528 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1901136875 HOME/instance-4246096-1500686528.xml pid=23811 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 12.29 14.29 14.49 10/264 23814 /proc/meminfo: memFree=24919900/32770624 swapFree=5880/248480 [pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3920475 9740288 346 33554432000 4194304 5098028 140724434183984 140724434182088 139666562577020 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 21037056 140724434191502 140724434191712 140724434191712 140724434194411 0 /proc/23814/statm: 2378 346 289 221 0 87 0 [startup+0.100068 s] /proc/loadavg: 12.29 14.29 14.49 10/264 23814 /proc/meminfo: memFree=24919900/32770624 swapFree=5880/248480 [pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3920475 9740288 346 33554432000 4194304 5098028 140724434183984 140724434182088 139666562577020 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 21037056 140724434191502 140724434191712 140724434191712 140724434194411 0 /proc/23814/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200353 s] /proc/loadavg: 12.29 14.29 14.49 10/264 23814 /proc/meminfo: memFree=24919900/32770624 swapFree=5880/248480 [pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3920475 9740288 346 33554432000 4194304 5098028 140724434183984 140724434182088 139666562577020 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 21037056 140724434191502 140724434191712 140724434191712 140724434194411 0 /proc/23814/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300279 s] /proc/loadavg: 12.29 14.29 14.49 10/264 23814 /proc/meminfo: memFree=24919900/32770624 swapFree=5880/248480 [pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3920475 9740288 346 33554432000 4194304 5098028 140724434183984 140724434182088 139666562577020 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 21037056 140724434191502 140724434191712 140724434191712 140724434194411 0 /proc/23814/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700187 s] /proc/loadavg: 12.29 14.29 14.49 10/264 23814 /proc/meminfo: memFree=24919900/32770624 swapFree=5880/248480 [pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3920475 9740288 346 33554432000 4194304 5098028 140724434183984 140724434182088 139666562577020 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 21037056 140724434191502 140724434191712 140724434191712 140724434194411 0 /proc/23814/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.5015 s] /proc/loadavg: 12.29 14.29 14.49 17/293 23843 /proc/meminfo: memFree=24422668/32770624 swapFree=5880/248504 [pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3920475 9740288 346 33554432000 4194304 5098028 140724434183984 140724434182088 139666562577020 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 21037056 140724434191502 140724434191712 140724434191712 140724434194411 0 /proc/23814/statm: 2378 346 289 221 0 87 0 [pid=23815] ppid=23814 vsize=13801768 CPUtime=6.58 cores=1,3,5,7,9,11,13,15 /proc/23815/stat : 23815 (java) S 23814 23814 7744 0 -1 1077944320 24968 0 0 0 648 10 0 0 20 0 28 0 3920475 14133010432 48577 33554432000 4194304 4196468 140724727457680 140724727440224 140341380509431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 /proc/23815/statm: 3450442 48577 3233 1 0 3437675 0 [pid=23815/tid=23816] ppid=23814 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23816/stat : 23816 (java) S 23814 23814 7744 0 -1 1077944384 8127 0 0 0 101 4 0 0 20 0 28 0 3920475 14133010432 48577 33554432000 4194304 4196468 140724727457680 140341384750208 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23818] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23818/stat : 23818 (java) S 23814 23814 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3920476 14133010432 48577 33554432000 4194304 4196468 140724727457680 140341345790224 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23819] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23819/stat : 23819 (java) S 23814 23814 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3920476 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340979157392 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23820] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23820/stat : 23820 (java) S 23814 23814 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920476 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340978104848 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23821] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23821/stat : 23821 (java) S 23814 23814 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3920476 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340977052304 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23822] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23822/stat : 23822 (java) S 23814 23814 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3920476 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340975999760 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23823] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23823/stat : 23823 (java) S 23814 23814 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3920476 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340974947216 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23824] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23824/stat : 23824 (java) S 23814 23814 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3920476 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340973894672 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23825] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23825/stat : 23825 (java) S 23814 23814 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3920476 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340972842128 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23826] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23826/stat : 23826 (java) S 23814 23814 7744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3920479 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340842850288 140341380520578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23827] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23827/stat : 23827 (java) S 23814 23814 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3920480 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340841796512 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23828] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23828/stat : 23828 (java) S 23814 23814 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3920480 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340840743920 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23829] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23829/stat : 23829 (java) S 23814 23814 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3920484 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340839692496 140341380528027 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23830] ppid=23814 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23830/stat : 23830 (java) R 23814 23814 7744 0 -1 4202560 4157 0 0 0 97 1 0 0 20 0 28 0 3920485 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340838625992 140341362030283 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23831] ppid=23814 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23831/stat : 23831 (java) R 23814 23814 7744 0 -1 4202560 3043 0 0 0 76 1 0 0 20 0 28 0 3920485 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340837580056 140341359755768 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23832] ppid=23814 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23832/stat : 23832 (java) R 23814 23814 7744 0 -1 4202560 5219 0 0 0 94 0 0 0 20 0 28 0 3920485 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340836520904 140341365617283 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23833] ppid=23814 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23833/stat : 23833 (java) S 23814 23814 7744 0 -1 1077944384 2591 0 0 0 75 0 0 0 20 0 28 0 3920485 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340835482480 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23834] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23834/stat : 23834 (java) S 23814 23814 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920485 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340834429152 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23835] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23835/stat : 23835 (java) S 23814 23814 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920485 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340833376688 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23836] ppid=23814 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23836/stat : 23836 (java) R 23814 23814 7744 0 -1 4202560 119 0 0 0 34 0 0 0 20 0 28 0 3920583 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340825361528 140341023282434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23837] ppid=23814 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23837/stat : 23837 (java) R 23814 23814 7744 0 -1 4202560 48 0 0 0 22 0 0 0 20 0 28 0 3920583 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340824309608 140341023079647 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23838] ppid=23814 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23838/stat : 23838 (java) R 23814 23814 7744 0 -1 4202560 62 0 0 0 25 0 0 0 20 0 28 0 3920583 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340823258544 140341023130232 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23839] ppid=23814 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23839/stat : 23839 (java) S 23814 23814 7744 0 -1 1077944384 100 0 0 0 26 0 0 0 20 0 28 0 3920583 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340822204336 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23840] ppid=23814 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23840/stat : 23840 (java) R 23814 23814 7744 0 -1 4202560 44 0 0 0 22 0 0 0 20 0 28 0 3920583 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340821155352 140341018373294 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23841] ppid=23814 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23841/stat : 23841 (java) R 23814 23814 7744 0 -1 1077944384 32 0 0 0 18 0 0 0 20 0 28 0 3920583 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340820098688 140341380519637 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23842] ppid=23814 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23842/stat : 23842 (java) S 23814 23814 7744 0 -1 1077944384 58 0 0 0 24 0 0 0 20 0 28 0 3920583 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340819045840 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23843] ppid=23814 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23843/stat : 23843 (java) R 23814 23814 7744 0 -1 4202560 33 0 0 0 28 0 0 0 20 0 28 0 3920583 14133010432 48577 33554432000 4194304 4196468 140724727457680 140340817992248 140341023000948 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 Current children cumulated CPU time (s) 6.58 Current children cumulated vsize (KiB) 13811280 [startup+3.10118 s] /proc/loadavg: 12.29 14.29 14.49 21/293 23859 /proc/meminfo: memFree=24355572/32770624 swapFree=5880/248504 [pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3920475 9740288 346 33554432000 4194304 5098028 140724434183984 140724434182088 139666562577020 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 21037056 140724434191502 140724434191712 140724434191712 140724434194411 0 /proc/23814/statm: 2378 346 289 221 0 87 0 [pid=23815] ppid=23814 vsize=13801768 CPUtime=19.06 cores=1,3,5,7,9,11,13,15 /proc/23815/stat : 23815 (java) S 23814 23814 7744 0 -1 1077944320 33629 0 0 0 1881 25 0 0 20 0 28 0 3920475 14133010432 62446 33554432000 4194304 4196468 140724727457680 140724727440224 140341380509431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 /proc/23815/statm: 3450442 62446 3271 1 0 3437675 0 [pid=23815/tid=23816] ppid=23814 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23816/stat : 23816 (java) S 23814 23814 7744 0 -1 1077944384 8222 0 0 0 103 4 0 0 20 0 28 0 3920475 14133010432 62446 33554432000 4194304 4196468 140724727457680 140341384750208 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23818] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23818/stat : 23818 (java) S 23814 23814 7744 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 3920476 14133010432 62446 33554432000 4194304 4196468 140724727457680 140341345790224 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23819] ppid=23814 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23819/stat : 23819 (java) S 23814 23814 7744 0 -1 1077944384 138 0 0 0 2 1 0 0 20 0 28 0 3920476 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340979157392 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23820] ppid=23814 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23820/stat : 23820 (java) S 23814 23814 7744 0 -1 1077944384 55 0 0 0 1 1 0 0 20 0 28 0 3920476 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340978104848 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23821] ppid=23814 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23821/stat : 23821 (java) S 23814 23814 7744 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 28 0 3920476 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340977052304 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23822] ppid=23814 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23822/stat : 23822 (java) S 23814 23814 7744 0 -1 1077944384 21 0 0 0 2 1 0 0 20 0 28 0 3920476 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340975999760 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23823] ppid=23814 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23823/stat : 23823 (java) S 23814 23814 7744 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 28 0 3920476 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340974947216 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23824] ppid=23814 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23824/stat : 23824 (java) S 23814 23814 7744 0 -1 1077944384 33 0 0 0 2 1 0 0 20 0 28 0 3920476 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340973894672 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23825] ppid=23814 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23825/stat : 23825 (java) S 23814 23814 7744 0 -1 1077944384 27 0 0 0 2 1 0 0 20 0 28 0 3920476 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340972842128 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23826] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23826/stat : 23826 (java) S 23814 23814 7744 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 28 0 3920479 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340842850288 140341380520578 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23827] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23827/stat : 23827 (java) S 23814 23814 7744 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3920480 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340841796512 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23828] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23828/stat : 23828 (java) S 23814 23814 7744 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3920480 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340840743920 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23829] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23829/stat : 23829 (java) S 23814 23814 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3920484 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340839692496 140341380528027 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23830] ppid=23814 vsize=13801768 CPUtime=1.97 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23830/stat : 23830 (java) S 23814 23814 7744 0 -1 1077944384 5479 0 0 0 196 1 0 0 20 0 28 0 3920485 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340838640112 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23831] ppid=23814 vsize=13801768 CPUtime=1.97 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23831/stat : 23831 (java) S 23814 23814 7744 0 -1 1077944384 5872 0 0 0 196 1 0 0 20 0 28 0 3920485 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340837587568 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23832] ppid=23814 vsize=13801768 CPUtime=2.15 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23832/stat : 23832 (java) S 23814 23814 7744 0 -1 1077944384 6603 0 0 0 214 1 0 0 20 0 28 0 3920485 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340836535024 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23833] ppid=23814 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23833/stat : 23833 (java) S 23814 23814 7744 0 -1 1077944384 4036 0 0 0 96 1 0 0 20 0 28 0 3920485 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340835482480 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23834] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23834/stat : 23834 (java) S 23814 23814 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920485 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340834429152 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23835] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23835/stat : 23835 (java) S 23814 23814 7744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3920485 14133010432 62446 33554432000 4194304 4196468 140724727457680 140340833376688 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 Current children cumulated CPU time (s) 19.06 Current children cumulated vsize (KiB) 13811280 [startup+6.3017 s] /proc/loadavg: 12.59 14.32 14.50 19/293 23963 /proc/meminfo: memFree=24331652/32770624 swapFree=5880/248512 [pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3920475 9740288 346 33554432000 4194304 5098028 140724434183984 140724434182088 139666562577020 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 21037056 140724434191502 140724434191712 140724434191712 140724434194411 0 /proc/23814/statm: 2378 346 289 221 0 87 0 [pid=23815] ppid=23814 vsize=13801768 CPUtime=43.97 cores=1,3,5,7,9,11,13,15 /proc/23815/stat : 23815 (java) S 23814 23814 7744 0 -1 1077944320 36759 0 0 0 4359 38 0 0 20 0 28 0 3920475 14133010432 67098 33554432000 4194304 4196468 140724727457680 140724727440224 140341380509431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 /proc/23815/statm: 3450442 67098 3281 1 0 3437675 0 [pid=23815/tid=23816] ppid=23814 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23816/stat : 23816 (java) S 23814 23814 7744 0 -1 1077944384 8235 0 0 0 105 4 0 0 20 0 28 0 3920475 14133010432 67098 33554432000 4194304 4196468 140724727457680 140341384750208 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23818] ppid=23814 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23818/stat : 23818 (java) S 23814 23814 7744 0 -1 1077944384 38 0 0 0 2 1 0 0 20 0 28 0 3920476 14133010432 67098 33554432000 4194304 4196468 140724727457680 140341345790224 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23819] ppid=23814 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23819/stat : 23819 (java) S 23814 23814 7744 0 -1 1077944384 161 0 0 0 4 2 0 0 20 0 28 0 3920476 14133010432 67098 33554432000 4194304 4196468 140724727457680 140340979157392 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23820] ppid=23814 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23820/stat : 23820 (java) S 23814 23814 7744 0 -1 1077944384 566 0 0 0 2 3 0 0 20 0 28 0 3920476 14133010432 67098 33554432000 4194304 4196468 140724727457680 140340978104848 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23821] ppid=23814 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23821/stat : 23821 (java) S 23814 23814 7744 0 -1 1077944384 48 0 0 0 3 1 0 0 20 0 28 0 3920476 14133010432 67098 33554432000 4194304 4196468 140724727457680 140340977052304 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 ################ # More data... # ################ /proc/23815/task/23827/stat : 23827 (java) S 23814 23814 7744 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3920480 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340841796512 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23828] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23828/stat : 23828 (java) S 23814 23814 7744 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3920480 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340840743920 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23829] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23829/stat : 23829 (java) S 23814 23814 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3920484 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340839692496 140341380528027 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23830] ppid=23814 vsize=13801768 CPUtime=3.19 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23830/stat : 23830 (java) S 23814 23814 7744 0 -1 1077944384 10238 0 0 0 317 2 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340838640112 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23831] ppid=23814 vsize=13801768 CPUtime=3.11 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23831/stat : 23831 (java) S 23814 23814 7744 0 -1 1077944384 10117 0 0 0 309 2 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340837587568 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23832] ppid=23814 vsize=13801768 CPUtime=3.22 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23832/stat : 23832 (java) S 23814 23814 7744 0 -1 1077944384 10012 0 0 0 320 2 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340836535024 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23833] ppid=23814 vsize=13801768 CPUtime=1.17 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23833/stat : 23833 (java) S 23814 23814 7744 0 -1 1077944384 6969 0 0 0 116 1 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340835482480 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23834] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23834/stat : 23834 (java) S 23814 23814 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340834429152 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23835] ppid=23814 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23835/stat : 23835 (java) S 23814 23814 7744 0 -1 1077944384 445 0 0 0 0 1 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340833376688 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24196] ppid=23814 vsize=13801768 CPUtime=17.62 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24196/stat : 24196 (java) R 23814 23814 7744 0 -1 4202560 230 0 0 0 1762 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340819045112 140341023523931 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24197] ppid=23814 vsize=13801768 CPUtime=17.63 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24197/stat : 24197 (java) R 23814 23814 7744 0 -1 4202560 294 0 0 0 1763 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340817993704 140341024993482 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24198] ppid=23814 vsize=13801768 CPUtime=17.66 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24198/stat : 24198 (java) R 23814 23814 7744 0 -1 4202560 712 0 0 0 1766 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340822206312 140341024440448 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24199] ppid=23814 vsize=13801768 CPUtime=17.63 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24199/stat : 24199 (java) R 23814 23814 7744 0 -1 4202560 1355 0 0 0 1759 4 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340821154224 140341024442389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24200] ppid=23814 vsize=13801768 CPUtime=17.42 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24200/stat : 24200 (java) R 23814 23814 7744 0 -1 4202560 370 0 0 0 1742 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340825362584 140341023524117 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24201] ppid=23814 vsize=13801768 CPUtime=17.57 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24201/stat : 24201 (java) R 23814 23814 7744 0 -1 4202560 333 0 0 0 1757 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340824310248 140341023282482 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24202] ppid=23814 vsize=13801768 CPUtime=17.66 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24202/stat : 24202 (java) R 23814 23814 7744 0 -1 4202560 207 0 0 0 1766 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340823256224 140341023524067 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24203] ppid=23814 vsize=13801768 CPUtime=17.35 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24203/stat : 24203 (java) R 23814 23814 7744 0 -1 4202560 241 0 0 0 1735 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340820098488 140341023524117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 Current children cumulated CPU time (s) 256.79 Current children cumulated vsize (KiB) 13811280 [startup+33.4017 s] /proc/loadavg: 13.19 14.34 14.50 10/293 24203 /proc/meminfo: memFree=22427244/32770624 swapFree=5880/248544 [pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3920475 9740288 346 33554432000 4194304 5098028 140724434183984 140724434182088 139666562577020 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 21037056 140724434191502 140724434191712 140724434191712 140724434194411 0 /proc/23814/statm: 2378 346 289 221 0 87 0 [pid=23815] ppid=23814 vsize=13801768 CPUtime=258.38 cores=1,3,5,7,9,11,13,15 /proc/23815/stat : 23815 (java) S 23814 23814 7744 0 -1 1077944320 63795 0 0 0 25750 88 0 0 20 0 28 0 3920475 14133010432 165701 33554432000 4194304 4196468 140724727457680 140724727440224 140341380509431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 /proc/23815/statm: 3450442 165701 3290 1 0 3437675 0 [pid=23815/tid=23816] ppid=23814 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23816/stat : 23816 (java) S 23814 23814 7744 0 -1 1077944384 8432 0 0 0 108 4 0 0 20 0 28 0 3920475 14133010432 165701 33554432000 4194304 4196468 140724727457680 140341384750208 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23818] ppid=23814 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23818/stat : 23818 (java) S 23814 23814 7744 0 -1 1077944384 108 0 0 0 6 5 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140341345790224 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23819] ppid=23814 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23819/stat : 23819 (java) S 23814 23814 7744 0 -1 1077944384 615 0 0 0 7 7 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340979157392 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23820] ppid=23814 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23820/stat : 23820 (java) S 23814 23814 7744 0 -1 1077944384 704 0 0 0 7 6 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340978104848 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23821] ppid=23814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23821/stat : 23821 (java) S 23814 23814 7744 0 -1 1077944384 332 0 0 0 8 4 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340977052304 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23822] ppid=23814 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23822/stat : 23822 (java) S 23814 23814 7744 0 -1 1077944384 114 0 0 0 8 5 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340975999760 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23823] ppid=23814 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23823/stat : 23823 (java) S 23814 23814 7744 0 -1 1077944384 225 0 0 0 7 7 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340974947216 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23824] ppid=23814 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23824/stat : 23824 (java) S 23814 23814 7744 0 -1 1077944384 368 0 0 0 9 6 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340973894672 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23825] ppid=23814 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23825/stat : 23825 (java) S 23814 23814 7744 0 -1 1077944384 124 0 0 0 8 7 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340972842128 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23826] ppid=23814 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23826/stat : 23826 (java) S 23814 23814 7744 0 -1 1077944384 1123 0 0 0 3 3 0 0 20 0 28 0 3920479 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340842850288 140341380520578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23827] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23827/stat : 23827 (java) S 23814 23814 7744 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3920480 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340841796512 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23828] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23828/stat : 23828 (java) S 23814 23814 7744 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3920480 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340840743920 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23829] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23829/stat : 23829 (java) S 23814 23814 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3920484 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340839692496 140341380528027 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23830] ppid=23814 vsize=13801768 CPUtime=3.19 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23830/stat : 23830 (java) S 23814 23814 7744 0 -1 1077944384 10238 0 0 0 317 2 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340838640112 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23831] ppid=23814 vsize=13801768 CPUtime=3.11 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23831/stat : 23831 (java) S 23814 23814 7744 0 -1 1077944384 10117 0 0 0 309 2 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340837587568 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23832] ppid=23814 vsize=13801768 CPUtime=3.22 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23832/stat : 23832 (java) S 23814 23814 7744 0 -1 1077944384 10012 0 0 0 320 2 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340836535024 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23833] ppid=23814 vsize=13801768 CPUtime=1.17 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23833/stat : 23833 (java) S 23814 23814 7744 0 -1 1077944384 6969 0 0 0 116 1 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340835482480 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23834] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23834/stat : 23834 (java) S 23814 23814 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340834429152 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23835] ppid=23814 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23835/stat : 23835 (java) S 23814 23814 7744 0 -1 1077944384 445 0 0 0 0 1 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340833376688 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24196] ppid=23814 vsize=13801768 CPUtime=17.82 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24196/stat : 24196 (java) R 23814 23814 7744 0 -1 4202560 230 0 0 0 1782 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340819045112 140341023282434 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24197] ppid=23814 vsize=13801768 CPUtime=17.83 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24197/stat : 24197 (java) R 23814 23814 7744 0 -1 4202560 294 0 0 0 1783 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340817993704 140341023524067 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24198] ppid=23814 vsize=13801768 CPUtime=17.86 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24198/stat : 24198 (java) R 23814 23814 7744 0 -1 4202560 712 0 0 0 1786 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340822206312 140341023282482 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24199] ppid=23814 vsize=13801768 CPUtime=17.83 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24199/stat : 24199 (java) R 23814 23814 7744 0 -1 4202560 1357 0 0 0 1779 4 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340821154224 140341024882669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24200] ppid=23814 vsize=13801768 CPUtime=17.62 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24200/stat : 24200 (java) R 23814 23814 7744 0 -1 4202560 370 0 0 0 1762 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340825362584 140341023282434 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24201] ppid=23814 vsize=13801768 CPUtime=17.77 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24201/stat : 24201 (java) R 23814 23814 7744 0 -1 4202560 333 0 0 0 1777 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340824310248 140341023282399 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24202] ppid=23814 vsize=13801768 CPUtime=17.86 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24202/stat : 24202 (java) R 23814 23814 7744 0 -1 4202560 207 0 0 0 1786 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340823256224 140341023282462 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24203] ppid=23814 vsize=13801768 CPUtime=17.55 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24203/stat : 24203 (java) R 23814 23814 7744 0 -1 4202560 241 0 0 0 1755 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340820098488 140341023282399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 Current children cumulated CPU time (s) 258.38 Current children cumulated vsize (KiB) 13811280 [startup+33.502 s] /proc/loadavg: 13.19 14.34 14.50 10/293 24203 /proc/meminfo: memFree=22427244/32770624 swapFree=5880/248544 [pid=23814] ppid=23811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23814/stat : 23814 (xcsp3-exec) S 23811 23814 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3920475 9740288 346 33554432000 4194304 5098028 140724434183984 140724434182088 139666562577020 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 21037056 140724434191502 140724434191712 140724434191712 140724434194411 0 /proc/23814/statm: 2378 346 289 221 0 87 0 [pid=23815] ppid=23814 vsize=13801768 CPUtime=259.18 cores=1,3,5,7,9,11,13,15 /proc/23815/stat : 23815 (java) S 23814 23814 7744 0 -1 1077944320 63797 0 0 0 25830 88 0 0 20 0 28 0 3920475 14133010432 165701 33554432000 4194304 4196468 140724727457680 140724727440224 140341380509431 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 /proc/23815/statm: 3450442 165701 3290 1 0 3437675 0 [pid=23815/tid=23816] ppid=23814 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23816/stat : 23816 (java) S 23814 23814 7744 0 -1 1077944384 8432 0 0 0 108 4 0 0 20 0 28 0 3920475 14133010432 165701 33554432000 4194304 4196468 140724727457680 140341384750208 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23818] ppid=23814 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23818/stat : 23818 (java) S 23814 23814 7744 0 -1 1077944384 108 0 0 0 6 5 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140341345790224 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23819] ppid=23814 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23819/stat : 23819 (java) S 23814 23814 7744 0 -1 1077944384 615 0 0 0 7 7 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340979157392 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23820] ppid=23814 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23820/stat : 23820 (java) S 23814 23814 7744 0 -1 1077944384 704 0 0 0 7 6 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340978104848 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23821] ppid=23814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23821/stat : 23821 (java) S 23814 23814 7744 0 -1 1077944384 332 0 0 0 8 4 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340977052304 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23822] ppid=23814 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23822/stat : 23822 (java) S 23814 23814 7744 0 -1 1077944384 114 0 0 0 8 5 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340975999760 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23823] ppid=23814 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23823/stat : 23823 (java) S 23814 23814 7744 0 -1 1077944384 225 0 0 0 7 7 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340974947216 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23824] ppid=23814 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23824/stat : 23824 (java) S 23814 23814 7744 0 -1 1077944384 368 0 0 0 9 6 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340973894672 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23825] ppid=23814 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23825/stat : 23825 (java) S 23814 23814 7744 0 -1 1077944384 124 0 0 0 8 7 0 0 20 0 28 0 3920476 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340972842128 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23826] ppid=23814 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23826/stat : 23826 (java) S 23814 23814 7744 0 -1 1077944384 1123 0 0 0 3 3 0 0 20 0 28 0 3920479 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340842850288 140341380520578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23827] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23827/stat : 23827 (java) S 23814 23814 7744 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3920480 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340841796512 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23828] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23828/stat : 23828 (java) S 23814 23814 7744 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3920480 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340840743920 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23829] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23829/stat : 23829 (java) S 23814 23814 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3920484 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340839692496 140341380528027 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23830] ppid=23814 vsize=13801768 CPUtime=3.19 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23830/stat : 23830 (java) S 23814 23814 7744 0 -1 1077944384 10238 0 0 0 317 2 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340838640112 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23831] ppid=23814 vsize=13801768 CPUtime=3.11 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23831/stat : 23831 (java) S 23814 23814 7744 0 -1 1077944384 10117 0 0 0 309 2 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340837587568 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23832] ppid=23814 vsize=13801768 CPUtime=3.22 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23832/stat : 23832 (java) S 23814 23814 7744 0 -1 1077944384 10012 0 0 0 320 2 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340836535024 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23833] ppid=23814 vsize=13801768 CPUtime=1.17 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23833/stat : 23833 (java) S 23814 23814 7744 0 -1 1077944384 6969 0 0 0 116 1 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340835482480 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23834] ppid=23814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23834/stat : 23834 (java) S 23814 23814 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340834429152 140341380519637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=23835] ppid=23814 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/23815/task/23835/stat : 23835 (java) S 23814 23814 7744 0 -1 1077944384 445 0 0 0 0 1 0 0 20 0 28 0 3920485 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340833376688 140341380520578 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24196] ppid=23814 vsize=13801768 CPUtime=17.92 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24196/stat : 24196 (java) R 23814 23814 7744 0 -1 4202560 230 0 0 0 1792 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340819045112 140341023282399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24197] ppid=23814 vsize=13801768 CPUtime=17.93 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24197/stat : 24197 (java) R 23814 23814 7744 0 -1 4202560 294 0 0 0 1793 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340817993704 140341024249789 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24198] ppid=23814 vsize=13801768 CPUtime=17.96 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24198/stat : 24198 (java) R 23814 23814 7744 0 -1 4202560 713 0 0 0 1796 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340822206312 140341026066724 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24199] ppid=23814 vsize=13801768 CPUtime=17.93 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24199/stat : 24199 (java) R 23814 23814 7744 0 -1 4202560 1358 0 0 0 1789 4 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340821154224 140341024239374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24200] ppid=23814 vsize=13801768 CPUtime=17.72 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24200/stat : 24200 (java) R 23814 23814 7744 0 -1 4202560 370 0 0 0 1772 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340825362584 140341023282807 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24201] ppid=23814 vsize=13801768 CPUtime=17.87 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24201/stat : 24201 (java) R 23814 23814 7744 0 -1 4202560 333 0 0 0 1787 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340824310248 140341023524051 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24202] ppid=23814 vsize=13801768 CPUtime=17.96 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24202/stat : 24202 (java) R 23814 23814 7744 0 -1 4202560 207 0 0 0 1796 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340823256224 140341023282434 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 [pid=23815/tid=24203] ppid=23814 vsize=13801768 CPUtime=17.65 cores=1,3,5,7,9,11,13,15 /proc/23815/task/24203/stat : 24203 (java) R 23814 23814 7744 0 -1 4202560 241 0 0 0 1765 0 0 0 20 0 28 0 3922018 14133010432 165701 33554432000 4194304 4196468 140724727457680 140340820098488 140341024249789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21839872 140724727461052 140724727461228 140724727461228 140724727463887 0 Current children cumulated CPU time (s) 259.18 Current children cumulated vsize (KiB) 13811280 Child status: 0 Real time (s): 33.5469 CPU time (s): 259.365 CPU user time (s): 258.468 CPU system time (s): 0.897118 CPU usage (%): 773.141 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 258.468 system time used= 0.897118 maximum resident set size= 662804 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65037 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8709 involuntary context switches= 17617 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.404911 second user time and 0.544737 second system time The end
Begin job on node127 at 2017-07-22 03:22:08 IDJOB=4246096 IDBENCH=124135 IDSOLVER=2625 FILE ID=node127/4246096-1500686528 RUNJOBID= node127-1500682387-7776 PBS_JOBID= 20623323 Free space on /tmp= 61960 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246096-1500686528/watcher-4246096-1500686528 -o /tmp/evaluation-result-4246096-1500686528/solver-4246096-1500686528 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1901136875 HOME/instance-4246096-1500686528.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=1901136875 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.94 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 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 : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.94 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 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 : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 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 : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.94 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24934376 kB MemAvailable: 25014464 kB Buffers: 49068 kB Cached: 339380 kB SwapCached: 0 kB Active: 7183248 kB Inactive: 257180 kB Active(anon): 7054892 kB Inactive(anon): 8676 kB Active(file): 128356 kB Inactive(file): 248504 kB Unevictable: 5880 kB Mlocked: 5880 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7944 kB Writeback: 0 kB AnonPages: 7039456 kB Mapped: 42444 kB Shmem: 8872 kB Slab: 67368 kB SReclaimable: 34032 kB SUnreclaim: 33336 kB KernelStack: 4528 kB PageTables: 18932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 7710268 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6866944 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61952 MiB End job on node127 at 2017-07-22 03:22:42