Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 66810 | 2520.02 | 2520.01 |
Name | Rlfap/Rlfap-opt/ Rlfap-graph-12-opt_c18.xml |
MD5SUM | 6121a94880b1ccb1614ec86f716938fa |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21762 |
Best CPU time to get the best result obtained on this benchmark | 2400.18 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4691 |
Number of constraints | 4352 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":4011},{"size":6,"count":48},{"size":22,"count":40},{"size":24,"count":24},{"size":36,"count":134},{"size":42,"count":50},{"size":44,"count":384}] |
Minimum variable degree | 2 |
Maximum variable degree | 20 |
Distribution of variable degrees | [{"degree":2,"count":4011},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":6},{"degree":8,"count":15},{"degree":9,"count":39},{"degree":10,"count":66},{"degree":11,"count":85},{"degree":12,"count":119},{"degree":13,"count":112},{"degree":14,"count":103},{"degree":15,"count":59},{"degree":16,"count":45},{"degree":17,"count":21},{"degree":18,"count":4},{"degree":19,"count":1},{"degree":20,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 176 |
Distribution of constraint arities | [{"arity":2,"count":674},{"arity":3,"count":3677},{"arity":176,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4351 |
Distribution of constraint types | [{"type":"intension","count":4351},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
3.29/3.36 c best=?? lower=0 upper=1012551 12.49/12.53 c 12.49/12.53 c This is cosoco 1.12 -- 12.49/12.53 c 12.49/12.53 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293578-1532319103.xml 12.49/12.53 c enable optimization 12.49/12.53 c ========================================[ Problem Statistics ]=========================================== 12.49/12.53 c | 12.49/12.53 c | Parse time : 3.25 s 12.49/12.53 c | 12.49/12.53 c | Variables: 4691 12.49/12.53 c | Domain Sizes: 2..44 12.49/12.53 c | 12.49/12.53 c | Constraints: 4528 12.49/12.53 c | Arity: 1..4011 -- Unary: 176 -- Binary: 674 -- Ternary: 3677 12.49/12.53 c | 12.49/12.53 c | Types: 12.49/12.53 c | Intension: 4351 12.49/12.53 c | Sum: 1 12.49/12.53 c | Unary: 176 12.49/12.53 c | 12.49/12.53 c | Objective: Minimize Sum 12.49/12.53 12.49/12.53 c ========================================================================================================= 12.49/12.53 o 194649 12.49/12.53 c 1 calls to solver: best=194649 lower=0 upper=194648 14.69/14.75 o 194177 16.88/16.95 o 142016 16.88/16.95 c 3 calls to solver: best=142016 lower=0 upper=142015 30.79/30.81 o 141352 32.89/32.99 o 111365 32.89/32.99 c 5 calls to solver: best=111365 lower=0 upper=111364 35.10/35.19 o 108805 37.29/37.39 o 101076 37.29/37.39 c 7 calls to solver: best=101076 lower=0 upper=101075 63.29/63.34 o 101072 91.00/91.02 o 100985 91.00/91.02 c 9 calls to solver: best=100985 lower=0 upper=100984 99.49/99.53 o 85894 101.59/101.62 o 85792 101.59/101.62 c 11 calls to solver: best=85792 lower=0 upper=85791 103.69/103.71 o 83082 105.79/105.80 o 82973 105.79/105.80 c 13 calls to solver: best=82973 lower=0 upper=82972 109.39/109.41 o 82930 119.89/119.94 o 82780 119.89/119.94 c 15 calls to solver: best=82780 lower=0 upper=82779 377.67/377.79 o 67238 397.27/397.38 o 66900 397.27/397.38 c 17 calls to solver: best=66900 lower=0 upper=66899 426.27/426.35 o 66888 907.68/907.77 o 66870 907.68/907.77 c 19 calls to solver: best=66870 lower=0 upper=66869 1030.58/1030.67 o 66855 2118.70/2118.70 o 66810 2118.70/2118.70 c 21 calls to solver: best=66810 lower=0 upper=66809 2520.01/2520.00 2520.01/2520.00 c *** INTERRUPTED *** 2520.01/2520.00 c restarts : 55 2520.01/2520.00 c conflicts : 186420 (74 /sec) 2520.01/2520.00 c decisions : 2858702 (1135 /sec) 2520.01/2520.00 c propagations : 148664262 (59001 /sec) 2520.01/2520.00 c root propagations : 3567 2520.01/2520.00 c filter calls : 91514430 (36320 /sec) 2520.01/2520.00 c useless filter calls : 61760681 (67 %) 2520.01/2520.00 c Memory used : 381.43 MB 2520.01/2520.00 c CPU time : 2519.68 s 2520.01/2520.00 2520.01/2520.00 c nb Solutions = 21 2520.01/2520.00 s SATISFIABLE 2520.01/2520.00 c Best value found: 66810 2520.01/2520.00 2520.01/2520.00 2520.01/2520.00 v <instantiation type='solution' cost='66810'> 2520.01/2520.00 v <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[24] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[25] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[26] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[27] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[28] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[29] x[2] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[40] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[41] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[42] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[43] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[44] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[45] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[46] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[47] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[48] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[49] x[4] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[50] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[51] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[52] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[53] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[54] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[55] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[56] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[57] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[58] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[59] x[5] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] za1[0] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[10] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[11] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[12] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[13] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[14] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[15] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[16] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[17] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[18] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[19] za1[1] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[20] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[21] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[22] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[23] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[24] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[25] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[26] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[27] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[28] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[29] za1[2] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[30] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[31] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[32] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[33] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[34] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[35] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[36] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[37] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[38] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[39] za1[3] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[40] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[41] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[42] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[43] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[44] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[45] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[46] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[47] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[48] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[49] za1[4] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[50] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[51] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[52] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[53] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[54] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[55] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[56] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[57] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[58] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[59] za1[5] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[60] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[61] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[62] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[63] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[64] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[65] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[66] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[67] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[68] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[69] za1[6] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[70] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[71] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[72] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[73] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[74] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[75] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[76] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[77] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[78] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za1[798] za1[799] za1[79] za1[7] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[8] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[9] za2[0] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[100] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[10] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[11] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[12] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[13] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[14] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[15] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[16] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[17] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[18] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[19] za2[1] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[20] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[21] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[22] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[23] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[24] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[25] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[26] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[27] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[28] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[29] za2[2] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[30] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[31] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[32] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[33] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[34] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[35] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[36] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[37] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[38] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[39] za2[3] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[40] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[41] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[42] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[43] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[44] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[45] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[46] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[47] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[48] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[49] za2[4] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[50] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[51] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[52] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[53] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[54] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[55] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[56] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[57] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[58] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[59] za2[5] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[60] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[61] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[62] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[63] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[64] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[65] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[66] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[67] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[68] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[69] za2[6] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[70] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[71] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[72] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[73] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[74] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[75] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[76] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[77] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[78] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[79] za2[7] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[80] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[81] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[82] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[83] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[84] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[85] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[86] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[87] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[88] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[89] za2[8] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[90] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[91] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[92] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[93] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[94] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[95] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[96] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[97] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[98] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[99] za2[9] za3[0] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[10] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[11] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[12] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[13] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[14] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[15] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[16] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[17] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[18] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[19] za3[1] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[20] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[21] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[22] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[23] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[24] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[25] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[26] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[27] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[28] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[29] za3[2] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[30] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[31] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[32] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[33] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[34] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[35] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[36] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[37] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[38] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[39] za3[3] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[40] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[41] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[42] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[43] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[44] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[45] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[46] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[47] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[48] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[49] za3[4] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[50] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[51] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[52] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[53] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[54] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[55] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[56] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[57] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[58] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[59] za3[5] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[60] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[61] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[62] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[63] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[64] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[65] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[66] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[67] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[68] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[69] za3[6] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[70] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[71] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[72] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[73] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[74] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[75] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[76] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[77] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[78] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[79] za3[7] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[80] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[81] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[82] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[83] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[84] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[85] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[86] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[87] za3[880] za3[881] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[88] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[89] za3[8] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[9] za4[0] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[10] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[11] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[12] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[13] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[14] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[15] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[16] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[17] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[18] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[19] za4[1] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[20] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[21] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[22] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[23] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[24] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[25] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[26] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[27] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[28] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[29] za4[2] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[30] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[31] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[32] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[33] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[34] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[35] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[36] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[37] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[38] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[39] za4[3] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[40] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[41] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[42] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[43] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[44] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[45] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[46] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[47] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[48] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[49] za4[4] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[50] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[51] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[52] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[53] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[54] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[55] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[56] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[57] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[58] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[59] za4[5] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[60] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[61] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[62] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[63] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[64] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[65] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[66] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[67] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[68] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[69] za4[6] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[70] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[71] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[72] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[73] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[74] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[75] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[76] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[77] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[78] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[79] za4[7] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[80] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[81] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[82] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[83] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[84] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[85] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[86] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[87] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[88] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[89] za4[8] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[90] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[91] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[92] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[93] za4[940] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[9] zb1[0] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[1] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[2] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[3] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[4] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[5] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[6] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[7] zb1[80] zb1[81] zb1[8] zb1[9] zb2[0] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[1] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[2] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[3] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[4] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[5] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[6] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[7] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[8] zb2[9] zb3[0] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[10] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] zb3[118] zb3[119] zb3[11] zb3[120] zb3[121] zb3[122] zb3[123] zb3[124] zb3[125] zb3[126] zb3[127] zb3[128] zb3[129] zb3[12] zb3[130] zb3[131] zb3[132] zb3[133] zb3[134] zb3[135] zb3[136] zb3[137] zb3[138] zb3[139] zb3[13] zb3[140] zb3[141] zb3[142] zb3[143] zb3[144] zb3[145] zb3[146] zb3[147] zb3[148] zb3[149] zb3[14] zb3[150] zb3[151] zb3[152] zb3[153] zb3[154] zb3[155] zb3[156] zb3[157] zb3[158] zb3[159] zb3[15] zb3[160] zb3[161] zb3[16] zb3[17] zb3[18] zb3[19] zb3[1] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[2] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[3] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[4] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[5] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[6] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[7] zb3[80] zb3[81] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[8] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[9] </list> 2520.01/2520.01 v <values>16 170 408 792 554 324 86 16 254 792 554 16 352 114 792 554 750 512 792 554 156 394 254 30 268 30 268 652 414 72 310 100 338 792 16 254 708 470 240 478 680 442 16 254 554 680 442 16 254 72 310 708 470 680 442 170 554 792 540 778 16 254 58 296 666 428 408 128 366 750 512 16 254 792 554 652 414 792 156 394 30 268 44 282 254 16 792 554 554 16 254 30 268 680 442 736 498 30 268 128 708 470 722 484 254 16 16 254 736 498 366 254 16 254 16 254 72 310 554 792 58 296 142 58 296 478 240 708 470 778 540 736 498 380 792 554 16 254 100 338 652 414 16 254 736 16 254 282 44 72 310 694 456 16 254 498 680 442 778 540 30 268 666 428 792 554 16 778 540 86 324 764 526 778 540 792 554 254 380 142 114 352 16 254 128 366 128 366 708 142 380 708 470 44 282 792 554 722 484 470 540 778 100 338 694 456 792 554 540 778 142 792 554 156 394 128 366 240 478 16 254 380 666 100 338 282 44 792 554 764 526 156 394 58 792 554 652 414 750 512 156 394 16 254 296 792 554 792 554 240 478 792 554 30 268 16 792 554 240 478 792 554 170 408 268 30 254 750 512 792 554 16 254 442 680 778 540 750 58 296 114 352 296 58 240 478 30 268 512 792 554 16 254 736 498 142 380 792 554 156 296 58 694 456 428 666 114 352 750 512 394 470 708 750 512 764 526 16 254 72 310 16 16 254 792 554 764 526 240 478 86 324 254 428 44 282 16 254 44 282 736 498 338 100 750 778 540 736 498 792 554 44 282 58 296 512 44 282 680 442 736 498 764 526 792 554 156 498 736 72 310 792 554 792 554 442 680 394 142 380 554 792 540 778 680 442 240 478 764 750 512 694 456 254 16 764 526 156 394 526 240 478 16 254 736 498 792 554 240 478 30 254 16 708 470 156 394 240 478 30 268 268 324 86 156 394 792 554 114 352 722 484 16 526 764 666 428 792 554 792 554 100 338 254 680 792 554 778 540 694 456 16 254 16 254 72 764 526 16 254 16 254 16 254 764 526 310 156 394 750 512 86 324 254 16 540 778 240 58 296 30 268 170 408 736 498 44 282 478 736 498 792 554 778 540 666 428 666 428 694 16 254 736 498 114 352 16 254 254 16 456 764 526 652 414 30 268 114 352 666 428 16 170 408 792 554 86 324 114 352 792 554 254 72 310 240 478 16 254 128 366 792 554 792 254 16 58 296 142 380 792 554 100 338 554 442 792 554 16 254 254 16 16 254 792 554 666 666 428 666 428 16 254 170 408 778 540 428 540 778 170 408 750 512 100 338 100 338 722 652 414 722 484 708 470 170 408 86 324 484 750 512 736 498 736 498 792 554 58 296 86 694 456 86 324 30 268 282 44 114 352 324 778 540 680 442 114 352 16 254 142 380 16 16 254 540 778 170 408 792 554 352 114 254 764 526 72 86 324 86 324 680 442 44 282 470 708 310 736 498 680 442 142 380 554 792 240 478 310 128 366 694 456 442 680 540 778 792 554 72 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 100 0 0 0 0 100 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 0 0 0 0 10 0 10 0 0 10 0 10 0 0 0 0 10 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 1 1 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 0 0 0 0 0 1 0 0 0 0 1 0 0 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 1 0 0 0 0 0 0 1 0 0 0 1 0 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 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 100 100 100 100 0 0 100 100 0 0 0 100 100 0 0 0 0 0 0 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 10 10 10 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 10 10 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 10 10 10 0 0 10 10 10 10 0 0 10 </values> 2520.01/2520.01 v </instantiation> 2520.01/2520.01
OK 66810
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 (10330 MiB free) memory of node 1: 16384 MiB (10761 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293578-1532319103/watcher-4293578-1532319103 -o /tmp/evaluation-result-4293578-1532319103/solver-4293578-1532319103 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532296151-7763 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293578-1532319103.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 Current StackSize limit: 8192 KiB solver pid=10958, runsolver pid=10955 [startup+0.100114 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 10959 /proc/meminfo: memFree=21579800/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=46964 memory=23296 CPUtime=0.09 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 5985 0 0 0 9 0 0 0 20 0 1 0 49473486 48091136 5824 33554432000 4194304 6142532 140720998156432 140720998153064 139885321825253 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 11741 5824 805 476 0 5063 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 46964 KiB Current children cumulated memory: 23296 KiB [startup+0.209613 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 10959 /proc/meminfo: memFree=21565664/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=60812 memory=37024 CPUtime=0.21 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 9449 0 0 0 20 1 0 0 20 0 1 0 49473486 62271488 9256 33554432000 4194304 6142532 140720998156432 140720998153064 139885321825253 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 15203 9256 805 476 0 8525 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 60812 KiB Current children cumulated memory: 37024 KiB [startup+0.309486 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 10959 /proc/meminfo: memFree=21557480/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=68328 memory=44416 CPUtime=0.31 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 11300 0 0 0 30 1 0 0 20 0 1 0 49473486 69967872 11104 33554432000 4194304 6142532 140720998156432 140720998153064 5445060 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 17082 11104 805 476 0 10404 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 68328 KiB Current children cumulated memory: 44416 KiB [startup+0.700257 s] /proc/loadavg: 2.00 2.01 2.05 3/188 10959 /proc/meminfo: memFree=21543748/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=96340 memory=72660 CPUtime=0.69 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 18336 0 0 0 66 3 0 0 20 0 1 0 49473486 98652160 18165 33554432000 4194304 6142532 140720998156432 140720998153064 5376461 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 24085 18165 805 476 0 17407 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 96340 KiB Current children cumulated memory: 72660 KiB [startup+1.50027 s] /proc/loadavg: 2.00 2.01 2.05 3/188 10959 /proc/meminfo: memFree=21505168/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=159044 memory=135360 CPUtime=1.49 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 34025 0 0 0 144 5 0 0 20 0 1 0 49473486 162861056 33840 33554432000 4194304 6142532 140720998156432 140720998150904 139885321825253 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 39761 33840 805 476 0 33083 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 159044 KiB Current children cumulated memory: 135360 KiB [startup+3.10936 s] /proc/loadavg: 2.00 2.01 2.05 3/188 10959 /proc/meminfo: memFree=21348060/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=285284 memory=261604 CPUtime=3.1 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 66492 0 0 0 300 10 0 0 20 0 1 0 49473486 292130816 65401 33554432000 4194304 6142532 140720998156432 140720998150808 139885321825253 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 71321 65401 805 476 0 64643 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 285284 KiB Current children cumulated memory: 261604 KiB [startup+6.30027 s] /proc/loadavg: 2.00 2.01 2.05 3/188 10959 /proc/meminfo: memFree=21305164/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=334476 memory=310408 CPUtime=6.28 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 135720 0 0 0 613 15 0 0 20 0 1 0 49473486 342503424 77602 33554432000 4194304 6142532 140720998156432 140720998153224 5363554 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 83619 77602 851 476 0 76941 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 334476 KiB Current children cumulated memory: 310408 KiB [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.05 3/188 10959 /proc/meminfo: memFree=21263064/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=369700 memory=343588 CPUtime=12.69 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 182157 0 0 0 1250 19 0 0 20 0 1 0 49473486 378572800 85897 33554432000 4194304 6142532 140720998156432 140720998153288 5363683 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 92425 85897 851 476 0 85747 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 369700 KiB Current children cumulated memory: 343588 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/188 10959 /proc/meminfo: memFree=21255260/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=372888 memory=346756 CPUtime=25.48 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 232616 0 0 0 2527 21 0 0 20 0 1 0 49473486 381837312 86689 33554432000 4194304 6142532 140720998156432 140720998153288 5139736 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 93222 86689 852 476 0 86544 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 372888 KiB Current children cumulated memory: 346756 KiB [startup+51.1094 s] /proc/loadavg: 2.00 2.01 2.05 3/188 10959 /proc/meminfo: memFree=21246580/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=381208 memory=354544 CPUtime=51.09 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 283767 0 0 0 5085 24 0 0 20 0 1 0 49473486 390356992 88636 33554432000 4194304 6142532 140720998156432 140720998153144 139885331158176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 95302 88636 852 476 0 88624 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 381208 KiB Current children cumulated memory: 354544 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 10960 /proc/meminfo: memFree=21240876/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=386700 memory=359784 CPUtime=102.29 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 334777 0 0 0 10202 27 0 0 20 0 1 0 49473486 395980800 89946 33554432000 4194304 6142532 140720998156432 140720998153960 139885331770256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 96675 89946 852 476 0 89997 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 386700 KiB Current children cumulated memory: 359784 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 10961 /proc/meminfo: memFree=21238296/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=388224 memory=361292 CPUtime=162.28 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 379273 0 0 0 16199 29 0 0 20 0 1 0 49473486 397541376 90323 33554432000 4194304 6142532 140720998156432 140720998153064 5138304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97056 90323 852 476 0 90378 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 388224 KiB Current children cumulated memory: 361292 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 10984 /proc/meminfo: memFree=21237016/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=388356 memory=361476 CPUtime=222.28 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 413824 0 0 0 22197 31 0 0 20 0 1 0 49473486 397676544 90369 33554432000 4194304 6142532 140720998156432 140720998153144 5138167 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97089 90369 852 476 0 90411 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 388356 KiB Current children cumulated memory: 361476 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 10985 /proc/meminfo: memFree=21237452/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=388356 memory=361476 CPUtime=282.27 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 429973 0 0 0 28195 32 0 0 20 0 1 0 49473486 397676544 90369 33554432000 4194304 6142532 140720998156432 140720998153144 5215584 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97089 90369 852 476 0 90411 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 388356 KiB Current children cumulated memory: 361476 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 10986 /proc/meminfo: memFree=21234452/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=388356 memory=364860 CPUtime=342.27 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 431181 0 0 0 34195 32 0 0 20 0 1 0 49473486 397676544 91215 33554432000 4194304 6142532 140720998156432 140720998153144 5215639 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97089 91215 852 476 0 90411 0 Current children cumulated CPU time: 342.27 s Current children cumulated vsize: 388356 KiB Current children cumulated memory: 364860 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 10987 /proc/meminfo: memFree=21233956/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=389220 memory=365588 CPUtime=402.27 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 432167 0 0 0 40195 32 0 0 20 0 1 0 49473486 398561280 91397 33554432000 4194304 6142532 140720998156432 140720998143704 5363684 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97305 91397 852 476 0 90627 0 Current children cumulated CPU time: 402.27 s Current children cumulated vsize: 389220 KiB Current children cumulated memory: 365588 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 10988 /proc/meminfo: memFree=21233336/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=389776 memory=366104 CPUtime=462.27 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 432968 0 0 0 46195 32 0 0 20 0 1 0 49473486 399130624 91526 33554432000 4194304 6142532 140720998156432 140720998153960 5363644 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97444 91526 852 476 0 90766 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 389776 KiB Current children cumulated memory: 366104 KiB ################ # More data... # ################ /proc/10958/statm: 97543 91668 852 476 0 90865 0 Current children cumulated CPU time: 1722.29 s Current children cumulated vsize: 390172 KiB Current children cumulated memory: 366672 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 11036 /proc/meminfo: memFree=21233304/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390172 memory=366672 CPUtime=1782.29 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 447350 0 0 0 178196 33 0 0 20 0 1 0 49473486 399536128 91668 33554432000 4194304 6142532 140720998156432 140720998153064 139885331770196 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97543 91668 852 476 0 90865 0 Current children cumulated CPU time: 1782.29 s Current children cumulated vsize: 390172 KiB Current children cumulated memory: 366672 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 11037 /proc/meminfo: memFree=21232916/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390304 memory=366824 CPUtime=1842.29 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 448083 0 0 0 184196 33 0 0 20 0 1 0 49473486 399671296 91706 33554432000 4194304 6142532 140720998156432 140720998153176 5372484 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97576 91706 852 476 0 90898 0 Current children cumulated CPU time: 1842.29 s Current children cumulated vsize: 390304 KiB Current children cumulated memory: 366824 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 11038 /proc/meminfo: memFree=21232924/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390444 memory=366856 CPUtime=1902.29 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 448609 0 0 0 190196 33 0 0 20 0 1 0 49473486 399814656 91714 33554432000 4194304 6142532 140720998156432 140720998153144 5138192 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97611 91714 852 476 0 90933 0 Current children cumulated CPU time: 1902.29 s Current children cumulated vsize: 390444 KiB Current children cumulated memory: 366856 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 11039 /proc/meminfo: memFree=21232800/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390444 memory=366872 CPUtime=1962.29 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 449131 0 0 0 196196 33 0 0 20 0 1 0 49473486 399814656 91718 33554432000 4194304 6142532 140720998156432 140720998153144 5139736 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97611 91718 852 476 0 90933 0 Current children cumulated CPU time: 1962.29 s Current children cumulated vsize: 390444 KiB Current children cumulated memory: 366872 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 11040 /proc/meminfo: memFree=21233188/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390444 memory=366872 CPUtime=2022.3 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 449660 0 0 0 202197 33 0 0 20 0 1 0 49473486 399814656 91718 33554432000 4194304 6142532 140720998156432 140720998153144 139885322749251 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97611 91718 852 476 0 90933 0 Current children cumulated CPU time: 2022.3 s Current children cumulated vsize: 390444 KiB Current children cumulated memory: 366872 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 11041 /proc/meminfo: memFree=21232740/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390444 memory=366892 CPUtime=2082.3 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 450200 0 0 0 208197 33 0 0 20 0 1 0 49473486 399814656 91723 33554432000 4194304 6142532 140720998156432 140720998153144 5319106 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97611 91723 852 476 0 90933 0 Current children cumulated CPU time: 2082.3 s Current children cumulated vsize: 390444 KiB Current children cumulated memory: 366892 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 11042 /proc/meminfo: memFree=21232988/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390580 memory=366956 CPUtime=2142.3 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 451029 0 0 0 214197 33 0 0 20 0 1 0 49473486 399953920 91739 33554432000 4194304 6142532 140720998156432 140720998153288 5215584 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97645 91739 852 476 0 90967 0 Current children cumulated CPU time: 2142.3 s Current children cumulated vsize: 390580 KiB Current children cumulated memory: 366956 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 11043 /proc/meminfo: memFree=21233096/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390580 memory=366976 CPUtime=2202.3 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 451597 0 0 0 220197 33 0 0 20 0 1 0 49473486 399953920 91744 33554432000 4194304 6142532 140720998156432 140720998153288 5139736 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97645 91744 852 476 0 90967 0 Current children cumulated CPU time: 2202.3 s Current children cumulated vsize: 390580 KiB Current children cumulated memory: 366976 KiB [startup+2262.3 s] /proc/loadavg: 2.16 2.05 2.06 3/187 11105 /proc/meminfo: memFree=21306916/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390580 memory=366976 CPUtime=2262.3 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 452141 0 0 0 226197 33 0 0 20 0 1 0 49473486 399953920 91744 33554432000 4194304 6142532 140720998156432 140720998153288 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97645 91744 852 476 0 90967 0 Current children cumulated CPU time: 2262.3 s Current children cumulated vsize: 390580 KiB Current children cumulated memory: 366976 KiB [startup+2322.3 s] /proc/loadavg: 2.06 2.04 2.05 3/188 11114 /proc/meminfo: memFree=21305092/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390580 memory=366976 CPUtime=2322.3 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 452684 0 0 0 232197 33 0 0 20 0 1 0 49473486 399953920 91744 33554432000 4194304 6142532 140720998156432 140720998153288 5139946 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97645 91744 852 476 0 90967 0 Current children cumulated CPU time: 2322.3 s Current children cumulated vsize: 390580 KiB Current children cumulated memory: 366976 KiB [startup+2382.3 s] /proc/loadavg: 2.02 2.03 2.05 3/188 11115 /proc/meminfo: memFree=21304728/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390580 memory=367052 CPUtime=2382.3 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 453320 0 0 0 238197 33 0 0 20 0 1 0 49473486 399953920 91763 33554432000 4194304 6142532 140720998156432 140720998153288 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97645 91763 852 476 0 90967 0 Current children cumulated CPU time: 2382.3 s Current children cumulated vsize: 390580 KiB Current children cumulated memory: 367052 KiB [startup+2442.3 s] /proc/loadavg: 2.01 2.03 2.05 3/188 11116 /proc/meminfo: memFree=21304868/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390580 memory=367092 CPUtime=2442.3 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 453917 0 0 0 244197 33 0 0 20 0 1 0 49473486 399953920 91773 33554432000 4194304 6142532 140720998156432 140720998153288 5215819 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97645 91773 852 476 0 90967 0 Current children cumulated CPU time: 2442.3 s Current children cumulated vsize: 390580 KiB Current children cumulated memory: 367092 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 11117 /proc/meminfo: memFree=21304352/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390580 memory=367092 CPUtime=2502.3 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 454702 0 0 0 250197 33 0 0 20 0 1 0 49473486 399953920 91773 33554432000 4194304 6142532 140720998156432 140720998153288 4991577 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97645 91773 852 476 0 90967 0 Current children cumulated CPU time: 2502.3 s Current children cumulated vsize: 390580 KiB Current children cumulated memory: 367092 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.02 2.05 3/188 11117 /proc/meminfo: memFree=21304220/32770624 swapFree=67108860/67108860 [pid=10958] ppid=10955 vsize=390580 memory=367092 CPUtime=2520.01 cores=0,2,4,6 /proc/10958/stat : 10958 (cosoco) R 10955 10958 7732 0 -1 4202496 455117 0 0 0 251968 33 0 0 20 0 1 0 49473486 399953920 91773 33554432000 4194304 6142532 140720998156432 140720998153288 5139749 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40632320 140720998159494 140720998159624 140720998159624 140720998162382 0 /proc/10958/statm: 97645 91773 852 476 0 90967 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 390580 KiB Current children cumulated memory: 367092 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 10958 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.68 s, system=0.338004 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): 2520.02 CPU user time (s): 2519.68 CPU system time (s): 0.338004 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 390580 Max. memory (cumulated for all children) (KiB): 367092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.68 system time used= 0.338004 maximum resident set size= 367160 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 455167 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= 53 involuntary context switches= 712 # summary of solver processes directly reported to runsolver: # pid: 10958 # total CPU time (s): 2520.02 # total CPU user time (s): 2519.68 # total CPU system time (s): 0.338004 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.29736 second user time and 17.5108 second system time The end
Begin job on node137 at 2018-07-23 06:11:43 IDJOB=4293578 IDBENCH=141195 IDSOLVER=2752 FILE ID=node137/4293578-1532319103 RUNJOBID= node137-1532296151-7763 PBS_JOBID= 21018986 Free space on /tmp= 56892 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-12-opt_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293578-1532319103/watcher-4293578-1532319103 -o /tmp/evaluation-result-4293578-1532319103/solver-4293578-1532319103 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532296151-7763 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293578-1532319103.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6121a94880b1ccb1614ec86f716938fa RANDOM SEED=391581978 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21598204 kB MemAvailable: 31804368 kB Buffers: 250896 kB Cached: 10152808 kB SwapCached: 0 kB Active: 1881808 kB Inactive: 8710440 kB Active(anon): 191452 kB Inactive(anon): 16944 kB Active(file): 1690356 kB Inactive(file): 8693496 kB Unevictable: 7312 kB Mlocked: 7312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2964 kB Writeback: 0 kB AnonPages: 195688 kB Mapped: 38428 kB Shmem: 17036 kB Slab: 278072 kB SReclaimable: 250772 kB SUnreclaim: 27300 kB KernelStack: 3360 kB PageTables: 4984 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 475536 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 139264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 56888 MiB End job on node137 at 2018-07-23 06:53:43