Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-09) | SAT (TO) | 147 | 245.366 | 240.024 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml |
| MD5SUM | e28ebc68094c3335bce51ae11fa43933 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 122 |
| Best CPU time to get the best result obtained on this benchmark | 154.98 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3591 |
| Number of constraints | 193 |
| Number of domains | 15 |
| Minimum domain size | 2 |
| Maximum domain size | 21 |
| Distribution of domain sizes | [{"size":2,"count":342},{"size":3,"count":342},{"size":4,"count":171},{"size":5,"count":171},{"size":6,"count":171},{"size":8,"count":171},{"size":9,"count":171},{"size":10,"count":171},{"size":12,"count":684},{"size":14,"count":171},{"size":15,"count":171},{"size":16,"count":171},{"size":17,"count":171},{"size":18,"count":171},{"size":21,"count":342}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":3591}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 3420 |
| Distribution of constraint arities | [{"arity":21,"count":171},{"arity":171,"count":21},{"arity":3420,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":191}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270034-1502621334.xml" -tl '264s' -p 1 -x 0 0.12/0.14 c [HOME/instance-4270034-1502621334.xml, -tl, 264s, -p, 1, -x, 0] 0.12/0.20 c simple solver 0.33/0.27 c parse instance... 1.03/0.57 c solve instance... 16.10/12.56 o 165 16.10/12.58 o 164 16.10/12.59 o 163 16.24/12.60 o 162 16.24/12.62 o 161 49.17/44.49 o 160 49.30/44.59 o 159 50.56/45.76 o 158 84.13/79.18 o 156 84.23/79.22 o 155 86.04/81.05 o 154 95.84/90.86 o 153 97.34/92.31 o 152 97.34/92.31 o 151 97.34/92.33 o 150 97.34/92.36 o 149 98.39/93.31 o 148 104.49/99.36 o 147 245.34/240.01 s SATISFIABLE 245.34/240.01 v <instantiation> 245.34/240.01 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] </list> 245.34/240.01 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 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 1 1 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 245.34/240.01 v </instantiation> 245.34/240.01 c Unexpected resolution interruption!
OK 147
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13975 MiB free)
memory of node 1: 16384 MiB (14175 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270034-1502621334/watcher-4270034-1502621334 -o /tmp/evaluation-result-4270034-1502621334/solver-4270034-1502621334 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502619919-8346 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 372260472 HOME/instance-4270034-1502621334.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8880, runsolver pid=8877
Current StackSize limit: 8192 KiB
[startup+0.10231 s]*
/proc/loadavg: 2.00 1.60 1.60 3/217 8896
/proc/meminfo: memFree=28808856/32770624 swapFree=67108860/67108860
[pid=8880] ppid=8877 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8880/stat : 8880 (xcsp3-exec) S 8877 8880 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95214449 9740288 346 33554432000 4194304 5098028 140722504828208 140722504826312 140601213817468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39477248 140722504832117 140722504832320 140722504832320 140722504835051 0
/proc/8880/statm: 2378 346 289 221 0 87 0
[pid=8882] ppid=8880 vsize=13978596 memory=28028 CPUtime=0.12 cores=0,2,4,6
/proc/8882/stat : 8882 (java) S 8880 8880 6338 0 -1 1077944320 5433 0 0 0 11 1 0 0 20 0 15 0 95214449 14314082304 7007 33554432000 4194304 4196468 140737126862768 140737126845312 140277467053815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
/proc/8882/statm: 3494649 7007 2841 1 0 3482966 0
[pid=8882/tid=8883] ppid=8880 vsize=13978596 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/8882/task/8883/stat : 8883 (java) R 8880 8880 6338 0 -1 4202560 3451 0 0 0 9 0 0 0 20 0 15 0 95214450 14314082304 7007 33554432000 4194304 4196468 140737126862768 140277471286336 140277467065750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8884] ppid=8880 vsize=13978596 memory=3472468272134554832 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8884/stat : 8884 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214451 14314082304 7007 33554432000 4194304 4196468 140737126862768 140277397142416 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8885] ppid=8880 vsize=13978596 memory=140143239403136 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8885/stat : 8885 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214451 14314082304 7072 33554432000 4194304 4196468 140737126862768 140277396089616 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8886] ppid=8880 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8886/stat : 8886 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214451 14314082304 7072 33554432000 4194304 4196468 140737126862768 140277395037328 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8887] ppid=8880 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8887/stat : 8887 (java) S 8880 8880 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95214451 14314082304 7072 33554432000 4194304 4196468 140737126862768 140277393984528 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8888] ppid=8880 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8888/stat : 8888 (java) S 8880 8880 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95214452 14314082304 7072 33554432000 4194304 4196468 140737126862768 140276940785776 140277467064962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8889] ppid=8880 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8889/stat : 8889 (java) S 8880 8880 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95214452 14314082304 7072 33554432000 4194304 4196468 140737126862768 140276939731744 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8890] ppid=8880 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8890/stat : 8890 (java) S 8880 8880 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95214453 14314082304 7072 33554432000 4194304 4196468 140737126862768 140276938679408 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8891] ppid=8880 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8891/stat : 8891 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14314082304 7072 33554432000 4194304 4196468 140737126862768 140276937627728 140277467072411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8892] ppid=8880 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8892/stat : 8892 (java) S 8880 8880 6338 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 95214455 14314082304 7072 33554432000 4194304 4196468 140737126862768 140276936575600 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8893] ppid=8880 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8893/stat : 8893 (java) S 8880 8880 6338 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 95214455 14314082304 7072 33554432000 4194304 4196468 140737126862768 140276935522800 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8894] ppid=8880 vsize=13978596 memory=140143239403136 CPUtime=0.01 cores=0,2,4,6
/proc/8882/task/8894/stat : 8894 (java) R 8880 8880 6338 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 95214455 14314082304 7072 33554432000 4194304 4196468 140737126862768 140276934470512 140277459290942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8895] ppid=8880 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8895/stat : 8895 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14314082304 7072 33554432000 4194304 4196468 140737126862768 140276933417952 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8896] ppid=8880 vsize=13978596 memory=140143239403136 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8896/stat : 8896 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214456 14314082304 7072 33554432000 4194304 4196468 140737126862768 140276932364720 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29412 KiB
[startup+0.210891 s]*
/proc/loadavg: 2.00 1.60 1.60 4/217 8896
/proc/meminfo: memFree=28797132/32770624 swapFree=67108860/67108860
[pid=8880] ppid=8877 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8880/stat : 8880 (xcsp3-exec) S 8877 8880 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95214449 9740288 346 33554432000 4194304 5098028 140722504828208 140722504826312 140601213817468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39477248 140722504832117 140722504832320 140722504832320 140722504835051 0
/proc/8880/statm: 2378 346 289 221 0 87 0
[pid=8882] ppid=8880 vsize=13982852 memory=40380 CPUtime=0.33 cores=0,2,4,6
/proc/8882/stat : 8882 (java) S 8880 8880 6338 0 -1 1077944320 8126 0 0 0 31 2 0 0 20 0 15 0 95214449 14318440448 10095 33554432000 4194304 4196468 140737126862768 140737126845312 140277467053815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
/proc/8882/statm: 3495713 10095 3058 1 0 3482966 0
[pid=8882/tid=8883] ppid=8880 vsize=13982852 memory=4499834149035483540 CPUtime=0.19 cores=0,2,4,6
/proc/8882/task/8883/stat : 8883 (java) R 8880 8880 6338 0 -1 4202560 5275 0 0 0 18 1 0 0 20 0 15 0 95214450 14318440448 10095 33554432000 4194304 4196468 140737126862768 140277471275808 140277451134302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8884] ppid=8880 vsize=13982852 memory=3472468272134554832 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8884/stat : 8884 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214451 14318440448 10095 33554432000 4194304 4196468 140737126862768 140277397142416 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8885] ppid=8880 vsize=13982852 memory=140143239403136 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8885/stat : 8885 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214451 14318440448 10095 33554432000 4194304 4196468 140737126862768 140277396089616 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8886] ppid=8880 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8886/stat : 8886 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214451 14318440448 10095 33554432000 4194304 4196468 140737126862768 140277395037328 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8887] ppid=8880 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8887/stat : 8887 (java) S 8880 8880 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95214451 14318440448 10095 33554432000 4194304 4196468 140737126862768 140277393984528 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8888] ppid=8880 vsize=13982852 memory=140143239403136 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8888/stat : 8888 (java) S 8880 8880 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95214452 14318440448 10095 33554432000 4194304 4196468 140737126862768 140276940785776 140277467064962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8889] ppid=8880 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8889/stat : 8889 (java) S 8880 8880 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95214452 14318440448 10095 33554432000 4194304 4196468 140737126862768 140276939731744 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8890] ppid=8880 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8890/stat : 8890 (java) S 8880 8880 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95214453 14318440448 10095 33554432000 4194304 4196468 140737126862768 140276938679408 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8891] ppid=8880 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8891/stat : 8891 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14318440448 10095 33554432000 4194304 4196468 140737126862768 140276937627728 140277467072411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8892] ppid=8880 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8882/task/8892/stat : 8892 (java) S 8880 8880 6338 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 15 0 95214455 14318440448 10095 33554432000 4194304 4196468 140737126862768 140276936575600 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8893] ppid=8880 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8882/task/8893/stat : 8893 (java) S 8880 8880 6338 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 15 0 95214455 14318440448 10095 33554432000 4194304 4196468 140737126862768 140276935522800 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8894] ppid=8880 vsize=13982852 memory=140143239403136 CPUtime=0.07 cores=0,2,4,6
/proc/8882/task/8894/stat : 8894 (java) R 8880 8880 6338 0 -1 4202560 762 0 0 0 7 0 0 0 20 0 15 0 95214455 14318440448 10095 33554432000 4194304 4196468 140737126862768 140276934470512 140277467075162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8895] ppid=8880 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8895/stat : 8895 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14318440448 10095 33554432000 4194304 4196468 140737126862768 140276933417952 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8896] ppid=8880 vsize=13982852 memory=140143239403136 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8896/stat : 8896 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214456 14318440448 10095 33554432000 4194304 4196468 140737126862768 140276932364720 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41764 KiB
[startup+0.310356 s]*
/proc/loadavg: 2.00 1.60 1.60 5/217 8896
/proc/meminfo: memFree=28789004/32770624 swapFree=67108860/67108860
[pid=8880] ppid=8877 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8880/stat : 8880 (xcsp3-exec) S 8877 8880 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95214449 9740288 346 33554432000 4194304 5098028 140722504828208 140722504826312 140601213817468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39477248 140722504832117 140722504832320 140722504832320 140722504835051 0
/proc/8880/statm: 2378 346 289 221 0 87 0
[pid=8882] ppid=8880 vsize=13982852 memory=47320 CPUtime=0.5 cores=0,2,4,6
/proc/8882/stat : 8882 (java) S 8880 8880 6338 0 -1 1077944320 8962 0 0 0 47 3 0 0 20 0 15 0 95214449 14318440448 11830 33554432000 4194304 4196468 140737126862768 140737126845312 140277467053815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
/proc/8882/statm: 3495713 11830 3097 1 0 3482966 0
[pid=8882/tid=8883] ppid=8880 vsize=13982852 memory=-8976644418600983157 CPUtime=0.29 cores=0,2,4,6
/proc/8882/task/8883/stat : 8883 (java) R 8880 8880 6338 0 -1 4202560 5939 0 0 0 27 2 0 0 20 0 15 0 95214450 14318440448 11830 33554432000 4194304 4196468 140737126862768 140277471289952 140277467075741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8884] ppid=8880 vsize=13982852 memory=3472468272134554832 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8884/stat : 8884 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214451 14318440448 11830 33554432000 4194304 4196468 140737126862768 140277397142416 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8885] ppid=8880 vsize=13982852 memory=140143239403136 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8885/stat : 8885 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214451 14318440448 11830 33554432000 4194304 4196468 140737126862768 140277396089616 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8886] ppid=8880 vsize=13982852 memory=6 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8886/stat : 8886 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214451 14318440448 11830 33554432000 4194304 4196468 140737126862768 140277395037328 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8887] ppid=8880 vsize=13982852 memory=140143105288223 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8887/stat : 8887 (java) S 8880 8880 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95214451 14318440448 11830 33554432000 4194304 4196468 140737126862768 140277393984528 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8888] ppid=8880 vsize=13982852 memory=280286210555680 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8888/stat : 8888 (java) S 8880 8880 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95214452 14318440448 11830 33554432000 4194304 4196468 140737126862768 140276940785776 140277467064962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8889] ppid=8880 vsize=13982852 memory=140143105265167 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8889/stat : 8889 (java) S 8880 8880 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95214452 14318440448 11830 33554432000 4194304 4196468 140737126862768 140276939731744 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8890] ppid=8880 vsize=13982852 memory=280286344677472 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8890/stat : 8890 (java) S 8880 8880 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95214453 14318440448 11830 33554432000 4194304 4196468 140737126862768 140276938679408 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8891] ppid=8880 vsize=13982852 memory=140143105269775 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8891/stat : 8891 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14318440448 11830 33554432000 4194304 4196468 140737126862768 140276937627728 140277467072411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8892] ppid=8880 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8882/task/8892/stat : 8892 (java) S 8880 8880 6338 0 -1 1077944384 443 0 0 0 3 0 0 0 20 0 15 0 95214455 14318440448 11830 33554432000 4194304 4196468 140737126862768 140276936575600 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8893] ppid=8880 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8882/task/8893/stat : 8893 (java) S 8880 8880 6338 0 -1 1077944384 415 0 0 0 3 0 0 0 20 0 15 0 95214455 14318440448 11830 33554432000 4194304 4196468 140737126862768 140276935522800 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8894] ppid=8880 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8882/task/8894/stat : 8894 (java) R 8880 8880 6338 0 -1 4202560 863 0 0 0 12 0 0 0 20 0 15 0 95214455 14318440448 11830 33554432000 4194304 4196468 140737126862768 140276934468176 140277452219372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8895] ppid=8880 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8895/stat : 8895 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14318440448 11830 33554432000 4194304 4196468 140737126862768 140276933417952 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8896] ppid=8880 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8896/stat : 8896 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214456 14318440448 11830 33554432000 4194304 4196468 140737126862768 140276932364720 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48704 KiB
[startup+0.700783 s]
/proc/loadavg: 2.00 1.60 1.60 6/217 8896
/proc/meminfo: memFree=28772128/32770624 swapFree=67108860/67108860
[pid=8880] ppid=8877 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8880/stat : 8880 (xcsp3-exec) S 8877 8880 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95214449 9740288 346 33554432000 4194304 5098028 140722504828208 140722504826312 140601213817468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39477248 140722504832117 140722504832320 140722504832320 140722504835051 0
/proc/8880/statm: 2378 346 289 221 0 87 0
[pid=8882] ppid=8880 vsize=13984976 memory=74652 CPUtime=1.6 cores=0,2,4,6
/proc/8882/stat : 8882 (java) S 8880 8880 6338 0 -1 1077944320 11854 0 0 0 156 4 0 0 20 0 15 0 95214449 14320615424 18663 33554432000 4194304 4196468 140737126862768 140737126845312 140277467053815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
/proc/8882/statm: 3496244 18663 3214 1 0 3483478 0
[pid=8882/tid=8883] ppid=8880 vsize=13984976 memory=5795117241467496816 CPUtime=0.66 cores=0,2,4,6
/proc/8882/task/8883/stat : 8883 (java) R 8880 8880 6338 0 -1 4202560 6638 0 0 0 64 2 0 0 20 0 15 0 95214450 14320615424 18663 33554432000 4194304 4196468 140737126862768 140277471291680 140277075343920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8884] ppid=8880 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8884/stat : 8884 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 18663 33554432000 4194304 4196468 140737126862768 140277397142416 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8885] ppid=8880 vsize=13984976 memory=7588935152971043413 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8885/stat : 8885 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 18663 33554432000 4194304 4196468 140737126862768 140277396089616 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8886] ppid=8880 vsize=13984976 memory=8041645962788481611 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8886/stat : 8886 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 18663 33554432000 4194304 4196468 140737126862768 140277395037328 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8887] ppid=8880 vsize=13984976 memory=8326441112149131693 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8887/stat : 8887 (java) S 8880 8880 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 18663 33554432000 4194304 4196468 140737126862768 140277393984528 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8888] ppid=8880 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8888/stat : 8888 (java) S 8880 8880 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95214452 14320615424 18663 33554432000 4194304 4196468 140737126862768 140276940785776 140277467064962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8889] ppid=8880 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8889/stat : 8889 (java) S 8880 8880 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95214452 14320615424 18663 33554432000 4194304 4196468 140737126862768 140276939731744 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8890] ppid=8880 vsize=13984976 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8890/stat : 8890 (java) S 8880 8880 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95214453 14320615424 18663 33554432000 4194304 4196468 140737126862768 140276938679408 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8891] ppid=8880 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8891/stat : 8891 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14320615424 18663 33554432000 4194304 4196468 140737126862768 140276937627728 140277467072411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8892] ppid=8880 vsize=13984976 memory=28000 CPUtime=0.29 cores=0,2,4,6
/proc/8882/task/8892/stat : 8892 (java) R 8880 8880 6338 0 -1 4202560 1139 0 0 0 29 0 0 0 20 0 15 0 95214455 14320615424 18663 33554432000 4194304 4196468 140737126862768 140276936561480 140277446897423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8893] ppid=8880 vsize=13984976 memory=2428 CPUtime=0.28 cores=0,2,4,6
/proc/8882/task/8893/stat : 8893 (java) R 8880 8880 6338 0 -1 4202560 1204 0 0 0 28 0 0 0 20 0 15 0 95214455 14320615424 18663 33554432000 4194304 4196468 140737126862768 140276935511600 140277450965141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8894] ppid=8880 vsize=13984976 memory=1292 CPUtime=0.34 cores=0,2,4,6
/proc/8882/task/8894/stat : 8894 (java) S 8880 8880 6338 0 -1 1077944384 1567 0 0 0 34 0 0 0 20 0 15 0 95214455 14320615424 18663 33554432000 4194304 4196468 140737126862768 140276934470512 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8895] ppid=8880 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8895/stat : 8895 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14320615424 18663 33554432000 4194304 4196468 140737126862768 140276933417952 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8896] ppid=8880 vsize=13984976 memory=7453282923511834215 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8896/stat : 8896 (java) S 8880 8880 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95214456 14320615424 18663 33554432000 4194304 4196468 140737126862768 140276932364720 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 76036 KiB
[startup+1.5008 s]
/proc/loadavg: 2.16 1.64 1.61 4/217 8896
/proc/meminfo: memFree=28757368/32770624 swapFree=67108860/67108860
[pid=8880] ppid=8877 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8880/stat : 8880 (xcsp3-exec) S 8877 8880 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95214449 9740288 346 33554432000 4194304 5098028 140722504828208 140722504826312 140601213817468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39477248 140722504832117 140722504832320 140722504832320 140722504835051 0
/proc/8880/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/8882/task/8890/stat : 8890 (java) S 8880 8880 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95214453 14320615424 50791 33554432000 4194304 4196468 140737126862768 140276938679408 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8891] ppid=8880 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8891/stat : 8891 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14320615424 50791 33554432000 4194304 4196468 140737126862768 140276937627728 140277467072411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8892] ppid=8880 vsize=13984976 memory=180556 CPUtime=2.35 cores=0,2,4,6
/proc/8882/task/8892/stat : 8892 (java) S 8880 8880 6338 0 -1 1077944384 19236 0 0 0 234 1 0 0 20 0 15 0 95214455 14320615424 50791 33554432000 4194304 4196468 140737126862768 140276936575600 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8893] ppid=8880 vsize=13984976 memory=174380 CPUtime=2.33 cores=0,2,4,6
/proc/8882/task/8893/stat : 8893 (java) S 8880 8880 6338 0 -1 1077944384 23283 0 0 0 231 2 0 0 20 0 15 0 95214455 14320615424 50791 33554432000 4194304 4196468 140737126862768 140276935522800 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8894] ppid=8880 vsize=13984976 memory=916 CPUtime=0.51 cores=0,2,4,6
/proc/8882/task/8894/stat : 8894 (java) S 8880 8880 6338 0 -1 1077944384 5517 0 0 0 50 1 0 0 20 0 15 0 95214455 14320615424 50791 33554432000 4194304 4196468 140737126862768 140276934470512 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8895] ppid=8880 vsize=13984976 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8895/stat : 8895 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14320615424 50791 33554432000 4194304 4196468 140737126862768 140276933417952 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8896] ppid=8880 vsize=13984976 memory=5796 CPUtime=0.02 cores=0,2,4,6
/proc/8882/task/8896/stat : 8896 (java) S 8880 8880 6338 0 -1 1077944384 1147 0 0 0 1 1 0 0 20 0 15 0 95214456 14320615424 50791 33554432000 4194304 4196468 140737126862768 140276932364720 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
Current children cumulated CPU time: 107.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 204548 KiB
[startup+162.301 s]
/proc/loadavg: 2.01 1.79 1.67 4/217 8898
/proc/meminfo: memFree=28549740/32770624 swapFree=67108860/67108860
[pid=8880] ppid=8877 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8880/stat : 8880 (xcsp3-exec) S 8877 8880 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95214449 9740288 346 33554432000 4194304 5098028 140722504828208 140722504826312 140601213817468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39477248 140722504832117 140722504832320 140722504832320 140722504835051 0
/proc/8880/statm: 2378 346 289 221 0 87 0
[pid=8882] ppid=8880 vsize=13984976 memory=223984 CPUtime=167.59 cores=0,2,4,6
/proc/8882/stat : 8882 (java) S 8880 8880 6338 0 -1 1077944320 65791 0 0 0 16745 14 0 0 20 0 15 0 95214449 14320615424 55996 33554432000 4194304 4196468 140737126862768 140737126845312 140277467053815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
/proc/8882/statm: 3496244 55996 3257 1 0 3483478 0
[pid=8882/tid=8883] ppid=8880 vsize=13984976 memory=223984 CPUtime=162.26 cores=0,2,4,6
/proc/8882/task/8883/stat : 8883 (java) R 8880 8880 6338 0 -1 4202560 12236 0 0 0 16222 4 0 0 20 0 15 0 95214450 14320615424 55996 33554432000 4194304 4196468 140737126862768 140277471290696 140277075702661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8884] ppid=8880 vsize=13984976 memory=223984 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8884/stat : 8884 (java) S 8880 8880 6338 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 55996 33554432000 4194304 4196468 140737126862768 140277397142416 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8885] ppid=8880 vsize=13984976 memory=223984 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8885/stat : 8885 (java) S 8880 8880 6338 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 55996 33554432000 4194304 4196468 140737126862768 140277396089616 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8886] ppid=8880 vsize=13984976 memory=223984 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8886/stat : 8886 (java) S 8880 8880 6338 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 55996 33554432000 4194304 4196468 140737126862768 140277395037328 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8887] ppid=8880 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8887/stat : 8887 (java) S 8880 8880 6338 0 -1 1077944384 749 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 55996 33554432000 4194304 4196468 140737126862768 140277393984528 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8888] ppid=8880 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8888/stat : 8888 (java) S 8880 8880 6338 0 -1 1077944384 779 0 0 0 0 0 0 0 20 0 15 0 95214452 14320615424 55996 33554432000 4194304 4196468 140737126862768 140276940785776 140277467064962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8889] ppid=8880 vsize=13984976 memory=223984 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8889/stat : 8889 (java) S 8880 8880 6338 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 95214452 14320615424 55996 33554432000 4194304 4196468 140737126862768 140276939731744 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8890] ppid=8880 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8890/stat : 8890 (java) S 8880 8880 6338 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95214453 14320615424 55996 33554432000 4194304 4196468 140737126862768 140276938679408 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8891] ppid=8880 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8891/stat : 8891 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14320615424 55996 33554432000 4194304 4196468 140737126862768 140276937627728 140277467072411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8892] ppid=8880 vsize=13984976 memory=1384 CPUtime=2.35 cores=0,2,4,6
/proc/8882/task/8892/stat : 8892 (java) S 8880 8880 6338 0 -1 1077944384 19275 0 0 0 234 1 0 0 20 0 15 0 95214455 14320615424 55996 33554432000 4194304 4196468 140737126862768 140276936575600 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8893] ppid=8880 vsize=13984976 memory=1384 CPUtime=2.34 cores=0,2,4,6
/proc/8882/task/8893/stat : 8893 (java) S 8880 8880 6338 0 -1 1077944384 23336 0 0 0 232 2 0 0 20 0 15 0 95214455 14320615424 55996 33554432000 4194304 4196468 140737126862768 140276935522800 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8894] ppid=8880 vsize=13984976 memory=223984 CPUtime=0.52 cores=0,2,4,6
/proc/8882/task/8894/stat : 8894 (java) S 8880 8880 6338 0 -1 1077944384 6482 0 0 0 51 1 0 0 20 0 15 0 95214455 14320615424 55996 33554432000 4194304 4196468 140737126862768 140276934470512 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8895] ppid=8880 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8895/stat : 8895 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14320615424 55996 33554432000 4194304 4196468 140737126862768 140276933417952 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8896] ppid=8880 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/8882/task/8896/stat : 8896 (java) S 8880 8880 6338 0 -1 1077944384 1178 0 0 0 1 2 0 0 20 0 15 0 95214456 14320615424 55996 33554432000 4194304 4196468 140737126862768 140276932364720 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
Current children cumulated CPU time: 167.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 225368 KiB
[startup+222.301 s]
/proc/loadavg: 1.99 1.82 1.69 3/218 8977
/proc/meminfo: memFree=28503896/32770624 swapFree=67108860/67108860
[pid=8880] ppid=8877 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8880/stat : 8880 (xcsp3-exec) S 8877 8880 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95214449 9740288 346 33554432000 4194304 5098028 140722504828208 140722504826312 140601213817468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39477248 140722504832117 140722504832320 140722504832320 140722504835051 0
/proc/8880/statm: 2378 346 289 221 0 87 0
[pid=8882] ppid=8880 vsize=13984976 memory=224016 CPUtime=227.62 cores=0,2,4,6
/proc/8882/stat : 8882 (java) S 8880 8880 6338 0 -1 1077944320 66325 0 0 0 22747 15 0 0 20 0 15 0 95214449 14320615424 56004 33554432000 4194304 4196468 140737126862768 140737126845312 140277467053815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
/proc/8882/statm: 3496244 56004 3264 1 0 3483478 0
[pid=8882/tid=8883] ppid=8880 vsize=13984976 memory=224016 CPUtime=222.26 cores=0,2,4,6
/proc/8882/task/8883/stat : 8883 (java) R 8880 8880 6338 0 -1 4202560 12472 0 0 0 22222 4 0 0 20 0 15 0 95214450 14320615424 56004 33554432000 4194304 4196468 140737126862768 140277471292760 140277075702673 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8884] ppid=8880 vsize=13984976 memory=224012 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8884/stat : 8884 (java) S 8880 8880 6338 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 56004 33554432000 4194304 4196468 140737126862768 140277397142416 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8885] ppid=8880 vsize=13984976 memory=224016 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8885/stat : 8885 (java) S 8880 8880 6338 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 56004 33554432000 4194304 4196468 140737126862768 140277396089616 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8886] ppid=8880 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8886/stat : 8886 (java) S 8880 8880 6338 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 56004 33554432000 4194304 4196468 140737126862768 140277395037328 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8887] ppid=8880 vsize=13984976 memory=224016 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8887/stat : 8887 (java) S 8880 8880 6338 0 -1 1077944384 749 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 56004 33554432000 4194304 4196468 140737126862768 140277393984528 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8888] ppid=8880 vsize=13984976 memory=224016 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8888/stat : 8888 (java) S 8880 8880 6338 0 -1 1077944384 802 0 0 0 0 0 0 0 20 0 15 0 95214452 14320615424 56004 33554432000 4194304 4196468 140737126862768 140276940785776 140277467064962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8889] ppid=8880 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8889/stat : 8889 (java) S 8880 8880 6338 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 95214452 14320615424 56004 33554432000 4194304 4196468 140737126862768 140276939731744 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8890] ppid=8880 vsize=13984976 memory=55 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8890/stat : 8890 (java) S 8880 8880 6338 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95214453 14320615424 56004 33554432000 4194304 4196468 140737126862768 140276938679408 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8891] ppid=8880 vsize=13984976 memory=6508 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8891/stat : 8891 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14320615424 56004 33554432000 4194304 4196468 140737126862768 140276937627728 140277467072411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8892] ppid=8880 vsize=13984976 memory=840 CPUtime=2.35 cores=0,2,4,6
/proc/8882/task/8892/stat : 8892 (java) S 8880 8880 6338 0 -1 1077944384 19519 0 0 0 234 1 0 0 20 0 15 0 95214455 14320615424 56004 33554432000 4194304 4196468 140737126862768 140276936575600 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8893] ppid=8880 vsize=13984976 memory=1384 CPUtime=2.34 cores=0,2,4,6
/proc/8882/task/8893/stat : 8893 (java) S 8880 8880 6338 0 -1 1077944384 23350 0 0 0 232 2 0 0 20 0 15 0 95214455 14320615424 56004 33554432000 4194304 4196468 140737126862768 140276935522800 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8894] ppid=8880 vsize=13984976 memory=1384 CPUtime=0.52 cores=0,2,4,6
/proc/8882/task/8894/stat : 8894 (java) S 8880 8880 6338 0 -1 1077944384 6484 0 0 0 51 1 0 0 20 0 15 0 95214455 14320615424 56004 33554432000 4194304 4196468 140737126862768 140276934470512 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8895] ppid=8880 vsize=13984976 memory=224016 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8895/stat : 8895 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14320615424 56004 33554432000 4194304 4196468 140737126862768 140276933417952 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8896] ppid=8880 vsize=13984976 memory=4096 CPUtime=0.04 cores=0,2,4,6
/proc/8882/task/8896/stat : 8896 (java) S 8880 8880 6338 0 -1 1077944384 1193 0 0 0 2 2 0 0 20 0 15 0 95214456 14320615424 56004 33554432000 4194304 4196468 140737126862768 140276932364720 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
Current children cumulated CPU time: 227.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 225400 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.99 1.83 1.70 3/218 8978
/proc/meminfo: memFree=28501856/32770624 swapFree=67108860/67108860
[pid=8880] ppid=8877 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8880/stat : 8880 (xcsp3-exec) S 8877 8880 6338 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 95214449 9740288 346 33554432000 4194304 5098028 140722504828208 140722504826312 140601213817468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39477248 140722504832117 140722504832320 140722504832320 140722504835051 0
/proc/8880/statm: 2378 346 289 221 0 87 0
[pid=8882] ppid=8880 vsize=13984976 memory=224032 CPUtime=245.34 cores=0,2,4,6
/proc/8882/stat : 8882 (java) S 8880 8880 6338 0 -1 1077944320 67099 0 0 0 24519 15 0 0 20 0 15 0 95214449 14320615424 56008 33554432000 4194304 4196468 140737126862768 140737126845312 140277467053815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
/proc/8882/statm: 3496244 56008 3264 1 0 3483478 0
[pid=8882/tid=8883] ppid=8880 vsize=13984976 memory=8112282956445269571 CPUtime=239.97 cores=0,2,4,6
/proc/8882/task/8883/stat : 8883 (java) R 8880 8880 6338 0 -1 4202560 12797 0 0 0 23993 4 0 0 20 0 15 0 95214450 14320615424 56008 33554432000 4194304 4196468 140737126862768 140277471290360 140277075769581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8884] ppid=8880 vsize=13984976 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8884/stat : 8884 (java) S 8880 8880 6338 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 56008 33554432000 4194304 4196468 140737126862768 140277397142416 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8885] ppid=8880 vsize=13984976 memory=636 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8885/stat : 8885 (java) S 8880 8880 6338 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 56008 33554432000 4194304 4196468 140737126862768 140277396089616 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8886] ppid=8880 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8886/stat : 8886 (java) S 8880 8880 6338 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 56008 33554432000 4194304 4196468 140737126862768 140277395037328 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8887] ppid=8880 vsize=13984976 memory=960 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8887/stat : 8887 (java) S 8880 8880 6338 0 -1 1077944384 749 0 0 0 0 0 0 0 20 0 15 0 95214451 14320615424 56008 33554432000 4194304 4196468 140737126862768 140277393984528 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8888] ppid=8880 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8888/stat : 8888 (java) S 8880 8880 6338 0 -1 1077944384 804 0 0 0 0 0 0 0 20 0 15 0 95214452 14320615424 56008 33554432000 4194304 4196468 140737126862768 140276940785776 140277467064962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8889] ppid=8880 vsize=13984976 memory=6508 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8889/stat : 8889 (java) S 8880 8880 6338 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 95214452 14320615424 56008 33554432000 4194304 4196468 140737126862768 140276939731744 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8890] ppid=8880 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8890/stat : 8890 (java) S 8880 8880 6338 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95214453 14320615424 56008 33554432000 4194304 4196468 140737126862768 140276938679408 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8891] ppid=8880 vsize=13984976 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8891/stat : 8891 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14320615424 56008 33554432000 4194304 4196468 140737126862768 140276937627728 140277467072411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8892] ppid=8880 vsize=13984976 memory=916 CPUtime=2.36 cores=0,2,4,6
/proc/8882/task/8892/stat : 8892 (java) S 8880 8880 6338 0 -1 1077944384 19520 0 0 0 235 1 0 0 20 0 15 0 95214455 14320615424 56008 33554432000 4194304 4196468 140737126862768 140276936575600 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8893] ppid=8880 vsize=13984976 memory=3832 CPUtime=2.35 cores=0,2,4,6
/proc/8882/task/8893/stat : 8893 (java) S 8880 8880 6338 0 -1 1077944384 23712 0 0 0 233 2 0 0 20 0 15 0 95214455 14320615424 56008 33554432000 4194304 4196468 140737126862768 140276935522800 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8894] ppid=8880 vsize=13984976 memory=4100 CPUtime=0.52 cores=0,2,4,6
/proc/8882/task/8894/stat : 8894 (java) S 8880 8880 6338 0 -1 1077944384 6547 0 0 0 51 1 0 0 20 0 15 0 95214455 14320615424 56008 33554432000 4194304 4196468 140737126862768 140276934470512 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8895] ppid=8880 vsize=13984976 memory=2624 CPUtime=0 cores=0,2,4,6
/proc/8882/task/8895/stat : 8895 (java) S 8880 8880 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95214455 14320615424 56008 33554432000 4194304 4196468 140737126862768 140276933417952 140277467064021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
[pid=8882/tid=8896] ppid=8880 vsize=13984976 memory=2540 CPUtime=0.04 cores=0,2,4,6
/proc/8882/task/8896/stat : 8896 (java) S 8880 8880 6338 0 -1 1077944384 1214 0 0 0 2 2 0 0 20 0 15 0 95214456 14320615424 56008 33554432000 4194304 4196468 140737126862768 140276932364720 140277467064962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 29700096 140737126864029 140737126864204 140737126864204 140737126866895 0
Current children cumulated CPU time: 245.34 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 225416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 8880 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001832 s, system=0 s
[startup+240.024 s]
# the end of solver process 8882 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.208 s, system=0.158059 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.024
CPU time (s): 245.366
CPU user time (s): 245.208
CPU system time (s): 0.158059
CPU usage (%): 102.225
Max. virtual memory (cumulated for all children) (KiB): 13996560
Max. memory (cumulated for all children) (KiB): 225416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.208
system time used= 0.158059
maximum resident set size= 224552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68221
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7927
involuntary context switches= 324
# summary of solver processes directly reported to runsolver:
# pid: 8880,8882
# total CPU time (s): 245.366
# total CPU user time (s): 245.208
# total CPU system time (s): 0.158059
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32872 second user time and 2.22863 second system time
The end
Begin job on node148 at 2017-08-13 12:34:35 IDJOB=4270034 IDBENCH=124212 IDSOLVER=2661 FILE ID=node148/4270034-1502621334 RUNJOBID= node148-1502619919-8346 PBS_JOBID= 20628305 Free space on /tmp= 61608 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-2.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270034-1502621334/watcher-4270034-1502621334 -o /tmp/evaluation-result-4270034-1502621334/solver-4270034-1502621334 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502619919-8346 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 372260472 HOME/instance-4270034-1502621334.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e28ebc68094c3335bce51ae11fa43933 RANDOM SEED=372260472 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28826672 kB MemAvailable: 31904428 kB Buffers: 188724 kB Cached: 3179020 kB SwapCached: 0 kB Active: 835528 kB Inactive: 2674992 kB Active(anon): 93804 kB Inactive(anon): 76924 kB Active(file): 741724 kB Inactive(file): 2598068 kB Unevictable: 6208 kB Mlocked: 6208 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8168 kB Writeback: 0 kB AnonPages: 148832 kB Mapped: 55596 kB Shmem: 25224 kB Slab: 134028 kB SReclaimable: 107600 kB SUnreclaim: 26428 kB KernelStack: 3568 kB PageTables: 5992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1292400 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 53248 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61600 MiB End job on node148 at 2017-08-13 12:38:36