Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-08-09) | SAT (TO) | 126 | 2520.04 | 2513.71 |
| 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.11 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269045-1502747693.xml" -tl '2520s' -p 1 -x 0 0.18/0.33 c [HOME/instance-4269045-1502747693.xml, -tl, 2520s, -p, 1, -x, 0] 0.18/0.39 c simple solver 0.35/0.46 c parse instance... 1.01/0.75 c solve instance... 26.97/22.96 o 146 26.97/22.99 o 145 26.97/23.00 o 144 33.71/29.26 o 143 37.06/32.51 o 142 40.78/36.24 o 141 40.88/36.38 o 140 41.01/36.41 o 139 41.01/36.48 o 138 391.62/386.07 o 137 414.77/409.19 o 135 415.97/410.34 o 134 418.68/413.04 o 133 440.78/435.11 o 132 441.17/435.56 o 131 441.17/435.58 o 130 537.28/531.66 o 129 537.90/532.24 o 128 538.00/532.32 o 127 538.00/532.36 o 126 2520.02/2513.70 s SATISFIABLE 2520.02/2513.70 v <instantiation> 2520.02/2513.70 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.02/2513.70 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.02/2513.70 v </instantiation> 2520.02/2513.70 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 (14858 MiB free)
memory of node 1: 16384 MiB (15594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269045-1502747693/watcher-4269045-1502747693 -o /tmp/evaluation-result-4269045-1502747693/solver-4269045-1502747693 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2054359844 HOME/instance-4269045-1502747693.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=29360, runsolver pid=29357
[startup+0.100108 s]*
/proc/loadavg: 2.00 2.02 1.98 2/200 29361
/proc/meminfo: memFree=31183736/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (runsolver) R 29357 29360 11586 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 63109961 34791424 114 18446744073709551615 4194304 4346622 140733289955392 140733289952024 140205664928471 0 0 1 24578 0 0 0 17 7 0 0 0 0 0 6446216 6449568 8695808 140733289959478 140733289959972 140733289959972 140733289963466 0
/proc/29360/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209191 s]*
/proc/loadavg: 2.00 2.02 1.98 2/214 29375
/proc/meminfo: memFree=31171580/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63109961 9740288 345 18446744073709551615 4194304 5098028 140726414803344 140726414801448 140161961071228 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 25993216 140726414811512 140726414811717 140726414811717 140726414815211 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13907304 memory=22448 CPUtime=0.06 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 11586 0 -1 1077944320 4543 0 0 0 5 1 0 0 20 0 14 0 63109972 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 140723523042576 139873387052791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
/proc/29362/statm: 3476826 5612 2560 1 0 3466323 0
[pid=29362/tid=29363] ppid=29360 vsize=13907304 memory=7898640229105310621 CPUtime=0.04 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) D 29360 29360 11586 0 -1 4202560 2720 0 0 0 4 0 0 0 20 0 14 0 63109972 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 139873391290272 139873387074813 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29364] ppid=29360 vsize=13907304 memory=5767615492075862409 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 63109973 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 139873328999312 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29365] ppid=29360 vsize=13907304 memory=140205667878528 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 63109973 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 139872986209040 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29366] ppid=29360 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 63109973 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 139872985156752 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29367] ppid=29360 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 63109973 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 139872984103952 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29368] ppid=29360 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 63109974 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 139872932821104 139873387063938 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29369] ppid=29360 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 63109975 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 139872931767072 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29370] ppid=29360 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 63109975 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 139872930714736 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29371] ppid=29360 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 63109977 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 139872929663056 139873387071387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29372] ppid=29360 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) S 29360 29360 11586 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 14 0 63109977 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 139872928610928 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29373] ppid=29360 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 63109977 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 139872927558128 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29374] ppid=29360 vsize=13907304 memory=140205667878528 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) S 29360 29360 11586 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 14 0 63109977 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 139872926505840 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29375] ppid=29360 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 63109977 14241079296 5612 18446744073709551615 4194304 4196468 140723523060032 139872295971808 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23828 KiB
[startup+0.310323 s]*
/proc/loadavg: 2.00 2.02 1.98 3/215 29376
/proc/meminfo: memFree=31163420/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63109961 9740288 345 18446744073709551615 4194304 5098028 140726414803344 140726414801448 140161961071228 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 25993216 140726414811512 140726414811717 140726414811717 140726414815211 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13974352 memory=33348 CPUtime=0.18 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 11586 0 -1 1077944320 5792 0 0 0 16 2 0 0 20 0 15 0 63109972 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 140723523042576 139873387052791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
/proc/29362/statm: 3493588 8337 2927 1 0 3482964 0
[pid=29362/tid=29363] ppid=29360 vsize=13974352 memory=4026531863 CPUtime=0.11 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) R 29360 29360 11586 0 -1 4202560 3163 0 0 0 10 1 0 0 20 0 15 0 63109972 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139873391275232 139873387064726 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29364] ppid=29360 vsize=13974352 memory=1637 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63109973 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139873328999312 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29365] ppid=29360 vsize=13974352 memory=140205668492678 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63109973 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139872986209040 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29366] ppid=29360 vsize=13974352 memory=-6804530833007812508 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63109973 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139872985156752 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29367] ppid=29360 vsize=13974352 memory=8097827316026060847 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63109973 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139872984103952 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29368] ppid=29360 vsize=13974352 memory=7311575237192639987 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63109974 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139872932821104 139873387063938 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29369] ppid=29360 vsize=13974352 memory=3472328296227679279 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63109975 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139872931767072 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29370] ppid=29360 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63109975 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139872930714736 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29371] ppid=29360 vsize=13974352 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139872929663056 139873387071387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29372] ppid=29360 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) R 29360 29360 11586 0 -1 4202560 396 0 0 0 1 0 0 0 20 0 15 0 63109977 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139872928591944 139873364745104 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29373] ppid=29360 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) R 29360 29360 11586 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 15 0 63109977 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139872927558128 139873387063938 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29374] ppid=29360 vsize=13974352 memory=140205667878528 CPUtime=0.03 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) R 29360 29360 11586 0 -1 4202560 672 0 0 0 3 0 0 0 20 0 15 0 63109977 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139872926501784 139873365757499 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29375] ppid=29360 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139872295971808 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29376] ppid=29360 vsize=13974352 memory=140205667878528 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63109986 14309736448 8337 18446744073709551615 4194304 4196468 140723523060032 139872294918576 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 34728 KiB
[startup+0.700745 s]
/proc/loadavg: 2.00 2.02 1.98 4/215 29376
/proc/meminfo: memFree=31146684/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63109961 9740288 345 18446744073709551615 4194304 5098028 140726414803344 140726414801448 140161961071228 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 25993216 140726414811512 140726414811717 140726414811717 140726414815211 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13980732 memory=67912 CPUtime=1.01 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 11586 0 -1 1077944320 11696 0 0 0 96 5 0 0 20 0 15 0 63109972 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 140723523042576 139873387052791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
/proc/29362/statm: 3495183 16978 3160 1 0 3483476 0
[pid=29362/tid=29363] ppid=29360 vsize=13980732 memory=280411033055040 CPUtime=0.48 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) R 29360 29360 11586 0 -1 4202560 7511 0 0 0 45 3 0 0 20 0 15 0 63109972 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139873391288336 139873387064726 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29364] ppid=29360 vsize=13980732 memory=1 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63109973 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139873328999312 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29365] ppid=29360 vsize=13980732 memory=140205516470477 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63109973 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139872986209040 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29366] ppid=29360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63109973 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139872985156752 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29367] ppid=29360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63109973 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139872984103952 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29368] ppid=29360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63109974 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139872932821104 139873387063938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29369] ppid=29360 vsize=13980732 memory=2067 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63109975 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139872931767072 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29370] ppid=29360 vsize=13980732 memory=-3252517613199061085 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63109975 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139872930714736 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29371] ppid=29360 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139872929663056 139873387071387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29372] ppid=29360 vsize=13980732 memory=6943526294502006880 CPUtime=0.14 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) R 29360 29360 11586 0 -1 1077944384 801 0 0 0 14 0 0 0 20 0 15 0 63109977 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139872928610928 139873387063938 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29373] ppid=29360 vsize=13980732 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 11586 0 -1 1077944384 647 0 0 0 11 0 0 0 20 0 15 0 63109977 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139872927558128 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29374] ppid=29360 vsize=13980732 memory=6370457471314122088 CPUtime=0.25 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) R 29360 29360 11586 0 -1 4202560 1431 0 0 0 25 0 0 0 20 0 15 0 63109977 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139872926505840 139873371133278 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29375] ppid=29360 vsize=13980732 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139872295971808 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29376] ppid=29360 vsize=13980732 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63109986 14316269568 16978 18446744073709551615 4194304 4196468 140723523060032 139872294918576 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69292 KiB
[startup+1.50077 s]
/proc/loadavg: 2.00 2.02 1.98 5/215 29376
/proc/meminfo: memFree=31115904/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63109961 9740288 345 18446744073709551615 4194304 5098028 140726414803344 140726414801448 140161961071228 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 25993216 140726414811512 140726414811717 140726414811717 140726414815211 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13980732 memory=91700 CPUtime=3.19 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 11586 0 -1 1077944320 20213 0 0 0 312 7 0 0 20 0 15 0 63109972 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 140723523042576 139873387052791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
/proc/29362/statm: 3495183 22925 3189 1 0 3483476 0
[pid=29362/tid=29363] ppid=29360 vsize=13980732 memory=-8774313645642428999 CPUtime=1.27 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) R 29360 29360 11586 0 -1 4202560 8150 0 0 0 124 3 0 0 20 0 15 0 63109972 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139873391291672 139873012938114 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29364] ppid=29360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63109973 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139873328999312 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29365] ppid=29360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63109973 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139872986209040 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29366] ppid=29360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63109973 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139872985156752 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29367] ppid=29360 vsize=13980732 memory=2067 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63109973 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139872984103952 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29368] ppid=29360 vsize=13980732 memory=-3252517613199061085 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63109974 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139872932821104 139873387063938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29369] ppid=29360 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63109975 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139872931767072 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29370] ppid=29360 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63109975 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139872930714736 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29371] ppid=29360 vsize=13980732 memory=280411032921952 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139872929663056 139873387071387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29372] ppid=29360 vsize=13980732 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) S 29360 29360 11586 0 -1 1077944384 4359 0 0 0 78 1 0 0 20 0 15 0 63109977 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139872928610928 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29373] ppid=29360 vsize=13980732 memory=0 CPUtime=0.7 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 11586 0 -1 1077944384 4295 0 0 0 70 0 0 0 20 0 15 0 63109977 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139872927558128 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29374] ppid=29360 vsize=13980732 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) S 29360 29360 11586 0 -1 1077944384 2100 0 0 0 38 1 0 0 20 0 15 0 63109977 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139872926505840 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29375] ppid=29360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139872295971808 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29376] ppid=29360 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109986 14316269568 22925 18446744073709551615 4194304 4196468 140723523060032 139872294918576 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 13990244 KiB
################
# More data... #
################
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 63109975 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872930714736 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29371] ppid=29360 vsize=13980732 memory=213768 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872929663056 139873387071387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29372] ppid=29360 vsize=13980732 memory=1380 CPUtime=2.91 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) S 29360 29360 11586 0 -1 1077944384 26532 0 0 0 289 2 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872928610928 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29373] ppid=29360 vsize=13980732 memory=1380 CPUtime=2.57 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 11586 0 -1 1077944384 23456 0 0 0 255 2 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872927558128 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29374] ppid=29360 vsize=13980732 memory=213768 CPUtime=0.54 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) S 29360 29360 11586 0 -1 1077944384 7965 0 0 0 52 2 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872926505840 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29375] ppid=29360 vsize=13980732 memory=213768 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872295971808 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29376] ppid=29360 vsize=13980732 memory=1380 CPUtime=0.48 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 11586 0 -1 1077944384 1080 0 0 0 18 30 0 0 20 0 15 0 63109986 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872294918576 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
Current children cumulated CPU time: 2448.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215148 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/212 29716
/proc/meminfo: memFree=31124560/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63109961 9740288 345 18446744073709551615 4194304 5098028 140726414803344 140726414801448 140161961071228 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 25993216 140726414811512 140726414811717 140726414811717 140726414815211 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13980732 memory=213768 CPUtime=2508.62 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 11586 0 -1 1077944320 92301 0 0 0 250815 47 0 0 20 0 15 0 63109972 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 140723523042576 139873387052791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
/proc/29362/statm: 3495183 53442 3242 1 0 3483476 0
[pid=29362/tid=29363] ppid=29360 vsize=13980732 memory=213768 CPUtime=2501.85 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) R 29360 29360 11586 0 -1 4202560 20861 0 0 0 250179 6 0 0 20 0 15 0 63109972 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139873391292416 139873012938172 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29364] ppid=29360 vsize=13980732 memory=4120 CPUtime=0.03 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 11586 0 -1 1077944384 1750 0 0 0 2 1 0 0 20 0 15 0 63109973 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139873328999312 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29365] ppid=29360 vsize=13980732 memory=213768 CPUtime=0.03 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 11586 0 -1 1077944384 2398 0 0 0 2 1 0 0 20 0 15 0 63109973 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872986209040 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29366] ppid=29360 vsize=13980732 memory=213768 CPUtime=0.04 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 11586 0 -1 1077944384 1594 0 0 0 3 1 0 0 20 0 15 0 63109973 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872985156752 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29367] ppid=29360 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 11586 0 -1 1077944384 2070 0 0 0 2 1 0 0 20 0 15 0 63109973 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872984103952 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29368] ppid=29360 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 11586 0 -1 1077944384 3195 0 0 0 3 1 0 0 20 0 15 0 63109974 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872932821104 139873387063938 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29369] ppid=29360 vsize=13980732 memory=213768 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 11586 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 63109975 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872931767072 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29370] ppid=29360 vsize=13980732 memory=213768 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 63109975 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872930714736 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29371] ppid=29360 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872929663056 139873387071387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29372] ppid=29360 vsize=13980732 memory=1440 CPUtime=2.91 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) S 29360 29360 11586 0 -1 1077944384 26534 0 0 0 289 2 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872928610928 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29373] ppid=29360 vsize=13980732 memory=0 CPUtime=2.57 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 11586 0 -1 1077944384 23458 0 0 0 255 2 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872927558128 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29374] ppid=29360 vsize=13980732 memory=250392 CPUtime=0.54 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) S 29360 29360 11586 0 -1 1077944384 7968 0 0 0 52 2 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872926505840 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29375] ppid=29360 vsize=13980732 memory=35928 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872295971808 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29376] ppid=29360 vsize=13980732 memory=2384 CPUtime=0.49 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 11586 0 -1 1077944384 1097 0 0 0 18 31 0 0 20 0 15 0 63109986 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872294918576 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
Current children cumulated CPU time: 2508.62 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.7 s]
/proc/loadavg: 2.00 2.04 2.05 3/212 29716
/proc/meminfo: memFree=31124692/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63109961 9740288 345 18446744073709551615 4194304 5098028 140726414803344 140726414801448 140161961071228 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 25993216 140726414811512 140726414811717 140726414811717 140726414815211 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13980732 memory=213768 CPUtime=2520.02 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 11586 0 -1 1077944320 92311 0 0 0 251955 47 0 0 20 0 15 0 63109972 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 140723523042576 139873387052791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
/proc/29362/statm: 3495183 53442 3242 1 0 3483476 0
[pid=29362/tid=29363] ppid=29360 vsize=13980732 memory=213768 CPUtime=2513.25 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) R 29360 29360 11586 0 -1 4202560 20871 0 0 0 251319 6 0 0 20 0 15 0 63109972 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139873391292416 139873012938192 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29364] ppid=29360 vsize=13980732 memory=213768 CPUtime=0.03 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 11586 0 -1 1077944384 1750 0 0 0 2 1 0 0 20 0 15 0 63109973 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139873328999312 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29365] ppid=29360 vsize=13980732 memory=213768 CPUtime=0.03 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 11586 0 -1 1077944384 2398 0 0 0 2 1 0 0 20 0 15 0 63109973 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872986209040 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29366] ppid=29360 vsize=13980732 memory=213768 CPUtime=0.04 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 11586 0 -1 1077944384 1594 0 0 0 3 1 0 0 20 0 15 0 63109973 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872985156752 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29367] ppid=29360 vsize=13980732 memory=213768 CPUtime=0.03 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 11586 0 -1 1077944384 2070 0 0 0 2 1 0 0 20 0 15 0 63109973 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872984103952 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29368] ppid=29360 vsize=13980732 memory=213768 CPUtime=0.04 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 11586 0 -1 1077944384 3195 0 0 0 3 1 0 0 20 0 15 0 63109974 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872932821104 139873387063938 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29369] ppid=29360 vsize=13980732 memory=213768 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 11586 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 63109975 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872931767072 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29370] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 63109975 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872930714736 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29371] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872929663056 139873387071387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29372] ppid=29360 vsize=13980732 memory=1380 CPUtime=2.91 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) S 29360 29360 11586 0 -1 1077944384 26534 0 0 0 289 2 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872928610928 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29373] ppid=29360 vsize=13980732 memory=1380 CPUtime=2.57 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 11586 0 -1 1077944384 23458 0 0 0 255 2 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872927558128 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29374] ppid=29360 vsize=13980732 memory=1380 CPUtime=0.54 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) S 29360 29360 11586 0 -1 1077944384 7968 0 0 0 52 2 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872926505840 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29375] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872295971808 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29376] ppid=29360 vsize=13980732 memory=1380 CPUtime=0.49 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 11586 0 -1 1077944384 1097 0 0 0 18 31 0 0 20 0 15 0 63109986 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872294918576 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.71 s]
# the end of solver process 29360 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001798 s
[startup+2513.71 s]
# the end of solver process 29362 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.57 s, system=0.47681 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+2513.7 s]
/proc/loadavg: 2.00 2.04 2.05 3/212 29716
/proc/meminfo: memFree=31124692/32770624 swapFree=67108860/67108860
[pid=29360] ppid=29357 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29360/stat : 29360 (xcsp3-exec) S 29357 29360 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 63109961 9740288 345 18446744073709551615 4194304 5098028 140726414803344 140726414801448 140161961071228 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 25993216 140726414811512 140726414811717 140726414811717 140726414815211 0
/proc/29360/statm: 2378 345 289 221 0 87 0
[pid=29362] ppid=29360 vsize=13980732 memory=213768 CPUtime=2520.02 cores=1,3,5,7
/proc/29362/stat : 29362 (java) S 29360 29360 11586 0 -1 1077944320 92311 0 0 0 251955 47 0 0 20 0 15 0 63109972 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 140723523042576 139873387052791 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
/proc/29362/statm: 3495183 53442 3242 1 0 3483476 0
[pid=29362/tid=29363] ppid=29360 vsize=13980732 memory=213768 CPUtime=2513.25 cores=1,3,5,7
/proc/29362/task/29363/stat : 29363 (java) R 29360 29360 11586 0 -1 4202560 20871 0 0 0 251319 6 0 0 20 0 15 0 63109972 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139873391292416 139873012938192 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29364] ppid=29360 vsize=13980732 memory=213768 CPUtime=0.03 cores=1,3,5,7
/proc/29362/task/29364/stat : 29364 (java) S 29360 29360 11586 0 -1 1077944384 1750 0 0 0 2 1 0 0 20 0 15 0 63109973 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139873328999312 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29365] ppid=29360 vsize=13980732 memory=213768 CPUtime=0.03 cores=1,3,5,7
/proc/29362/task/29365/stat : 29365 (java) S 29360 29360 11586 0 -1 1077944384 2398 0 0 0 2 1 0 0 20 0 15 0 63109973 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872986209040 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29366] ppid=29360 vsize=13980732 memory=213768 CPUtime=0.04 cores=1,3,5,7
/proc/29362/task/29366/stat : 29366 (java) S 29360 29360 11586 0 -1 1077944384 1594 0 0 0 3 1 0 0 20 0 15 0 63109973 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872985156752 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29367] ppid=29360 vsize=13980732 memory=213768 CPUtime=0.03 cores=1,3,5,7
/proc/29362/task/29367/stat : 29367 (java) S 29360 29360 11586 0 -1 1077944384 2070 0 0 0 2 1 0 0 20 0 15 0 63109973 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872984103952 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29368] ppid=29360 vsize=13980732 memory=213768 CPUtime=0.04 cores=1,3,5,7
/proc/29362/task/29368/stat : 29368 (java) S 29360 29360 11586 0 -1 1077944384 3195 0 0 0 3 1 0 0 20 0 15 0 63109974 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872932821104 139873387063938 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29369] ppid=29360 vsize=13980732 memory=213768 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29369/stat : 29369 (java) S 29360 29360 11586 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 63109975 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872931767072 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29370] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29370/stat : 29370 (java) S 29360 29360 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 63109975 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872930714736 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29371] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29371/stat : 29371 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872929663056 139873387071387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29372] ppid=29360 vsize=13980732 memory=1380 CPUtime=2.91 cores=1,3,5,7
/proc/29362/task/29372/stat : 29372 (java) S 29360 29360 11586 0 -1 1077944384 26534 0 0 0 289 2 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872928610928 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29373] ppid=29360 vsize=13980732 memory=1380 CPUtime=2.57 cores=1,3,5,7
/proc/29362/task/29373/stat : 29373 (java) S 29360 29360 11586 0 -1 1077944384 23458 0 0 0 255 2 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872927558128 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29374] ppid=29360 vsize=13980732 memory=1380 CPUtime=0.54 cores=1,3,5,7
/proc/29362/task/29374/stat : 29374 (java) S 29360 29360 11586 0 -1 1077944384 7968 0 0 0 52 2 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872926505840 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29375] ppid=29360 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29362/task/29375/stat : 29375 (java) S 29360 29360 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63109977 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872295971808 139873387062997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
[pid=29362/tid=29376] ppid=29360 vsize=13980732 memory=1380 CPUtime=0.49 cores=1,3,5,7
/proc/29362/task/29376/stat : 29376 (java) S 29360 29360 11586 0 -1 1077944384 1097 0 0 0 18 31 0 0 20 0 15 0 63109986 14316269568 53442 18446744073709551615 4194304 4196468 140723523060032 139872294918576 139873387063938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140723523068337 140723523068513 140723523068513 140723523071951 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215148 KiB
Child status: 143
Real time (s): 2513.71
CPU time (s): 2520.04
CPU user time (s): 2519.57
CPU system time (s): 0.47681
CPU usage (%): 100.252
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 242872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.57
system time used= 0.47681
maximum resident set size= 247636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57645
involuntary context switches= 1346
# summary of solver processes directly reported to runsolver:
# pid: 29360,29362
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.57
# total CPU system time (s): 0.47681
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3269 second user time and 21.7742 second system time
The end
Begin job on node124 at 2017-08-14 23:40:37 IDJOB=4269045 IDBENCH=124142 IDSOLVER=2660 FILE ID=node124/4269045-1502747693 RUNJOBID= node124-1502673801-14690 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-4269045-1502747693/watcher-4269045-1502747693 -o /tmp/evaluation-result-4269045-1502747693/solver-4269045-1502747693 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2054359844 HOME/instance-4269045-1502747693.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b4fb4a315b6bd8f0348750a3d90443f RANDOM SEED=2054359844 node124.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.51 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.51 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.51 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.51 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: 31183900 kB MemAvailable: 31571408 kB Buffers: 225284 kB Cached: 449712 kB SwapCached: 0 kB Active: 866132 kB Inactive: 271968 kB Active(anon): 414612 kB Inactive(anon): 81952 kB Active(file): 451520 kB Inactive(file): 190016 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7872 kB Writeback: 0 kB AnonPages: 472904 kB Mapped: 59384 kB Shmem: 33512 kB Slab: 150236 kB SReclaimable: 123616 kB SUnreclaim: 26620 kB KernelStack: 3776 kB PageTables: 6372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1667016 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 382976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62016 MiB End job on node124 at 2017-08-15 00:22:31