Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 102 | 2005.33 | 252.11301 |
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 | 2005.33 |
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.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271505-1502641428.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271505-1502641428.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 2.28/0.81 c solve instance... 4.59/1.17 o 146 5.95/1.31 o 145 6.77/1.41 o 144 6.77/1.50 o 143 7.45/1.58 o 142 8.22/1.67 o 141 8.97/1.75 o 140 9.75/1.83 o 139 10.55/1.95 o 138 11.47/2.03 o 137 11.47/2.11 o 136 12.25/2.19 o 135 12.79/2.27 o 134 13.60/2.36 o 133 14.31/2.44 o 132 15.08/2.54 o 131 15.86/2.61 o 130 15.86/2.69 o 129 16.68/2.77 o 128 17.39/2.85 o 127 18.16/2.92 o 126 18.16/3.00 o 125 18.97/3.07 o 124 19.73/3.16 o 123 20.43/3.23 o 122 21.21/3.31 o 121 21.21/3.38 o 120 21.98/3.45 o 119 22.77/3.53 o 118 22.77/3.60 o 117 23.50/3.67 o 116 24.23/3.74 o 115 25.02/3.82 o 114 25.02/3.89 o 113 25.82/3.96 o 112 27.36/4.13 o 111 28.09/4.24 o 110 28.83/4.31 o 109 28.83/4.39 o 108 29.54/4.46 o 107 30.30/4.53 o 106 30.30/4.60 o 105 31.03/4.66 o 104 31.84/4.73 o 103 32.54/4.80 o 102 2004.65/252.08 s SATISFIABLE 2004.65/252.08 v <instantiation> 2004.65/252.08 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> 2004.65/252.08 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 2004.65/252.08 v </instantiation> 2004.65/252.08 c Unexpected resolution interruption!
OK 102
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 (15310 MiB free) memory of node 1: 16384 MiB (15604 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271505-1502641428/watcher-4271505-1502641428 -o /tmp/evaluation-result-4271505-1502641428/solver-4271505-1502641428 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1045366403 HOME/instance-4271505-1502641428.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=22217, runsolver pid=22214 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 6.09 5.01 5.77 2/199 22238 /proc/meminfo: memFree=31641808/32770624 swapFree=67108860/67108860 [pid=22217] ppid=22214 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22217/stat : 22217 (xcsp3-exec) S 22214 22217 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97231076 9740288 346 33554432000 4194304 5098028 140725867504288 140725867502392 139949325853308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19099648 140725867512938 140725867513148 140725867513148 140725867515883 0 /proc/22217/statm: 2378 346 289 221 0 87 0 [pid=22219] ppid=22217 vsize=25999808 memory=26444 CPUtime=0.11 cores=0-7 /proc/22219/stat : 22219 (java) S 22217 22217 8183 0 -1 1077944320 5478 0 0 0 10 1 0 0 20 0 20 0 97231077 26623803392 6611 33554432000 4194304 4196468 140730546097680 140730546080224 140623940247287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 /proc/22219/statm: 6499952 6611 2851 1 0 6488269 0 [pid=22219/tid=22220] ppid=22217 vsize=25999808 memory=7824612310230409880 CPUtime=0.08 cores=0-7 /proc/22219/task/22220/stat : 22220 (java) R 22217 22217 8183 0 -1 4202560 3472 0 0 0 8 0 0 0 20 0 20 0 97231077 26623803392 6611 33554432000 4194304 4196468 140730546097680 140623944480560 140623924290917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22221] ppid=22217 vsize=25999808 memory=732370528286792677 CPUtime=0 cores=0-7 /proc/22219/task/22221/stat : 22221 (java) S 22217 22217 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97231078 26623803392 6611 33554432000 4194304 4196468 140730546097680 140623892867856 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22222] ppid=22217 vsize=25999808 memory=140389949339264 CPUtime=0 cores=0-7 /proc/22219/task/22222/stat : 22222 (java) S 22217 22217 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97231078 26623803392 6611 33554432000 4194304 4196468 140730546097680 140623891815312 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22223] ppid=22217 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22223/stat : 22223 (java) S 22217 22217 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97231078 26623803392 6611 33554432000 4194304 4196468 140730546097680 140623890762768 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22224] ppid=22217 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22224/stat : 22224 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26623803392 6611 33554432000 4194304 4196468 140730546097680 140623889710224 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22225] ppid=22217 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22225/stat : 22225 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26623803392 6611 33554432000 4194304 4196468 140730546097680 140623888656656 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22226] ppid=22217 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/22219/task/22226/stat : 22226 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26623803392 6611 33554432000 4194304 4196468 140730546097680 140623887604112 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22227] ppid=22217 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22227/stat : 22227 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26623803392 6611 33554432000 4194304 4196468 140730546097680 140623886551568 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22228] ppid=22217 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22228/stat : 22228 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26623803392 6611 33554432000 4194304 4196468 140730546097680 140623885499024 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22229] ppid=22217 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22229/stat : 22229 (java) S 22217 22217 8183 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97231079 26623803392 6611 33554432000 4194304 4196468 140730546097680 140622999575024 140623940258434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22230] ppid=22217 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22230/stat : 22230 (java) S 22217 22217 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97231080 26623803392 6611 33554432000 4194304 4196468 140730546097680 140622998521248 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22231] ppid=22217 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22231/stat : 22231 (java) S 22217 22217 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97231080 26623803392 6611 33554432000 4194304 4196468 140730546097680 140622997468656 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22232] ppid=22217 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22232/stat : 22232 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231082 26623803392 6611 33554432000 4194304 4196468 140730546097680 140622996417232 140623940265883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22233] ppid=22217 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22233/stat : 22233 (java) S 22217 22217 8183 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 20 0 97231082 26623803392 6611 33554432000 4194304 4196468 140730546097680 140622995363824 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22234] ppid=22217 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22234/stat : 22234 (java) R 22217 22217 8183 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 97231082 26623803392 6611 33554432000 4194304 4196468 140730546097680 140622994311280 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22235] ppid=22217 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22235/stat : 22235 (java) R 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231083 26623803392 6611 33554432000 4194304 4196468 140730546097680 140622993258736 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22236] ppid=22217 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/22219/task/22236/stat : 22236 (java) R 22217 22217 8183 0 -1 4202560 243 0 0 0 1 0 0 0 20 0 20 0 97231083 26623803392 6611 33554432000 4194304 4196468 140730546097680 140622992206192 140623924327774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22237] ppid=22217 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22237/stat : 22237 (java) S 22217 22217 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97231083 26623803392 6611 33554432000 4194304 4196468 140730546097680 140622991153888 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22238] ppid=22217 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/22219/task/22238/stat : 22238 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231083 26623803392 6611 33554432000 4194304 4196468 140730546097680 140622990101424 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27828 KiB [startup+0.21046 s]* /proc/loadavg: 6.09 5.01 5.77 3/199 22238 /proc/meminfo: memFree=31629972/32770624 swapFree=67108860/67108860 [pid=22217] ppid=22214 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22217/stat : 22217 (xcsp3-exec) S 22214 22217 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97231076 9740288 346 33554432000 4194304 5098028 140725867504288 140725867502392 139949325853308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19099648 140725867512938 140725867513148 140725867513148 140725867515883 0 /proc/22217/statm: 2378 346 289 221 0 87 0 [pid=22219] ppid=22217 vsize=26004064 memory=39056 CPUtime=0.33 cores=0-7 /proc/22219/stat : 22219 (java) S 22217 22217 8183 0 -1 1077944320 8304 0 0 0 30 3 0 0 20 0 20 0 97231077 26628161536 9764 33554432000 4194304 4196468 140730546097680 140730546080224 140623940247287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 /proc/22219/statm: 6501016 9764 3065 1 0 6488269 0 [pid=22219/tid=22220] ppid=22217 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/22219/task/22220/stat : 22220 (java) R 22217 22217 8183 0 -1 4202560 5379 0 0 0 18 1 0 0 20 0 20 0 97231077 26628161536 9764 33554432000 4194304 4196468 140730546097680 140623944468280 140623940269213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22221] ppid=22217 vsize=26004064 memory=732370528286792677 CPUtime=0 cores=0-7 /proc/22219/task/22221/stat : 22221 (java) S 22217 22217 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 9764 33554432000 4194304 4196468 140730546097680 140623892867856 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22222] ppid=22217 vsize=26004064 memory=140389949339264 CPUtime=0 cores=0-7 /proc/22219/task/22222/stat : 22222 (java) S 22217 22217 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 9764 33554432000 4194304 4196468 140730546097680 140623891815312 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22223] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22223/stat : 22223 (java) S 22217 22217 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 9764 33554432000 4194304 4196468 140730546097680 140623890762768 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22224] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22224/stat : 22224 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 9764 33554432000 4194304 4196468 140730546097680 140623889710224 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22225] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22225/stat : 22225 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 9764 33554432000 4194304 4196468 140730546097680 140623888656656 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22226] ppid=22217 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22219/task/22226/stat : 22226 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 9764 33554432000 4194304 4196468 140730546097680 140623887604112 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22227] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22227/stat : 22227 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 9764 33554432000 4194304 4196468 140730546097680 140623886551568 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22228] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22228/stat : 22228 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 9764 33554432000 4194304 4196468 140730546097680 140623885499024 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22229] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22229/stat : 22229 (java) S 22217 22217 8183 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97231079 26628161536 9764 33554432000 4194304 4196468 140730546097680 140622999575024 140623940258434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22230] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22230/stat : 22230 (java) S 22217 22217 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97231080 26628161536 9764 33554432000 4194304 4196468 140730546097680 140622998521248 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22231] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22231/stat : 22231 (java) S 22217 22217 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97231080 26628161536 9764 33554432000 4194304 4196468 140730546097680 140622997468656 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22232] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22232/stat : 22232 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231082 26628161536 9764 33554432000 4194304 4196468 140730546097680 140622996417232 140623940265883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22233] ppid=22217 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/22219/task/22233/stat : 22233 (java) S 22217 22217 8183 0 -1 1077944384 550 0 0 0 1 0 0 0 20 0 20 0 97231082 26628161536 9764 33554432000 4194304 4196468 140730546097680 140622995363824 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22234] ppid=22217 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/22219/task/22234/stat : 22234 (java) S 22217 22217 8183 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 20 0 97231082 26628161536 9764 33554432000 4194304 4196468 140730546097680 140622994311280 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22235] ppid=22217 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/22219/task/22235/stat : 22235 (java) S 22217 22217 8183 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 97231083 26628161536 9764 33554432000 4194304 4196468 140730546097680 140622993258736 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22236] ppid=22217 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/22219/task/22236/stat : 22236 (java) S 22217 22217 8183 0 -1 1077944384 743 0 0 0 7 0 0 0 20 0 20 0 97231083 26628161536 9764 33554432000 4194304 4196468 140730546097680 140622992206192 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22237] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22237/stat : 22237 (java) S 22217 22217 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97231083 26628161536 9764 33554432000 4194304 4196468 140730546097680 140622991153888 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22238] ppid=22217 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22219/task/22238/stat : 22238 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231083 26628161536 9764 33554432000 4194304 4196468 140730546097680 140622990101424 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40440 KiB [startup+0.30985 s]* /proc/loadavg: 6.09 5.01 5.77 3/199 22238 /proc/meminfo: memFree=31625992/32770624 swapFree=67108860/67108860 [pid=22217] ppid=22214 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22217/stat : 22217 (xcsp3-exec) S 22214 22217 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97231076 9740288 346 33554432000 4194304 5098028 140725867504288 140725867502392 139949325853308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19099648 140725867512938 140725867513148 140725867513148 140725867515883 0 /proc/22217/statm: 2378 346 289 221 0 87 0 [pid=22219] ppid=22217 vsize=26004064 memory=43700 CPUtime=0.49 cores=0-7 /proc/22219/stat : 22219 (java) S 22217 22217 8183 0 -1 1077944320 9156 0 0 0 46 3 0 0 20 0 20 0 97231077 26628161536 10925 33554432000 4194304 4196468 140730546097680 140730546080224 140623940247287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 /proc/22219/statm: 6501016 10925 3097 1 0 6488269 0 [pid=22219/tid=22220] ppid=22217 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/22219/task/22220/stat : 22220 (java) R 22217 22217 8183 0 -1 4202560 6052 0 0 0 28 1 0 0 20 0 20 0 97231077 26628161536 11503 33554432000 4194304 4196468 140730546097680 140623944483136 140623940269213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22221] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22221/stat : 22221 (java) S 22217 22217 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 11503 33554432000 4194304 4196468 140730546097680 140623892867856 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22222] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22222/stat : 22222 (java) S 22217 22217 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 11503 33554432000 4194304 4196468 140730546097680 140623891815312 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22223] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22223/stat : 22223 (java) S 22217 22217 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 11503 33554432000 4194304 4196468 140730546097680 140623890762768 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22224] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22224/stat : 22224 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 11503 33554432000 4194304 4196468 140730546097680 140623889710224 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22225] ppid=22217 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/22219/task/22225/stat : 22225 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 11503 33554432000 4194304 4196468 140730546097680 140623888656656 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22226] ppid=22217 vsize=26004064 memory=140389797426095 CPUtime=0 cores=0-7 /proc/22219/task/22226/stat : 22226 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 11503 33554432000 4194304 4196468 140730546097680 140623887604112 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22227] ppid=22217 vsize=26004064 memory=140389797428400 CPUtime=0 cores=0-7 /proc/22219/task/22227/stat : 22227 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 11503 33554432000 4194304 4196468 140730546097680 140623886551568 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22228] ppid=22217 vsize=26004064 memory=140389797430704 CPUtime=0 cores=0-7 /proc/22219/task/22228/stat : 22228 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231078 26628161536 11503 33554432000 4194304 4196468 140730546097680 140623885499024 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22229] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22229/stat : 22229 (java) S 22217 22217 8183 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97231079 26628161536 11503 33554432000 4194304 4196468 140730546097680 140622999575024 140623940258434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22230] ppid=22217 vsize=26004064 memory=280779594868368 CPUtime=0 cores=0-7 /proc/22219/task/22230/stat : 22230 (java) S 22217 22217 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97231080 26628161536 11503 33554432000 4194304 4196468 140730546097680 140622998521248 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22231] ppid=22217 vsize=26004064 memory=280779594875280 CPUtime=0 cores=0-7 /proc/22219/task/22231/stat : 22231 (java) S 22217 22217 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97231080 26628161536 11503 33554432000 4194304 4196468 140730546097680 140622997468656 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22232] ppid=22217 vsize=26004064 memory=280779594816560 CPUtime=0 cores=0-7 /proc/22219/task/22232/stat : 22232 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231082 26628161536 11503 33554432000 4194304 4196468 140730546097680 140622996417232 140623940265883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22233] ppid=22217 vsize=26004064 memory=280779594889104 CPUtime=0.02 cores=0-7 /proc/22219/task/22233/stat : 22233 (java) S 22217 22217 8183 0 -1 1077944384 568 0 0 0 2 0 0 0 20 0 20 0 97231082 26628161536 11503 33554432000 4194304 4196468 140730546097680 140622995363824 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22234] ppid=22217 vsize=26004064 memory=280779594896016 CPUtime=0.02 cores=0-7 /proc/22219/task/22234/stat : 22234 (java) S 22217 22217 8183 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 20 0 97231082 26628161536 11503 33554432000 4194304 4196468 140730546097680 140622994311280 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22235] ppid=22217 vsize=26004064 memory=280779594893712 CPUtime=0.01 cores=0-7 /proc/22219/task/22235/stat : 22235 (java) S 22217 22217 8183 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 97231083 26628161536 11503 33554432000 4194304 4196468 140730546097680 140622993258736 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22236] ppid=22217 vsize=26004064 memory=280779594909872 CPUtime=0.12 cores=0-7 /proc/22219/task/22236/stat : 22236 (java) R 22217 22217 8183 0 -1 4202560 862 0 0 0 12 0 0 0 20 0 20 0 97231083 26628161536 11503 33554432000 4194304 4196468 140730546097680 140622992206192 140623933347134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22237] ppid=22217 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22237/stat : 22237 (java) S 22217 22217 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97231083 26628161536 11503 33554432000 4194304 4196468 140730546097680 140622991153888 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22238] ppid=22217 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/22219/task/22238/stat : 22238 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97231083 26628161536 11503 33554432000 4194304 4196468 140730546097680 140622990101424 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45084 KiB [startup+0.700985 s] /proc/loadavg: 6.09 5.01 5.77 6/199 22238 /proc/meminfo: memFree=31607908/32770624 swapFree=67108860/67108860 [pid=22217] ppid=22214 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22217/stat : 22217 (xcsp3-exec) S 22214 22217 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97231076 9740288 346 33554432000 4194304 5098028 140725867504288 140725867502392 139949325853308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19099648 140725867512938 140725867513148 140725867513148 140725867515883 0 /proc/22217/statm: 2378 346 289 221 0 87 0 [pid=22219] ppid=22217 vsize=26006188 memory=117316 CPUtime=1.85 cores=0-7 /proc/22219/stat : 22219 (java) S 22217 22217 8183 0 -1 1077944320 15908 0 0 0 179 6 0 0 20 0 20 0 97231077 26630336512 29329 33554432000 4194304 4196468 140730546097680 140730546080224 140623940247287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 /proc/22219/statm: 6501547 29329 3221 1 0 6488781 0 [pid=22219/tid=22220] ppid=22217 vsize=26006188 memory=280779595204800 CPUtime=0.67 cores=0-7 /proc/22219/task/22220/stat : 22220 (java) R 22217 22217 8183 0 -1 4202560 6739 0 0 0 65 2 0 0 20 0 20 0 97231077 26630336512 29329 33554432000 4194304 4196468 140730546097680 140623944482336 140623557043294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22221] ppid=22217 vsize=26006188 memory=5050881541254 CPUtime=0 cores=0-7 /proc/22219/task/22221/stat : 22221 (java) S 22217 22217 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97231078 26630336512 29329 33554432000 4194304 4196468 140730546097680 140623892867856 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22222] ppid=22217 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22222/stat : 22222 (java) S 22217 22217 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97231078 26630336512 29329 33554432000 4194304 4196468 140730546097680 140623891815312 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22223] ppid=22217 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/22219/task/22223/stat : 22223 (java) S 22217 22217 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97231078 26630336512 29329 33554432000 4194304 4196468 140730546097680 140623890762768 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 ################ # More data... # ################ [pid=22219/tid=22606] ppid=22217 vsize=26538700 memory=1716 CPUtime=154.82 cores=0-7 /proc/22219/task/22606/stat : 22606 (java) R 22217 22217 8183 0 -1 4202560 2474 0 0 0 15478 4 0 0 20 0 28 0 97231557 27175628800 130334 33554432000 4194304 4196468 140730546097680 140622979430888 140623559960955 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 Current children cumulated CPU time: 1288.87 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 522720 KiB [startup+222.301 s] /proc/loadavg: 8.00 6.64 6.27 9/208 22614 /proc/meminfo: memFree=31063848/32770624 swapFree=67108860/67108860 [pid=22217] ppid=22214 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22217/stat : 22217 (xcsp3-exec) S 22214 22217 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97231076 9740288 346 33554432000 4194304 5098028 140725867504288 140725867502392 139949325853308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19099648 140725867512938 140725867513148 140725867513148 140725867515883 0 /proc/22217/statm: 2378 346 289 221 0 87 0 [pid=22219] ppid=22217 vsize=26538700 memory=611448 CPUtime=1767.62 cores=0-7 /proc/22219/stat : 22219 (java) S 22217 22217 8183 0 -1 1077944320 68159 0 0 0 176701 61 0 0 20 0 28 0 97231077 27175628800 152862 33554432000 4194304 4196468 140730546097680 140730546080224 140623940247287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 /proc/22219/statm: 6634675 152862 3289 1 0 6621909 0 [pid=22219/tid=22220] ppid=22217 vsize=26538700 memory=7 CPUtime=0.87 cores=0-7 /proc/22219/task/22220/stat : 22220 (java) S 22217 22217 8183 0 -1 1077944384 6835 0 0 0 84 3 0 0 20 0 28 0 97231077 27175628800 152862 33554432000 4194304 4196468 140730546097680 140623944488064 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22221] ppid=22217 vsize=26538700 memory=607352 CPUtime=0.06 cores=0-7 /proc/22219/task/22221/stat : 22221 (java) S 22217 22217 8183 0 -1 1077944384 114 0 0 0 4 2 0 0 20 0 28 0 97231078 27175628800 152862 33554432000 4194304 4196468 140730546097680 140623892867856 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22222] ppid=22217 vsize=26538700 memory=28016 CPUtime=0.05 cores=0-7 /proc/22219/task/22222/stat : 22222 (java) S 22217 22217 8183 0 -1 1077944384 80 0 0 0 3 2 0 0 20 0 28 0 97231078 27175628800 152862 33554432000 4194304 4196468 140730546097680 140623891815312 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22223] ppid=22217 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7 /proc/22219/task/22223/stat : 22223 (java) S 22217 22217 8183 0 -1 1077944384 157 0 0 0 4 3 0 0 20 0 28 0 97231078 27175628800 152862 33554432000 4194304 4196468 140730546097680 140623890762768 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22224] ppid=22217 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7 /proc/22219/task/22224/stat : 22224 (java) S 22217 22217 8183 0 -1 1077944384 818 0 0 0 4 3 0 0 20 0 28 0 97231078 27175628800 152862 33554432000 4194304 4196468 140730546097680 140623889710224 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22225] ppid=22217 vsize=26538700 memory=1012 CPUtime=0.05 cores=0-7 /proc/22219/task/22225/stat : 22225 (java) S 22217 22217 8183 0 -1 1077944384 61 0 0 0 3 2 0 0 20 0 28 0 97231078 27175628800 152862 33554432000 4194304 4196468 140730546097680 140623888656656 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22226] ppid=22217 vsize=26538700 memory=1716 CPUtime=0.07 cores=0-7 /proc/22219/task/22226/stat : 22226 (java) S 22217 22217 8183 0 -1 1077944384 221 0 0 0 4 3 0 0 20 0 28 0 97231078 27175628800 152862 33554432000 4194304 4196468 140730546097680 140623887604112 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22227] ppid=22217 vsize=26538700 memory=0 CPUtime=0.07 cores=0-7 /proc/22219/task/22227/stat : 22227 (java) S 22217 22217 8183 0 -1 1077944384 67 0 0 0 4 3 0 0 20 0 28 0 97231078 27175628800 152862 33554432000 4194304 4196468 140730546097680 140623886551568 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22228] ppid=22217 vsize=26538700 memory=6944656592387989600 CPUtime=0.06 cores=0-7 /proc/22219/task/22228/stat : 22228 (java) S 22217 22217 8183 0 -1 1077944384 79 0 0 0 4 2 0 0 20 0 28 0 97231078 27175628800 152862 33554432000 4194304 4196468 140730546097680 140623885499024 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22229] ppid=22217 vsize=26538700 memory=1384 CPUtime=0.02 cores=0-7 /proc/22219/task/22229/stat : 22229 (java) S 22217 22217 8183 0 -1 1077944384 1202 0 0 0 2 0 0 0 20 0 28 0 97231079 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622999575024 140623940258434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22230] ppid=22217 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/22219/task/22230/stat : 22230 (java) S 22217 22217 8183 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97231080 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622998521248 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22231] ppid=22217 vsize=26538700 memory=4140 CPUtime=0 cores=0-7 /proc/22219/task/22231/stat : 22231 (java) S 22217 22217 8183 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97231080 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622997468656 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22232] ppid=22217 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/22219/task/22232/stat : 22232 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97231082 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622996417232 140623940265883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22233] ppid=22217 vsize=26538700 memory=1384 CPUtime=1.56 cores=0-7 /proc/22219/task/22233/stat : 22233 (java) S 22217 22217 8183 0 -1 1077944384 10783 0 0 0 155 1 0 0 20 0 28 0 97231082 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622995363824 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22234] ppid=22217 vsize=26538700 memory=605304 CPUtime=2.02 cores=0-7 /proc/22219/task/22234/stat : 22234 (java) S 22217 22217 8183 0 -1 1077944384 9498 0 0 0 200 2 0 0 20 0 28 0 97231082 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622994311280 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22235] ppid=22217 vsize=26538700 memory=1384 CPUtime=2.05 cores=0-7 /proc/22219/task/22235/stat : 22235 (java) S 22217 22217 8183 0 -1 1077944384 9623 0 0 0 203 2 0 0 20 0 28 0 97231083 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622993258736 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22236] ppid=22217 vsize=26538700 memory=605304 CPUtime=0.75 cores=0-7 /proc/22219/task/22236/stat : 22236 (java) S 22217 22217 8183 0 -1 1077944384 7509 0 0 0 74 1 0 0 20 0 28 0 97231083 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622992206192 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22237] ppid=22217 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/22219/task/22237/stat : 22237 (java) S 22217 22217 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97231083 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622991153888 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22238] ppid=22217 vsize=26538700 memory=1384 CPUtime=0.04 cores=0-7 /proc/22219/task/22238/stat : 22238 (java) S 22217 22217 8183 0 -1 1077944384 1284 0 0 0 0 4 0 0 20 0 28 0 97231083 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622990101424 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22599] ppid=22217 vsize=26538700 memory=6791534058613427641 CPUtime=217.19 cores=0-7 /proc/22219/task/22599/stat : 22599 (java) R 22217 22217 8183 0 -1 4202560 682 0 0 0 21719 0 0 0 20 0 28 0 97231557 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622981533240 140623559904431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22600] ppid=22217 vsize=26538700 memory=7235144317651867235 CPUtime=217.41 cores=0-7 /proc/22219/task/22600/stat : 22600 (java) R 22217 22217 8183 0 -1 4202560 650 0 0 0 21741 0 0 0 20 0 28 0 97231557 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622980481560 140623560661982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22601] ppid=22217 vsize=26538700 memory=7522537947922850663 CPUtime=216.82 cores=0-7 /proc/22219/task/22601/stat : 22601 (java) R 22217 22217 8183 0 -1 4202560 1126 0 0 0 21682 0 0 0 20 0 28 0 97231557 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622977322240 140623559961222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22602] ppid=22217 vsize=26538700 memory=7522537947922850663 CPUtime=217.41 cores=0-7 /proc/22219/task/22602/stat : 22602 (java) R 22217 22217 8183 0 -1 4202560 2028 0 0 0 21738 3 0 0 20 0 28 0 97231557 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622978377784 140623560625220 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22603] ppid=22217 vsize=26538700 memory=7235144317651867235 CPUtime=217.4 cores=0-7 /proc/22219/task/22603/stat : 22603 (java) R 22217 22217 8183 0 -1 4202560 3226 0 0 0 21738 2 0 0 20 0 28 0 97231557 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622982586136 140623559960955 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22604] ppid=22217 vsize=26538700 memory=2336 CPUtime=214.93 cores=0-7 /proc/22219/task/22604/stat : 22604 (java) R 22217 22217 8183 0 -1 4202560 1013 0 0 0 21491 2 0 0 20 0 28 0 97231557 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622976270248 140623559960955 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22605] ppid=22217 vsize=26538700 memory=1724 CPUtime=217.36 cores=0-7 /proc/22219/task/22605/stat : 22605 (java) R 22217 22217 8183 0 -1 4202560 628 0 0 0 21736 0 0 0 20 0 28 0 97231557 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622975217656 140623560662002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22606] ppid=22217 vsize=26538700 memory=1012 CPUtime=214.82 cores=0-7 /proc/22219/task/22606/stat : 22606 (java) R 22217 22217 8183 0 -1 4202560 2642 0 0 0 21477 5 0 0 20 0 28 0 97231557 27175628800 152862 33554432000 4194304 4196468 140730546097680 140622979430888 140623559960958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 Current children cumulated CPU time: 1767.62 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 612832 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.30 6.83 6.35 9/208 22614 /proc/meminfo: memFree=31029812/32770624 swapFree=67108860/67108860 [pid=22217] ppid=22214 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/22217/stat : 22217 (xcsp3-exec) S 22214 22217 8183 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97231076 9740288 346 33554432000 4194304 5098028 140725867504288 140725867502392 139949325853308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19099648 140725867512938 140725867513148 140725867513148 140725867515883 0 /proc/22217/statm: 2378 346 289 221 0 87 0 [pid=22219] ppid=22217 vsize=26538700 memory=643248 CPUtime=2004.65 cores=0-7 /proc/22219/stat : 22219 (java) S 22217 22217 8183 0 -1 1077944320 73750 0 0 0 200395 70 0 0 20 0 28 0 97231077 27175628800 160812 33554432000 4194304 4196468 140730546097680 140730546080224 140623940247287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 /proc/22219/statm: 6634675 160812 3289 1 0 6621909 0 [pid=22219/tid=22220] ppid=22217 vsize=26538700 memory=6791534058613427641 CPUtime=0.87 cores=0-7 /proc/22219/task/22220/stat : 22220 (java) S 22217 22217 8183 0 -1 1077944384 6835 0 0 0 84 3 0 0 20 0 28 0 97231077 27175628800 160812 33554432000 4194304 4196468 140730546097680 140623944488064 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22221] ppid=22217 vsize=26538700 memory=-7003737579269690708 CPUtime=0.08 cores=0-7 /proc/22219/task/22221/stat : 22221 (java) S 22217 22217 8183 0 -1 1077944384 172 0 0 0 5 3 0 0 20 0 28 0 97231078 27175628800 160812 33554432000 4194304 4196468 140730546097680 140623892867856 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22222] ppid=22217 vsize=26538700 memory=1196 CPUtime=0.07 cores=0-7 /proc/22219/task/22222/stat : 22222 (java) S 22217 22217 8183 0 -1 1077944384 313 0 0 0 4 3 0 0 20 0 28 0 97231078 27175628800 160812 33554432000 4194304 4196468 140730546097680 140623891815312 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22223] ppid=22217 vsize=26538700 memory=8548 CPUtime=0.08 cores=0-7 /proc/22219/task/22223/stat : 22223 (java) S 22217 22217 8183 0 -1 1077944384 188 0 0 0 5 3 0 0 20 0 28 0 97231078 27175628800 160812 33554432000 4194304 4196468 140730546097680 140623890762768 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22224] ppid=22217 vsize=26538700 memory=1228 CPUtime=0.09 cores=0-7 /proc/22219/task/22224/stat : 22224 (java) S 22217 22217 8183 0 -1 1077944384 939 0 0 0 5 4 0 0 20 0 28 0 97231078 27175628800 160812 33554432000 4194304 4196468 140730546097680 140623889710224 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22225] ppid=22217 vsize=26538700 memory=15876 CPUtime=0.07 cores=0-7 /proc/22219/task/22225/stat : 22225 (java) S 22217 22217 8183 0 -1 1077944384 100 0 0 0 4 3 0 0 20 0 28 0 97231078 27175628800 160812 33554432000 4194304 4196468 140730546097680 140623888656656 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22226] ppid=22217 vsize=26538700 memory=18476 CPUtime=0.09 cores=0-7 /proc/22219/task/22226/stat : 22226 (java) S 22217 22217 8183 0 -1 1077944384 249 0 0 0 5 4 0 0 20 0 28 0 97231078 27175628800 160812 33554432000 4194304 4196468 140730546097680 140623887604112 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22227] ppid=22217 vsize=26538700 memory=15776 CPUtime=0.08 cores=0-7 /proc/22219/task/22227/stat : 22227 (java) S 22217 22217 8183 0 -1 1077944384 1084 0 0 0 5 3 0 0 20 0 28 0 97231078 27175628800 160812 33554432000 4194304 4196468 140730546097680 140623886551568 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22228] ppid=22217 vsize=26538700 memory=6791534058613427641 CPUtime=0.07 cores=0-7 /proc/22219/task/22228/stat : 22228 (java) S 22217 22217 8183 0 -1 1077944384 126 0 0 0 4 3 0 0 20 0 28 0 97231078 27175628800 160812 33554432000 4194304 4196468 140730546097680 140623885499024 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22229] ppid=22217 vsize=26538700 memory=2344 CPUtime=0.02 cores=0-7 /proc/22219/task/22229/stat : 22229 (java) S 22217 22217 8183 0 -1 1077944384 1505 0 0 0 2 0 0 0 20 0 28 0 97231079 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622999575024 140623940258434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22230] ppid=22217 vsize=26538700 memory=928 CPUtime=0 cores=0-7 /proc/22219/task/22230/stat : 22230 (java) S 22217 22217 8183 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97231080 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622998521248 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22231] ppid=22217 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/22219/task/22231/stat : 22231 (java) S 22217 22217 8183 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97231080 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622997468656 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22232] ppid=22217 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/22219/task/22232/stat : 22232 (java) S 22217 22217 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97231082 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622996417232 140623940265883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22233] ppid=22217 vsize=26538700 memory=643248 CPUtime=1.56 cores=0-7 /proc/22219/task/22233/stat : 22233 (java) S 22217 22217 8183 0 -1 1077944384 10795 0 0 0 155 1 0 0 20 0 28 0 97231082 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622995363824 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22234] ppid=22217 vsize=26538700 memory=2204 CPUtime=2.02 cores=0-7 /proc/22219/task/22234/stat : 22234 (java) S 22217 22217 8183 0 -1 1077944384 9522 0 0 0 200 2 0 0 20 0 28 0 97231082 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622994311280 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22235] ppid=22217 vsize=26538700 memory=6764 CPUtime=2.05 cores=0-7 /proc/22219/task/22235/stat : 22235 (java) S 22217 22217 8183 0 -1 1077944384 9830 0 0 0 203 2 0 0 20 0 28 0 97231083 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622993258736 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22236] ppid=22217 vsize=26538700 memory=840 CPUtime=0.75 cores=0-7 /proc/22219/task/22236/stat : 22236 (java) S 22217 22217 8183 0 -1 1077944384 7526 0 0 0 74 1 0 0 20 0 28 0 97231083 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622992206192 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22237] ppid=22217 vsize=26538700 memory=4108 CPUtime=0 cores=0-7 /proc/22219/task/22237/stat : 22237 (java) S 22217 22217 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97231083 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622991153888 140623940257493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22238] ppid=22217 vsize=26538700 memory=1692 CPUtime=0.05 cores=0-7 /proc/22219/task/22238/stat : 22238 (java) S 22217 22217 8183 0 -1 1077944384 1423 0 0 0 0 5 0 0 20 0 28 0 97231083 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622990101424 140623940258434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22599] ppid=22217 vsize=26538700 memory=916 CPUtime=246.88 cores=0-7 /proc/22219/task/22599/stat : 22599 (java) R 22217 22217 8183 0 -1 4202560 768 0 0 0 24688 0 0 0 20 0 28 0 97231557 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622981532840 140623559961222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22600] ppid=22217 vsize=26538700 memory=4284 CPUtime=247.09 cores=0-7 /proc/22219/task/22600/stat : 22600 (java) R 22217 22217 8183 0 -1 4202560 916 0 0 0 24709 0 0 0 20 0 28 0 97231557 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622980481432 140623560662010 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22601] ppid=22217 vsize=26538700 memory=1160 CPUtime=246.51 cores=0-7 /proc/22219/task/22601/stat : 22601 (java) R 22217 22217 8183 0 -1 4202560 1427 0 0 0 24651 0 0 0 20 0 28 0 97231557 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622977322272 140623559960902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22602] ppid=22217 vsize=26538700 memory=13040 CPUtime=247.09 cores=0-7 /proc/22219/task/22602/stat : 22602 (java) R 22217 22217 8183 0 -1 4202560 2487 0 0 0 24706 3 0 0 20 0 28 0 97231557 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622978375320 140623560625220 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22603] ppid=22217 vsize=26538700 memory=1944 CPUtime=247.08 cores=0-7 /proc/22219/task/22603/stat : 22603 (java) R 22217 22217 8183 0 -1 4202560 4269 0 0 0 24705 3 0 0 20 0 28 0 97231557 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622982588208 140623559961013 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22604] ppid=22217 vsize=26538700 memory=1196 CPUtime=244.02 cores=0-7 /proc/22219/task/22604/stat : 22604 (java) R 22217 22217 8183 0 -1 4202560 1257 0 0 0 24399 3 0 0 20 0 28 0 97231557 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622976270248 140623559960753 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22605] ppid=22217 vsize=26538700 memory=8548 CPUtime=247.05 cores=0-7 /proc/22219/task/22605/stat : 22605 (java) R 22217 22217 8183 0 -1 4202560 800 0 0 0 24705 0 0 0 20 0 28 0 97231557 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622975217656 140623559960941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 [pid=22219/tid=22606] ppid=22217 vsize=26538700 memory=1228 CPUtime=244.51 cores=0-7 /proc/22219/task/22606/stat : 22606 (java) R 22217 22217 8183 0 -1 4202560 3386 0 0 0 24445 6 0 0 20 0 28 0 97231557 27175628800 160812 33554432000 4194304 4196468 140730546097680 140622979428264 140623560662002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37851136 140730546103448 140730546103624 140730546103624 140730546106319 0 Current children cumulated CPU time: 2004.65 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 644632 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.042 s] # the end of solver process 22217 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001005 s, system=0.001005 s [startup+252.113 s] # the end of solver process 22219 was just reported to runsolver # cumulated CPU time of all completed processes: user=2004.61 s, system=0.713667 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.113 CPU time (s): 2005.33 CPU user time (s): 2004.61 CPU system time (s): 0.713667 CPU usage (%): 795.408 Max. virtual memory (cumulated for all children) (KiB): 26550156 Max. memory (cumulated for all children) (KiB): 644632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2004.61 system time used= 0.713667 maximum resident set size= 646324 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75552 page faults= 0 swaps= 0 block input operations= 0 block output operations= 392 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13038 involuntary context switches= 21310 # summary of solver processes directly reported to runsolver: # pid: 22217,22219 # total CPU time (s): 2005.33 # total CPU user time (s): 2004.61 # total CPU system time (s): 0.713667 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.81786 second user time and 2.36694 second system time The end
Begin job on node103 at 2017-08-13 18:09:30 IDJOB=4271505 IDBENCH=124142 IDSOLVER=2663 FILE ID=node103/4271505-1502641428 RUNJOBID= node103-1502637526-8210 PBS_JOBID= 20628330 Free space on /tmp= 61796 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-3.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271505-1502641428/watcher-4271505-1502641428 -o /tmp/evaluation-result-4271505-1502641428/solver-4271505-1502641428 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1045366403 HOME/instance-4271505-1502641428.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0b4fb4a315b6bd8f0348750a3d90443f RANDOM SEED=1045366403 node103.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.56 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.56 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.56 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.56 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: 31658004 kB MemAvailable: 31993344 kB Buffers: 107128 kB Cached: 522792 kB SwapCached: 0 kB Active: 515472 kB Inactive: 168920 kB Active(anon): 3724 kB Inactive(anon): 78632 kB Active(file): 511748 kB Inactive(file): 90288 kB Unevictable: 6420 kB Mlocked: 6420 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7784 kB Writeback: 0 kB AnonPages: 52920 kB Mapped: 43620 kB Shmem: 25228 kB Slab: 124196 kB SReclaimable: 98280 kB SUnreclaim: 25916 kB KernelStack: 3232 kB PageTables: 4624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323564 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61788 MiB End job on node103 at 2017-08-13 18:13:42