Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 56621 | 2519.9 | 2520.01 |
Name | NurseRostering/ NurseRostering-12_c18.xml |
MD5SUM | 2a283c05e31c4b30f3ec3c3182bebd94 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 56621 |
Best CPU time to get the best result obtained on this benchmark | 2519.9 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3618 |
Number of constraints | 8519 |
Number of domains | 14 |
Minimum domain size | 1 |
Maximum domain size | 61 |
Distribution of domain sizes | [{"size":1,"count":226},{"size":2,"count":662},{"size":3,"count":5},{"size":5,"count":30},{"size":11,"count":1680},{"size":29,"count":427},{"size":61,"count":588}] |
Minimum variable degree | 2 |
Maximum variable degree | 39 |
Distribution of variable degrees | [{"degree":2,"count":1698},{"degree":3,"count":240},{"degree":27,"count":44},{"degree":28,"count":69},{"degree":29,"count":7},{"degree":30,"count":41},{"degree":31,"count":67},{"degree":32,"count":93},{"degree":33,"count":97},{"degree":34,"count":125},{"degree":35,"count":445},{"degree":36,"count":418},{"degree":37,"count":184},{"degree":38,"count":76},{"degree":39,"count":14}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 120 |
Distribution of constraint arities | [{"arity":2,"count":2950},{"arity":3,"count":2860},{"arity":4,"count":310},{"arity":6,"count":1150},{"arity":7,"count":220},{"arity":11,"count":60},{"arity":29,"count":660},{"arity":61,"count":308},{"arity":120,"count":1}] |
Number of extensional constraints | 1928 |
Number of intensional constraints | 1022 |
Distribution of constraint types | [{"type":"extension","count":1928},{"type":"intension","count":1022},{"type":"regular","count":3110},{"type":"sum","count":120},{"type":"count","count":2338},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.69/0.79 c best=?? lower=0 upper=101490 124.95/125.06 c 124.95/125.06 c This is cosoco 1.12 -- 124.95/125.06 c 124.95/125.06 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293015-1532304304.xml 124.95/125.06 c enable optimization 124.95/125.06 c ========================================[ Problem Statistics ]=========================================== 124.95/125.06 c | 124.95/125.06 c | Parse time : 0.72 s 124.95/125.06 c | 124.95/125.06 c | Variables: 3618 124.95/125.06 c | Domain Sizes: 1..61 124.95/125.06 c | 124.95/125.06 c | Constraints: 8699 124.95/125.06 c | Arity: 1..730 -- Unary: 120 -- Binary: 2950 -- Ternary: 2860 124.95/125.06 c | 124.95/125.06 c | Types: 124.95/125.06 c | At least: 1370 124.95/125.06 c | Exactly K variable: 968 124.95/125.06 c | Extension: 1928 (nb tuples: 0..61) -- (shared: 1862) 124.95/125.06 c | Intension: 1022 124.95/125.06 c | MDD: 3110 124.95/125.06 c | Sum: 181 124.95/125.06 c | Unary: 120 124.95/125.06 c | 124.95/125.06 c | Objective: Minimize Sum 124.95/125.06 124.95/125.06 c ========================================================================================================= 124.95/125.06 o 56621 124.95/125.06 c 1 calls to solver: best=56621 lower=0 upper=56620 2519.89/2520.00 2519.89/2520.00 c *** INTERRUPTED *** 2519.89/2520.00 c restarts : 88 2519.89/2520.00 c conflicts : 4345470 (1725 /sec) 2519.89/2520.00 c decisions : 10362552 (4113 /sec) 2519.89/2520.00 c propagations : 163882677 (65040 /sec) 2519.89/2520.00 c root propagations : 22890 2519.89/2520.00 c filter calls : 584213403 (231855 /sec) 2519.89/2520.00 c useless filter calls : 470131623 (80 %) 2519.89/2520.00 c Memory used : 229.75 MB 2519.89/2520.00 c CPU time : 2519.73 s 2519.89/2520.00 2519.89/2520.00 c nb Solutions = 1 2519.89/2520.00 s SATISFIABLE 2519.89/2520.00 c Best value found: 56621 2519.89/2520.00 2519.89/2520.00 2519.89/2520.00 v <instantiation type='solution' cost='56621'> 2519.89/2520.00 v <list>cc[0][0] cc[0][10] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[0][5] cc[0][6] cc[0][7] cc[0][8] cc[0][9] cc[10][0] cc[10][10] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[10][5] cc[10][6] cc[10][7] cc[10][8] cc[10][9] cc[11][0] cc[11][10] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[11][5] cc[11][6] cc[11][7] cc[11][8] cc[11][9] cc[12][0] cc[12][10] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[12][5] cc[12][6] cc[12][7] cc[12][8] cc[12][9] cc[13][0] cc[13][10] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[13][5] cc[13][6] cc[13][7] cc[13][8] cc[13][9] cc[14][0] cc[14][10] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[14][5] cc[14][6] cc[14][7] cc[14][8] cc[14][9] cc[15][0] cc[15][10] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[15][5] cc[15][6] cc[15][7] cc[15][8] cc[15][9] cc[16][0] cc[16][10] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[16][5] cc[16][6] cc[16][7] cc[16][8] cc[16][9] cc[17][0] cc[17][10] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[17][5] cc[17][6] cc[17][7] cc[17][8] cc[17][9] cc[18][0] cc[18][10] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[18][5] cc[18][6] cc[18][7] cc[18][8] cc[18][9] cc[19][0] cc[19][10] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[19][5] cc[19][6] cc[19][7] cc[19][8] cc[19][9] cc[1][0] cc[1][10] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[1][5] cc[1][6] cc[1][7] cc[1][8] cc[1][9] cc[20][0] cc[20][10] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[20][5] cc[20][6] cc[20][7] cc[20][8] cc[20][9] cc[21][0] cc[21][10] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[21][5] cc[21][6] cc[21][7] cc[21][8] cc[21][9] cc[22][0] cc[22][10] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[22][5] cc[22][6] cc[22][7] cc[22][8] cc[22][9] cc[23][0] cc[23][10] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[23][5] cc[23][6] cc[23][7] cc[23][8] cc[23][9] cc[24][0] cc[24][10] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[24][5] cc[24][6] cc[24][7] cc[24][8] cc[24][9] cc[25][0] cc[25][10] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[25][5] cc[25][6] cc[25][7] cc[25][8] cc[25][9] cc[26][0] cc[26][10] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[26][5] cc[26][6] cc[26][7] cc[26][8] cc[26][9] cc[27][0] cc[27][10] cc[27][1] cc[27][2] cc[27][3] cc[27][4] cc[27][5] cc[27][6] cc[27][7] cc[27][8] cc[27][9] cc[2][0] cc[2][10] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[2][5] cc[2][6] cc[2][7] cc[2][8] cc[2][9] cc[3][0] cc[3][10] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[3][5] cc[3][6] cc[3][7] cc[3][8] cc[3][9] cc[4][0] cc[4][10] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[4][5] cc[4][6] cc[4][7] cc[4][8] cc[4][9] cc[5][0] cc[5][10] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[5][5] cc[5][6] cc[5][7] cc[5][8] cc[5][9] cc[6][0] cc[6][10] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[6][5] cc[6][6] cc[6][7] cc[6][8] cc[6][9] cc[7][0] cc[7][10] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[7][5] cc[7][6] cc[7][7] cc[7][8] cc[7][9] cc[8][0] cc[8][10] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[8][5] cc[8][6] cc[8][7] cc[8][8] cc[8][9] cc[9][0] cc[9][10] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[9][5] cc[9][6] cc[9][7] cc[9][8] cc[9][9] cf[0] cf[100] cf[101] cf[102] cf[103] cf[104] cf[105] cf[106] cf[107] cf[108] cf[109] cf[10] cf[110] cf[111] cf[112] cf[113] cf[114] cf[115] cf[116] cf[117] cf[118] cf[119] cf[11] cf[120] cf[121] cf[122] cf[123] cf[124] cf[125] cf[126] cf[127] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[1] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[2] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[3] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[4] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[5] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[6] cf[70] cf[71] cf[72] cf[73] cf[74] cf[75] cf[76] cf[77] cf[78] cf[79] cf[7] cf[80] cf[81] cf[82] cf[83] cf[84] cf[85] cf[86] cf[87] cf[88] cf[89] cf[8] cf[90] cf[91] cf[92] cf[93] cf[94] cf[95] cf[96] cf[97] cf[98] cf[99] cf[9] cn[0] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[10] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[11] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[12] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[13] cn[140] cn[141] cn[142] cn[143] cn[144] cn[145] cn[146] cn[147] cn[148] cn[149] cn[14] cn[150] cn[151] cn[152] cn[153] cn[154] cn[155] cn[156] cn[157] cn[158] cn[159] cn[15] cn[160] cn[161] cn[162] cn[163] cn[164] cn[165] cn[166] cn[167] cn[168] cn[169] cn[16] cn[170] cn[171] cn[172] cn[173] cn[174] cn[175] cn[176] cn[177] cn[178] cn[179] cn[17] cn[180] cn[181] cn[182] cn[183] cn[184] cn[185] cn[186] cn[187] cn[188] cn[189] cn[18] cn[190] cn[191] cn[192] cn[193] cn[194] cn[195] cn[196] cn[197] cn[198] cn[199] cn[19] cn[1] cn[200] cn[201] cn[202] cn[203] cn[204] cn[205] cn[206] cn[207] cn[208] cn[209] cn[20] cn[210] cn[211] cn[212] cn[213] cn[214] cn[215] cn[216] cn[217] cn[218] cn[219] cn[21] cn[220] cn[221] cn[222] cn[223] cn[224] cn[225] cn[226] cn[227] cn[228] cn[229] cn[22] cn[230] cn[231] cn[232] cn[233] cn[234] cn[235] cn[236] cn[237] cn[238] cn[239] cn[23] cn[240] cn[241] cn[242] cn[243] cn[244] cn[245] cn[246] cn[247] cn[248] cn[249] cn[24] cn[250] cn[251] cn[252] cn[253] cn[254] cn[255] cn[256] cn[257] cn[258] cn[259] cn[25] cn[260] cn[261] cn[262] cn[263] cn[264] cn[265] cn[266] cn[267] cn[268] cn[269] cn[26] cn[270] cn[271] cn[272] cn[273] cn[274] cn[275] cn[276] cn[277] cn[278] cn[279] cn[27] cn[280] cn[281] cn[282] cn[283] cn[284] cn[285] cn[286] cn[287] cn[288] cn[289] cn[28] cn[290] cn[291] cn[292] cn[293] cn[29] cn[2] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[3] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[4] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[5] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[6] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[7] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[8] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[9] ds[0][0] ds[0][10] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[0][5] ds[0][6] ds[0][7] ds[0][8] ds[0][9] ds[10][0] ds[10][10] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[10][5] ds[10][6] ds[10][7] ds[10][8] ds[10][9] ds[11][0] ds[11][10] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[11][5] ds[11][6] ds[11][7] ds[11][8] ds[11][9] ds[12][0] ds[12][10] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[12][5] ds[12][6] ds[12][7] ds[12][8] ds[12][9] ds[13][0] ds[13][10] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[13][5] ds[13][6] ds[13][7] ds[13][8] ds[13][9] ds[14][0] ds[14][10] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[14][5] ds[14][6] ds[14][7] ds[14][8] ds[14][9] ds[15][0] ds[15][10] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[15][5] ds[15][6] ds[15][7] ds[15][8] ds[15][9] ds[16][0] ds[16][10] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[16][5] ds[16][6] ds[16][7] ds[16][8] ds[16][9] ds[17][0] ds[17][10] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[17][5] ds[17][6] ds[17][7] ds[17][8] ds[17][9] ds[18][0] ds[18][10] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[18][5] ds[18][6] ds[18][7] ds[18][8] ds[18][9] ds[19][0] ds[19][10] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[19][5] ds[19][6] ds[19][7] ds[19][8] ds[19][9] ds[1][0] ds[1][10] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[1][5] ds[1][6] ds[1][7] ds[1][8] ds[1][9] ds[20][0] ds[20][10] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[20][5] ds[20][6] ds[20][7] ds[20][8] ds[20][9] ds[21][0] ds[21][10] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[21][5] ds[21][6] ds[21][7] ds[21][8] ds[21][9] ds[22][0] ds[22][10] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[22][5] ds[22][6] ds[22][7] ds[22][8] ds[22][9] ds[23][0] ds[23][10] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[23][5] ds[23][6] ds[23][7] ds[23][8] ds[23][9] ds[24][0] ds[24][10] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[24][5] ds[24][6] ds[24][7] ds[24][8] ds[24][9] ds[25][0] ds[25][10] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[25][5] ds[25][6] ds[25][7] ds[25][8] ds[25][9] ds[26][0] ds[26][10] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[26][5] ds[26][6] ds[26][7] ds[26][8] ds[26][9] ds[27][0] ds[27][10] ds[27][1] ds[27][2] ds[27][3] ds[27][4] ds[27][5] ds[27][6] ds[27][7] ds[27][8] ds[27][9] ds[2][0] ds[2][10] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[2][5] ds[2][6] ds[2][7] ds[2][8] ds[2][9] ds[3][0] ds[3][10] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[3][5] ds[3][6] ds[3][7] ds[3][8] ds[3][9] ds[4][0] ds[4][10] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[4][5] ds[4][6] ds[4][7] ds[4][8] ds[4][9] ds[5][0] ds[5][10] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[5][5] ds[5][6] ds[5][7] ds[5][8] ds[5][9] ds[6][0] ds[6][10] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[6][5] ds[6][6] ds[6][7] ds[6][8] ds[6][9] ds[7][0] ds[7][10] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[7][5] ds[7][6] ds[7][7] ds[7][8] ds[7][9] ds[8][0] ds[8][10] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[8][5] ds[8][6] ds[8][7] ds[8][8] ds[8][9] ds[9][0] ds[9][10] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[9][5] ds[9][6] ds[9][7] ds[9][8] ds[9][9] ps[0][0] ps[0][10] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[0][5] ps[0][6] ps[0][7] ps[0][8] ps[0][9] ps[10][0] ps[10][10] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[10][5] ps[10][6] ps[10][7] ps[10][8] ps[10][9] ps[11][0] ps[11][10] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[11][5] ps[11][6] ps[11][7] ps[11][8] ps[11][9] ps[12][0] ps[12][10] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[12][5] ps[12][6] ps[12][7] ps[12][8] ps[12][9] ps[13][0] ps[13][10] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[13][5] ps[13][6] ps[13][7] ps[13][8] ps[13][9] ps[14][0] ps[14][10] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[14][5] ps[14][6] ps[14][7] ps[14][8] ps[14][9] ps[15][0] ps[15][10] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[15][5] ps[15][6] ps[15][7] ps[15][8] ps[15][9] ps[16][0] ps[16][10] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[16][5] ps[16][6] ps[16][7] ps[16][8] ps[16][9] ps[17][0] ps[17][10] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[17][5] ps[17][6] ps[17][7] ps[17][8] ps[17][9] ps[18][0] ps[18][10] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[18][5] ps[18][6] ps[18][7] ps[18][8] ps[18][9] ps[19][0] ps[19][10] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[19][5] ps[19][6] ps[19][7] ps[19][8] ps[19][9] ps[1][0] ps[1][10] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[1][5] ps[1][6] ps[1][7] ps[1][8] ps[1][9] ps[20][0] ps[20][10] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[20][5] ps[20][6] ps[20][7] ps[20][8] ps[20][9] ps[21][0] ps[21][10] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[21][5] ps[21][6] ps[21][7] ps[21][8] ps[21][9] ps[22][0] ps[22][10] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[22][5] ps[22][6] ps[22][7] ps[22][8] ps[22][9] ps[23][0] ps[23][10] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[23][5] ps[23][6] ps[23][7] ps[23][8] ps[23][9] ps[24][0] ps[24][10] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[24][5] ps[24][6] ps[24][7] ps[24][8] ps[24][9] ps[25][0] ps[25][10] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[25][5] ps[25][6] ps[25][7] ps[25][8] ps[25][9] ps[26][0] ps[26][10] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[26][5] ps[26][6] ps[26][7] ps[26][8] ps[26][9] ps[27][0] ps[27][10] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[27][5] ps[27][6] ps[27][7] ps[27][8] ps[27][9] ps[28][0] ps[28][10] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[28][5] ps[28][6] ps[28][7] ps[28][8] ps[28][9] ps[29][0] ps[29][10] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[29][5] ps[29][6] ps[29][7] ps[29][8] ps[29][9] ps[2][0] ps[2][10] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[2][5] ps[2][6] ps[2][7] ps[2][8] ps[2][9] ps[30][0] ps[30][10] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[30][5] ps[30][6] ps[30][7] ps[30][8] ps[30][9] ps[31][0] ps[31][10] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[31][5] ps[31][6] ps[31][7] ps[31][8] ps[31][9] ps[32][0] ps[32][10] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[32][5] ps[32][6] ps[32][7] ps[32][8] ps[32][9] ps[33][0] ps[33][10] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[33][5] ps[33][6] ps[33][7] ps[33][8] ps[33][9] ps[34][0] ps[34][10] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[34][5] ps[34][6] ps[34][7] ps[34][8] ps[34][9] ps[35][0] ps[35][10] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ps[35][5] ps[35][6] ps[35][7] ps[35][8] ps[35][9] ps[36][0] ps[36][10] ps[36][1] ps[36][2] ps[36][3] ps[36][4] ps[36][5] ps[36][6] ps[36][7] ps[36][8] ps[36][9] ps[37][0] ps[37][10] ps[37][1] ps[37][2] ps[37][3] ps[37][4] ps[37][5] ps[37][6] ps[37][7] ps[37][8] ps[37][9] ps[38][0] ps[38][10] ps[38][1] ps[38][2] ps[38][3] ps[38][4] ps[38][5] ps[38][6] ps[38][7] ps[38][8] ps[38][9] ps[39][0] ps[39][10] ps[39][1] ps[39][2] ps[39][3] ps[39][4] ps[39][5] ps[39][6] ps[39][7] ps[39][8] ps[39][9] ps[3][0] ps[3][10] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[3][5] ps[3][6] ps[3][7] ps[3][8] ps[3][9] ps[40][0] ps[40][10] ps[40][1] ps[40][2] ps[40][3] ps[40][4] ps[40][5] ps[40][6] ps[40][7] ps[40][8] ps[40][9] ps[41][0] ps[41][10] ps[41][1] ps[41][2] ps[41][3] ps[41][4] ps[41][5] ps[41][6] ps[41][7] ps[41][8] ps[41][9] ps[42][0] ps[42][10] ps[42][1] ps[42][2] ps[42][3] ps[42][4] ps[42][5] ps[42][6] ps[42][7] ps[42][8] ps[42][9] ps[43][0] ps[43][10] ps[43][1] ps[43][2] ps[43][3] ps[43][4] ps[43][5] ps[43][6] ps[43][7] ps[43][8] ps[43][9] ps[44][0] ps[44][10] ps[44][1] ps[44][2] ps[44][3] ps[44][4] ps[44][5] ps[44][6] ps[44][7] ps[44][8] ps[44][9] ps[45][0] ps[45][10] ps[45][1] ps[45][2] ps[45][3] ps[45][4] ps[45][5] ps[45][6] ps[45][7] ps[45][8] ps[45][9] ps[46][0] ps[46][10] ps[46][1] ps[46][2] ps[46][3] ps[46][4] ps[46][5] ps[46][6] ps[46][7] ps[46][8] ps[46][9] ps[47][0] ps[47][10] ps[47][1] ps[47][2] ps[47][3] ps[47][4] ps[47][5] ps[47][6] ps[47][7] ps[47][8] ps[47][9] ps[48][0] ps[48][10] ps[48][1] ps[48][2] ps[48][3] ps[48][4] ps[48][5] ps[48][6] ps[48][7] ps[48][8] ps[48][9] ps[49][0] ps[49][10] ps[49][1] ps[49][2] ps[49][3] ps[49][4] ps[49][5] ps[49][6] ps[49][7] ps[49][8] ps[49][9] ps[4][0] ps[4][10] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[4][5] ps[4][6] ps[4][7] ps[4][8] ps[4][9] ps[50][0] ps[50][10] ps[50][1] ps[50][2] ps[50][3] ps[50][4] ps[50][5] ps[50][6] ps[50][7] ps[50][8] ps[50][9] ps[51][0] ps[51][10] ps[51][1] ps[51][2] ps[51][3] ps[51][4] ps[51][5] ps[51][6] ps[51][7] ps[51][8] ps[51][9] ps[52][0] ps[52][10] ps[52][1] ps[52][2] ps[52][3] ps[52][4] ps[52][5] ps[52][6] ps[52][7] ps[52][8] ps[52][9] ps[53][0] ps[53][10] ps[53][1] ps[53][2] ps[53][3] ps[53][4] ps[53][5] ps[53][6] ps[53][7] ps[53][8] ps[53][9] ps[54][0] ps[54][10] ps[54][1] ps[54][2] ps[54][3] ps[54][4] ps[54][5] ps[54][6] ps[54][7] ps[54][8] ps[54][9] ps[55][0] ps[55][10] ps[55][1] ps[55][2] ps[55][3] ps[55][4] ps[55][5] ps[55][6] ps[55][7] ps[55][8] ps[55][9] ps[56][0] ps[56][10] ps[56][1] ps[56][2] ps[56][3] ps[56][4] ps[56][5] ps[56][6] ps[56][7] ps[56][8] ps[56][9] ps[57][0] ps[57][10] ps[57][1] ps[57][2] ps[57][3] ps[57][4] ps[57][5] ps[57][6] ps[57][7] ps[57][8] ps[57][9] ps[58][0] ps[58][10] ps[58][1] ps[58][2] ps[58][3] ps[58][4] ps[58][5] ps[58][6] ps[58][7] ps[58][8] ps[58][9] ps[59][0] ps[59][10] ps[59][1] ps[59][2] ps[59][3] ps[59][4] ps[59][5] ps[59][6] ps[59][7] ps[59][8] ps[59][9] ps[5][0] ps[5][10] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[5][5] ps[5][6] ps[5][7] ps[5][8] ps[5][9] ps[6][0] ps[6][10] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[6][5] ps[6][6] ps[6][7] ps[6][8] ps[6][9] ps[7][0] ps[7][10] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[7][5] ps[7][6] ps[7][7] ps[7][8] ps[7][9] ps[8][0] ps[8][10] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[8][5] ps[8][6] ps[8][7] ps[8][8] ps[8][9] ps[9][0] ps[9][10] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[9][5] ps[9][6] ps[9][7] ps[9][8] ps[9][9] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][3] wk[36][0] wk[36][1] wk[36][2] wk[36][3] wk[37][0] wk[37][1] wk[37][2] wk[37][3] wk[38][0] wk[38][1] wk[38][2] wk[38][3] wk[39][0] wk[39][1] wk[39][2] wk[39][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[40][0] wk[40][1] wk[40][2] wk[40][3] wk[41][0] wk[41][1] wk[41][2] wk[41][3] wk[42][0] wk[42][1] wk[42][2] wk[42][3] wk[43][0] wk[43][1] wk[43][2] wk[43][3] wk[44][0] wk[44][1] wk[44][2] wk[44][3] wk[45][0] wk[45][1] wk[45][2] wk[45][3] wk[46][0] wk[46][1] wk[46][2] wk[46][3] wk[47][0] wk[47][1] wk[47][2] wk[47][3] wk[48][0] wk[48][1] wk[48][2] wk[48][3] wk[49][0] wk[49][1] wk[49][2] wk[49][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[50][0] wk[50][1] wk[50][2] wk[50][3] wk[51][0] wk[51][1] wk[51][2] wk[51][3] wk[52][0] wk[52][1] wk[52][2] wk[52][3] wk[53][0] wk[53][1] wk[53][2] wk[53][3] wk[54][0] wk[54][1] wk[54][2] wk[54][3] wk[55][0] wk[55][1] wk[55][2] wk[55][3] wk[56][0] wk[56][1] wk[56][2] wk[56][3] wk[57][0] wk[57][1] wk[57][2] wk[57][3] wk[58][0] wk[58][1] wk[58][2] wk[58][3] wk[59][0] wk[59][1] wk[59][2] wk[59][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][2] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][3] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][4] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][2] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][3] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][4] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][2] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][3] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][4] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][2] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][3] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][4] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][2] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][3] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][4] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][2] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][3] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][4] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][2] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][3] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][4] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][2] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][3] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][4] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][2] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][3] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][4] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][2] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][3] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][4] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][3] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][4] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][2] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][3] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][4] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][3] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][4] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][3] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][4] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][3] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][4] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][3] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][4] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][3] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][4] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][3] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][4] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][3] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][4] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][3] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][4] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][2] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][3] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][4] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][2] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][3] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][4] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][2] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][3] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][4] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][2] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][3] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][4] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][2] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][3] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][4] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][2] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][3] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][4] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][2] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][3] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][4] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][2] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][3] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][4] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list> 2519.89/2520.01 v <values>13 0 8 1 200 200 200 400 500 400 400 9 0 1 2 200 100 300 100 200 200 200 6 0 4 0 300 500 300 400 200 200 300 8 0 4 200 200 100 300 500 200 300 500 9 0 2 100 500 300 300 200 200 200 400 11 0 6 2 400 500 400 300 400 500 300 21 0 9 3 200 100 200 400 200 300 100 15 0 5 100 200 300 0 300 200 0 200 9 0 4 100 500 0 400 600 300 300 300 10 0 6 0 400 0 200 200 200 400 400 14 0 6 0 300 300 300 100 300 400 200 15 0 8 5 300 0 0 300 500 600 200 6 0 1 0 300 400 400 600 500 500 300 14 0 7 4 500 400 200 300 200 300 100 22 0 7 2 100 400 200 500 200 100 0 19 0 8 2 0 0 300 100 200 300 100 5 0 8 4 500 300 200 300 100 400 100 2 0 4 2 200 300 200 400 300 200 100 2 0 0 100 500 400 200 400 400 100 600 0 0 1 100 500 300 400 300 200 200 200 13 0 7 1 0 300 100 400 100 400 400 12 0 9 0 200 300 100 200 200 300 200 12 0 5 200 300 300 100 200 400 200 300 6 0 0 200 200 200 500 500 400 500 400 8 0 4 2 200 200 400 300 400 300 200 14 0 9 0 500 400 600 300 500 300 400 21 0 10 2 400 0 400 300 100 200 200 12 0 6 3 200 300 200 0 0 300 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 2 2 2 0 1 0 3 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 3 3 3 1 1 1 2 1 1 1 2 2 2 2 2 3 3 3 3 3 1 3 1 0 0 3 3 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 2 0 0 0 0 3 0 0 2 2 0 2 2 1 1 1 1 1 2 0 2 0 0 3 3 3 3 3 3 3 2 1 0 0 1 1 1 1 3 2 0 2 2 2 3 2 1 1 1 1 3 3 3 3 3 3 3 0 0 0 0 0 0 2 2 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 3 2 2 2 2 2 3 1 3 3 1 1 1 1 3 2 2 2 2 2 2 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 3 0 0 0 0 3 3 2 2 3 3 3 2 3 3 2 2 2 0 0 0 0 0 0 0 0 0 3 2 1 2 0 2 2 3 3 0 1 0 0 1 0 3 1 1 2 2 3 3 1 3 3 3 3 3 3 3 0 0 0 0 0 3 0 0 1 1 2 2 2 1 1 1 3 1 1 1 1 1 1 2 0 2 2 3 1 1 1 1 3 3 3 2 1 1 3 18 19 11 6 1 3 2 0 0 0 0 12 30 6 4 2 2 0 1 1 1 1 10 33 8 3 1 0 0 0 2 2 1 10 41 7 1 0 1 0 0 0 0 0 14 35 6 2 0 1 1 1 0 0 0 17 22 11 6 1 1 0 0 1 0 1 23 15 12 5 0 2 1 0 1 0 1 18 25 8 2 0 1 3 0 0 2 1 14 28 7 3 0 3 2 0 1 1 1 14 29 8 4 0 2 1 1 1 0 0 16 31 8 3 0 0 0 1 0 0 1 19 12 12 8 1 4 2 1 0 0 1 11 35 7 4 0 1 0 0 1 0 1 17 22 10 8 0 0 1 0 0 0 2 25 14 11 4 2 0 1 0 0 1 2 21 17 11 5 2 2 0 1 0 0 1 9 24 12 6 1 1 2 1 1 0 3 7 31 7 6 0 2 2 1 1 2 1 5 45 3 3 1 0 1 1 0 1 0 3 49 3 2 0 0 1 1 0 1 0 15 16 12 5 4 1 2 2 2 0 1 15 18 13 4 1 1 2 2 2 1 1 16 22 9 4 1 1 3 2 0 2 0 9 41 5 3 0 1 0 0 1 0 0 10 37 7 4 0 0 1 0 1 0 0 20 18 13 3 1 2 0 2 0 1 0 24 10 13 5 1 2 0 1 2 1 1 15 19 8 6 1 2 1 2 2 1 3 15 12 0 0 1 0 0 0 0 0 0 0 11 16 1 0 0 0 0 0 0 0 14 12 0 0 0 0 0 0 2 0 0 0 11 16 1 0 0 0 0 0 0 0 18 10 0 0 0 0 0 0 0 0 0 13 11 3 0 0 0 0 0 0 0 1 0 11 0 17 0 0 0 0 0 0 0 0 11 0 17 0 0 0 0 0 0 0 16 11 1 0 0 0 0 0 0 0 0 8 12 0 1 0 3 0 0 0 0 4 17 11 0 0 0 0 0 0 0 0 0 15 11 2 0 0 0 0 0 0 0 0 14 12 0 2 0 0 0 0 0 0 0 0 11 17 0 0 0 0 0 0 0 0 11 12 0 1 0 4 0 0 0 0 0 12 10 0 1 1 1 0 0 0 3 0 7 11 0 0 0 0 3 0 4 0 3 4 12 0 0 0 2 1 4 0 1 4 0 10 0 18 0 0 0 0 0 0 0 2 12 0 0 0 3 0 3 1 5 2 0 10 0 6 1 7 1 3 0 0 0 16 10 0 0 0 0 2 0 0 0 0 0 11 0 16 0 1 0 0 0 0 0 0 11 17 0 0 0 0 0 0 0 0 15 12 0 0 1 0 0 0 0 0 0 17 11 0 0 0 0 0 0 0 0 0 0 12 6 2 3 1 0 1 0 0 3 15 11 2 0 0 0 0 0 0 0 0 0 10 18 0 0 0 0 0 0 0 0 9 11 2 1 1 1 0 0 1 2 0 5 10 0 2 3 2 2 2 2 0 0 0 11 10 0 5 2 0 0 0 0 0 0 10 13 3 1 0 0 0 0 1 0 6 10 0 1 0 3 4 0 3 1 0 16 12 0 0 0 0 0 0 0 0 0 15 12 0 1 0 0 0 0 0 0 0 0 12 16 0 0 0 0 0 0 0 0 14 12 0 0 0 0 0 0 2 0 0 0 12 16 0 0 0 0 0 0 0 0 16 12 0 0 0 0 0 0 0 0 0 0 12 13 0 0 0 0 0 0 0 3 0 11 17 0 0 0 0 0 0 0 0 0 12 16 0 0 0 0 0 0 0 0 10 11 0 1 0 5 1 0 0 0 0 3 12 0 5 1 0 6 0 0 0 1 0 18 0 10 0 0 0 0 0 0 0 10 18 0 0 0 0 0 0 0 0 0 0 18 10 0 0 0 0 0 0 0 0 0 18 10 0 0 0 0 0 0 0 0 10 18 0 0 0 0 0 0 0 0 0 10 18 0 0 0 0 0 0 0 0 0 0 18 10 0 0 0 0 0 0 0 0 10 18 0 0 0 0 0 0 0 0 0 10 18 0 0 0 0 0 0 0 0 0 10 18 0 0 0 0 0 0 0 0 0 18 10 0 0 0 0 0 0 0 0 0 3 10 0 4 3 1 7 0 0 0 0 0 12 2 4 0 0 0 2 4 4 0 0 10 14 3 0 0 0 0 1 0 0 3 12 1 1 0 0 2 6 0 0 3 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 10 10 1 0 1 2 2 0 2 0 0 0 1 4 0 10 0 2 0 4 0 2 1 0 0 1 0 1 0 10 3 10 5 10 0 1 0 1 10 10 1 1 10 10 10 10 1 10 10 10 10 0 10 10 0 4 2 10 5 0 1 0 10 0 10 2 10 0 0 10 10 0 10 10 10 9 4 2 10 4 0 10 10 3 10 3 0 1 10 6 10 1 7 10 0 1 0 1 10 10 10 1 0 10 2 10 10 10 10 0 10 10 10 10 10 10 8 2 10 10 10 0 1 10 10 2 10 1 0 0 0 10 1 10 10 9 8 10 10 3 0 2 1 10 10 10 0 10 10 7 1 2 10 10 10 10 0 1 10 10 10 1 0 10 10 10 10 1 10 0 10 10 10 0 10 10 8 7 10 10 10 10 1 10 10 10 10 10 0 0 0 10 1 10 0 10 10 10 10 10 0 2 1 10 10 10 0 10 0 10 1 10 10 10 10 10 0 1 10 10 10 1 4 10 10 10 10 1 10 10 10 10 10 0 0 10 10 10 10 0 10 10 1 0 0 10 10 10 10 0 0 0 1 10 0 10 10 2 10 10 10 2 1 0 10 6 10 10 0 10 1 10 10 0 10 10 0 10 10 10 1 10 4 5 10 10 10 1 0 10 10 10 10 0 0 10 10 10 10 0 1 7 1 0 0 10 2 10 10 0 0 0 1 0 0 10 0 2 10 2 10 2 1 0 10 9 10 1 0 10 1 10 0 0 0 1 10 10 10 1 1 10 4 3 10 10 10 1 0 10 10 10 10 0 0 2 10 1 2 0 1 7 2 0 0 10 2 10 10 0 0 0 1 0 0 0 0 2 10 4 0 2 1 0 0 10 1 1 0 0 1 10 2 0 0 1 10 10 0 9 1 10 4 5 10 10 10 1 0 10 1 10 0 0 0 0 10 1 1 10 1 10 10 0 0 10 2 10 0 10 10 0 10 0 0 0 10 2 4 10 0 10 10 0 0 10 1 1 8 0 10 1 5 0 0 10 10 1 0 9 1 10 10 5 10 10 10 10 0 10 1 10 0 10 0 5 8 1 0 10 1 10 10 0 0 2 2 10 4 10 10 0 10 0 10 7 10 10 4 10 0 10 10 0 0 10 10 1 10 0 10 1 4 0 0 10 10 1 0 9 1 10 10 5 2 10 10 10 0 10 1 10 0 10 10 5 8 1 0 0 10 0 10 10 10 2 2 10 4 10 10 10 1 0 10 7 0 10 4 2 0 10 1 10 0 10 10 1 10 0 10 1 10 0 0 10 0 1 0 10 1 10 10 10 2 10 10 10 10 10 1 0 0 10 10 5 6 1 0 0 10 0 1 10 10 2 10 0 10 10 0 10 1 10 0 10 9 10 10 2 0 10 1 10 0 10 0 10 10 0 10 1 10 10 0 1 0 1 10 10 10 1 10 10 2 10 10 10 10 0 1 0 0 0 0 10 6 10 10 0 2 0 1 0 1 2 2 0 9 0 0 0 1 4 0 10 6 2 0 4 0 2 1 0 0 2 0 1 0 4 3 10 4 0 2 1 0 1 10 1 1 1 0 10 10 10 1 10 10 10 10 0 10 10 0 5 2 1 5 0 1 0 1 0 10 2 10 0 10 10 0 10 1 10 4 10 9 10 10 2 10 10 1 10 10 10 0 10 10 10 10 2 0 10 10 1 0 10 10 10 10 1 10 10 2 10 10 1 10 0 10 10 10 0 0 10 7 10 10 0 1 0 1 0 0 2 2 0 0 0 0 10 1 10 10 10 9 2 10 2 10 2 1 0 10 1 0 1 2 10 10 10 0 10 10 1 0 10 10 10 10 1 0 2 2 0 1 1 10 0 10 10 10 0 0 5 10 10 9 0 1 0 1 0 0 10 2 0 0 0 0 10 1 0 10 0 9 2 8 2 0 2 1 0 0 3 0 1 0 5 10 10 0 0 10 1 0 10 0 1 1 1 0 0 10 0 1 1 10 0 10 10 10 0 0 3 10 10 9 10 1 10 1 0 0 10 2 0 4 0 0 10 10 0 0 0 10 2 6 10 0 2 10 10 0 4 0 1 0 3 1 1 0 0 10 1 0 1 0 1 1 1 0 2 10 0 10 1 10 0 10 10 10 0 0 3 2 10 9 10 1 10 10 10 9 2 2 10 9 0 10 2 10 4 3 0 10 2 6 10 5 2 10 10 0 9 10 1 1 10 1 1 0 0 0 1 10 1 0 1 1 1 0 10 2 0 10 1 10 10 10 10 10 10 10 5 7 1 10 10 10 10 10 10 10 2 2 10 10 0 10 2 10 4 8 0 10 2 8 6 5 4 10 10 0 9 10 10 1 10 1 1 10 0 0 10 10 1 0 1 1 10 2 10 2 0 10 10 10 10 10 10 10 10 10 5 7 1 10 10 10 10 10 10 10 2 10 0 10 10 10 10 10 10 10 0 10 10 8 6 10 10 10 10 0 10 10 10 10 2 1 3 10 0 10 10 10 10 0 1 10 10 10 5 2 10 10 10 10 10 10 10 10 10 10 10 10 1 10 10 10 10 10 10 10 2 10 0 10 10 10 10 10 10 10 10 10 10 10 6 10 10 10 10 10 10 10 10 10 2 1 8 10 0 10 10 10 10 0 1 10 10 10 5 10 10 10 10 10 10 10 10 10 10 10 10 10 1 10 0 1 0 1 0 1 2 10 0 9 10 0 0 1 10 0 5 6 2 7 5 0 10 1 0 0 2 0 1 3 3 3 1 4 0 10 10 7 1 10 1 10 1 0 2 10 10 1 10 10 10 10 0 10 10 0 3 2 1 6 0 1 0 1 0 10 2 10 0 9 10 1 0 1 10 2 5 6 2 8 10 0 10 1 0 0 1 0 1 7 3 4 1 5 0 10 10 7 10 0 1 10 1 0 2 10 10 1 10 0 10 10 0 10 10 0 10 1 1 6 3 10 0 1 0 10 2 2 0 10 0 1 10 1 0 0 5 6 10 8 10 10 2 1 10 0 1 0 10 8 5 4 1 5 0 10 10 10 10 0 1 10 10 0 2 10 0 10 10 0 10 10 0 0 10 0 10 1 1 6 10 10 0 10 10 0 10 2 10 10 0 10 10 10 0 10 7 10 10 10 10 10 2 10 10 10 10 10 10 10 10 10 10 10 10 0 1 10 10 0 1 1 10 4 10 10 0 10 10 0 10 1 10 0 10 10 2 10 1 10 10 1 10 10 10 0 10 2 10 10 0 10 0 10 0 10 7 10 2 10 10 10 2 10 0 10 10 10 1 10 10 10 10 10 10 0 1 10 10 0 1 1 10 5 10 10 0 1 10 0 10 1 10 0 10 10 2 10 10 10 10 1 10 1 0 0 10 2 0 10 0 0 0 1 0 0 10 10 2 6 4 10 2 1 0 0 1 10 1 10 4 3 1 8 10 0 1 10 1 0 10 1 1 10 0 10 0 1 10 0 0 1 0 0 10 0 0 10 10 6 0 1 0 1 0 0 10 2 0 0 0 0 0 1 2 8 10 4 2 9 4 0 2 1 0 0 1 0 1 0 7 3 1 7 10 0 1 0 1 0 10 1 1 10 0 10 0 1 10 10 0 1 0 0 10 0 0 10 2 6 0 1 0 10 0 0 2 10 0 0 10 10 0 10 10 8 9 5 2 9 4 0 10 10 0 10 3 0 1 4 6 10 2 7 10 0 1 0 1 10 10 1 1 10 9 2 10 1 10 10 0 1 0 10 10 0 2 7 2 6 </values> 2519.89/2520.01 v </instantiation> 2519.89/2520.01
OK 56621
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (9769 MiB free) memory of node 1: 16384 MiB (14760 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293015-1532304304/watcher-4293015-1532304304 -o /tmp/evaluation-result-4293015-1532304304/solver-4293015-1532304304 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532296736-6956 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293015-1532304304.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=7746, runsolver pid=7743 Current StackSize limit: 8192 KiB [startup+0.100351 s]* /proc/loadavg: 2.00 2.00 2.04 3/188 7747 /proc/meminfo: memFree=25105812/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=42220 memory=18652 CPUtime=0.1 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 4821 0 0 0 9 1 0 0 20 0 1 0 47993521 43233280 4663 33554432000 4194304 6142532 140735442294096 140735442288904 139692203076581 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 10555 4663 828 476 0 3877 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 42220 KiB Current children cumulated memory: 18652 KiB [startup+0.209846 s]* /proc/loadavg: 2.00 2.00 2.04 3/188 7747 /proc/meminfo: memFree=25094828/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=53336 memory=29784 CPUtime=0.21 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 7614 0 0 0 19 2 0 0 20 0 1 0 47993521 54616064 7446 33554432000 4194304 6142532 140735442294096 140735442288904 139692203124640 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 13334 7446 841 476 0 6656 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 53336 KiB Current children cumulated memory: 29784 KiB [startup+0.309835 s]* /proc/loadavg: 2.00 2.00 2.04 3/188 7747 /proc/meminfo: memFree=25084040/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=63660 memory=40140 CPUtime=0.3 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 10195 0 0 0 28 2 0 0 20 0 1 0 47993521 65187840 10035 33554432000 4194304 6142532 140735442294096 140735442288904 139692203124640 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 15915 10035 841 476 0 9237 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 63660 KiB Current children cumulated memory: 40140 KiB [startup+0.700344 s] /proc/loadavg: 2.00 2.00 2.04 3/188 7747 /proc/meminfo: memFree=25024116/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=174580 memory=151092 CPUtime=0.69 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 37945 0 0 0 64 5 0 0 20 0 1 0 47993521 178769920 37773 33554432000 4194304 6142532 140735442294096 140735442290744 139692203124640 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 43645 37773 856 476 0 36967 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 174580 KiB Current children cumulated memory: 151092 KiB [startup+1.50036 s] /proc/loadavg: 1.92 1.98 2.03 3/188 7747 /proc/meminfo: memFree=24954244/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=209976 memory=186568 CPUtime=1.49 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 46832 0 0 0 142 7 0 0 20 0 1 0 47993521 215015424 46642 33554432000 4194304 6142532 140735442294096 140735442290872 5215647 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 52494 46642 899 476 0 45816 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 209976 KiB Current children cumulated memory: 186568 KiB [startup+3.10965 s] /proc/loadavg: 1.92 1.98 2.03 3/188 7747 /proc/meminfo: memFree=24931020/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=215908 memory=192516 CPUtime=3.1 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 70963 0 0 0 301 9 0 0 20 0 1 0 47993521 221089792 48129 33554432000 4194304 6142532 140735442294096 140735442290824 5215644 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 53977 48129 899 476 0 47299 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 215908 KiB Current children cumulated memory: 192516 KiB [startup+6.30028 s] /proc/loadavg: 1.92 1.98 2.03 3/188 7747 /proc/meminfo: memFree=24928772/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=217416 memory=194024 CPUtime=6.28 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 93926 0 0 0 619 9 0 0 20 0 1 0 47993521 222633984 48506 33554432000 4194304 6142532 140735442294096 140735442290824 5138256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 54354 48506 899 476 0 47676 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 217416 KiB Current children cumulated memory: 194024 KiB [startup+12.7003 s] /proc/loadavg: 1.93 1.98 2.03 3/188 7811 /proc/meminfo: memFree=24923376/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=217416 memory=194024 CPUtime=12.69 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 98707 0 0 0 1259 10 0 0 20 0 1 0 47993521 222633984 48506 33554432000 4194304 6142532 140735442294096 140735442290824 5347473 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 54354 48506 899 476 0 47676 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 217416 KiB Current children cumulated memory: 194024 KiB [startup+25.5003 s] /proc/loadavg: 1.94 1.98 2.03 3/188 7811 /proc/meminfo: memFree=24916544/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=224248 memory=200828 CPUtime=25.48 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 137049 0 0 0 2536 12 0 0 20 0 1 0 47993521 229629952 50207 33554432000 4194304 6142532 140735442294096 140735442290824 5138221 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 56062 50207 899 476 0 49384 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 224248 KiB Current children cumulated memory: 200828 KiB [startup+51.1094 s] /proc/loadavg: 2.03 2.00 2.04 3/188 7811 /proc/meminfo: memFree=24913204/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=227960 memory=204496 CPUtime=51.08 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 156800 0 0 0 5094 14 0 0 20 0 1 0 47993521 233431040 51124 33554432000 4194304 6142532 140735442294096 140735442290744 5124132 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 56990 51124 899 476 0 50312 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 227960 KiB Current children cumulated memory: 204496 KiB [startup+102.3 s] /proc/loadavg: 2.01 2.00 2.04 3/187 7812 /proc/meminfo: memFree=24909056/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=231840 memory=208296 CPUtime=102.25 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 170841 0 0 0 10210 15 0 0 20 0 1 0 47993521 237404160 52074 33554432000 4194304 6142532 140735442294096 140735442290920 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 57960 52074 899 476 0 51282 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 231840 KiB Current children cumulated memory: 208296 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 7813 /proc/meminfo: memFree=24905348/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=234996 memory=211340 CPUtime=162.24 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 173632 0 0 0 16209 15 0 0 20 0 1 0 47993521 240635904 52835 33554432000 4194304 6142532 140735442294096 140735442290792 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58749 52835 900 476 0 52071 0 Current children cumulated CPU time: 162.24 s Current children cumulated vsize: 234996 KiB Current children cumulated memory: 211340 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 7814 /proc/meminfo: memFree=24905420/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=234996 memory=211580 CPUtime=222.24 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 174042 0 0 0 22209 15 0 0 20 0 1 0 47993521 240635904 52895 33554432000 4194304 6142532 140735442294096 140735442290792 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58749 52895 900 476 0 52071 0 Current children cumulated CPU time: 222.24 s Current children cumulated vsize: 234996 KiB Current children cumulated memory: 211580 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 7815 /proc/meminfo: memFree=24905616/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=234996 memory=211580 CPUtime=282.24 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 174520 0 0 0 28209 15 0 0 20 0 1 0 47993521 240635904 52895 33554432000 4194304 6142532 140735442294096 140735442290792 5140145 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58749 52895 900 476 0 52071 0 Current children cumulated CPU time: 282.24 s Current children cumulated vsize: 234996 KiB Current children cumulated memory: 211580 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 7824 /proc/meminfo: memFree=24905016/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=234996 memory=211580 CPUtime=342.23 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 175190 0 0 0 34208 15 0 0 20 0 1 0 47993521 240635904 52895 33554432000 4194304 6142532 140735442294096 140735442290792 5140145 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58749 52895 900 476 0 52071 0 Current children cumulated CPU time: 342.23 s Current children cumulated vsize: 234996 KiB Current children cumulated memory: 211580 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 7825 /proc/meminfo: memFree=24905032/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=402.24 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 175887 0 0 0 40208 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 402.24 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 7826 /proc/meminfo: memFree=24906300/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=462.24 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 176294 0 0 0 46208 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5139736 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 462.24 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB ################ # More data... # ################ /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 1722.2 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.05 2.07 3/187 7866 /proc/meminfo: memFree=24905476/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=1782.2 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 185893 0 0 0 178204 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5215653 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 1782.2 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.04 2.06 3/187 7867 /proc/meminfo: memFree=24905648/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=1842.2 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 186279 0 0 0 184204 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 1842.2 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 7868 /proc/meminfo: memFree=24905604/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=1902.2 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 186665 0 0 0 190204 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5215821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 1902.2 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 7869 /proc/meminfo: memFree=24905624/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=1962.19 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 187051 0 0 0 196203 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5138352 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 1962.19 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 4/187 7870 /proc/meminfo: memFree=24905440/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=2022.19 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 187444 0 0 0 202203 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 2022.19 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+2082.3 s] /proc/loadavg: 2.49 2.16 2.09 3/187 7871 /proc/meminfo: memFree=24905628/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=2082.19 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 187824 0 0 0 208203 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5138344 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 2082.19 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+2142.3 s] /proc/loadavg: 2.18 2.13 2.08 3/187 7879 /proc/meminfo: memFree=24905116/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=2142.19 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 188210 0 0 0 214203 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5347477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 2142.19 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+2202.3 s] /proc/loadavg: 2.06 2.10 2.08 3/187 7880 /proc/meminfo: memFree=24905280/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=2202.19 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 188595 0 0 0 220203 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 2202.19 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+2262.3 s] /proc/loadavg: 2.02 2.09 2.07 3/187 7881 /proc/meminfo: memFree=24904980/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=2262.19 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 188988 0 0 0 226203 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5347481 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 2262.19 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+2322.3 s] /proc/loadavg: 2.01 2.07 2.07 3/187 7882 /proc/meminfo: memFree=24904764/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=2322.18 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 189373 0 0 0 232202 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 2322.18 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.06 2.06 3/187 7883 /proc/meminfo: memFree=24904800/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=2382.18 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 189758 0 0 0 238202 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 2382.18 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.05 2.05 3/187 7884 /proc/meminfo: memFree=24904832/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=2442.18 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 190143 0 0 0 244202 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5175098 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 2442.18 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.04 2.05 3/187 7885 /proc/meminfo: memFree=24904064/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=2502.18 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 190536 0 0 0 250202 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5002340 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 2502.18 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.04 2.05 3/187 7885 /proc/meminfo: memFree=24904188/32770624 swapFree=67108852/67108860 [pid=7746] ppid=7743 vsize=235260 memory=211856 CPUtime=2519.89 cores=0,2,4,6 /proc/7746/stat : 7746 (cosoco) R 7743 7746 6925 0 -1 4202496 190918 0 0 0 251973 16 0 0 20 0 1 0 47993521 240906240 52964 33554432000 4194304 6142532 140735442294096 140735442290952 5215611 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 21254144 140735442297990 140735442298120 140735442298120 140735442300878 0 /proc/7746/statm: 58815 52964 900 476 0 52137 0 Current children cumulated CPU time: 2519.89 s Current children cumulated vsize: 235260 KiB Current children cumulated memory: 211856 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 7746 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.73 s, system=0.169995 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2519.9 CPU user time (s): 2519.73 CPU system time (s): 0.169995 CPU usage (%): 99.9957 Max. virtual memory (cumulated for all children) (KiB): 235260 Max. memory (cumulated for all children) (KiB): 211856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.73 system time used= 0.169995 maximum resident set size= 211920 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 190976 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= 61 involuntary context switches= 4155 # summary of solver processes directly reported to runsolver: # pid: 7746 # total CPU time (s): 2519.9 # total CPU user time (s): 2519.73 # total CPU system time (s): 0.169995 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.524 second user time and 15.3459 second system time The end
Begin job on node148 at 2018-07-23 02:05:04 IDJOB=4293015 IDBENCH=141061 IDSOLVER=2752 FILE ID=node148/4293015-1532304304 RUNJOBID= node148-1532296736-6956 PBS_JOBID= 21018990 Free space on /tmp= 51988 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/NurseRostering/NurseRostering-12_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293015-1532304304/watcher-4293015-1532304304 -o /tmp/evaluation-result-4293015-1532304304/solver-4293015-1532304304 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532296736-6956 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293015-1532304304.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2a283c05e31c4b30f3ec3c3182bebd94 RANDOM SEED=1934814354 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25119672 kB MemAvailable: 31940076 kB Buffers: 169816 kB Cached: 6833212 kB SwapCached: 8 kB Active: 1199488 kB Inactive: 5855596 kB Active(anon): 5916 kB Inactive(anon): 66100 kB Active(file): 1193572 kB Inactive(file): 5789496 kB Unevictable: 7080 kB Mlocked: 7080 kB SwapTotal: 67108860 kB SwapFree: 67108852 kB Dirty: 5844 kB Writeback: 0 kB AnonPages: 59696 kB Mapped: 38704 kB Shmem: 17024 kB Slab: 293404 kB SReclaimable: 265796 kB SUnreclaim: 27608 kB KernelStack: 3376 kB PageTables: 5176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 345024 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 51988 MiB End job on node148 at 2018-07-23 02:47:04