Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 102 | 2400.56 | 302.212 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml |
| MD5SUM | 0b4fb4a315b6bd8f0348750a3d90443f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 102 |
| Best CPU time to get the best result obtained on this benchmark | 2400.12 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3066 |
| Number of constraints | 168 |
| Number of domains | 13 |
| Minimum domain size | 2 |
| Maximum domain size | 18 |
| Distribution of domain sizes | [{"size":2,"count":146},{"size":3,"count":292},{"size":4,"count":146},{"size":5,"count":146},{"size":6,"count":146},{"size":8,"count":438},{"size":10,"count":292},{"size":11,"count":146},{"size":14,"count":292},{"size":15,"count":292},{"size":16,"count":146},{"size":17,"count":292},{"size":18,"count":292}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":3066}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 2920 |
| Distribution of constraint arities | [{"arity":21,"count":146},{"arity":146,"count":21},{"arity":2920,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":166}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246104-1500686798.xml" -tl '2400s' -p 8 -x 3 0.00/0.15 c [HOME/instance-4246104-1500686798.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.21 c 8 solvers in parallel 0.00/0.28 c parse instance... 0.00/0.89 c solve instance... 7.37/1.53 o 146 9.65/1.84 o 145 11.21/2.07 o 144 13.67/2.39 o 143 16.64/2.72 o 142 18.19/2.97 o 141 20.56/3.21 o 140 34.80/5.02 o 139 43.54/6.11 o 138 46.70/6.53 o 137 48.24/6.74 o 136 49.72/6.94 o 135 51.28/7.17 o 134 53.65/7.40 o 133 55.21/7.61 o 132 56.83/7.82 o 131 58.27/8.03 o 130 59.79/8.25 o 129 61.33/8.48 o 128 63.70/8.70 o 127 64.54/8.91 o 126 66.75/9.12 o 125 68.33/9.33 o 124 69.89/9.54 o 123 71.41/9.74 o 122 73.01/9.98 o 121 74.46/10.17 o 120 75.99/10.39 o 119 78.31/10.60 o 118 79.89/10.81 o 117 81.53/11.02 o 116 83.00/11.23 o 115 84.54/11.43 o 114 86.12/11.63 o 113 87.68/11.83 o 112 89.24/12.04 o 111 90.88/12.23 o 110 92.33/12.43 o 109 93.86/12.63 o 108 95.44/12.85 o 107 97.00/13.05 o 106 98.64/13.25 o 105 100.08/13.48 o 104 101.65/13.66 o 103 103.21/13.85 o 102 2400.56/302.24 s SATISFIABLE 2400.56/302.24 v <instantiation> 2400.56/302.24 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> 2400.56/302.24 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> 2400.56/302.24 v </instantiation> 2400.56/302.24 c Unexpected resolution interruption!
OK 102
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246104-1500686798/watcher-4246104-1500686798 -o /tmp/evaluation-result-4246104-1500686798/solver-4246104-1500686798 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1168969996 HOME/instance-4246104-1500686798.xml pid=30443 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 14.61 13.81 14.08 9/272 30446 /proc/meminfo: memFree=31412900/32770624 swapFree=5972/226664 [pid=30446] ppid=30443 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30446/stat : 30446 (xcsp3-exec) S 30443 30446 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3949318 9740288 346 33554432000 4194304 5098028 140725792180736 140725792178840 140193054216828 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35037184 140725792187534 140725792187744 140725792187744 140725792190443 0 /proc/30446/statm: 2378 346 289 221 0 87 0 [startup+0.100083 s] /proc/loadavg: 14.61 13.81 14.08 9/272 30446 /proc/meminfo: memFree=31412900/32770624 swapFree=5972/226664 [pid=30446] ppid=30443 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30446/stat : 30446 (xcsp3-exec) S 30443 30446 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3949318 9740288 346 33554432000 4194304 5098028 140725792180736 140725792178840 140193054216828 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35037184 140725792187534 140725792187744 140725792187744 140725792190443 0 /proc/30446/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200222 s] /proc/loadavg: 14.61 13.81 14.08 9/272 30446 /proc/meminfo: memFree=31412900/32770624 swapFree=5972/226664 [pid=30446] ppid=30443 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30446/stat : 30446 (xcsp3-exec) S 30443 30446 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3949318 9740288 346 33554432000 4194304 5098028 140725792180736 140725792178840 140193054216828 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35037184 140725792187534 140725792187744 140725792187744 140725792190443 0 /proc/30446/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300361 s] /proc/loadavg: 14.61 13.81 14.08 9/272 30446 /proc/meminfo: memFree=31412900/32770624 swapFree=5972/226664 [pid=30446] ppid=30443 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30446/stat : 30446 (xcsp3-exec) S 30443 30446 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3949318 9740288 346 33554432000 4194304 5098028 140725792180736 140725792178840 140193054216828 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35037184 140725792187534 140725792187744 140725792187744 140725792190443 0 /proc/30446/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700198 s] /proc/loadavg: 14.61 13.81 14.08 9/272 30446 /proc/meminfo: memFree=31412900/32770624 swapFree=5972/226664 [pid=30446] ppid=30443 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30446/stat : 30446 (xcsp3-exec) S 30443 30446 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3949318 9740288 346 33554432000 4194304 5098028 140725792180736 140725792178840 140193054216828 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35037184 140725792187534 140725792187744 140725792187744 140725792190443 0 /proc/30446/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50175 s] /proc/loadavg: 14.61 13.81 14.08 21/301 30475 /proc/meminfo: memFree=31241660/32770624 swapFree=5972/226704 [pid=30446] ppid=30443 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30446/stat : 30446 (xcsp3-exec) S 30443 30446 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3949318 9740288 346 33554432000 4194304 5098028 140725792180736 140725792178840 140193054216828 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35037184 140725792187534 140725792187744 140725792187744 140725792190443 0 /proc/30446/statm: 2378 346 289 221 0 87 0 [pid=30447] ppid=30446 vsize=13801768 CPUtime=7.37 cores=0,2,4,6,8,10,12,14 /proc/30447/stat : 30447 (java) S 30446 30446 14626 0 -1 1077944320 18512 0 0 0 729 8 0 0 20 0 28 0 3949319 14133010432 46512 33554432000 4194304 4196468 140722013588048 140722013570592 139739394891511 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 /proc/30447/statm: 3450442 46512 3241 1 0 3437675 0 [pid=30447/tid=30448] ppid=30446 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30448/stat : 30448 (java) S 30446 30446 14626 0 -1 1077944384 6910 0 0 0 84 3 0 0 20 0 28 0 3949319 14133010432 46512 33554432000 4194304 4196468 140722013588048 139739399132288 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30450] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30450/stat : 30450 (java) S 30446 30446 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3949320 14133010432 46512 33554432000 4194304 4196468 140722013588048 139739313371408 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30451] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30451/stat : 30451 (java) S 30446 30446 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3949320 14133010432 46512 33554432000 4194304 4196468 140722013588048 139739312318864 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30452] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30452/stat : 30452 (java) S 30446 30446 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3949320 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738992339472 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30453] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30453/stat : 30453 (java) S 30446 30446 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3949320 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738991286928 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30454] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30454/stat : 30454 (java) S 30446 30446 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3949320 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738990234384 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30455] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30455/stat : 30455 (java) S 30446 30446 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3949320 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738989181840 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30456] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30456/stat : 30456 (java) S 30446 30446 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3949320 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738988129296 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30457] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30457/stat : 30457 (java) S 30446 30446 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3949320 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738987076752 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30458] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30458/stat : 30458 (java) S 30446 30446 14626 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3949322 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738521663472 139739394902658 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30459] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30459/stat : 30459 (java) S 30446 30446 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3949322 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738520609696 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30460] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30460/stat : 30460 (java) S 30446 30446 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3949322 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738519557104 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30461] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30461/stat : 30461 (java) S 30446 30446 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3949325 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738518505680 139739394910107 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30462] ppid=30446 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30462/stat : 30462 (java) S 30446 30446 14626 0 -1 1077944384 2212 0 0 0 81 0 0 0 20 0 28 0 3949325 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738517453296 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30463] ppid=30446 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30463/stat : 30463 (java) R 30446 30446 14626 0 -1 1077944384 2561 0 0 0 90 0 0 0 20 0 28 0 3949325 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738516400752 139739394902658 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30464] ppid=30446 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30464/stat : 30464 (java) R 30446 30446 14626 0 -1 4202560 1840 0 0 0 86 1 0 0 20 0 28 0 3949325 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738515334752 139739380015103 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30465] ppid=30446 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30465/stat : 30465 (java) S 30446 30446 14626 0 -1 1077944384 3314 0 0 0 66 1 0 0 20 0 28 0 3949326 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738514295664 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30466] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30466/stat : 30466 (java) S 30446 30446 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3949326 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738513242336 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30467] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30467/stat : 30467 (java) S 30446 30446 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3949326 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738512189872 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30468] ppid=30446 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30468/stat : 30468 (java) R 30446 30446 14626 0 -1 4202560 44 0 0 0 33 0 0 0 20 0 28 0 3949409 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738108906840 139738998097275 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30469] ppid=30446 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30469/stat : 30469 (java) R 30446 30446 14626 0 -1 4202560 41 0 0 0 47 0 0 0 20 0 28 0 3949410 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738107854384 139738998563265 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30470] ppid=30446 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30470/stat : 30470 (java) R 30446 30446 14626 0 -1 4202560 39 0 0 0 38 0 0 0 20 0 28 0 3949410 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738106804760 139738998478948 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30471] ppid=30446 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30471/stat : 30471 (java) R 30446 30446 14626 0 -1 4202560 77 0 0 0 36 0 0 0 20 0 28 0 3949410 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738105749304 139738998419293 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30472] ppid=30446 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30472/stat : 30472 (java) R 30446 30446 14626 0 -1 4202560 52 0 0 0 45 0 0 0 20 0 28 0 3949410 14133010432 46512 33554432000 4194304 4196468 140722013588048 139738104699240 139738998097178 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30473] ppid=30446 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30473/stat : 30473 (java) R 30446 30446 14626 0 -1 4202560 32 0 0 0 34 0 0 0 20 0 28 0 3949410 14133010432 46512 33554432000 4194304 4196468 140722013588048 139737096508296 139738998701049 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30474] ppid=30446 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30474/stat : 30474 (java) R 30446 30446 14626 0 -1 4202560 34 0 0 0 37 0 0 0 20 0 28 0 3949410 14133010432 46512 33554432000 4194304 4196468 140722013588048 139737095454168 139738998419206 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30475] ppid=30446 vsize=13801768 CPUtime=0.48 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30475/stat : 30475 (java) R 30446 30446 14626 0 -1 4202560 39 0 0 0 48 0 0 0 20 0 28 0 3949410 14133010432 46512 33554432000 4194304 4196468 140722013588048 139737094403720 139739379462478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 Current children cumulated CPU time (s) 7.37 Current children cumulated vsize (KiB) 13811280 [startup+3.10116 s] /proc/loadavg: 14.61 13.81 14.08 19/301 30499 /proc/meminfo: memFree=31193612/32770624 swapFree=5972/226704 [pid=30446] ppid=30443 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30446/stat : 30446 (xcsp3-exec) S 30443 30446 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3949318 9740288 346 33554432000 4194304 5098028 140725792180736 140725792178840 140193054216828 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35037184 140725792187534 140725792187744 140725792187744 140725792190443 0 /proc/30446/statm: 2378 346 289 221 0 87 0 [pid=30447] ppid=30446 vsize=13801768 CPUtime=19.76 cores=0,2,4,6,8,10,12,14 /proc/30447/stat : 30447 (java) S 30446 30446 14626 0 -1 1077944320 20233 0 0 0 1949 27 0 0 20 0 28 0 3949319 14133010432 57459 33554432000 4194304 4196468 140722013588048 140722013570592 139739394891511 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 /proc/30447/statm: 3450442 57459 3271 1 0 3437675 0 [pid=30447/tid=30448] ppid=30446 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30448/stat : 30448 (java) S 30446 30446 14626 0 -1 1077944384 6912 0 0 0 86 3 0 0 20 0 28 0 3949319 14133010432 57459 33554432000 4194304 4196468 140722013588048 139739399132288 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30450] ppid=30446 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30450/stat : 30450 (java) S 30446 30446 14626 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 3949320 14133010432 57459 33554432000 4194304 4196468 140722013588048 139739313371408 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30451] ppid=30446 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30451/stat : 30451 (java) S 30446 30446 14626 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 28 0 3949320 14133010432 57459 33554432000 4194304 4196468 140722013588048 139739312318864 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30452] ppid=30446 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30452/stat : 30452 (java) S 30446 30446 14626 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3949320 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738992339472 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30453] ppid=30446 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30453/stat : 30453 (java) S 30446 30446 14626 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3949320 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738991286928 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30454] ppid=30446 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30454/stat : 30454 (java) S 30446 30446 14626 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3949320 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738990234384 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30455] ppid=30446 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30455/stat : 30455 (java) S 30446 30446 14626 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 3949320 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738989181840 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30456] ppid=30446 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30456/stat : 30456 (java) S 30446 30446 14626 0 -1 1077944384 18 0 0 0 2 1 0 0 20 0 28 0 3949320 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738988129296 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30457] ppid=30446 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30457/stat : 30457 (java) S 30446 30446 14626 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3949320 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738987076752 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30458] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30458/stat : 30458 (java) S 30446 30446 14626 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3949322 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738521663472 139739394902658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30459] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30459/stat : 30459 (java) S 30446 30446 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3949322 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738520609696 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30460] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30460/stat : 30460 (java) S 30446 30446 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3949322 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738519557104 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30461] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30461/stat : 30461 (java) S 30446 30446 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3949325 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738518505680 139739394910107 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30462] ppid=30446 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30462/stat : 30462 (java) S 30446 30446 14626 0 -1 1077944384 2295 0 0 0 141 1 0 0 20 0 28 0 3949325 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738517453296 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30463] ppid=30446 vsize=13801768 CPUtime=1.34 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30463/stat : 30463 (java) S 30446 30446 14626 0 -1 1077944384 2612 0 0 0 134 0 0 0 20 0 28 0 3949325 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738516400752 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30464] ppid=30446 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30464/stat : 30464 (java) S 30446 30446 14626 0 -1 1077944384 2142 0 0 0 138 1 0 0 20 0 28 0 3949325 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738515348208 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30465] ppid=30446 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30465/stat : 30465 (java) S 30446 30446 14626 0 -1 1077944384 3481 0 0 0 81 1 0 0 20 0 28 0 3949326 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738514295664 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30466] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30466/stat : 30466 (java) S 30446 30446 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3949326 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738513242336 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30467] ppid=30446 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30467/stat : 30467 (java) S 30446 30446 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3949326 14133010432 57459 33554432000 4194304 4196468 140722013588048 139738512189872 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 Current children cumulated CPU time (s) 19.76 Current children cumulated vsize (KiB) 13811280 [startup+6.30125 s] /proc/loadavg: 14.16 13.73 14.06 11/293 30634 /proc/meminfo: memFree=31709888/32770624 swapFree=5972/226684 [pid=30446] ppid=30443 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30446/stat : 30446 (xcsp3-exec) S 30443 30446 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3949318 9740288 346 33554432000 4194304 5098028 140725792180736 140725792178840 140193054216828 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35037184 140725792187534 140725792187744 140725792187744 140725792190443 0 /proc/30446/statm: 2378 346 289 221 0 87 0 [pid=30447] ppid=30446 vsize=13801768 CPUtime=45.1 cores=0,2,4,6,8,10,12,14 /proc/30447/stat : 30447 (java) S 30446 30446 14626 0 -1 1077944320 23269 0 0 0 4470 40 0 0 20 0 28 0 3949319 14133010432 63893 33554432000 4194304 4196468 140722013588048 140722013570592 139739394891511 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 /proc/30447/statm: 3450442 63893 3276 1 0 3437675 0 [pid=30447/tid=30448] ppid=30446 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30448/stat : 30448 (java) S 30446 30446 14626 0 -1 1077944384 7118 0 0 0 87 3 0 0 20 0 28 0 3949319 14133010432 63893 33554432000 4194304 4196468 140722013588048 139739399132288 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30450] ppid=30446 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30450/stat : 30450 (java) S 30446 30446 14626 0 -1 1077944384 38 0 0 0 3 3 0 0 20 0 28 0 3949320 14133010432 63893 33554432000 4194304 4196468 140722013588048 139739313371408 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30451] ppid=30446 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30451/stat : 30451 (java) S 30446 30446 14626 0 -1 1077944384 38 0 0 0 2 2 0 0 20 0 28 0 3949320 14133010432 63893 33554432000 4194304 4196468 140722013588048 139739312318864 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30452] ppid=30446 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30452/stat : 30452 (java) S 30446 30446 14626 0 -1 1077944384 33 0 0 0 2 3 0 0 20 0 28 0 3949320 14133010432 63893 33554432000 4194304 4196468 140722013588048 139738992339472 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30453] ppid=30446 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30453/stat : 30453 (java) S 30446 30446 14626 0 -1 1077944384 39 0 0 0 2 3 0 0 20 0 28 0 3949320 14133010432 63893 33554432000 4194304 4196468 140722013588048 139738991286928 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 ################ # More data... # ################ [pid=30447/tid=31167] ppid=30446 vsize=13802796 CPUtime=203.18 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31167/stat : 31167 (java) R 30446 30446 14626 0 -1 4202560 601 0 0 0 20318 0 0 0 20 0 28 0 3950705 14134063104 161348 33554432000 4194304 4196468 140722013588048 139738107854152 139738998478948 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31168] ppid=30446 vsize=13802796 CPUtime=208.07 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31168/stat : 31168 (java) R 30446 30446 14626 0 -1 4202560 774 0 0 0 20807 0 0 0 20 0 28 0 3950705 14134063104 161348 33554432000 4194304 4196468 140722013588048 139737094401336 139738998479018 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 Current children cumulated CPU time (s) 1764.13 Current children cumulated vsize (KiB) 13812308 [startup+282.302 s] /proc/loadavg: 16.01 15.16 14.59 17/302 31364 /proc/meminfo: memFree=30679332/32770624 swapFree=5972/227116 [pid=30446] ppid=30443 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30446/stat : 30446 (xcsp3-exec) S 30443 30446 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3949318 9740288 346 33554432000 4194304 5098028 140725792180736 140725792178840 140193054216828 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35037184 140725792187534 140725792187744 140725792187744 140725792190443 0 /proc/30446/statm: 2378 346 289 221 0 87 0 [pid=30447] ppid=30446 vsize=13802796 CPUtime=2242 cores=0,2,4,6,8,10,12,14 /proc/30447/stat : 30447 (java) S 30446 30446 14626 0 -1 1077944320 68918 0 0 0 224081 119 0 0 20 0 28 0 3949319 14134063104 155321 33554432000 4194304 4196468 140722013588048 140722013570592 139739394891511 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 /proc/30447/statm: 3450699 155321 3287 1 0 3437932 0 [pid=30447/tid=30448] ppid=30446 vsize=13802796 CPUtime=0.94 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30448/stat : 30448 (java) S 30446 30446 14626 0 -1 1077944384 7144 0 0 0 91 3 0 0 20 0 28 0 3949319 14134063104 155321 33554432000 4194304 4196468 140722013588048 139739399132288 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30450] ppid=30446 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30450/stat : 30450 (java) S 30446 30446 14626 0 -1 1077944384 1163 0 0 0 9 8 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139739313371408 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30451] ppid=30446 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30451/stat : 30451 (java) S 30446 30446 14626 0 -1 1077944384 581 0 0 0 10 7 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139739312318864 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30452] ppid=30446 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30452/stat : 30452 (java) S 30446 30446 14626 0 -1 1077944384 572 0 0 0 9 8 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738992339472 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30453] ppid=30446 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30453/stat : 30453 (java) S 30446 30446 14626 0 -1 1077944384 175 0 0 0 8 8 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738991286928 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30454] ppid=30446 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30454/stat : 30454 (java) S 30446 30446 14626 0 -1 1077944384 384 0 0 0 8 8 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738990234384 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30455] ppid=30446 vsize=13802796 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30455/stat : 30455 (java) S 30446 30446 14626 0 -1 1077944384 1424 0 0 0 9 9 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738989181840 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30456] ppid=30446 vsize=13802796 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30456/stat : 30456 (java) S 30446 30446 14626 0 -1 1077944384 253 0 0 0 10 8 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738988129296 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30457] ppid=30446 vsize=13802796 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30457/stat : 30457 (java) S 30446 30446 14626 0 -1 1077944384 1487 0 0 0 9 9 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738987076752 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30458] ppid=30446 vsize=13802796 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30458/stat : 30458 (java) S 30446 30446 14626 0 -1 1077944384 1624 0 0 0 3 3 0 0 20 0 28 0 3949322 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738521663472 139739394902658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30459] ppid=30446 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30459/stat : 30459 (java) S 30446 30446 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3949322 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738520609760 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30460] ppid=30446 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30460/stat : 30460 (java) S 30446 30446 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3949322 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738519557120 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30461] ppid=30446 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30461/stat : 30461 (java) S 30446 30446 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3949325 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738518505680 139739394910107 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30462] ppid=30446 vsize=13802796 CPUtime=2.29 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30462/stat : 30462 (java) S 30446 30446 14626 0 -1 1077944384 8347 0 0 0 227 2 0 0 20 0 28 0 3949325 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738517453296 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30463] ppid=30446 vsize=13802796 CPUtime=2.42 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30463/stat : 30463 (java) S 30446 30446 14626 0 -1 1077944384 8945 0 0 0 241 1 0 0 20 0 28 0 3949325 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738516400752 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30464] ppid=30446 vsize=13802796 CPUtime=2.65 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30464/stat : 30464 (java) S 30446 30446 14626 0 -1 1077944384 8929 0 0 0 263 2 0 0 20 0 28 0 3949325 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738515348208 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30465] ppid=30446 vsize=13802796 CPUtime=1 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30465/stat : 30465 (java) S 30446 30446 14626 0 -1 1077944384 7133 0 0 0 98 2 0 0 20 0 28 0 3949326 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738514295664 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30466] ppid=30446 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30466/stat : 30466 (java) S 30446 30446 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3949326 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738513242336 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30467] ppid=30446 vsize=13802796 CPUtime=0.13 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30467/stat : 30467 (java) S 30446 30446 14626 0 -1 1077944384 516 0 0 0 7 6 0 0 20 0 28 0 3949326 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738512189872 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31161] ppid=30446 vsize=13802796 CPUtime=267.95 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31161/stat : 31161 (java) R 30446 30446 14626 0 -1 4202560 729 0 0 0 26795 0 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738105747944 139738998760736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31162] ppid=30446 vsize=13802796 CPUtime=267.47 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31162/stat : 31162 (java) R 30446 30446 14626 0 -1 4202560 961 0 0 0 26747 0 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139737096506832 139738998760770 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31163] ppid=30446 vsize=13802796 CPUtime=267.56 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31163/stat : 31163 (java) R 30446 30446 14626 0 -1 4202560 2042 0 0 0 26756 0 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738106802152 139738998760765 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31164] ppid=30446 vsize=13802796 CPUtime=267.65 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31164/stat : 31164 (java) R 30446 30446 14626 0 -1 4202560 3568 0 0 0 26759 6 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139737093352144 139738998760765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31165] ppid=30446 vsize=13802796 CPUtime=266.82 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31165/stat : 31165 (java) R 30446 30446 14626 0 -1 4202560 1027 0 0 0 26681 1 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738104696904 139738998478948 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31166] ppid=30446 vsize=13802796 CPUtime=267.98 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31166/stat : 31166 (java) R 30446 30446 14626 0 -1 4202560 1078 0 0 0 26798 0 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139737095454920 139738998760792 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31167] ppid=30446 vsize=13802796 CPUtime=262.6 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31167/stat : 31167 (java) R 30446 30446 14626 0 -1 4202560 648 0 0 0 26260 0 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738107854152 139738998760770 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31168] ppid=30446 vsize=13802796 CPUtime=268 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31168/stat : 31168 (java) R 30446 30446 14626 0 -1 4202560 837 0 0 0 26800 0 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139737094401480 139738998097498 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 Current children cumulated CPU time (s) 2242 Current children cumulated vsize (KiB) 13812308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+302.201 s] /proc/loadavg: 16.00 15.22 14.62 17/302 31364 /proc/meminfo: memFree=30694288/32770624 swapFree=5972/227144 [pid=30446] ppid=30443 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30446/stat : 30446 (xcsp3-exec) S 30443 30446 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3949318 9740288 346 33554432000 4194304 5098028 140725792180736 140725792178840 140193054216828 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35037184 140725792187534 140725792187744 140725792187744 140725792190443 0 /proc/30446/statm: 2378 346 289 221 0 87 0 [pid=30447] ppid=30446 vsize=13802796 CPUtime=2400.56 cores=0,2,4,6,8,10,12,14 /proc/30447/stat : 30447 (java) S 30446 30446 14626 0 -1 1077944320 68979 0 0 0 239936 120 0 0 20 0 28 0 3949319 14134063104 155321 33554432000 4194304 4196468 140722013588048 140722013570592 139739394891511 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 /proc/30447/statm: 3450699 155321 3287 1 0 3437932 0 [pid=30447/tid=30448] ppid=30446 vsize=13802796 CPUtime=0.94 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30448/stat : 30448 (java) S 30446 30446 14626 0 -1 1077944384 7144 0 0 0 91 3 0 0 20 0 28 0 3949319 14134063104 155321 33554432000 4194304 4196468 140722013588048 139739399132288 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30450] ppid=30446 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30450/stat : 30450 (java) S 30446 30446 14626 0 -1 1077944384 1163 0 0 0 9 8 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139739313371408 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30451] ppid=30446 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30451/stat : 30451 (java) S 30446 30446 14626 0 -1 1077944384 581 0 0 0 10 7 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139739312318864 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30452] ppid=30446 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30452/stat : 30452 (java) S 30446 30446 14626 0 -1 1077944384 572 0 0 0 9 8 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738992339472 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30453] ppid=30446 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30453/stat : 30453 (java) S 30446 30446 14626 0 -1 1077944384 175 0 0 0 8 8 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738991286928 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30454] ppid=30446 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30454/stat : 30454 (java) S 30446 30446 14626 0 -1 1077944384 384 0 0 0 8 8 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738990234384 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30455] ppid=30446 vsize=13802796 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30455/stat : 30455 (java) S 30446 30446 14626 0 -1 1077944384 1424 0 0 0 9 9 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738989181840 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30456] ppid=30446 vsize=13802796 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30456/stat : 30456 (java) S 30446 30446 14626 0 -1 1077944384 253 0 0 0 10 8 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738988129296 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30457] ppid=30446 vsize=13802796 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30457/stat : 30457 (java) S 30446 30446 14626 0 -1 1077944384 1487 0 0 0 9 9 0 0 20 0 28 0 3949320 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738987076752 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30458] ppid=30446 vsize=13802796 CPUtime=0.06 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30458/stat : 30458 (java) S 30446 30446 14626 0 -1 1077944384 1624 0 0 0 3 3 0 0 20 0 28 0 3949322 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738521663472 139739394902658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30459] ppid=30446 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30459/stat : 30459 (java) S 30446 30446 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3949322 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738520609760 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30460] ppid=30446 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30460/stat : 30460 (java) S 30446 30446 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3949322 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738519557120 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30461] ppid=30446 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30461/stat : 30461 (java) S 30446 30446 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3949325 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738518505680 139739394910107 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30462] ppid=30446 vsize=13802796 CPUtime=2.29 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30462/stat : 30462 (java) S 30446 30446 14626 0 -1 1077944384 8347 0 0 0 227 2 0 0 20 0 28 0 3949325 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738517453296 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30463] ppid=30446 vsize=13802796 CPUtime=2.42 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30463/stat : 30463 (java) S 30446 30446 14626 0 -1 1077944384 8945 0 0 0 241 1 0 0 20 0 28 0 3949325 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738516400752 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30464] ppid=30446 vsize=13802796 CPUtime=2.65 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30464/stat : 30464 (java) S 30446 30446 14626 0 -1 1077944384 8929 0 0 0 263 2 0 0 20 0 28 0 3949325 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738515348208 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30465] ppid=30446 vsize=13802796 CPUtime=1 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30465/stat : 30465 (java) S 30446 30446 14626 0 -1 1077944384 7133 0 0 0 98 2 0 0 20 0 28 0 3949326 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738514295664 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30466] ppid=30446 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30466/stat : 30466 (java) S 30446 30446 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3949326 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738513242336 139739394901717 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=30467] ppid=30446 vsize=13802796 CPUtime=0.15 cores=0,2,4,6,8,10,12,14 /proc/30447/task/30467/stat : 30467 (java) S 30446 30446 14626 0 -1 1077944384 516 0 0 0 8 7 0 0 20 0 28 0 3949326 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738512189872 139739394902658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31161] ppid=30446 vsize=13802796 CPUtime=287.84 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31161/stat : 31161 (java) R 30446 30446 14626 0 -1 4202560 732 0 0 0 28784 0 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738105747944 139738998479018 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31162] ppid=30446 vsize=13802796 CPUtime=287.35 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31162/stat : 31162 (java) R 30446 30446 14626 0 -1 4202560 964 0 0 0 28735 0 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139737096506832 139738998478948 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31163] ppid=30446 vsize=13802796 CPUtime=286.94 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31163/stat : 31163 (java) R 30446 30446 14626 0 -1 4202560 2047 0 0 0 28694 0 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738106802152 139738998478948 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31164] ppid=30446 vsize=13802796 CPUtime=287.53 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31164/stat : 31164 (java) R 30446 30446 14626 0 -1 4202560 3590 0 0 0 28747 6 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139737093352144 139738998097275 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31165] ppid=30446 vsize=13802796 CPUtime=286.69 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31165/stat : 31165 (java) R 30446 30446 14626 0 -1 4202560 1033 0 0 0 28667 2 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738104696904 139738998097807 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31166] ppid=30446 vsize=13802796 CPUtime=287.86 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31166/stat : 31166 (java) R 30446 30446 14626 0 -1 4202560 1084 0 0 0 28786 0 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139737095454920 139738998479018 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31167] ppid=30446 vsize=13802796 CPUtime=282.48 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31167/stat : 31167 (java) R 30446 30446 14626 0 -1 4202560 652 0 0 0 28248 0 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139738107854152 139738999196090 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 [pid=30447/tid=31168] ppid=30446 vsize=13802796 CPUtime=287.89 cores=0,2,4,6,8,10,12,14 /proc/30447/task/31168/stat : 31168 (java) R 30446 30446 14626 0 -1 4202560 849 0 0 0 28789 0 0 0 20 0 28 0 3950705 14134063104 155321 33554432000 4194304 4196468 140722013588048 139737094401480 139738998478948 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27705344 140722013594812 140722013594988 140722013594988 140722013597647 0 Current children cumulated CPU time (s) 2400.56 Current children cumulated vsize (KiB) 13812308 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 30447 sig 9 ??? kill 30446 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30446 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2469 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=0 # CPU time returned by wait4() is 0.002469 # while last known CPU time is 2400.56 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 302.212 CPU time (s): 2400.56 CPU user time (s): 2399.36 CPU system time (s): 1.2 CPU usage (%): 794.329 Max. virtual memory (cumulated for all children) (KiB): 13812308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002469 system time used= 0 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 519 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.4526 second user time and 4.53551 second system time The end
Begin job on node105 at 2017-07-22 03:26:38 IDJOB=4246104 IDBENCH=124142 IDSOLVER=2626 FILE ID=node105/4246104-1500686798 RUNJOBID= node105-1500682495-14657 PBS_JOBID= 20623326 Free space on /tmp= 62004 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-3.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246104-1500686798/watcher-4246104-1500686798 -o /tmp/evaluation-result-4246104-1500686798/solver-4246104-1500686798 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1168969996 HOME/instance-4246104-1500686798.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 0b4fb4a315b6bd8f0348750a3d90443f RANDOM SEED=1168969996 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 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 : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 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 : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 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 : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 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 : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31412900 kB MemAvailable: 31472452 kB Buffers: 53696 kB Cached: 314264 kB SwapCached: 0 kB Active: 745228 kB Inactive: 235304 kB Active(anon): 615112 kB Inactive(anon): 8640 kB Active(file): 130116 kB Inactive(file): 226664 kB Unevictable: 5972 kB Mlocked: 6004 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7664 kB Writeback: 0 kB AnonPages: 662584 kB Mapped: 43136 kB Shmem: 8884 kB Slab: 70352 kB SReclaimable: 37216 kB SUnreclaim: 33136 kB KernelStack: 5136 kB PageTables: 6888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1355920 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 542720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61996 MiB End job on node105 at 2017-07-22 03:31:41