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 4.0.5 (2017-07-05) | SAT (TO) | 102 | 2400.6 | 302.538 |
| 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-4246103-1500686529.xml" -tl '2400s' -p 8 -x 0 0.00/0.21 c [HOME/instance-4246103-1500686529.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.26 c 8 solvers in parallel 0.00/0.33 c parse instance... 0.00/1.04 c solve instance... 5.70/1.49 o 146 9.59/1.95 o 145 11.13/2.19 o 144 14.22/2.50 o 143 15.79/2.74 o 142 18.13/3.03 o 141 19.70/3.27 o 140 31.59/4.77 o 139 41.05/5.95 o 138 44.19/6.37 o 137 45.73/6.59 o 136 48.08/6.80 o 135 49.64/7.03 o 134 51.20/7.26 o 133 52.76/7.48 o 132 54.32/7.71 o 131 56.67/7.93 o 130 58.23/8.15 o 129 59.76/8.39 o 128 62.03/8.61 o 127 63.63/8.84 o 126 65.09/9.05 o 125 66.62/9.26 o 124 68.18/9.49 o 123 70.55/9.70 o 122 72.19/9.92 o 121 73.67/10.14 o 120 75.17/10.37 o 119 76.66/10.59 o 118 79.02/10.81 o 117 80.65/11.03 o 116 82.14/11.26 o 115 83.67/11.48 o 114 85.22/11.70 o 113 87.58/11.91 o 112 89.21/12.12 o 111 90.68/12.34 o 110 92.23/12.56 o 109 93.82/12.77 o 108 95.39/12.99 o 107 96.95/13.20 o 106 99.28/13.40 o 105 100.85/13.61 o 104 102.40/13.81 o 103 103.98/14.01 o 102 2400.60/302.56 s SATISFIABLE 2400.60/302.56 v <instantiation> 2400.60/302.56 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.60/302.57 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.60/302.57 v </instantiation> 2400.60/302.57 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-4246103-1500686529/watcher-4246103-1500686529 -o /tmp/evaluation-result-4246103-1500686529/solver-4246103-1500686529 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1020083531 HOME/instance-4246103-1500686529.xml pid=1661 running on 8 cores: 4-7,12-15 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.65 13.96 14.20 10/275 1664 /proc/meminfo: memFree=23618692/32770624 swapFree=5944/214912 [pid=1664] ppid=1661 vsize=9512 CPUtime=0 cores=4-7,12-15 /proc/1664/stat : 1664 (xcsp3-exec) S 1661 1664 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3920028 9740288 346 33554432000 4194304 5098028 140722194758080 140722194756184 140252317909628 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11505664 140722194764942 140722194765152 140722194765152 140722194767851 0 /proc/1664/statm: 2378 346 289 221 0 87 0 [startup+0.100064 s] /proc/loadavg: 14.65 13.96 14.20 10/275 1664 /proc/meminfo: memFree=23618692/32770624 swapFree=5944/214912 [pid=1664] ppid=1661 vsize=9512 CPUtime=0 cores=4-7,12-15 /proc/1664/stat : 1664 (xcsp3-exec) S 1661 1664 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3920028 9740288 346 33554432000 4194304 5098028 140722194758080 140722194756184 140252317909628 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11505664 140722194764942 140722194765152 140722194765152 140722194767851 0 /proc/1664/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200305 s] /proc/loadavg: 14.65 13.96 14.20 10/275 1664 /proc/meminfo: memFree=23618692/32770624 swapFree=5944/214912 [pid=1664] ppid=1661 vsize=9512 CPUtime=0 cores=4-7,12-15 /proc/1664/stat : 1664 (xcsp3-exec) S 1661 1664 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3920028 9740288 346 33554432000 4194304 5098028 140722194758080 140722194756184 140252317909628 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11505664 140722194764942 140722194765152 140722194765152 140722194767851 0 /proc/1664/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300327 s] /proc/loadavg: 14.65 13.96 14.20 10/275 1664 /proc/meminfo: memFree=23618692/32770624 swapFree=5944/214912 [pid=1664] ppid=1661 vsize=9512 CPUtime=0 cores=4-7,12-15 /proc/1664/stat : 1664 (xcsp3-exec) S 1661 1664 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3920028 9740288 346 33554432000 4194304 5098028 140722194758080 140722194756184 140252317909628 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11505664 140722194764942 140722194765152 140722194765152 140722194767851 0 /proc/1664/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700196 s] /proc/loadavg: 14.65 13.96 14.20 10/275 1664 /proc/meminfo: memFree=23618692/32770624 swapFree=5944/214912 [pid=1664] ppid=1661 vsize=9512 CPUtime=0 cores=4-7,12-15 /proc/1664/stat : 1664 (xcsp3-exec) S 1661 1664 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3920028 9740288 346 33554432000 4194304 5098028 140722194758080 140722194756184 140252317909628 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11505664 140722194764942 140722194765152 140722194765152 140722194767851 0 /proc/1664/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50161 s] /proc/loadavg: 14.65 13.96 14.20 21/304 1693 /proc/meminfo: memFree=23443636/32770624 swapFree=5944/214984 [pid=1664] ppid=1661 vsize=9512 CPUtime=0 cores=4-7,12-15 /proc/1664/stat : 1664 (xcsp3-exec) S 1661 1664 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3920028 9740288 346 33554432000 4194304 5098028 140722194758080 140722194756184 140252317909628 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11505664 140722194764942 140722194765152 140722194765152 140722194767851 0 /proc/1664/statm: 2378 346 289 221 0 87 0 [pid=1665] ppid=1664 vsize=13801768 CPUtime=6.45 cores=4-7,12-15 /proc/1665/stat : 1665 (java) S 1664 1664 18810 0 -1 1077944320 27648 0 0 0 635 10 0 0 20 0 24 0 3920028 14133010432 49071 33554432000 4194304 4196468 140727448454720 140727448437264 140037190487799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 /proc/1665/statm: 3450442 49071 3245 1 0 3437675 0 [pid=1665/tid=1666] ppid=1664 vsize=13801768 CPUtime=1.04 cores=4-7,12-15 /proc/1665/task/1666/stat : 1666 (java) S 1664 1664 18810 0 -1 1077944384 7840 0 0 0 100 4 0 0 20 0 25 0 3920029 14133010432 49071 33554432000 4194304 4196468 140727448454720 140037194728576 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1668] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1668/stat : 1668 (java) S 1664 1664 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 3920030 14133010432 49071 33554432000 4194304 4196468 140727448454720 140037143108624 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1669] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1669/stat : 1669 (java) S 1664 1664 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 27 0 3920030 14133010432 49071 33554432000 4194304 4196468 140727448454720 140037142056080 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1670] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1670/stat : 1670 (java) S 1664 1664 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3920030 14133010432 49071 33554432000 4194304 4196468 140727448454720 140036787338000 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1671] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1671/stat : 1671 (java) S 1664 1664 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3920030 14133010432 49071 33554432000 4194304 4196468 140727448454720 140036786285456 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1672] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1672/stat : 1672 (java) S 1664 1664 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3920030 14133010432 49071 33554432000 4194304 4196468 140727448454720 140036785232400 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1673] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1673/stat : 1673 (java) S 1664 1664 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3920030 14133010432 49071 33554432000 4194304 4196468 140727448454720 140036784179856 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1674] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1674/stat : 1674 (java) S 1664 1664 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3920030 14133010432 49071 33554432000 4194304 4196468 140727448454720 140036783126800 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1675] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1675/stat : 1675 (java) S 1664 1664 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920030 14133010432 49071 33554432000 4194304 4196468 140727448454720 140036782074256 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1676] ppid=1664 vsize=13801756 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1676/stat : 1676 (java) S 1664 1664 18810 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3920032 14132998144 49583 33554432000 4194304 4196468 140727448454720 140036652694256 140037190498946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1677] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1677/stat : 1677 (java) S 1664 1664 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3920033 14133010432 49583 33554432000 4194304 4196468 140727448454720 140036651640480 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1678] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1678/stat : 1678 (java) S 1664 1664 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3920033 14133010432 49583 33554432000 4194304 4196468 140727448454720 140036650587376 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1679] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1679/stat : 1679 (java) S 1664 1664 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3920037 14133010432 49583 33554432000 4194304 4196468 140727448454720 140036649535952 140037190506395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1680] ppid=1664 vsize=13801768 CPUtime=0.85 cores=4-7,12-15 /proc/1665/task/1680/stat : 1680 (java) R 1664 1664 18810 0 -1 4202560 4468 0 0 0 85 0 0 0 20 0 28 0 3920037 14133010432 49583 33554432000 4194304 4196468 140727448454720 140036648475544 140037169726256 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1681] ppid=1664 vsize=13801768 CPUtime=0.79 cores=4-7,12-15 /proc/1665/task/1681/stat : 1681 (java) R 1664 1664 18810 0 -1 4202560 4154 0 0 0 79 0 0 0 20 0 28 0 3920037 14133010432 49583 33554432000 4194304 4196468 140727448454720 140036647417056 140037174884616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1682] ppid=1664 vsize=13801768 CPUtime=0.85 cores=4-7,12-15 /proc/1665/task/1682/stat : 1682 (java) R 1664 1664 18810 0 -1 4202560 5711 0 0 0 85 0 0 0 20 0 28 0 3920037 14133010432 49583 33554432000 4194304 4196468 140727448454720 140036646363424 140037169677344 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1683] ppid=1664 vsize=13801768 CPUtime=0.67 cores=4-7,12-15 /proc/1665/task/1683/stat : 1683 (java) S 1664 1664 18810 0 -1 1077944384 3574 0 0 0 66 1 0 0 20 0 28 0 3920037 14133010432 49583 33554432000 4194304 4196468 140727448454720 140036645324912 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1684] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1684/stat : 1684 (java) S 1664 1664 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920038 14133010432 49583 33554432000 4194304 4196468 140727448454720 140036644273120 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1685] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1685/stat : 1685 (java) S 1664 1664 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920038 14133010432 49583 33554432000 4194304 4196468 140727448454720 140036643220656 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 Current children cumulated CPU time (s) 6.45 Current children cumulated vsize (KiB) 13811280 [startup+3.10126 s] /proc/loadavg: 14.65 13.96 14.20 11/296 1709 /proc/meminfo: memFree=23394240/32770624 swapFree=5944/214984 [pid=1664] ppid=1661 vsize=9512 CPUtime=0 cores=4-7,12-15 /proc/1664/stat : 1664 (xcsp3-exec) S 1661 1664 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3920028 9740288 346 33554432000 4194304 5098028 140722194758080 140722194756184 140252317909628 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11505664 140722194764942 140722194765152 140722194765152 140722194767851 0 /proc/1664/statm: 2378 346 289 221 0 87 0 [pid=1665] ppid=1664 vsize=13801768 CPUtime=18.9 cores=4-7,12-15 /proc/1665/stat : 1665 (java) S 1664 1664 18810 0 -1 1077944320 30200 0 0 0 1861 29 0 0 20 0 28 0 3920028 14133010432 59005 33554432000 4194304 4196468 140727448454720 140727448437264 140037190487799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 /proc/1665/statm: 3450442 59005 3269 1 0 3437675 0 [pid=1665/tid=1666] ppid=1664 vsize=13801768 CPUtime=1.06 cores=4-7,12-15 /proc/1665/task/1666/stat : 1666 (java) S 1664 1664 18810 0 -1 1077944384 7840 0 0 0 101 5 0 0 20 0 28 0 3920029 14133010432 59005 33554432000 4194304 4196468 140727448454720 140037194728576 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1668] ppid=1664 vsize=13801768 CPUtime=0.03 cores=4-7,12-15 /proc/1665/task/1668/stat : 1668 (java) S 1664 1664 18810 0 -1 1077944384 122 0 0 0 1 2 0 0 20 0 28 0 3920030 14133010432 59005 33554432000 4194304 4196468 140727448454720 140037143108624 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1669] ppid=1664 vsize=13801768 CPUtime=0.02 cores=4-7,12-15 /proc/1665/task/1669/stat : 1669 (java) S 1664 1664 18810 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3920030 14133010432 59005 33554432000 4194304 4196468 140727448454720 140037142056080 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1670] ppid=1664 vsize=13801768 CPUtime=0.03 cores=4-7,12-15 /proc/1665/task/1670/stat : 1670 (java) S 1664 1664 18810 0 -1 1077944384 27 0 0 0 1 2 0 0 20 0 28 0 3920030 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036787338000 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1671] ppid=1664 vsize=13801768 CPUtime=0.03 cores=4-7,12-15 /proc/1665/task/1671/stat : 1671 (java) S 1664 1664 18810 0 -1 1077944384 38 0 0 0 1 2 0 0 20 0 28 0 3920030 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036786285456 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1672] ppid=1664 vsize=13801768 CPUtime=0.03 cores=4-7,12-15 /proc/1665/task/1672/stat : 1672 (java) S 1664 1664 18810 0 -1 1077944384 40 0 0 0 1 2 0 0 20 0 28 0 3920030 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036785232400 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1673] ppid=1664 vsize=13801768 CPUtime=0.03 cores=4-7,12-15 /proc/1665/task/1673/stat : 1673 (java) S 1664 1664 18810 0 -1 1077944384 28 0 0 0 1 2 0 0 20 0 28 0 3920030 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036784179856 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1674] ppid=1664 vsize=13801768 CPUtime=0.03 cores=4-7,12-15 /proc/1665/task/1674/stat : 1674 (java) S 1664 1664 18810 0 -1 1077944384 36 0 0 0 1 2 0 0 20 0 28 0 3920030 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036783126800 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1675] ppid=1664 vsize=13801768 CPUtime=0.02 cores=4-7,12-15 /proc/1665/task/1675/stat : 1675 (java) S 1664 1664 18810 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3920030 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036782074256 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1676] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1676/stat : 1676 (java) S 1664 1664 18810 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 28 0 3920032 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036652694256 140037190498946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1677] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1677/stat : 1677 (java) S 1664 1664 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3920033 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036651640480 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1678] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1678/stat : 1678 (java) S 1664 1664 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3920033 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036650587376 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1679] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1679/stat : 1679 (java) S 1664 1664 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3920037 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036649535952 140037190506395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1680] ppid=1664 vsize=13801768 CPUtime=1.46 cores=4-7,12-15 /proc/1665/task/1680/stat : 1680 (java) R 1664 1664 18810 0 -1 4202560 5024 0 0 0 145 1 0 0 20 0 28 0 3920037 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036648483352 140037168338336 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1681] ppid=1664 vsize=13801768 CPUtime=1.32 cores=4-7,12-15 /proc/1665/task/1681/stat : 1681 (java) S 1664 1664 18810 0 -1 1077944384 4322 0 0 0 132 0 0 0 20 0 28 0 3920037 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036647430512 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1682] ppid=1664 vsize=13801768 CPUtime=1.38 cores=4-7,12-15 /proc/1665/task/1682/stat : 1682 (java) S 1664 1664 18810 0 -1 1077944384 5810 0 0 0 137 1 0 0 20 0 28 0 3920037 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036646377456 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1683] ppid=1664 vsize=13801768 CPUtime=0.85 cores=4-7,12-15 /proc/1665/task/1683/stat : 1683 (java) S 1664 1664 18810 0 -1 1077944384 4025 0 0 0 83 2 0 0 20 0 28 0 3920037 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036645324912 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1684] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1684/stat : 1684 (java) S 1664 1664 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920038 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036644273120 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1685] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1685/stat : 1685 (java) S 1664 1664 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920038 14133010432 59005 33554432000 4194304 4196468 140727448454720 140036643220656 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 Current children cumulated CPU time (s) 18.9 Current children cumulated vsize (KiB) 13811280 [startup+6.30131 s] /proc/loadavg: 14.84 14.01 14.21 18/304 1758 /proc/meminfo: memFree=23365508/32770624 swapFree=5944/214988 [pid=1664] ppid=1661 vsize=9512 CPUtime=0 cores=4-7,12-15 /proc/1664/stat : 1664 (xcsp3-exec) S 1661 1664 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3920028 9740288 346 33554432000 4194304 5098028 140722194758080 140722194756184 140252317909628 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11505664 140722194764942 140722194765152 140722194765152 140722194767851 0 /proc/1664/statm: 2378 346 289 221 0 87 0 [pid=1665] ppid=1664 vsize=13801768 CPUtime=44.19 cores=4-7,12-15 /proc/1665/stat : 1665 (java) S 1664 1664 18810 0 -1 1077944320 33399 0 0 0 4376 43 0 0 20 0 28 0 3920028 14133010432 65973 33554432000 4194304 4196468 140727448454720 140727448437264 140037190487799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 /proc/1665/statm: 3450442 65973 3279 1 0 3437675 0 [pid=1665/tid=1666] ppid=1664 vsize=13801768 CPUtime=1.06 cores=4-7,12-15 /proc/1665/task/1666/stat : 1666 (java) S 1664 1664 18810 0 -1 1077944384 7903 0 0 0 101 5 0 0 20 0 28 0 3920029 14133010432 65973 33554432000 4194304 4196468 140727448454720 140037194728576 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1668] ppid=1664 vsize=13801768 CPUtime=0.05 cores=4-7,12-15 /proc/1665/task/1668/stat : 1668 (java) S 1664 1664 18810 0 -1 1077944384 140 0 0 0 2 3 0 0 20 0 28 0 3920030 14133010432 65973 33554432000 4194304 4196468 140727448454720 140037143108624 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1669] ppid=1664 vsize=13801768 CPUtime=0.05 cores=4-7,12-15 /proc/1665/task/1669/stat : 1669 (java) S 1664 1664 18810 0 -1 1077944384 105 0 0 0 2 3 0 0 20 0 28 0 3920030 14133010432 65973 33554432000 4194304 4196468 140727448454720 140037142056080 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1670] ppid=1664 vsize=13801768 CPUtime=0.06 cores=4-7,12-15 /proc/1665/task/1670/stat : 1670 (java) S 1664 1664 18810 0 -1 1077944384 48 0 0 0 3 3 0 0 20 0 28 0 3920030 14133010432 65973 33554432000 4194304 4196468 140727448454720 140036787338000 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1671] ppid=1664 vsize=13801768 CPUtime=0.05 cores=4-7,12-15 /proc/1665/task/1671/stat : 1671 (java) S 1664 1664 18810 0 -1 1077944384 55 0 0 0 2 3 0 0 20 0 28 0 3920030 14133010432 65973 33554432000 4194304 4196468 140727448454720 140036786285456 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1672] ppid=1664 vsize=13801768 CPUtime=0.05 cores=4-7,12-15 /proc/1665/task/1672/stat : 1672 (java) S 1664 1664 18810 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 28 0 3920030 14133010432 65973 33554432000 4194304 4196468 140727448454720 140036785232400 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1673] ppid=1664 vsize=13801768 CPUtime=0.05 cores=4-7,12-15 /proc/1665/task/1673/stat : 1673 (java) S 1664 1664 18810 0 -1 1077944384 44 0 0 0 2 3 0 0 20 0 28 0 3920030 14133010432 65973 33554432000 4194304 4196468 140727448454720 140036784179856 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1674] ppid=1664 vsize=13801768 CPUtime=0.05 cores=4-7,12-15 /proc/1665/task/1674/stat : 1674 (java) S 1664 1664 18810 0 -1 1077944384 55 0 0 0 2 3 0 0 20 0 28 0 3920030 14133010432 65973 33554432000 4194304 4196468 140727448454720 140036783126800 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1675] ppid=1664 vsize=13801768 CPUtime=0.05 cores=4-7,12-15 /proc/1665/task/1675/stat : 1675 (java) S 1664 1664 18810 0 -1 1077944384 683 0 0 0 2 3 0 0 20 0 28 0 3920030 14133010432 65973 33554432000 4194304 4196468 140727448454720 140036782074256 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1676] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1676/stat : 1676 (java) S 1664 1664 18810 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 28 0 3920032 14133010432 65973 33554432000 4194304 4196468 140727448454720 140036652694256 140037190498946 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1677] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1677/stat : 1677 (java) S 1664 1664 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3920033 14133010432 65973 33554432000 4194304 4196468 140727448454720 140036651640480 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1678] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1678/stat : 1678 (java) S 1664 1664 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3920033 14133010432 65973 33554432000 4194304 4196468 140727448454720 140036650587376 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1679] ppid=1664 vsize=13801768 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1679/stat : 1679 (java) S 1664 1664 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3920037 14133010432 65973 33554432000 4194304 4196468 140727448454720 140036649535952 140037190506395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 ################ # More data... # ################ /proc/1665/task/2065/stat : 2065 (java) R 1664 1664 18810 0 -1 4202560 930 0 0 0 26651 2 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036630995288 140036827719525 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2066] ppid=1664 vsize=13802796 CPUtime=267.62 cores=4-7,12-15 /proc/1665/task/2066/stat : 2066 (java) R 1664 1664 18810 0 -1 4202560 973 0 0 0 26762 0 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036632047848 140036827719496 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 Current children cumulated CPU time (s) 2239.67 Current children cumulated vsize (KiB) 13812308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+302.502 s] /proc/loadavg: 16.10 14.90 14.48 17/304 2257 /proc/meminfo: memFree=30405880/32770624 swapFree=5944/215360 [pid=1664] ppid=1661 vsize=9512 CPUtime=0 cores=4-7,12-15 /proc/1664/stat : 1664 (xcsp3-exec) S 1661 1664 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3920028 9740288 346 33554432000 4194304 5098028 140722194758080 140722194756184 140252317909628 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11505664 140722194764942 140722194765152 140722194765152 140722194767851 0 /proc/1664/statm: 2378 346 289 221 0 87 0 [pid=1665] ppid=1664 vsize=13802796 CPUtime=2400.6 cores=4-7,12-15 /proc/1665/stat : 1665 (java) S 1664 1664 18810 0 -1 1077944320 71498 0 0 0 239941 119 0 0 20 0 28 0 3920028 14134063104 163815 33554432000 4194304 4196468 140727448454720 140727448437264 140037190487799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 /proc/1665/statm: 3450699 163815 3288 1 0 3437932 0 [pid=1665/tid=1666] ppid=1664 vsize=13802796 CPUtime=1.1 cores=4-7,12-15 /proc/1665/task/1666/stat : 1666 (java) S 1664 1664 18810 0 -1 1077944384 7922 0 0 0 105 5 0 0 20 0 28 0 3920029 14134063104 163815 33554432000 4194304 4196468 140727448454720 140037194728576 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1668] ppid=1664 vsize=13802796 CPUtime=0.17 cores=4-7,12-15 /proc/1665/task/1668/stat : 1668 (java) S 1664 1664 18810 0 -1 1077944384 507 0 0 0 9 8 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140037143108624 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1669] ppid=1664 vsize=13802796 CPUtime=0.17 cores=4-7,12-15 /proc/1665/task/1669/stat : 1669 (java) S 1664 1664 18810 0 -1 1077944384 551 0 0 0 9 8 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140037142056080 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1670] ppid=1664 vsize=13802796 CPUtime=0.16 cores=4-7,12-15 /proc/1665/task/1670/stat : 1670 (java) S 1664 1664 18810 0 -1 1077944384 325 0 0 0 9 7 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036787338000 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1671] ppid=1664 vsize=13802796 CPUtime=0.16 cores=4-7,12-15 /proc/1665/task/1671/stat : 1671 (java) S 1664 1664 18810 0 -1 1077944384 1557 0 0 0 9 7 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036786285456 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1672] ppid=1664 vsize=13802796 CPUtime=0.16 cores=4-7,12-15 /proc/1665/task/1672/stat : 1672 (java) S 1664 1664 18810 0 -1 1077944384 202 0 0 0 8 8 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036785232400 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1673] ppid=1664 vsize=13802796 CPUtime=0.16 cores=4-7,12-15 /proc/1665/task/1673/stat : 1673 (java) S 1664 1664 18810 0 -1 1077944384 1115 0 0 0 8 8 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036784179856 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1674] ppid=1664 vsize=13802796 CPUtime=0.17 cores=4-7,12-15 /proc/1665/task/1674/stat : 1674 (java) S 1664 1664 18810 0 -1 1077944384 233 0 0 0 9 8 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036783126800 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1675] ppid=1664 vsize=13802796 CPUtime=0.16 cores=4-7,12-15 /proc/1665/task/1675/stat : 1675 (java) S 1664 1664 18810 0 -1 1077944384 802 0 0 0 9 7 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036782074256 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1676] ppid=1664 vsize=13802796 CPUtime=0.07 cores=4-7,12-15 /proc/1665/task/1676/stat : 1676 (java) S 1664 1664 18810 0 -1 1077944384 1353 0 0 0 3 4 0 0 20 0 28 0 3920032 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036652694256 140037190498946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1677] ppid=1664 vsize=13802796 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1677/stat : 1677 (java) S 1664 1664 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3920033 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036651640480 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1678] ppid=1664 vsize=13802796 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1678/stat : 1678 (java) S 1664 1664 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3920033 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036650587376 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1679] ppid=1664 vsize=13802796 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1679/stat : 1679 (java) S 1664 1664 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3920037 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036649535952 140037190506395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1680] ppid=1664 vsize=13802796 CPUtime=2.99 cores=4-7,12-15 /proc/1665/task/1680/stat : 1680 (java) S 1664 1664 18810 0 -1 1077944384 10791 0 0 0 297 2 0 0 20 0 28 0 3920037 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036648483056 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1681] ppid=1664 vsize=13802796 CPUtime=2.2 cores=4-7,12-15 /proc/1665/task/1681/stat : 1681 (java) S 1664 1664 18810 0 -1 1077944384 8356 0 0 0 219 1 0 0 20 0 28 0 3920037 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036647430512 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1682] ppid=1664 vsize=13802796 CPUtime=2.47 cores=4-7,12-15 /proc/1665/task/1682/stat : 1682 (java) S 1664 1664 18810 0 -1 1077944384 11796 0 0 0 246 1 0 0 20 0 28 0 3920037 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036646377456 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1683] ppid=1664 vsize=13802796 CPUtime=1.02 cores=4-7,12-15 /proc/1665/task/1683/stat : 1683 (java) S 1664 1664 18810 0 -1 1077944384 5604 0 0 0 100 2 0 0 20 0 28 0 3920037 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036645324912 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1684] ppid=1664 vsize=13802796 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1684/stat : 1684 (java) S 1664 1664 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920038 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036644273120 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1685] ppid=1664 vsize=13802796 CPUtime=0.22 cores=4-7,12-15 /proc/1665/task/1685/stat : 1685 (java) S 1664 1664 18810 0 -1 1077944384 938 0 0 0 7 15 0 0 20 0 28 0 3920038 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036643220656 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2059] ppid=1664 vsize=13802796 CPUtime=284.86 cores=4-7,12-15 /proc/1665/task/2059/stat : 2059 (java) R 1664 1664 18810 0 -1 4202560 687 0 0 0 28485 1 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036635204584 140036827995428 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2060] ppid=1664 vsize=13802796 CPUtime=283.39 cores=4-7,12-15 /proc/1665/task/2060/stat : 2060 (java) R 1664 1664 18810 0 -1 4202560 1127 0 0 0 28337 2 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036627837144 140036827566510 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2061] ppid=1664 vsize=13802796 CPUtime=287.84 cores=4-7,12-15 /proc/1665/task/2061/stat : 2061 (java) R 1664 1664 18810 0 -1 4202560 2263 0 0 0 28782 2 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036633102200 140036829236968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2062] ppid=1664 vsize=13802796 CPUtime=287.79 cores=4-7,12-15 /proc/1665/task/2062/stat : 2062 (java) R 1664 1664 18810 0 -1 4202560 3529 0 0 0 28773 6 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036626786336 140036827357260 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2063] ppid=1664 vsize=13802796 CPUtime=287.87 cores=4-7,12-15 /proc/1665/task/2063/stat : 2063 (java) R 1664 1664 18810 0 -1 4202560 748 0 0 0 28787 0 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036634152504 140036827719752 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2064] ppid=1664 vsize=13802796 CPUtime=287.87 cores=4-7,12-15 /proc/1665/task/2064/stat : 2064 (java) R 1664 1664 18810 0 -1 4202560 592 0 0 0 28787 0 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036629941976 140036827920432 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2065] ppid=1664 vsize=13802796 CPUtime=286.7 cores=4-7,12-15 /proc/1665/task/2065/stat : 2065 (java) R 1664 1664 18810 0 -1 4202560 939 0 0 0 28668 2 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036630995288 140036827357240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2066] ppid=1664 vsize=13802796 CPUtime=287.82 cores=4-7,12-15 /proc/1665/task/2066/stat : 2066 (java) R 1664 1664 18810 0 -1 4202560 1004 0 0 0 28782 0 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036632047848 140036827995498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 Current children cumulated CPU time (s) 2400.6 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 1665 sig 9 ??? kill 1664 sig 9 ??? kill -1664 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+302.502 s] /proc/loadavg: 16.10 14.90 14.48 17/304 2257 /proc/meminfo: memFree=30405880/32770624 swapFree=5944/215360 [pid=1664] ppid=1661 vsize=9512 CPUtime=0 cores=4-7,12-15 /proc/1664/stat : 1664 (xcsp3-exec) S 1661 1664 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3920028 9740288 346 33554432000 4194304 5098028 140722194758080 140722194756184 140252317909628 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11505664 140722194764942 140722194765152 140722194765152 140722194767851 0 /proc/1664/statm: 2378 346 289 221 0 87 0 [pid=1665] ppid=1664 vsize=13802796 CPUtime=2400.6 cores=4-7,12-15 /proc/1665/stat : 1665 (java) S 1664 1664 18810 0 -1 1077944320 71498 0 0 0 239941 119 0 0 20 0 28 0 3920028 14134063104 163815 33554432000 4194304 4196468 140727448454720 140727448437264 140037190487799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 /proc/1665/statm: 3450699 163815 3288 1 0 3437932 0 [pid=1665/tid=1666] ppid=1664 vsize=13802796 CPUtime=1.1 cores=4-7,12-15 /proc/1665/task/1666/stat : 1666 (java) S 1664 1664 18810 0 -1 1077944384 7922 0 0 0 105 5 0 0 20 0 28 0 3920029 14134063104 163815 33554432000 4194304 4196468 140727448454720 140037194728576 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1668] ppid=1664 vsize=13802796 CPUtime=0.17 cores=4-7,12-15 /proc/1665/task/1668/stat : 1668 (java) S 1664 1664 18810 0 -1 1077944384 507 0 0 0 9 8 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140037143108624 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1669] ppid=1664 vsize=13802796 CPUtime=0.17 cores=4-7,12-15 /proc/1665/task/1669/stat : 1669 (java) S 1664 1664 18810 0 -1 1077944384 551 0 0 0 9 8 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140037142056080 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1670] ppid=1664 vsize=13802796 CPUtime=0.16 cores=4-7,12-15 /proc/1665/task/1670/stat : 1670 (java) S 1664 1664 18810 0 -1 1077944384 325 0 0 0 9 7 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036787338000 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1671] ppid=1664 vsize=13802796 CPUtime=0.16 cores=4-7,12-15 /proc/1665/task/1671/stat : 1671 (java) S 1664 1664 18810 0 -1 1077944384 1557 0 0 0 9 7 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036786285456 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1672] ppid=1664 vsize=13802796 CPUtime=0.16 cores=4-7,12-15 /proc/1665/task/1672/stat : 1672 (java) S 1664 1664 18810 0 -1 1077944384 202 0 0 0 8 8 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036785232400 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1673] ppid=1664 vsize=13802796 CPUtime=0.16 cores=4-7,12-15 /proc/1665/task/1673/stat : 1673 (java) S 1664 1664 18810 0 -1 1077944384 1115 0 0 0 8 8 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036784179856 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1674] ppid=1664 vsize=13802796 CPUtime=0.17 cores=4-7,12-15 /proc/1665/task/1674/stat : 1674 (java) S 1664 1664 18810 0 -1 1077944384 233 0 0 0 9 8 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036783126800 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1675] ppid=1664 vsize=13802796 CPUtime=0.16 cores=4-7,12-15 /proc/1665/task/1675/stat : 1675 (java) S 1664 1664 18810 0 -1 1077944384 802 0 0 0 9 7 0 0 20 0 28 0 3920030 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036782074256 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1676] ppid=1664 vsize=13802796 CPUtime=0.07 cores=4-7,12-15 /proc/1665/task/1676/stat : 1676 (java) S 1664 1664 18810 0 -1 1077944384 1353 0 0 0 3 4 0 0 20 0 28 0 3920032 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036652694256 140037190498946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1677] ppid=1664 vsize=13802796 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1677/stat : 1677 (java) S 1664 1664 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3920033 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036651640480 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1678] ppid=1664 vsize=13802796 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1678/stat : 1678 (java) S 1664 1664 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3920033 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036650587376 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1679] ppid=1664 vsize=13802796 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1679/stat : 1679 (java) S 1664 1664 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3920037 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036649535952 140037190506395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1680] ppid=1664 vsize=13802796 CPUtime=2.99 cores=4-7,12-15 /proc/1665/task/1680/stat : 1680 (java) S 1664 1664 18810 0 -1 1077944384 10791 0 0 0 297 2 0 0 20 0 28 0 3920037 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036648483056 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1681] ppid=1664 vsize=13802796 CPUtime=2.2 cores=4-7,12-15 /proc/1665/task/1681/stat : 1681 (java) S 1664 1664 18810 0 -1 1077944384 8356 0 0 0 219 1 0 0 20 0 28 0 3920037 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036647430512 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1682] ppid=1664 vsize=13802796 CPUtime=2.47 cores=4-7,12-15 /proc/1665/task/1682/stat : 1682 (java) S 1664 1664 18810 0 -1 1077944384 11796 0 0 0 246 1 0 0 20 0 28 0 3920037 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036646377456 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1683] ppid=1664 vsize=13802796 CPUtime=1.02 cores=4-7,12-15 /proc/1665/task/1683/stat : 1683 (java) S 1664 1664 18810 0 -1 1077944384 5604 0 0 0 100 2 0 0 20 0 28 0 3920037 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036645324912 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1684] ppid=1664 vsize=13802796 CPUtime=0 cores=4-7,12-15 /proc/1665/task/1684/stat : 1684 (java) S 1664 1664 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3920038 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036644273120 140037190498005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=1685] ppid=1664 vsize=13802796 CPUtime=0.22 cores=4-7,12-15 /proc/1665/task/1685/stat : 1685 (java) S 1664 1664 18810 0 -1 1077944384 938 0 0 0 7 15 0 0 20 0 28 0 3920038 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036643220656 140037190498946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2059] ppid=1664 vsize=13802796 CPUtime=284.86 cores=4-7,12-15 /proc/1665/task/2059/stat : 2059 (java) R 1664 1664 18810 0 -1 4202560 687 0 0 0 28485 1 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036635204584 140036827995428 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2060] ppid=1664 vsize=13802796 CPUtime=283.39 cores=4-7,12-15 /proc/1665/task/2060/stat : 2060 (java) R 1664 1664 18810 0 -1 4202560 1127 0 0 0 28337 2 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036627837144 140036827566510 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2061] ppid=1664 vsize=13802796 CPUtime=287.84 cores=4-7,12-15 /proc/1665/task/2061/stat : 2061 (java) R 1664 1664 18810 0 -1 4202560 2263 0 0 0 28782 2 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036633102200 140036829236968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2062] ppid=1664 vsize=13802796 CPUtime=287.79 cores=4-7,12-15 /proc/1665/task/2062/stat : 2062 (java) R 1664 1664 18810 0 -1 4202560 3529 0 0 0 28773 6 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036626786336 140036827357260 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2063] ppid=1664 vsize=13802796 CPUtime=287.87 cores=4-7,12-15 /proc/1665/task/2063/stat : 2063 (java) R 1664 1664 18810 0 -1 4202560 748 0 0 0 28787 0 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036634152504 140036827719752 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2064] ppid=1664 vsize=13802796 CPUtime=287.87 cores=4-7,12-15 /proc/1665/task/2064/stat : 2064 (java) R 1664 1664 18810 0 -1 4202560 592 0 0 0 28787 0 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036629941976 140036827920432 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2065] ppid=1664 vsize=13802796 CPUtime=286.7 cores=4-7,12-15 /proc/1665/task/2065/stat : 2065 (java) R 1664 1664 18810 0 -1 4202560 939 0 0 0 28668 2 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036630995288 140036827357240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 [pid=1665/tid=2066] ppid=1664 vsize=13802796 CPUtime=287.82 cores=4-7,12-15 /proc/1665/task/2066/stat : 2066 (java) R 1664 1664 18810 0 -1 4202560 1004 0 0 0 28782 0 0 0 20 0 28 0 3921430 14134063104 163815 33554432000 4194304 4196468 140727448454720 140036632047848 140036827995498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7241728 140727448458428 140727448458604 140727448458604 140727448461263 0 Current children cumulated CPU time (s) 2400.6 Current children cumulated vsize (KiB) 13812308 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1664 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2975 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=0 # CPU time returned by wait4() is 0.002975 # while last known CPU time is 2400.6 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 302.538 CPU time (s): 2400.6 CPU user time (s): 2399.41 CPU system time (s): 1.19 CPU usage (%): 793.488 Max. virtual memory (cumulated for all children) (KiB): 13812308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002975 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= 518 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 4.07018 second user time and 4.68537 second system time The end
Begin job on node132 at 2017-07-22 03:22:09 IDJOB=4246103 IDBENCH=124142 IDSOLVER=2625 FILE ID=node132/4246103-1500686529 RUNJOBID= node132-1500682387-18842 PBS_JOBID= 20623322 Free space on /tmp= 61760 MiB SOLVER NAME= choco-solver 4.0.5 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-4246103-1500686529/watcher-4246103-1500686529 -o /tmp/evaluation-result-4246103-1500686529/solver-4246103-1500686529 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1020083531 HOME/instance-4246103-1500686529.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 0b4fb4a315b6bd8f0348750a3d90443f RANDOM SEED=1020083531 node132.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 : 2668.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.61 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 : 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 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.61 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 : 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.61 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 : 1600.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 : 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 : 1600.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 : 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 : 1600.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 : 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 : 1733.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 : 2668.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.61 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 : 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.61 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 : 2668.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.61 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 : 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.61 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 : 2000.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 : 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 : 1600.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 : 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 : 1600.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 : 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 : 1600.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: 23618684 kB MemAvailable: 23673736 kB Buffers: 50372 kB Cached: 313424 kB SwapCached: 0 kB Active: 8535392 kB Inactive: 223540 kB Active(anon): 8398100 kB Inactive(anon): 8628 kB Active(file): 137292 kB Inactive(file): 214912 kB Unevictable: 5944 kB Mlocked: 5944 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 6652 kB Writeback: 1452 kB AnonPages: 8394900 kB Mapped: 43120 kB Shmem: 8904 kB Slab: 72240 kB SReclaimable: 37368 kB SUnreclaim: 34872 kB KernelStack: 5072 kB PageTables: 21300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 10173020 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 7997440 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 140672 kB DirectMap2M: 33404928 kB Free space on /tmp at the end= 61752 MiB End job on node132 at 2017-07-22 03:27:11