Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 199 | 2400.05 | 303.912 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml |
| MD5SUM | 4f6b0364d1c2702efbd3acc25cc5ef4e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 199 |
| Best CPU time to get the best result obtained on this benchmark | 2400.06 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4704 |
| Number of constraints | 246 |
| Number of domains | 20 |
| Minimum domain size | 2 |
| Maximum domain size | 160 |
| Distribution of domain sizes | [{"size":2,"count":224},{"size":8,"count":224},{"size":12,"count":224},{"size":36,"count":448},{"size":42,"count":224},{"size":75,"count":224},{"size":79,"count":224},{"size":93,"count":224},{"size":110,"count":224},{"size":117,"count":224},{"size":121,"count":224},{"size":123,"count":224},{"size":126,"count":224},{"size":139,"count":224},{"size":141,"count":224},{"size":142,"count":224},{"size":149,"count":224},{"size":153,"count":224},{"size":158,"count":224},{"size":160,"count":224}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":4704}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 4480 |
| Distribution of constraint arities | [{"arity":21,"count":224},{"arity":224,"count":21},{"arity":4480,"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":244}] |
| 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-4246139-1500686841.xml" -tl '2400s' -p 8 -x 3 0.00/0.19 c [HOME/instance-4246139-1500686841.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.25 c 8 solvers in parallel 0.00/0.32 c parse instance... 3.63/1.16 c solve instance... 23.79/3.82 o 224 41.06/6.08 o 223 217.37/28.30 o 222 232.37/30.22 o 221 246.43/32.03 o 220 260.34/33.87 o 219 274.96/35.84 o 218 412.25/53.15 o 217 426.21/54.99 o 216 441.54/56.96 o 215 456.11/58.83 o 214 470.40/60.76 o 213 485.00/62.65 o 212 499.38/64.51 o 211 513.75/66.40 o 210 717.54/92.07 o 209 733.52/94.11 o 208 748.84/96.10 o 207 764.02/98.06 o 206 778.82/100.00 o 205 968.15/123.73 o 204 982.47/125.64 o 203 996.45/127.45 o 202 1493.58/189.98 o 201 1507.72/191.79 o 200 1521.60/193.60 o 199 2400.05/303.95 s SATISFIABLE 2400.05/303.95 v <instantiation> 2400.05/303.95 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] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] 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] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[171][10] r[171][11] r[171][12] r[171][13] r[171][14] r[171][15] r[171][16] r[171][17] r[171][18] r[171][19] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[172][10] r[172][11] r[172][12] r[172][13] r[172][14] r[172][15] r[172][16] r[172][17] r[172][18] r[172][19] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[173][10] r[173][11] r[173][12] r[173][13] r[173][14] r[173][15] r[173][16] r[173][17] r[173][18] r[173][19] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[174][10] r[174][11] r[174][12] r[174][13] r[174][14] r[174][15] r[174][16] r[174][17] r[174][18] r[174][19] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[175][10] r[175][11] r[175][12] r[175][13] r[175][14] r[175][15] r[175][16] r[175][17] r[175][18] r[175][19] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[176][10] r[176][11] r[176][12] r[176][13] r[176][14] r[176][15] r[176][16] r[176][17] r[176][18] r[176][19] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[177][10] r[177][11] r[177][12] r[177][13] r[177][14] r[177][15] r[177][16] r[177][17] r[177][18] r[177][19] r[178][0] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[178][10] r[178][11] r[178][12] r[178][13] r[178][14] r[178][15] r[178][16] r[178][17] r[178][18] r[178][19] r[179][0] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][9] r[179][10] r[179][11] r[179][12] r[179][13] r[179][14] r[179][15] r[179][16] r[179][17] r[179][18] r[179][19] r[180][0] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[180][10] r[180][11] r[180][12] r[180][13] r[180][14] r[180][15] r[180][16] r[180][17] r[180][18] r[180][19] r[181][0] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[181][10] r[181][11] r[181][12] r[181][13] r[181][14] r[181][15] r[181][16] r[181][17] r[181][18] r[181][19] r[182][0] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[182][10] r[182][11] r[182][12] r[182][13] r[182][14] r[182][15] r[182][16] r[182][17] r[182][18] r[182][19] r[183][0] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[183][10] r[183][11] r[183][12] r[183][13] r[183][14] r[183][15] r[183][16] r[183][17] r[183][18] r[183][19] r[184][0] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[184][10] r[184][11] r[184][12] r[184][13] r[184][14] r[184][15] r[184][16] r[184][17] r[184][18] r[184][19] r[185][0] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[185][10] r[185][11] r[185][12] r[185][13] r[185][14] r[185][15] r[185][16] r[185][17] r[185][18] r[185][19] r[186][0] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[186][10] r[186][11] r[186][12] r[186][13] r[186][14] r[186][15] r[186][16] r[186][17] r[186][18] r[186][19] r[187][0] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[187][10] r[187][11] r[187][12] r[187][13] r[187][14] r[187][15] r[187][16] r[187][17] r[187][18] r[187][19] r[188][0] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[188][10] r[188][11] r[188][12] r[188][13] r[188][14] r[188][15] r[188][16] r[188][17] r[188][18] r[188][19] r[189][0] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][9] r[189][10] r[189][11] r[189][12] r[189][13] r[189][14] r[189][15] r[189][16] r[189][17] r[189][18] r[189][19] r[190][0] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[190][10] r[190][11] r[190][12] r[190][13] r[190][14] r[190][15] r[190][16] r[190][17] r[190][18] r[190][19] r[191][0] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[191][10] r[191][11] r[191][12] r[191][13] r[191][14] r[191][15] r[191][16] r[191][17] r[191][18] r[191][19] r[192][0] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[192][10] r[192][11] r[192][12] r[192][13] r[192][14] r[192][15] r[192][16] r[192][17] r[192][18] r[192][19] r[193][0] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][9] r[193][10] r[193][11] r[193][12] r[193][13] r[193][14] r[193][15] r[193][16] r[193][17] r[193][18] r[193][19] r[194][0] r[194][1] r[194][2] r[194][3] r[194][4] r[194][5] r[194][6] r[194][7] r[194][8] r[194][9] r[194][10] r[194][11] r[194][12] r[194][13] r[194][14] r[194][15] r[194][16] r[194][17] r[194][18] r[194][19] r[195][0] r[195][1] r[195][2] r[195][3] r[195][4] r[195][5] r[195][6] r[195][7] r[195][8] r[195][9] r[195][10] r[195][11] r[195][12] r[195][13] r[195][14] r[195][15] r[195][16] r[195][17] r[195][18] r[195][19] r[196][0] r[196][1] r[196][2] r[196][3] r[196][4] r[196][5] r[196][6] r[196][7] r[196][8] r[196][9] r[196][10] r[196][11] r[196][12] r[196][13] r[196][14] r[196][15] r[196][16] r[196][17] r[196][18] r[196][19] r[197][0] r[197][1] r[197][2] r[197][3] r[197][4] r[197][5] r[197][6] r[197][7] r[197][8] r[197][9] r[197][10] r[197][11] r[197][12] r[197][13] r[197][14] r[197][15] r[197][16] r[197][17] r[197][18] r[197][19] r[198][0] r[198][1] r[198][2] r[198][3] r[198][4] r[198][5] r[198][6] r[198][7] r[198][8] r[198][9] r[198][10] r[198][11] r[198][12] r[198][13] r[198][14] r[198][15] r[198][16] r[198][17] r[198][18] r[198][19] r[199][0] r[199][1] r[199][2] r[199][3] r[199][4] r[199][5] r[199][6] r[199][7] r[199][8] r[199][9] r[199][10] r[199][11] r[199][12] r[199][13] r[199][14] r[199][15] r[199][16] r[199][17] r[199][18] r[199][19] r[200][0] r[200][1] r[200][2] r[200][3] r[200][4] r[200][5] r[200][6] r[200][7] r[200][8] r[200][9] r[200][10] r[200][11] r[200][12] r[200][13] r[200][14] r[200][15] r[200][16] r[200][17] r[200][18] r[200][19] r[201][0] r[201][1] r[201][2] r[201][3] r[201][4] r[201][5] r[201][6] r[201][7] r[201][8] r[201][9] r[201][10] r[201][11] r[201][12] r[201][13] r[201][14] r[201][15] r[201][16] r[201][17] r[201][18] r[201][19] r[202][0] r[202][1] r[202][2] r[202][3] r[202][4] r[202][5] r[202][6] r[202][7] r[202][8] r[202][9] r[202][10] r[202][11] r[202][12] r[202][13] r[202][14] r[202][15] r[202][16] r[202][17] r[202][18] r[202][19] r[203][0] r[203][1] r[203][2] r[203][3] r[203][4] r[203][5] r[203][6] r[203][7] r[203][8] r[203][9] r[203][10] r[203][11] r[203][12] r[203][13] r[203][14] r[203][15] r[203][16] r[203][17] r[203][18] r[203][19] r[204][0] r[204][1] r[204][2] r[204][3] r[204][4] r[204][5] r[204][6] r[204][7] r[204][8] r[204][9] r[204][10] r[204][11] r[204][12] r[204][13] r[204][14] r[204][15] r[204][16] r[204][17] r[204][18] r[204][19] r[205][0] r[205][1] r[205][2] r[205][3] r[205][4] r[205][5] r[205][6] r[205][7] r[205][8] r[205][9] r[205][10] r[205][11] r[205][12] r[205][13] r[205][14] r[205][15] r[205][16] r[205][17] r[205][18] r[205][19] r[206][0] r[206][1] r[206][2] r[206][3] r[206][4] r[206][5] r[206][6] r[206][7] r[206][8] r[206][9] r[206][10] r[206][11] r[206][12] r[206][13] r[206][14] r[206][15] r[206][16] r[206][17] r[206][18] r[206][19] r[207][0] r[207][1] r[207][2] r[207][3] r[207][4] r[207][5] r[207][6] r[207][7] r[207][8] r[207][9] r[207][10] r[207][11] r[207][12] r[207][13] r[207][14] r[207][15] r[207][16] r[207][17] r[207][18] r[207][19] r[208][0] r[208][1] r[208][2] r[208][3] r[208][4] r[208][5] r[208][6] r[208][7] r[208][8] r[208][9] r[208][10] r[208][11] r[208][12] r[208][13] r[208][14] r[208][15] r[208][16] r[208][17] r[208][18] r[208][19] r[209][0] r[209][1] r[209][2] r[209][3] r[209][4] r[209][5] r[209][6] r[209][7] r[209][8] r[209][9] r[209][10] r[209][11] r[209][12] r[209][13] r[209][14] r[209][15] r[209][16] r[209][17] r[209][18] r[209][19] r[210][0] r[210][1] r[210][2] r[210][3] r[210][4] r[210][5] r[210][6] r[210][7] r[210][8] r[210][9] r[210][10] r[210][11] r[210][12] r[210][13] r[210][14] r[210][15] r[210][16] r[210][17] r[210][18] r[210][19] r[211][0] r[211][1] r[211][2] r[211][3] r[211][4] r[211][5] r[211][6] r[211][7] r[211][8] r[211][9] r[211][10] r[211][11] r[211][12] r[211][13] r[211][14] r[211][15] r[211][16] r[211][17] r[211][18] r[211][19] r[212][0] r[212][1] r[212][2] r[212][3] r[212][4] r[212][5] r[212][6] r[212][7] r[212][8] r[212][9] r[212][10] r[212][11] r[212][12] r[212][13] r[212][14] r[212][15] r[212][16] r[212][17] r[212][18] r[212][19] r[213][0] r[213][1] r[213][2] r[213][3] r[213][4] r[213][5] r[213][6] r[213][7] r[213][8] r[213][9] r[213][10] r[213][11] r[213][12] r[213][13] r[213][14] r[213][15] r[213][16] r[213][17] r[213][18] r[213][19] r[214][0] r[214][1] r[214][2] r[214][3] r[214][4] r[214][5] r[214][6] r[214][7] r[214][8] r[214][9] r[214][10] r[214][11] r[214][12] r[214][13] r[214][14] r[214][15] r[214][16] r[214][17] r[214][18] r[214][19] r[215][0] r[215][1] r[215][2] r[215][3] r[215][4] r[215][5] r[215][6] r[215][7] r[215][8] r[215][9] r[215][10] r[215][11] r[215][12] r[215][13] r[215][14] r[215][15] r[215][16] r[215][17] r[215][18] r[215][19] r[216][0] r[216][1] r[216][2] r[216][3] r[216][4] r[216][5] r[216][6] r[216][7] r[216][8] r[216][9] r[216][10] r[216][11] r[216][12] r[216][13] r[216][14] r[216][15] r[216][16] r[216][17] r[216][18] r[216][19] r[217][0] r[217][1] r[217][2] r[217][3] r[217][4] r[217][5] r[217][6] r[217][7] r[217][8] r[217][9] r[217][10] r[217][11] r[217][12] r[217][13] r[217][14] r[217][15] r[217][16] r[217][17] r[217][18] r[217][19] r[218][0] r[218][1] r[218][2] r[218][3] r[218][4] r[218][5] r[218][6] r[218][7] r[218][8] r[218][9] r[218][10] r[218][11] r[218][12] r[218][13] r[218][14] r[218][15] r[218][16] r[218][17] r[218][18] r[218][19] r[219][0] r[219][1] r[219][2] r[219][3] r[219][4] r[219][5] r[219][6] r[219][7] r[219][8] r[219][9] r[219][10] r[219][11] r[219][12] r[219][13] r[219][14] r[219][15] r[219][16] r[219][17] r[219][18] r[219][19] r[220][0] r[220][1] r[220][2] r[220][3] r[220][4] r[220][5] r[220][6] r[220][7] r[220][8] r[220][9] r[220][10] r[220][11] r[220][12] r[220][13] r[220][14] r[220][15] r[220][16] r[220][17] r[220][18] r[220][19] r[221][0] r[221][1] r[221][2] r[221][3] r[221][4] r[221][5] r[221][6] r[221][7] r[221][8] r[221][9] r[221][10] r[221][11] r[221][12] r[221][13] r[221][14] r[221][15] r[221][16] r[221][17] r[221][18] r[221][19] r[222][0] r[222][1] r[222][2] r[222][3] r[222][4] r[222][5] r[222][6] r[222][7] r[222][8] r[222][9] r[222][10] r[222][11] r[222][12] r[222][13] r[222][14] r[222][15] r[222][16] r[222][17] r[222][18] r[222][19] r[223][0] r[223][1] r[223][2] r[223][3] r[223][4] r[223][5] r[223][6] r[223][7] r[223][8] r[223][9] r[223][10] r[223][11] r[223][12] r[223][13] r[223][14] r[223][15] r[223][16] r[223][17] r[223][18] r[223][19] </list> 2400.05/303.95 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 3 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 6 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 7 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 9 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 2 13 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 2 14 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 20 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 32 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 34 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 34 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 28 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 29 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.05/303.95 v </instantiation> 2400.05/303.95 c Unexpected resolution interruption!
OK 199
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-4246139-1500686841/watcher-4246139-1500686841 -o /tmp/evaluation-result-4246139-1500686841/solver-4246139-1500686841 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 536583704 HOME/instance-4246139-1500686841.xml pid=19780 running on 8 cores: 1,3,5,7,9,11,13,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: 8.92 9.45 11.47 10/270 19783 /proc/meminfo: memFree=31207688/32770624 swapFree=5860/271920 [pid=19783] ppid=19780 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19783/stat : 19783 (xcsp3-exec) S 19780 19783 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3951548 9740288 346 33554432000 4194304 5098028 140735033776576 140735033774680 139848747160188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40558592 140735033779343 140735033779552 140735033779552 140735033782251 0 /proc/19783/statm: 2378 346 289 221 0 87 0 [startup+0.100083 s] /proc/loadavg: 8.92 9.45 11.47 10/270 19783 /proc/meminfo: memFree=31207688/32770624 swapFree=5860/271920 [pid=19783] ppid=19780 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19783/stat : 19783 (xcsp3-exec) S 19780 19783 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3951548 9740288 346 33554432000 4194304 5098028 140735033776576 140735033774680 139848747160188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40558592 140735033779343 140735033779552 140735033779552 140735033782251 0 /proc/19783/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200387 s] /proc/loadavg: 8.92 9.45 11.47 10/270 19783 /proc/meminfo: memFree=31207688/32770624 swapFree=5860/271920 [pid=19783] ppid=19780 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19783/stat : 19783 (xcsp3-exec) S 19780 19783 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3951548 9740288 346 33554432000 4194304 5098028 140735033776576 140735033774680 139848747160188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40558592 140735033779343 140735033779552 140735033779552 140735033782251 0 /proc/19783/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300315 s] /proc/loadavg: 8.92 9.45 11.47 10/270 19783 /proc/meminfo: memFree=31207688/32770624 swapFree=5860/271920 [pid=19783] ppid=19780 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19783/stat : 19783 (xcsp3-exec) S 19780 19783 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3951548 9740288 346 33554432000 4194304 5098028 140735033776576 140735033774680 139848747160188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40558592 140735033779343 140735033779552 140735033779552 140735033782251 0 /proc/19783/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700303 s] /proc/loadavg: 8.92 9.45 11.47 10/270 19783 /proc/meminfo: memFree=31207688/32770624 swapFree=5860/271920 [pid=19783] ppid=19780 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19783/stat : 19783 (xcsp3-exec) S 19780 19783 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3951548 9740288 346 33554432000 4194304 5098028 140735033776576 140735033774680 139848747160188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40558592 140735033779343 140735033779552 140735033779552 140735033782251 0 /proc/19783/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50123 s] /proc/loadavg: 8.92 9.45 11.47 15/291 19804 /proc/meminfo: memFree=30986784/32770624 swapFree=5860/271952 [pid=19783] ppid=19780 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19783/stat : 19783 (xcsp3-exec) S 19780 19783 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3951548 9740288 346 33554432000 4194304 5098028 140735033776576 140735033774680 139848747160188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40558592 140735033779343 140735033779552 140735033779552 140735033782251 0 /proc/19783/statm: 2378 346 289 221 0 87 0 [pid=19784] ppid=19783 vsize=13801768 CPUtime=6.39 cores=1,3,5,7,9,11,13,15 /proc/19784/stat : 19784 (java) S 19783 19783 7411 0 -1 1077944320 25555 0 0 0 613 26 0 0 20 0 28 0 3951549 14133010432 59008 33554432000 4194304 4196468 140728836348752 140728836331296 140635387678455 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 /proc/19784/statm: 3450442 59008 3268 1 0 3437675 0 [pid=19784/tid=19785] ppid=19783 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19785/stat : 19785 (java) S 19783 19783 7411 0 -1 1077944384 7836 0 0 0 104 5 0 0 20 0 28 0 3951549 14133010432 59008 33554432000 4194304 4196468 140728836348752 140635391919232 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19787] ppid=19783 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19787/stat : 19787 (java) S 19783 19783 7411 0 -1 1077944384 32 0 0 0 0 1 0 0 20 0 28 0 3951550 14133010432 59008 33554432000 4194304 4196468 140728836348752 140635350785168 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19788] ppid=19783 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19788/stat : 19788 (java) S 19783 19783 7411 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 28 0 3951550 14133010432 59008 33554432000 4194304 4196468 140728836348752 140635349732368 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19789] ppid=19783 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19789/stat : 19789 (java) S 19783 19783 7411 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 28 0 3951550 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634985266064 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19790] ppid=19783 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19790/stat : 19790 (java) S 19783 19783 7411 0 -1 1077944384 221 0 0 0 2 2 0 0 20 0 28 0 3951550 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634984213264 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19791] ppid=19783 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19791/stat : 19791 (java) S 19783 19783 7411 0 -1 1077944384 47 0 0 0 3 1 0 0 20 0 28 0 3951550 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634983160464 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19792] ppid=19783 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19792/stat : 19792 (java) S 19783 19783 7411 0 -1 1077944384 75 0 0 0 2 2 0 0 20 0 28 0 3951550 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634982107664 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19793] ppid=19783 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19793/stat : 19793 (java) S 19783 19783 7411 0 -1 1077944384 50 0 0 0 2 2 0 0 20 0 28 0 3951550 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634981054864 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19794] ppid=19783 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19794/stat : 19794 (java) S 19783 19783 7411 0 -1 1077944384 109 0 0 0 1 2 0 0 20 0 28 0 3951550 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634980002064 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19795] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19795/stat : 19795 (java) S 19783 19783 7411 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 28 0 3951553 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634849934192 140635387689602 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19796] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19796/stat : 19796 (java) S 19783 19783 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3951553 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634848880160 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19797] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19797/stat : 19797 (java) S 19783 19783 7411 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 3951554 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634847827312 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19798] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19798/stat : 19798 (java) S 19783 19783 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3951557 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634846775632 140635387697051 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19799] ppid=19783 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19799/stat : 19799 (java) R 19783 19783 7411 0 -1 4202560 3237 0 0 0 90 0 0 0 20 0 28 0 3951557 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634845709560 140635367100127 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19800] ppid=19783 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19800/stat : 19800 (java) R 19783 19783 7411 0 -1 4202560 3824 0 0 0 92 0 0 0 20 0 28 0 3951557 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634844661936 140635371178653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19801] ppid=19783 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19801/stat : 19801 (java) R 19783 19783 7411 0 -1 4202560 3694 0 0 0 84 0 0 0 20 0 28 0 3951557 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634843606752 140635369223962 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19802] ppid=19783 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19802/stat : 19802 (java) S 19783 19783 7411 0 -1 1077944384 4378 0 0 0 64 1 0 0 20 0 28 0 3951557 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634842564592 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19803] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19803/stat : 19803 (java) S 19783 19783 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3951558 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634841513056 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19804] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19804/stat : 19804 (java) S 19783 19783 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3951558 14133010432 59008 33554432000 4194304 4196468 140728836348752 140634840460336 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 Current children cumulated CPU time (s) 6.39 Current children cumulated vsize (KiB) 13811280 [startup+3.10163 s] /proc/loadavg: 8.92 9.45 11.47 18/299 19812 /proc/meminfo: memFree=30979392/32770624 swapFree=5860/271956 [pid=19783] ppid=19780 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19783/stat : 19783 (xcsp3-exec) S 19780 19783 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3951548 9740288 346 33554432000 4194304 5098028 140735033776576 140735033774680 139848747160188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40558592 140735033779343 140735033779552 140735033779552 140735033782251 0 /proc/19783/statm: 2378 346 289 221 0 87 0 [pid=19784] ppid=19783 vsize=13801768 CPUtime=19.12 cores=1,3,5,7,9,11,13,15 /proc/19784/stat : 19784 (java) S 19783 19783 7411 0 -1 1077944320 28624 0 0 0 1884 28 0 0 20 0 28 0 3951549 14133010432 60250 33554432000 4194304 4196468 140728836348752 140728836331296 140635387678455 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 /proc/19784/statm: 3450442 60250 3270 1 0 3437675 0 [pid=19784/tid=19785] ppid=19783 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19785/stat : 19785 (java) S 19783 19783 7411 0 -1 1077944384 7836 0 0 0 104 5 0 0 20 0 28 0 3951549 14133010432 60250 33554432000 4194304 4196468 140728836348752 140635391919232 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19787] ppid=19783 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19787/stat : 19787 (java) S 19783 19783 7411 0 -1 1077944384 32 0 0 0 0 1 0 0 20 0 28 0 3951550 14133010432 60250 33554432000 4194304 4196468 140728836348752 140635350785168 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19788] ppid=19783 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19788/stat : 19788 (java) S 19783 19783 7411 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 28 0 3951550 14133010432 60250 33554432000 4194304 4196468 140728836348752 140635349732368 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19789] ppid=19783 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19789/stat : 19789 (java) S 19783 19783 7411 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 28 0 3951550 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634985266064 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19790] ppid=19783 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19790/stat : 19790 (java) S 19783 19783 7411 0 -1 1077944384 221 0 0 0 2 2 0 0 20 0 28 0 3951550 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634984213264 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19791] ppid=19783 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19791/stat : 19791 (java) S 19783 19783 7411 0 -1 1077944384 47 0 0 0 3 1 0 0 20 0 28 0 3951550 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634983160464 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19792] ppid=19783 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19792/stat : 19792 (java) S 19783 19783 7411 0 -1 1077944384 75 0 0 0 2 2 0 0 20 0 28 0 3951550 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634982107664 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19793] ppid=19783 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19793/stat : 19793 (java) S 19783 19783 7411 0 -1 1077944384 50 0 0 0 2 2 0 0 20 0 28 0 3951550 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634981054864 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19794] ppid=19783 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19794/stat : 19794 (java) S 19783 19783 7411 0 -1 1077944384 109 0 0 0 1 2 0 0 20 0 28 0 3951550 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634980002064 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19795] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19795/stat : 19795 (java) S 19783 19783 7411 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 28 0 3951553 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634849934192 140635387689602 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19796] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19796/stat : 19796 (java) S 19783 19783 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3951553 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634848880160 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19797] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19797/stat : 19797 (java) S 19783 19783 7411 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 3951554 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634847827312 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19798] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19798/stat : 19798 (java) S 19783 19783 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3951557 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634846775632 140635387697051 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19799] ppid=19783 vsize=13801768 CPUtime=1.57 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19799/stat : 19799 (java) R 19783 19783 7411 0 -1 4202560 3941 0 0 0 156 1 0 0 20 0 28 0 3951557 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634845723288 140635367366926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19800] ppid=19783 vsize=13801768 CPUtime=1.7 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19800/stat : 19800 (java) S 19783 19783 7411 0 -1 1077944384 5060 0 0 0 170 0 0 0 20 0 28 0 3951557 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634844670192 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19801] ppid=19783 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19801/stat : 19801 (java) S 19783 19783 7411 0 -1 1077944384 4233 0 0 0 143 1 0 0 20 0 28 0 3951557 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634843617392 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19802] ppid=19783 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19802/stat : 19802 (java) S 19783 19783 7411 0 -1 1077944384 4642 0 0 0 74 1 0 0 20 0 28 0 3951557 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634842564592 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19803] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19803/stat : 19803 (java) S 19783 19783 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3951558 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634841513056 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19804] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19804/stat : 19804 (java) S 19783 19783 7411 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3951558 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634840460336 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19805] ppid=19783 vsize=13801768 CPUtime=1.55 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19805/stat : 19805 (java) R 19783 19783 7411 0 -1 4202560 117 0 0 0 155 0 0 0 20 0 28 0 3951667 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634832444208 140635029995668 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19806] ppid=19783 vsize=13801768 CPUtime=1.45 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19806/stat : 19806 (java) R 19783 19783 7411 0 -1 4202560 44 0 0 0 145 0 0 0 20 0 28 0 3951667 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634831395304 140635024479404 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19807] ppid=19783 vsize=13801768 CPUtime=1.48 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19807/stat : 19807 (java) R 19783 19783 7411 0 -1 4202560 81 0 0 0 148 0 0 0 20 0 28 0 3951667 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634830340536 140635029978453 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19808] ppid=19783 vsize=13801768 CPUtime=1.62 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19808/stat : 19808 (java) R 19783 19783 7411 0 -1 4202560 248 0 0 0 162 0 0 0 20 0 28 0 3951667 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634829286840 140635029978453 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19809] ppid=19783 vsize=13801768 CPUtime=1.47 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19809/stat : 19809 (java) R 19783 19783 7411 0 -1 4202560 57 0 0 0 147 0 0 0 20 0 28 0 3951667 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634828234840 140635029978453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19810] ppid=19783 vsize=13801768 CPUtime=1.6 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19810/stat : 19810 (java) R 19783 19783 7411 0 -1 4202560 60 0 0 0 160 0 0 0 20 0 28 0 3951667 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634827182056 140635030604404 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19811] ppid=19783 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19811/stat : 19811 (java) R 19783 19783 7411 0 -1 4202560 38 0 0 0 136 0 0 0 20 0 28 0 3951667 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634826129960 140635029995672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19812] ppid=19783 vsize=13801768 CPUtime=1.59 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19812/stat : 19812 (java) R 19783 19783 7411 0 -1 4202560 37 0 0 0 159 0 0 0 20 0 28 0 3951667 14133010432 60250 33554432000 4194304 4196468 140728836348752 140634825079496 140635029995668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 Current children cumulated CPU time (s) 19.12 Current children cumulated vsize (KiB) 13811280 [startup+6.30133 s] /proc/loadavg: 9.64 9.59 11.50 17/299 19820 /proc/meminfo: memFree=30980576/32770624 swapFree=5860/271964 [pid=19783] ppid=19780 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19783/stat : 19783 (xcsp3-exec) S 19780 19783 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3951548 9740288 346 33554432000 4194304 5098028 140735033776576 140735033774680 139848747160188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40558592 140735033779343 140735033779552 140735033779552 140735033782251 0 /proc/19783/statm: 2378 346 289 221 0 87 0 [pid=19784] ppid=19783 vsize=13801768 CPUtime=43.28 cores=1,3,5,7,9,11,13,15 /proc/19784/stat : 19784 (java) S 19783 19783 7411 0 -1 1077944320 30099 0 0 0 4297 31 0 0 20 0 28 0 3951549 14133010432 59457 33554432000 4194304 4196468 140728836348752 140728836331296 140635387678455 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 /proc/19784/statm: 3450442 59457 3274 1 0 3437675 0 [pid=19784/tid=19785] ppid=19783 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19785/stat : 19785 (java) S 19783 19783 7411 0 -1 1077944384 7932 0 0 0 106 5 0 0 20 0 28 0 3951549 14133010432 59457 33554432000 4194304 4196468 140728836348752 140635391919232 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19787] ppid=19783 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19787/stat : 19787 (java) S 19783 19783 7411 0 -1 1077944384 32 0 0 0 0 1 0 0 20 0 28 0 3951550 14133010432 59457 33554432000 4194304 4196468 140728836348752 140635350785168 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19788] ppid=19783 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19788/stat : 19788 (java) S 19783 19783 7411 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 28 0 3951550 14133010432 59457 33554432000 4194304 4196468 140728836348752 140635349732368 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19789] ppid=19783 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19789/stat : 19789 (java) S 19783 19783 7411 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 28 0 3951550 14133010432 59457 33554432000 4194304 4196468 140728836348752 140634985266064 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19790] ppid=19783 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19790/stat : 19790 (java) S 19783 19783 7411 0 -1 1077944384 221 0 0 0 2 2 0 0 20 0 28 0 3951550 14133010432 59457 33554432000 4194304 4196468 140728836348752 140634984213264 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 ################ # More data... # ################ [pid=19784/tid=20039] ppid=19783 vsize=13801768 CPUtime=87.08 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20039/stat : 20039 (java) R 19783 19783 7411 0 -1 4202560 459 0 0 0 8707 1 0 0 20 0 28 0 3970909 14133010432 166188 33554432000 4194304 4196468 140728836348752 140634827182184 140635024479404 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20040] ppid=19783 vsize=13801768 CPUtime=88.19 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20040/stat : 20040 (java) R 19783 19783 7411 0 -1 4202560 4216 0 0 0 8818 1 0 0 20 0 28 0 3970909 14133010432 166188 33554432000 4194304 4196468 140728836348752 140634826132240 140635031356391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 Current children cumulated CPU time (s) 2228.06 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+303.902 s] /proc/loadavg: 15.35 13.36 12.62 17/301 20137 /proc/meminfo: memFree=31009080/32770624 swapFree=5860/272460 [pid=19783] ppid=19780 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19783/stat : 19783 (xcsp3-exec) S 19780 19783 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3951548 9740288 346 33554432000 4194304 5098028 140735033776576 140735033774680 139848747160188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40558592 140735033779343 140735033779552 140735033779552 140735033782251 0 /proc/19783/statm: 2378 346 289 221 0 87 0 [pid=19784] ppid=19783 vsize=13801768 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15 /proc/19784/stat : 19784 (java) S 19783 19783 7411 0 -1 1077944320 153375 0 0 0 239852 153 0 0 20 0 28 0 3951549 14133010432 165948 33554432000 4194304 4196468 140728836348752 140728836331296 140635387678455 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 /proc/19784/statm: 3450442 165948 3289 1 0 3437675 0 [pid=19784/tid=19785] ppid=19783 vsize=13801768 CPUtime=1.17 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19785/stat : 19785 (java) S 19783 19783 7411 0 -1 1077944384 10487 0 0 0 111 6 0 0 20 0 28 0 3951549 14133010432 165948 33554432000 4194304 4196468 140728836348752 140635391919232 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19787] ppid=19783 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19787/stat : 19787 (java) S 19783 19783 7411 0 -1 1077944384 1037 0 0 0 9 9 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140635350785168 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19788] ppid=19783 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19788/stat : 19788 (java) S 19783 19783 7411 0 -1 1077944384 1018 0 0 0 11 10 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140635349732368 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19789] ppid=19783 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19789/stat : 19789 (java) S 19783 19783 7411 0 -1 1077944384 353 0 0 0 13 7 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634985266064 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19790] ppid=19783 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19790/stat : 19790 (java) S 19783 19783 7411 0 -1 1077944384 1299 0 0 0 12 10 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634984213264 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19791] ppid=19783 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19791/stat : 19791 (java) S 19783 19783 7411 0 -1 1077944384 227 0 0 0 11 8 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634983160464 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19792] ppid=19783 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19792/stat : 19792 (java) S 19783 19783 7411 0 -1 1077944384 958 0 0 0 11 9 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634982107664 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19793] ppid=19783 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19793/stat : 19793 (java) S 19783 19783 7411 0 -1 1077944384 632 0 0 0 12 9 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634981054864 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19794] ppid=19783 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19794/stat : 19794 (java) S 19783 19783 7411 0 -1 1077944384 1732 0 0 0 11 8 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634980002064 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19795] ppid=19783 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19795/stat : 19795 (java) S 19783 19783 7411 0 -1 1077944384 3750 0 0 0 5 8 0 0 20 0 28 0 3951553 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634849934192 140635387689602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19796] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19796/stat : 19796 (java) S 19783 19783 7411 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3951553 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634848880224 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19797] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19797/stat : 19797 (java) S 19783 19783 7411 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 3951554 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634847827328 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19798] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19798/stat : 19798 (java) S 19783 19783 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3951557 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634846775632 140635387697051 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19799] ppid=19783 vsize=13801768 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19799/stat : 19799 (java) S 19783 19783 7411 0 -1 1077944384 20670 0 0 0 306 3 0 0 20 0 28 0 3951557 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634845722992 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19800] ppid=19783 vsize=13801768 CPUtime=3.46 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19800/stat : 19800 (java) S 19783 19783 7411 0 -1 1077944384 19580 0 0 0 343 3 0 0 20 0 28 0 3951557 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634844670192 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19801] ppid=19783 vsize=13801768 CPUtime=3.16 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19801/stat : 19801 (java) S 19783 19783 7411 0 -1 1077944384 22778 0 0 0 312 4 0 0 20 0 28 0 3951557 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634843617392 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19802] ppid=19783 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19802/stat : 19802 (java) S 19783 19783 7411 0 -1 1077944384 18711 0 0 0 108 4 0 0 20 0 28 0 3951557 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634842564592 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19803] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19803/stat : 19803 (java) S 19783 19783 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3951558 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634841513056 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19804] ppid=19783 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19804/stat : 19804 (java) S 19783 19783 7411 0 -1 1077944384 2051 0 0 0 12 15 0 0 20 0 28 0 3951558 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634840460336 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20033] ppid=19783 vsize=13801768 CPUtime=109.72 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20033/stat : 20033 (java) R 19783 19783 7411 0 -1 4202560 625 0 0 0 10972 0 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634825076168 140635024479404 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20034] ppid=19783 vsize=13801768 CPUtime=110.03 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20034/stat : 20034 (java) R 19783 19783 7411 0 -1 4202560 361 0 0 0 11003 0 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634829287560 140635029576556 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20035] ppid=19783 vsize=13801768 CPUtime=109.63 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20035/stat : 20035 (java) R 19783 19783 7411 0 -1 4202560 1214 0 0 0 10962 1 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634832445576 140635029960106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20036] ppid=19783 vsize=13801768 CPUtime=110.12 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20036/stat : 20036 (java) R 19783 19783 7411 0 -1 4202560 455 0 0 0 11012 0 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634831392776 140635024479404 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20037] ppid=19783 vsize=13801768 CPUtime=109.53 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20037/stat : 20037 (java) R 19783 19783 7411 0 -1 4202560 468 0 0 0 10953 0 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634828234632 140635030042083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20038] ppid=19783 vsize=13801768 CPUtime=109.96 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20038/stat : 20038 (java) R 19783 19783 7411 0 -1 4202560 386 0 0 0 10996 0 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634830339600 140635024479404 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20039] ppid=19783 vsize=13801768 CPUtime=108.45 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20039/stat : 20039 (java) R 19783 19783 7411 0 -1 4202560 477 0 0 0 10843 2 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634827182184 140635029995528 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20040] ppid=19783 vsize=13801768 CPUtime=109.32 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20040/stat : 20040 (java) R 19783 19783 7411 0 -1 4202560 4387 0 0 0 10931 1 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634826129928 140635029978453 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 13811280 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 19784 sig 9 ??? kill 19783 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+303.902 s] /proc/loadavg: 15.35 13.36 12.62 17/301 20137 /proc/meminfo: memFree=31009080/32770624 swapFree=5860/272460 [pid=19783] ppid=19780 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19783/stat : 19783 (xcsp3-exec) S 19780 19783 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3951548 9740288 346 33554432000 4194304 5098028 140735033776576 140735033774680 139848747160188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 40558592 140735033779343 140735033779552 140735033779552 140735033782251 0 /proc/19783/statm: 2378 346 289 221 0 87 0 [pid=19784] ppid=19783 vsize=13801768 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15 /proc/19784/stat : 19784 (java) S 19783 19783 7411 0 -1 1077944320 153375 0 0 0 239852 153 0 0 20 0 28 0 3951549 14133010432 165948 33554432000 4194304 4196468 140728836348752 140728836331296 140635387678455 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 /proc/19784/statm: 3450442 165948 3289 1 0 3437675 0 [pid=19784/tid=19785] ppid=19783 vsize=13801768 CPUtime=1.17 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19785/stat : 19785 (java) S 19783 19783 7411 0 -1 1077944384 10487 0 0 0 111 6 0 0 20 0 28 0 3951549 14133010432 165948 33554432000 4194304 4196468 140728836348752 140635391919232 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19787] ppid=19783 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19787/stat : 19787 (java) S 19783 19783 7411 0 -1 1077944384 1037 0 0 0 9 9 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140635350785168 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19788] ppid=19783 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19788/stat : 19788 (java) S 19783 19783 7411 0 -1 1077944384 1018 0 0 0 11 10 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140635349732368 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19789] ppid=19783 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19789/stat : 19789 (java) S 19783 19783 7411 0 -1 1077944384 353 0 0 0 13 7 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634985266064 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19790] ppid=19783 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19790/stat : 19790 (java) S 19783 19783 7411 0 -1 1077944384 1299 0 0 0 12 10 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634984213264 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19791] ppid=19783 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19791/stat : 19791 (java) S 19783 19783 7411 0 -1 1077944384 227 0 0 0 11 8 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634983160464 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19792] ppid=19783 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19792/stat : 19792 (java) S 19783 19783 7411 0 -1 1077944384 958 0 0 0 11 9 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634982107664 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19793] ppid=19783 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19793/stat : 19793 (java) S 19783 19783 7411 0 -1 1077944384 632 0 0 0 12 9 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634981054864 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19794] ppid=19783 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19794/stat : 19794 (java) S 19783 19783 7411 0 -1 1077944384 1732 0 0 0 11 8 0 0 20 0 28 0 3951550 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634980002064 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19795] ppid=19783 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19795/stat : 19795 (java) S 19783 19783 7411 0 -1 1077944384 3750 0 0 0 5 8 0 0 20 0 28 0 3951553 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634849934192 140635387689602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19796] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19796/stat : 19796 (java) S 19783 19783 7411 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3951553 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634848880224 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19797] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19797/stat : 19797 (java) S 19783 19783 7411 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 3951554 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634847827328 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19798] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19798/stat : 19798 (java) S 19783 19783 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3951557 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634846775632 140635387697051 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19799] ppid=19783 vsize=13801768 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19799/stat : 19799 (java) S 19783 19783 7411 0 -1 1077944384 20670 0 0 0 306 3 0 0 20 0 28 0 3951557 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634845722992 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19800] ppid=19783 vsize=13801768 CPUtime=3.46 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19800/stat : 19800 (java) S 19783 19783 7411 0 -1 1077944384 19580 0 0 0 343 3 0 0 20 0 28 0 3951557 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634844670192 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19801] ppid=19783 vsize=13801768 CPUtime=3.16 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19801/stat : 19801 (java) S 19783 19783 7411 0 -1 1077944384 22778 0 0 0 312 4 0 0 20 0 28 0 3951557 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634843617392 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19802] ppid=19783 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19802/stat : 19802 (java) S 19783 19783 7411 0 -1 1077944384 18711 0 0 0 108 4 0 0 20 0 28 0 3951557 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634842564592 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19803] ppid=19783 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19803/stat : 19803 (java) S 19783 19783 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3951558 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634841513056 140635387688661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=19804] ppid=19783 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/19784/task/19804/stat : 19804 (java) S 19783 19783 7411 0 -1 1077944384 2051 0 0 0 12 15 0 0 20 0 28 0 3951558 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634840460336 140635387689602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20033] ppid=19783 vsize=13801768 CPUtime=109.72 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20033/stat : 20033 (java) R 19783 19783 7411 0 -1 4202560 625 0 0 0 10972 0 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634825076168 140635024479404 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20034] ppid=19783 vsize=13801768 CPUtime=110.03 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20034/stat : 20034 (java) R 19783 19783 7411 0 -1 4202560 361 0 0 0 11003 0 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634829287560 140635029576556 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20035] ppid=19783 vsize=13801768 CPUtime=109.63 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20035/stat : 20035 (java) R 19783 19783 7411 0 -1 4202560 1214 0 0 0 10962 1 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634832445576 140635029960106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20036] ppid=19783 vsize=13801768 CPUtime=110.12 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20036/stat : 20036 (java) R 19783 19783 7411 0 -1 4202560 455 0 0 0 11012 0 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634831392776 140635024479404 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20037] ppid=19783 vsize=13801768 CPUtime=109.53 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20037/stat : 20037 (java) R 19783 19783 7411 0 -1 4202560 468 0 0 0 10953 0 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634828234632 140635030042083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20038] ppid=19783 vsize=13801768 CPUtime=109.96 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20038/stat : 20038 (java) R 19783 19783 7411 0 -1 4202560 386 0 0 0 10996 0 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634830339600 140635024479404 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20039] ppid=19783 vsize=13801768 CPUtime=108.45 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20039/stat : 20039 (java) R 19783 19783 7411 0 -1 4202560 477 0 0 0 10843 2 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634827182184 140635029995528 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 [pid=19784/tid=20040] ppid=19783 vsize=13801768 CPUtime=109.32 cores=1,3,5,7,9,11,13,15 /proc/19784/task/20040/stat : 20040 (java) R 19783 19783 7411 0 -1 4202560 4387 0 0 0 10931 1 0 0 20 0 28 0 3970909 14133010432 165948 33554432000 4194304 4196468 140728836348752 140634826129928 140635029978453 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11194368 140728836355260 140728836355436 140728836355436 140728836358095 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 13811280 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 19783 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=3063 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1077 # CPU time returned by wait4() is 0.00414 # while last known CPU time is 2400.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 303.912 CPU time (s): 2400.05 CPU user time (s): 2398.52 CPU system time (s): 1.53 CPU usage (%): 789.718 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.003063 system time used= 0.001077 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 3.66248 second user time and 4.61369 second system time The end
Begin job on node131 at 2017-07-22 03:27:21 IDJOB=4246139 IDBENCH=124189 IDSOLVER=2626 FILE ID=node131/4246139-1500686841 RUNJOBID= node131-1500682620-7802 PBS_JOBID= 20623041 Free space on /tmp= 62012 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t04-6.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-4246139-1500686841/watcher-4246139-1500686841 -o /tmp/evaluation-result-4246139-1500686841/solver-4246139-1500686841 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 536583704 HOME/instance-4246139-1500686841.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 4f6b0364d1c2702efbd3acc25cc5ef4e RANDOM SEED=536583704 node131.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 : 5334.06 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 : 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 : 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 : 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 : 5334.06 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 : 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 : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 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 : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 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 : 5334.06 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 : 1600.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 : 5334.06 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 : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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 : 5334.06 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 : 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 : 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 : 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 : 5334.06 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 : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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 : 5334.06 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 : 1867.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: 31208536 kB MemAvailable: 31354532 kB Buffers: 106552 kB Cached: 322404 kB SwapCached: 0 kB Active: 852948 kB Inactive: 280600 kB Active(anon): 707288 kB Inactive(anon): 8680 kB Active(file): 145660 kB Inactive(file): 271920 kB Unevictable: 5860 kB Mlocked: 5860 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7964 kB Writeback: 0 kB AnonPages: 937892 kB Mapped: 42572 kB Shmem: 8844 kB Slab: 123324 kB SReclaimable: 88504 kB SUnreclaim: 34820 kB KernelStack: 5040 kB PageTables: 6696 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1868860 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 819200 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62004 MiB End job on node131 at 2017-07-22 03:32:25