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-18) | SAT (TO) | 126 | 2520.04 | 2514.1299 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml |
| MD5SUM | 0b4fb4a315b6bd8f0348750a3d90443f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 102 |
| Best CPU time to get the best result obtained on this benchmark | 2400.12 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3066 |
| Number of constraints | 168 |
| Number of domains | 13 |
| Minimum domain size | 2 |
| Maximum domain size | 18 |
| Distribution of domain sizes | [{"size":2,"count":146},{"size":3,"count":292},{"size":4,"count":146},{"size":5,"count":146},{"size":6,"count":146},{"size":8,"count":438},{"size":10,"count":292},{"size":11,"count":146},{"size":14,"count":292},{"size":15,"count":292},{"size":16,"count":146},{"size":17,"count":292},{"size":18,"count":292}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":3066}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 2920 |
| Distribution of constraint arities | [{"arity":21,"count":146},{"arity":146,"count":21},{"arity":2920,"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":166}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.10 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281795-1503117295.xml" -tl '2520s' -p 1 -x 0 0.05/0.29 c [HOME/instance-4281795-1503117295.xml, -tl, 2520s, -p, 1, -x, 0] 0.25/0.35 c simple solver 0.25/0.42 c parse instance... 1.14/0.70 c solve instance... 26.36/22.50 o 146 26.36/22.53 o 145 26.36/22.54 o 144 32.84/28.66 o 143 36.11/31.85 o 142 39.84/35.50 o 141 39.94/35.63 o 140 39.94/35.66 o 139 40.10/35.73 o 138 382.88/377.74 o 137 405.62/400.46 o 135 406.73/401.59 o 134 409.43/404.25 o 133 431.14/425.94 o 132 431.55/426.38 o 131 431.55/426.40 o 130 525.66/520.45 o 129 526.29/521.01 o 128 526.29/521.08 o 127 526.41/521.13 o 126 2520.01/2514.11 s SATISFIABLE 2520.01/2514.11 v <instantiation> 2520.01/2514.11 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] 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] </list> 2520.01/2514.11 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 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 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 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 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 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 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 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 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 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 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 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 2520.01/2514.11 v </instantiation> 2520.01/2514.11 c Unexpected resolution interruption!
OK 126
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 (14714 MiB free)
memory of node 1: 16384 MiB (15443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281795-1503117295/watcher-4281795-1503117295 -o /tmp/evaluation-result-4281795-1503117295/solver-4281795-1503117295 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28951 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1459402321 HOME/instance-4281795-1503117295.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=32747, runsolver pid=32744
[startup+0.100151 s]*
/proc/loadavg: 1.84 1.80 1.75 2/199 32748
/proc/meminfo: memFree=30881840/32770624 swapFree=67108860/67108860
[pid=32747] ppid=32744 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32747/stat : 32747 (xcsp3-exec) S 32744 32747 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113922531 9740288 344 18446744073709551615 4194304 5098028 140727989242848 140727989240952 139867042849404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 28123136 140727989244280 140727989244485 140727989244485 140727989247979 0
/proc/32747/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB
[startup+0.20954 s]*
/proc/loadavg: 1.84 1.80 1.75 2/213 32762
/proc/meminfo: memFree=30869424/32770624 swapFree=67108860/67108860
[pid=32747] ppid=32744 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32747/stat : 32747 (xcsp3-exec) S 32744 32747 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113922531 9740288 344 18446744073709551615 4194304 5098028 140727989242848 140727989240952 139867042849404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 28123136 140727989244280 140727989244485 140727989244485 140727989247979 0
/proc/32747/statm: 2378 344 289 221 0 87 0
[pid=32749] ppid=32747 vsize=13974352 memory=23096 CPUtime=0.05 cores=1,3,5,7
/proc/32749/stat : 32749 (java) S 32747 32747 28892 0 -1 1077944320 4715 0 0 0 5 0 0 0 20 0 15 0 113922541 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140723210876672 140549918064375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
/proc/32749/statm: 3493588 5774 2672 1 0 3482964 0
[pid=32749/tid=32750] ppid=32747 vsize=13974352 memory=8390339637985935414 CPUtime=0.04 cores=1,3,5,7
/proc/32749/task/32750/stat : 32750 (java) R 32747 32747 28892 0 -1 4202560 2874 0 0 0 4 0 0 0 20 0 15 0 113922542 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549922294256 140549918086301 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32751] ppid=32747 vsize=13974352 memory=288230604708001210 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32751/stat : 32751 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922542 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549518178832 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32752] ppid=32747 vsize=13974352 memory=3904821084527146656 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32752/stat : 32752 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922542 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549517126288 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32753] ppid=32747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32753/stat : 32753 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922542 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549516073232 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32754] ppid=32747 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32754/stat : 32754 (java) S 32747 32747 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113922542 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549515020688 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32755] ppid=32747 vsize=13974352 memory=140592611735168 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32755/stat : 32755 (java) S 32747 32747 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113922544 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549463792368 140549918075522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32756] ppid=32747 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32756/stat : 32756 (java) S 32747 32747 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113922544 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549462738592 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32757] ppid=32747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32757/stat : 32757 (java) S 32747 32747 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113922544 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549461685488 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32758] ppid=32747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32758/stat : 32758 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549460634064 140549918082971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32759] ppid=32747 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32759/stat : 32759 (java) S 32747 32747 28892 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 113922547 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549459581168 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32760] ppid=32747 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32760/stat : 32760 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549458528624 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32761] ppid=32747 vsize=13974352 memory=140592611735168 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32761/stat : 32761 (java) S 32747 32747 28892 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 15 0 113922547 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549457475568 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32762] ppid=32747 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32762/stat : 32762 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549456423264 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32763] ppid=32747 vsize=13974352 memory=140592611735168 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32763/stat : 32763 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922552 14309736448 5774 18446744073709551615 4194304 4196468 140723210894128 140549455371312 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24472 KiB
[startup+0.310349 s]*
/proc/loadavg: 1.84 1.80 1.75 4/214 32763
/proc/meminfo: memFree=30859628/32770624 swapFree=67108860/67108860
[pid=32747] ppid=32744 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32747/stat : 32747 (xcsp3-exec) S 32744 32747 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113922531 9740288 344 18446744073709551615 4194304 5098028 140727989242848 140727989240952 139867042849404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 28123136 140727989244280 140727989244485 140727989244485 140727989247979 0
/proc/32747/statm: 2378 344 289 221 0 87 0
[pid=32749] ppid=32747 vsize=13975376 memory=37380 CPUtime=0.25 cores=1,3,5,7
/proc/32749/stat : 32749 (java) S 32747 32747 28892 0 -1 1077944320 7569 0 0 0 23 2 0 0 20 0 15 0 113922541 14310785024 9279 18446744073709551615 4194304 4196468 140723210894128 140723210876672 140549918064375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
/proc/32749/statm: 3493844 9279 2978 1 0 3483220 0
[pid=32749/tid=32750] ppid=32747 vsize=13975376 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/32749/task/32750/stat : 32750 (java) R 32747 32747 28892 0 -1 4202560 4966 0 0 0 14 1 0 0 20 0 15 0 113922542 14310785024 9345 18446744073709551615 4194304 4196468 140723210894128 140549922275616 140549910744093 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32751] ppid=32747 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32751/stat : 32751 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922542 14310785024 9411 18446744073709551615 4194304 4196468 140723210894128 140549518178832 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32752] ppid=32747 vsize=13975376 memory=140592611735168 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32752/stat : 32752 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922542 14310785024 9411 18446744073709551615 4194304 4196468 140723210894128 140549517126288 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32753] ppid=32747 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32753/stat : 32753 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922542 14310785024 9411 18446744073709551615 4194304 4196468 140723210894128 140549516073232 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32754] ppid=32747 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32754/stat : 32754 (java) S 32747 32747 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113922542 14310785024 9411 18446744073709551615 4194304 4196468 140723210894128 140549515020688 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32755] ppid=32747 vsize=13975376 memory=140592611735168 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32755/stat : 32755 (java) S 32747 32747 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113922544 14310785024 9477 18446744073709551615 4194304 4196468 140723210894128 140549463792368 140549918075522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32756] ppid=32747 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32756/stat : 32756 (java) S 32747 32747 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113922544 14310785024 9477 18446744073709551615 4194304 4196468 140723210894128 140549462738592 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32757] ppid=32747 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32757/stat : 32757 (java) S 32747 32747 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113922544 14310785024 9477 18446744073709551615 4194304 4196468 140723210894128 140549461685488 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32758] ppid=32747 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32758/stat : 32758 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14310785024 9477 18446744073709551615 4194304 4196468 140723210894128 140549460634064 140549918082971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32759] ppid=32747 vsize=13975376 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32749/task/32759/stat : 32759 (java) S 32747 32747 28892 0 -1 1077944384 613 0 0 0 2 0 0 0 20 0 15 0 113922547 14310785024 9477 18446744073709551615 4194304 4196468 140723210894128 140549459581168 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32760] ppid=32747 vsize=13975376 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32749/task/32760/stat : 32760 (java) S 32747 32747 28892 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 15 0 113922547 14310785024 9477 18446744073709551615 4194304 4196468 140723210894128 140549458528624 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32761] ppid=32747 vsize=13975376 memory=140592611735168 CPUtime=0.05 cores=1,3,5,7
/proc/32749/task/32761/stat : 32761 (java) S 32747 32747 28892 0 -1 1077944384 683 0 0 0 5 0 0 0 20 0 15 0 113922547 14310785024 9543 18446744073709551615 4194304 4196468 140723210894128 140549457475568 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32762] ppid=32747 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32762/stat : 32762 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14310785024 9543 18446744073709551615 4194304 4196468 140723210894128 140549456423264 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32763] ppid=32747 vsize=13975376 memory=140592611735168 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32763/stat : 32763 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922552 14310785024 9543 18446744073709551615 4194304 4196468 140723210894128 140549455371312 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 38756 KiB
[startup+0.700835 s]
/proc/loadavg: 1.84 1.80 1.75 6/214 32763
/proc/meminfo: memFree=30843132/32770624 swapFree=67108860/67108860
[pid=32747] ppid=32744 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32747/stat : 32747 (xcsp3-exec) S 32744 32747 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113922531 9740288 344 18446744073709551615 4194304 5098028 140727989242848 140727989240952 139867042849404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 28123136 140727989244280 140727989244485 140727989244485 140727989247979 0
/proc/32747/statm: 2378 344 289 221 0 87 0
[pid=32749] ppid=32747 vsize=13980732 memory=68952 CPUtime=1.14 cores=1,3,5,7
/proc/32749/stat : 32749 (java) S 32747 32747 28892 0 -1 1077944320 11787 0 0 0 110 4 0 0 20 0 15 0 113922541 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140723210876672 140549918064375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
/proc/32749/statm: 3495183 17238 3166 1 0 3483476 0
[pid=32749/tid=32750] ppid=32747 vsize=13980732 memory=34928 CPUtime=0.52 cores=1,3,5,7
/proc/32749/task/32750/stat : 32750 (java) R 32747 32747 28892 0 -1 4202560 7979 0 0 0 49 3 0 0 20 0 15 0 113922542 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549922300640 140549902144892 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32751] ppid=32747 vsize=13980732 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32751/stat : 32751 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922542 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549518178832 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32752] ppid=32747 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32752/stat : 32752 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922542 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549517126288 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32753] ppid=32747 vsize=13980732 memory=960 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32753/stat : 32753 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922542 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549516073232 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32754] ppid=32747 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32754/stat : 32754 (java) S 32747 32747 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113922542 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549515020688 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32755] ppid=32747 vsize=13980732 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32755/stat : 32755 (java) S 32747 32747 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113922544 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549463792368 140549918075522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32756] ppid=32747 vsize=13980732 memory=4300 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32756/stat : 32756 (java) S 32747 32747 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113922544 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549462738592 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32757] ppid=32747 vsize=13980732 memory=932 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32757/stat : 32757 (java) S 32747 32747 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113922544 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549461685488 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32758] ppid=32747 vsize=13980732 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32758/stat : 32758 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549460634064 140549918082971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32759] ppid=32747 vsize=13980732 memory=2160 CPUtime=0.15 cores=1,3,5,7
/proc/32749/task/32759/stat : 32759 (java) S 32747 32747 28892 0 -1 1077944384 834 0 0 0 15 0 0 0 20 0 15 0 113922547 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549459581168 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32760] ppid=32747 vsize=13980732 memory=844 CPUtime=0.15 cores=1,3,5,7
/proc/32749/task/32760/stat : 32760 (java) S 32747 32747 28892 0 -1 1077944384 427 0 0 0 15 0 0 0 20 0 15 0 113922547 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549458528624 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32761] ppid=32747 vsize=13980732 memory=50452 CPUtime=0.29 cores=1,3,5,7
/proc/32749/task/32761/stat : 32761 (java) S 32747 32747 28892 0 -1 1077944384 1240 0 0 0 29 0 0 0 20 0 15 0 113922547 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549457475568 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32762] ppid=32747 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32762/stat : 32762 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549456423264 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32763] ppid=32747 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32763/stat : 32763 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922552 14316269568 17238 18446744073709551615 4194304 4196468 140723210894128 140549455371312 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70328 KiB
[startup+1.50081 s]
/proc/loadavg: 1.84 1.80 1.75 5/214 32763
/proc/meminfo: memFree=30810368/32770624 swapFree=67108860/67108860
[pid=32747] ppid=32744 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32747/stat : 32747 (xcsp3-exec) S 32744 32747 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113922531 9740288 344 18446744073709551615 4194304 5098028 140727989242848 140727989240952 139867042849404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 28123136 140727989244280 140727989244485 140727989244485 140727989247979 0
/proc/32747/statm: 2378 344 289 221 0 87 0
[pid=32749] ppid=32747 vsize=13980732 memory=87408 CPUtime=3.08 cores=1,3,5,7
/proc/32749/stat : 32749 (java) S 32747 32747 28892 0 -1 1077944320 18670 0 0 0 303 5 0 0 20 0 15 0 113922541 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140723210876672 140549918064375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
/proc/32749/statm: 3495183 21852 3188 1 0 3483476 0
[pid=32749/tid=32750] ppid=32747 vsize=13980732 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/32749/task/32750/stat : 32750 (java) R 32747 32747 28892 0 -1 4202560 8386 0 0 0 129 3 0 0 20 0 15 0 113922542 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549922303464 140549537247371 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32751] ppid=32747 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32751/stat : 32751 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922542 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549518178832 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32752] ppid=32747 vsize=13980732 memory=61416 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32752/stat : 32752 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922542 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549517126288 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32753] ppid=32747 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32753/stat : 32753 (java) S 32747 32747 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113922542 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549516073232 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32754] ppid=32747 vsize=13980732 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32754/stat : 32754 (java) S 32747 32747 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113922542 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549515020688 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32755] ppid=32747 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32755/stat : 32755 (java) S 32747 32747 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113922544 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549463792368 140549918075522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32756] ppid=32747 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32756/stat : 32756 (java) S 32747 32747 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113922544 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549462738592 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32757] ppid=32747 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32757/stat : 32757 (java) S 32747 32747 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113922544 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549461685488 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32758] ppid=32747 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32758/stat : 32758 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549460634064 140549918082971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32759] ppid=32747 vsize=13980732 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/32749/task/32759/stat : 32759 (java) S 32747 32747 28892 0 -1 1077944384 4001 0 0 0 66 0 0 0 20 0 15 0 113922547 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549459581168 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32760] ppid=32747 vsize=13980732 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/32749/task/32760/stat : 32760 (java) S 32747 32747 28892 0 -1 1077944384 2812 0 0 0 68 0 0 0 20 0 15 0 113922547 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549458528624 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32761] ppid=32747 vsize=13980732 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/32749/task/32761/stat : 32761 (java) S 32747 32747 28892 0 -1 1077944384 2158 0 0 0 38 0 0 0 20 0 15 0 113922547 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549457475568 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32762] ppid=32747 vsize=13980732 memory=43772361331 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32762/stat : 32762 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549456423264 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32763] ppid=32747 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32763/stat : 32763 (java) S 32747 32747 28892 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 113922552 14316269568 21852 18446744073709551615 4194304 4196468 140723210894128 140549455371312 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
################
# More data... #
################
/proc/32749/task/32757/stat : 32757 (java) S 32747 32747 28892 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 113922544 14316269568 53570 18446744073709551615 4194304 4196468 140723210894128 140549461685488 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32758] ppid=32747 vsize=13980732 memory=214280 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32758/stat : 32758 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14316269568 53570 18446744073709551615 4194304 4196468 140723210894128 140549460634064 140549918082971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32759] ppid=32747 vsize=13980732 memory=214280 CPUtime=2.65 cores=1,3,5,7
/proc/32749/task/32759/stat : 32759 (java) S 32747 32747 28892 0 -1 1077944384 22216 0 0 0 262 3 0 0 20 0 15 0 113922547 14316269568 53570 18446744073709551615 4194304 4196468 140723210894128 140549459581168 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32760] ppid=32747 vsize=13980732 memory=214280 CPUtime=2.31 cores=1,3,5,7
/proc/32749/task/32760/stat : 32760 (java) S 32747 32747 28892 0 -1 1077944384 19479 0 0 0 230 1 0 0 20 0 15 0 113922547 14316269568 53570 18446744073709551615 4194304 4196468 140723210894128 140549458528624 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32761] ppid=32747 vsize=13980732 memory=214280 CPUtime=0.53 cores=1,3,5,7
/proc/32749/task/32761/stat : 32761 (java) S 32747 32747 28892 0 -1 1077944384 6240 0 0 0 52 1 0 0 20 0 15 0 113922547 14316269568 53570 18446744073709551615 4194304 4196468 140723210894128 140549457475568 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32762] ppid=32747 vsize=13980732 memory=214280 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32762/stat : 32762 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14316269568 53570 18446744073709551615 4194304 4196468 140723210894128 140549456423264 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32763] ppid=32747 vsize=13980732 memory=1376 CPUtime=0.47 cores=1,3,5,7
/proc/32749/task/32763/stat : 32763 (java) S 32747 32747 28892 0 -1 1077944384 790 0 0 0 23 24 0 0 20 0 15 0 113922552 14316269568 53570 18446744073709551615 4194304 4196468 140723210894128 140549455371312 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
Current children cumulated CPU time: 2448.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215656 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/215 739
/proc/meminfo: memFree=30668812/32770624 swapFree=67108860/67108860
[pid=32747] ppid=32744 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32747/stat : 32747 (xcsp3-exec) S 32744 32747 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113922531 9740288 344 18446744073709551615 4194304 5098028 140727989242848 140727989240952 139867042849404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 28123136 140727989244280 140727989244485 140727989244485 140727989247979 0
/proc/32747/statm: 2378 344 289 221 0 87 0
[pid=32749] ppid=32747 vsize=13980732 memory=211716 CPUtime=2508.2 cores=1,3,5,7
/proc/32749/stat : 32749 (java) S 32747 32747 28892 0 -1 1077944320 78557 0 0 0 250783 37 0 0 20 0 15 0 113922541 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140723210876672 140549918064375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
/proc/32749/statm: 3495183 52929 3235 1 0 3483476 0
[pid=32749/tid=32750] ppid=32747 vsize=13980732 memory=211716 CPUtime=2501.94 cores=1,3,5,7
/proc/32749/task/32750/stat : 32750 (java) R 32747 32747 28892 0 -1 4202560 19878 0 0 0 250188 6 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549922304160 140549537538449 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32751] ppid=32747 vsize=13980732 memory=214280 CPUtime=0.03 cores=1,3,5,7
/proc/32749/task/32751/stat : 32751 (java) S 32747 32747 28892 0 -1 1077944384 2097 0 0 0 3 0 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549518178832 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32752] ppid=32747 vsize=13980732 memory=214280 CPUtime=0.04 cores=1,3,5,7
/proc/32749/task/32752/stat : 32752 (java) S 32747 32747 28892 0 -1 1077944384 1183 0 0 0 3 1 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549517126288 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32753] ppid=32747 vsize=13980732 memory=211716 CPUtime=0.03 cores=1,3,5,7
/proc/32749/task/32753/stat : 32753 (java) S 32747 32747 28892 0 -1 1077944384 1302 0 0 0 3 0 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549516073232 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32754] ppid=32747 vsize=13980732 memory=211716 CPUtime=0.03 cores=1,3,5,7
/proc/32749/task/32754/stat : 32754 (java) S 32747 32747 28892 0 -1 1077944384 845 0 0 0 3 0 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549515020688 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32755] ppid=32747 vsize=13980732 memory=211716 CPUtime=0.04 cores=1,3,5,7
/proc/32749/task/32755/stat : 32755 (java) S 32747 32747 28892 0 -1 1077944384 3151 0 0 0 3 1 0 0 20 0 15 0 113922544 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549463792368 140549918075522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32756] ppid=32747 vsize=13980732 memory=211716 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32756/stat : 32756 (java) S 32747 32747 28892 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 113922544 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549462738592 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32757] ppid=32747 vsize=13980732 memory=211716 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32757/stat : 32757 (java) S 32747 32747 28892 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 113922544 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549461685488 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32758] ppid=32747 vsize=13980732 memory=211716 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32758/stat : 32758 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549460634064 140549918082971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32759] ppid=32747 vsize=13980732 memory=1376 CPUtime=2.65 cores=1,3,5,7
/proc/32749/task/32759/stat : 32759 (java) S 32747 32747 28892 0 -1 1077944384 22218 0 0 0 262 3 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549459581168 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32760] ppid=32747 vsize=13980732 memory=211716 CPUtime=2.31 cores=1,3,5,7
/proc/32749/task/32760/stat : 32760 (java) S 32747 32747 28892 0 -1 1077944384 19482 0 0 0 230 1 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549458528624 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32761] ppid=32747 vsize=13980732 memory=1376 CPUtime=0.53 cores=1,3,5,7
/proc/32749/task/32761/stat : 32761 (java) S 32747 32747 28892 0 -1 1077944384 6242 0 0 0 52 1 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549457475568 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32762] ppid=32747 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32762/stat : 32762 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549456423264 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32763] ppid=32747 vsize=13980732 memory=211716 CPUtime=0.49 cores=1,3,5,7
/proc/32749/task/32763/stat : 32763 (java) S 32747 32747 28892 0 -1 1077944384 812 0 0 0 24 25 0 0 20 0 15 0 113922552 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549455371312 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
Current children cumulated CPU time: 2508.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 213092 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.11 s]
/proc/loadavg: 2.01 2.02 1.97 3/215 739
/proc/meminfo: memFree=30668944/32770624 swapFree=67108860/67108860
[pid=32747] ppid=32744 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32747/stat : 32747 (xcsp3-exec) S 32744 32747 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113922531 9740288 344 18446744073709551615 4194304 5098028 140727989242848 140727989240952 139867042849404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 28123136 140727989244280 140727989244485 140727989244485 140727989247979 0
/proc/32747/statm: 2378 344 289 221 0 87 0
[pid=32749] ppid=32747 vsize=13980732 memory=211716 CPUtime=2520.01 cores=1,3,5,7
/proc/32749/stat : 32749 (java) S 32747 32747 28892 0 -1 1077944320 78560 0 0 0 251964 37 0 0 20 0 15 0 113922541 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140723210876672 140549918064375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
/proc/32749/statm: 3495183 52929 3235 1 0 3483476 0
[pid=32749/tid=32750] ppid=32747 vsize=13980732 memory=1376 CPUtime=2513.75 cores=1,3,5,7
/proc/32749/task/32750/stat : 32750 (java) R 32747 32747 28892 0 -1 4202560 19881 0 0 0 251369 6 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549922304160 140549537538570 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32751] ppid=32747 vsize=13980732 memory=1376 CPUtime=0.03 cores=1,3,5,7
/proc/32749/task/32751/stat : 32751 (java) S 32747 32747 28892 0 -1 1077944384 2097 0 0 0 3 0 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549518178832 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32752] ppid=32747 vsize=13980732 memory=211716 CPUtime=0.04 cores=1,3,5,7
/proc/32749/task/32752/stat : 32752 (java) S 32747 32747 28892 0 -1 1077944384 1183 0 0 0 3 1 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549517126288 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32753] ppid=32747 vsize=13980732 memory=211716 CPUtime=0.03 cores=1,3,5,7
/proc/32749/task/32753/stat : 32753 (java) S 32747 32747 28892 0 -1 1077944384 1302 0 0 0 3 0 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549516073232 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32754] ppid=32747 vsize=13980732 memory=211716 CPUtime=0.03 cores=1,3,5,7
/proc/32749/task/32754/stat : 32754 (java) S 32747 32747 28892 0 -1 1077944384 845 0 0 0 3 0 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549515020688 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32755] ppid=32747 vsize=13980732 memory=211716 CPUtime=0.04 cores=1,3,5,7
/proc/32749/task/32755/stat : 32755 (java) S 32747 32747 28892 0 -1 1077944384 3151 0 0 0 3 1 0 0 20 0 15 0 113922544 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549463792368 140549918075522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32756] ppid=32747 vsize=13980732 memory=211716 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32756/stat : 32756 (java) S 32747 32747 28892 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 113922544 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549462738592 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32757] ppid=32747 vsize=13980732 memory=211716 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32757/stat : 32757 (java) S 32747 32747 28892 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 113922544 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549461685488 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32758] ppid=32747 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32758/stat : 32758 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549460634064 140549918082971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32759] ppid=32747 vsize=13980732 memory=0 CPUtime=2.65 cores=1,3,5,7
/proc/32749/task/32759/stat : 32759 (java) S 32747 32747 28892 0 -1 1077944384 22218 0 0 0 262 3 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549459581168 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32760] ppid=32747 vsize=13980732 memory=1376 CPUtime=2.31 cores=1,3,5,7
/proc/32749/task/32760/stat : 32760 (java) S 32747 32747 28892 0 -1 1077944384 19482 0 0 0 230 1 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549458528624 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32761] ppid=32747 vsize=13980732 memory=214280 CPUtime=0.53 cores=1,3,5,7
/proc/32749/task/32761/stat : 32761 (java) S 32747 32747 28892 0 -1 1077944384 6242 0 0 0 52 1 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549457475568 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32762] ppid=32747 vsize=13980732 memory=211716 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32762/stat : 32762 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549456423264 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32763] ppid=32747 vsize=13980732 memory=1376 CPUtime=0.49 cores=1,3,5,7
/proc/32749/task/32763/stat : 32763 (java) S 32747 32747 28892 0 -1 1077944384 812 0 0 0 24 25 0 0 20 0 15 0 113922552 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549455371312 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 213092 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.12 s]
# the end of solver process 32747 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000942 s, system=0.000942 s
[startup+2514.13 s]
# the end of solver process 32749 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.66 s, system=0.378965 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
[startup+2514.11 s]
/proc/loadavg: 2.01 2.02 1.97 3/215 739
/proc/meminfo: memFree=30668944/32770624 swapFree=67108860/67108860
[pid=32747] ppid=32744 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32747/stat : 32747 (xcsp3-exec) S 32744 32747 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113922531 9740288 344 18446744073709551615 4194304 5098028 140727989242848 140727989240952 139867042849404 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 28123136 140727989244280 140727989244485 140727989244485 140727989247979 0
/proc/32747/statm: 2378 344 289 221 0 87 0
[pid=32749] ppid=32747 vsize=13980732 memory=211716 CPUtime=2520.01 cores=1,3,5,7
/proc/32749/stat : 32749 (java) S 32747 32747 28892 0 -1 1077944320 78560 0 0 0 251964 37 0 0 20 0 15 0 113922541 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140723210876672 140549918064375 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
/proc/32749/statm: 3495183 52929 3235 1 0 3483476 0
[pid=32749/tid=32750] ppid=32747 vsize=13980732 memory=1376 CPUtime=2513.75 cores=1,3,5,7
/proc/32749/task/32750/stat : 32750 (java) R 32747 32747 28892 0 -1 4202560 19881 0 0 0 251369 6 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549922304160 140549537538570 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32751] ppid=32747 vsize=13980732 memory=1376 CPUtime=0.03 cores=1,3,5,7
/proc/32749/task/32751/stat : 32751 (java) S 32747 32747 28892 0 -1 1077944384 2097 0 0 0 3 0 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549518178832 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32752] ppid=32747 vsize=13980732 memory=211716 CPUtime=0.04 cores=1,3,5,7
/proc/32749/task/32752/stat : 32752 (java) S 32747 32747 28892 0 -1 1077944384 1183 0 0 0 3 1 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549517126288 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32753] ppid=32747 vsize=13980732 memory=211716 CPUtime=0.03 cores=1,3,5,7
/proc/32749/task/32753/stat : 32753 (java) S 32747 32747 28892 0 -1 1077944384 1302 0 0 0 3 0 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549516073232 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32754] ppid=32747 vsize=13980732 memory=211716 CPUtime=0.03 cores=1,3,5,7
/proc/32749/task/32754/stat : 32754 (java) S 32747 32747 28892 0 -1 1077944384 845 0 0 0 3 0 0 0 20 0 15 0 113922542 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549515020688 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32755] ppid=32747 vsize=13980732 memory=211716 CPUtime=0.04 cores=1,3,5,7
/proc/32749/task/32755/stat : 32755 (java) S 32747 32747 28892 0 -1 1077944384 3151 0 0 0 3 1 0 0 20 0 15 0 113922544 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549463792368 140549918075522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32756] ppid=32747 vsize=13980732 memory=211716 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32756/stat : 32756 (java) S 32747 32747 28892 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 113922544 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549462738592 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32757] ppid=32747 vsize=13980732 memory=211716 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32757/stat : 32757 (java) S 32747 32747 28892 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 113922544 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549461685488 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32758] ppid=32747 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32758/stat : 32758 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549460634064 140549918082971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32759] ppid=32747 vsize=13980732 memory=0 CPUtime=2.65 cores=1,3,5,7
/proc/32749/task/32759/stat : 32759 (java) S 32747 32747 28892 0 -1 1077944384 22218 0 0 0 262 3 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549459581168 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32760] ppid=32747 vsize=13980732 memory=1376 CPUtime=2.31 cores=1,3,5,7
/proc/32749/task/32760/stat : 32760 (java) S 32747 32747 28892 0 -1 1077944384 19482 0 0 0 230 1 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549458528624 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32761] ppid=32747 vsize=13980732 memory=214280 CPUtime=0.53 cores=1,3,5,7
/proc/32749/task/32761/stat : 32761 (java) S 32747 32747 28892 0 -1 1077944384 6242 0 0 0 52 1 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549457475568 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32762] ppid=32747 vsize=13980732 memory=211716 CPUtime=0 cores=1,3,5,7
/proc/32749/task/32762/stat : 32762 (java) S 32747 32747 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113922547 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549456423264 140549918074581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
[pid=32749/tid=32763] ppid=32747 vsize=13980732 memory=1376 CPUtime=0.49 cores=1,3,5,7
/proc/32749/task/32763/stat : 32763 (java) S 32747 32747 28892 0 -1 1077944384 812 0 0 0 24 25 0 0 20 0 15 0 113922552 14316269568 52929 18446744073709551615 4194304 4196468 140723210894128 140549455371312 140549918075522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36339712 140723210899889 140723210900065 140723210900065 140723210903503 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 213092 KiB
Child status: 143
Real time (s): 2514.13
CPU time (s): 2520.04
CPU user time (s): 2519.66
CPU system time (s): 0.378965
CPU usage (%): 100.235
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 243412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.66
system time used= 0.378965
maximum resident set size= 248140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79310
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57597
involuntary context switches= 762
# summary of solver processes directly reported to runsolver:
# pid: 32747,32749
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.66
# total CPU system time (s): 0.378965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7869 second user time and 15.7977 second system time
The end
Begin job on node127 at 2017-08-19 06:20:44 IDJOB=4281795 IDBENCH=124142 IDSOLVER=2677 FILE ID=node127/4281795-1503117295 RUNJOBID= node127-1503095799-28951 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-3.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-4281795-1503117295/watcher-4281795-1503117295 -o /tmp/evaluation-result-4281795-1503117295/solver-4281795-1503117295 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28951 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1459402321 HOME/instance-4281795-1503117295.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b4fb4a315b6bd8f0348750a3d90443f RANDOM SEED=1459402321 node127.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.92 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.92 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.92 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.92 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: 30881320 kB MemAvailable: 31701616 kB Buffers: 295100 kB Cached: 827244 kB SwapCached: 0 kB Active: 1065548 kB Inactive: 374604 kB Active(anon): 268444 kB Inactive(anon): 99188 kB Active(file): 797104 kB Inactive(file): 275416 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8012 kB Writeback: 4 kB AnonPages: 317840 kB Mapped: 73868 kB Shmem: 49828 kB Slab: 153764 kB SReclaimable: 127220 kB SUnreclaim: 26544 kB KernelStack: 3488 kB PageTables: 6764 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 941252 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 253952 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62016 MiB End job on node127 at 2017-08-19 07:02:38